A regular assessment of a technical state and calculation of a residual life are important measures for the safe operation of petrochemical facilities. These measures are parts of the industrial safety inspection (ISI...
详细信息
Within the three-flavor PNJL and EPNJL chiral quark models we have obtained pseudoscalar meson properties in quark matter at finite temperature T and baryochemical potential µB. We compare the meson pole (Breit-W...
详细信息
The modern astrophysics is moving towards the enlarging of experiments and combining the channels for detecting the highest energy processes in the Universe. To obtain reliable data, the experiments should operate wit...
详细信息
We address concepts and principles of the development, training, and use of applications in heterogeneous environments that integrate different computational infrastructures including HPC-clusters, grids, and clouds. ...
详细信息
The paper describes a method and tools for prototyping components of intelligent systems. These means are the parts of the PESoT technology based on generative and visual programming as well as the model transformatio...
The paper describes a method and tools for prototyping components of intelligent systems. These means are the parts of the PESoT technology based on generative and visual programming as well as the model transformations. The proposed method redefines the main stages and models of the standardized model-driven approach, in particular, Model Driven Architecture in the context of developing knowledge bases and expert systems that use the logical rules formalism. The description of the method is presented. Proposed tools include languages and software. Specifically, the Rule Visual Modeling Language and Personal Knowledge Base Designer are used for knowledge bases engineering including modeling and codification; the Transformation Model Representation Language and Knowledge Base Development system support model transformations and the rapid creation of computation-independent models. Described tools were applied to solve problems in the field of reliability and safety of technical systems.
The paper presents a method for Ontology Design Patterns (ODP) engineering based on the transformation of conceptual models serialized in the XML-like formats. In this paper, we use UML class diagrams as the source of...
The paper presents a method for Ontology Design Patterns (ODP) engineering based on the transformation of conceptual models serialized in the XML-like formats. In this paper, we use UML class diagrams as the source of conceptual models. The method includes the following activities: design and serialization of a source conceptual domain model; analysis and transformation of an XML structure of a source conceptual model to an ontological schema model; transformation of an ontological schema model to a content ODP code in the OWL 2 DL format; verification and modification of obtained content ODPs by domain experts. All transformations are implemented with the use of original domain-specific language, namely, Transformation Model Representation Language (TMRL). The proposed method is used for ODPs engineering in tasks of industrial safety inspection of technical systems. Obtained ODPs can be used for knowledge bases and intelligent systems engineering.
The article is devoted to multiple circle covering problem for a bounded set in a two-dimensional metric space with a given amount of circles. Such statements arise in the construction of global navigation systems lik...
详细信息
The problem of software modeling having various models as sources and its transformation based on logical inference is considered. Source models are converted into graphs of RDF and then processed with knowledge based...
详细信息
The problem of software modeling having various models as sources and its transformation based on logical inference is considered. Source models are converted into graphs of RDF and then processed with knowledge based system organized in a network of objects. Various notation can be used to represent models, such as UML, SysML, CMMN, BPMN2.0, as well as RDF graphs and analyzed source code, having implemented a corresponding converter. The objects are represented in the LogTalk programming language. Objects query graphs and other objects implementing a scenario of a software system synthesis within Model Driven Architecture paradigm. Usage of such kind of transformation approach allows us to develop software system carcasses on the level of abstract models, involve various sources of model data in the transformation, define and structuring conversion knowledge as objects. An example of a dataflow environment synthesis encapsulating Mothur library for new generation sequencing is presented.
The paper studies a multivariate nonlinear regression-tensor model in the substantiation of necessary and sufficient conditions of the optimal multifactorial process of precision calibration of the parameters of the e...
详细信息
We consider the initial value problem in linear differential-algebraic equations and highlight the difficulties of the construction of numerical methods for these problems. We propose one-step difference schemes based...
详细信息
暂无评论