The Experts below are selected from a list of 171 Experts worldwide ranked by ideXlab platform
S. I. Matorin - One of the best experts on this subject based on the ideXlab platform.
-
A New Method of Systemological Analysis Coordinated with the Procedure of Object-Oriented Design. II
Cybernetics and Systems Analysis, 2020Co-Authors: S. I. MatorinAbstract:The paper presents the results of development of an Object-oriented systemological method used to design complex systems. A formal system representation, as well as an axiomatics of the calculus of systems as Functional flow-type Objects based on a Node-Function-Object class hierarchy are proposed. A formalized NFO/UFO analysis algorithm and CASE tools used to support it are considered.
-
Accounting for System-Wide Regularities in System-Object Modeling of Organizational Knowledge
Scientific and Technical Information Processing, 2019Co-Authors: S. I. Matorin, A. G. ZhikharevAbstract:— This article clarifies the definition of system in terms of the Unit–Function–Object system-Object approach based on the Abadi–Cardelli Object calculus. The formalization of the concepts system-forming factor and system adaptation is proposed. The presented formalisms are used to take system-wide regularities in constructing graphical-analytical models of organizational systems and business processes by the system-Object method of knowledge representation into account. The identified possible ways of taking regularities into account are compared with the capabilities of the system-structural and Object-oriented approaches, as well as with the Business Process Model and Notation. A formal description of system-wide regularities is given that makes it possible to substantiate the hierarchical relationship between them.
-
Object Calculus in the System–Object Method of Knowledge Representation
Scientific and Technical Information Processing, 2018Co-Authors: S. I. Matorin, A. G. Zhikharev, O. A. ZimovetsAbstract:In this work, methods of formalization of the Unit–Function–Object system approach and the system–Object method of representation of knowledge based on this approach are considered. The expediency of applying some ideas of the Object calculation of Abadi–Cardeli and the pattern theory of Grenander for further formalization is substantiated. By analogy with the above algebraic apparatus, the calculus of special Objects that represent elements of system–Object models, which includes graphic formulism and basic operations with Objects, has been developed. It is shown that using the proposed formal-semantic alphabet of special Objects, it is possible to simplify the procedure for decomposition of a complex system on the basis of the basic hierarchy of classes of systemic connections. A substantiation of a number of system-wide regularities is given.
-
Integration of formalization tools for graphical-analytical “Unit-Function-Object” models
Scientific and Technical Information Processing, 2013Co-Authors: O. A. Zimovets, S. I. MatorinAbstract:A new method for the formal description of systems in terms of “Unit”, “Function”, and “Object” based on the comparative study and integration of tools from the Grenander algebraic theory of patterns and Milner’s process calculus is considered. Decomposition and aggregation procedures are formalized for the graphic-analytical models “Unit-Function-Object” using the proposed approach.
-
On the technology development of graphic-analytical business modeling with the use of the system approach of “Knot-Function-Object”
Automatic Documentation and Mathematical Linguistics, 2007Co-Authors: S. I. Matorin, O. A. Zimovets, A. G. ZhikharevAbstract:This paper examines some promising trends in the development of an original system-Object approach based on graphic-analytical system representation using the “Knot-Function-Object” model. The software CASE-toolkit “UFO toolkit,” which automates business systems and the business-process modeling procedure using the described approach, is also examined.
Sebastià Martorell - One of the best experts on this subject based on the ideXlab platform.
-
Basics of genetic algorithms optimization for RAMS applications
Reliability Engineering & System Safety, 2006Co-Authors: Marzio Marseguerra, Sebastià MartorellAbstract:This paper discusses the use of genetic algorithms (GA) within the area of reliability, availability, maintainability and safety (RAMS) optimization. First, the multi-Objective optimization problem is formulated in general terms and two alternative approaches to its solution are illustrated. Then, the theory behind the operation of GA is presented. The steps of the algorithm are sketched to some details for both the traditional breeding procedure as well as for more sophisticated breeding procedures. The necessity of affine transforming the fitness Function, Object of the optimization, is discussed in detail, together with the transformation itself. In addition, how to handle constraints by the penalization approach is illustrated. Finally, specific metrics for measuring the performance of a genetic algorithm are introduced.
-
Basics of genetic algorithms optimization for RAMS applications
Reliability Engineering and System Safety, 2006Co-Authors: Marzio Marseguerra, Enrico Zio, Sebastià MartorellAbstract:This paper discusses the use of genetic algorithms (GA) within the area of reliability, availability, maintainability and safety (RAMS) optimization. First, the multi-Objective optimization problem is formulated in general terms and two alternative approaches to its solution are illustrated. Then, the theory behind the operation of GA is presented. The steps of the algorithm are sketched to some details for both the traditional breeding procedure as well as for more sophisticated breeding procedures. The necessity of affine transforming the fitness Function, Object of the optimization, is discussed in detail, together with the transformation itself. In addition, how to handle constraints by the penalization approach is illustrated. Finally, specific metrics for measuring the performance of a genetic algorithm are introduced. ?? 2005 Elsevier Ltd. All rights reserved.
K. Mizuguchi - One of the best experts on this subject based on the ideXlab platform.
-
A method to develop common management service in many management application programs based on management service specification using GDMO template
Proceedings of NOMS '96 - IEEE Network Operations and Management Symposium, 1996Co-Authors: K. Sugauchi, M. Suzuki, S. Miyazaki, K. MizuguchiAbstract:In the OSI (open systems interconnection) management system, many kinds of management application programs are developed in order to manage the communication networks. Therefore, it is necessary to develop applications efficiently. One of methods which develop applications efficiently is that the management system provides common Functions to each application as a management service. We propose one method that develops the above management service. We define the management service as a Function Object. The management system executes the management service based on the management service specifications defined in the GDMO (Guidelines for the Definition of Managed Object) templates.
-
NOMS - A method to develop common management service in many management application programs based on management service specification using GDMO template
Proceedings of NOMS '96 - IEEE Network Operations and Management Symposium, 1996Co-Authors: K. Sugauchi, M. Suzuki, S. Miyazaki, K. MizuguchiAbstract:In the OSI (open systems interconnection) management system, many kinds of management application programs are developed in order to manage the communication networks. Therefore, it is necessary to develop applications efficiently. One of methods which develop applications efficiently is that the management system provides common Functions to each application as a management service. We propose one method that develops the above management service. We define the management service as a Function Object. The management system executes the management service based on the management service specifications defined in the GDMO (Guidelines for the Definition of Managed Object) templates.
Jan Van Den Bussche - One of the best experts on this subject based on the ideXlab platform.
-
Mapping-equivalence and oid-equivalence of single-Function Object-creating conjunctive queries
The VLDB Journal, 2016Co-Authors: Angela Bonifati, Werner Nutt, Riccardo Torlone, Jan Van Den BusscheAbstract:Conjunctive database queries have been extended with a mechanism for Object creation to capture important applications such as data exchange, data integration, and ontology-based data access. Object creation generates new Object identifiers in the result that do not belong to the set of constants in the source database. The new Object identifiers can be also seen as Skolem terms. Hence, Object-creating conjunctive queries can also be regarded as restricted second-order tuple-generating dependencies (SO-tgds), considered in the data exchange literature. In this paper, we focus on the class of single-Function Object-creating conjunctive queries, or sifo CQs for short. The single-Function symbol can be used only once in the head of the query. We give a new characterization for oid-equivalence of sifo CQs that is simpler than the one given by Hull and Yoshikawa and places the problem in the complexity class NP. Our characterization is based on Cohen’s equivalence notions for conjunctive queries with multiplicities. We also solve the logical entailment problem for sifo CQs, showing that also this problem belongs to NP. Results by Pichler et al. have shown that logical equivalence for more general classes of SO-tgds is either undecidable or decidable with as yet unknown complexity upper bounds.
-
Mapping-equivalence and oid-equivalence of single-Function Object-creating conjunctive queries
arXiv: Databases, 2015Co-Authors: Angela Bonifati, Werner Nutt, Riccardo Torlone, Jan Van Den BusscheAbstract:Conjunctive database queries have been extended with a mechanism for Object creation to capture important applications such as data exchange, data integration, and ontology-based data access. Object creation generates new Object identifiers in the result, that do not belong to the set of constants in the source database. The new Object identifiers can be also seen as Skolem terms. Hence, Object-creating conjunctive queries can also be regarded as restricted second-order tuple-generating dependencies (SO tgds), considered in the data exchange literature. In this paper, we focus on the class of single-Function Object-creating conjunctive queries, or sifo CQs for short. We give a new characterization for oid-equivalence of sifo CQs that is simpler than the one given by Hull and Yoshikawa and places the problem in the complexity class NP. Our characterization is based on Cohen's equivalence notions for conjunctive queries with multiplicities. We also solve the logical entailment problem for sifo CQs, showing that also this problem belongs to NP. Results by Pichler et al. have shown that logical equivalence for more general classes of SO tgds is either undecidable or decidable with as yet unknown complexity upper bounds.
Marzio Marseguerra - One of the best experts on this subject based on the ideXlab platform.
-
Basics of genetic algorithms optimization for RAMS applications
Reliability Engineering & System Safety, 2006Co-Authors: Marzio Marseguerra, Sebastià MartorellAbstract:This paper discusses the use of genetic algorithms (GA) within the area of reliability, availability, maintainability and safety (RAMS) optimization. First, the multi-Objective optimization problem is formulated in general terms and two alternative approaches to its solution are illustrated. Then, the theory behind the operation of GA is presented. The steps of the algorithm are sketched to some details for both the traditional breeding procedure as well as for more sophisticated breeding procedures. The necessity of affine transforming the fitness Function, Object of the optimization, is discussed in detail, together with the transformation itself. In addition, how to handle constraints by the penalization approach is illustrated. Finally, specific metrics for measuring the performance of a genetic algorithm are introduced.
-
Basics of genetic algorithms optimization for RAMS applications
Reliability Engineering and System Safety, 2006Co-Authors: Marzio Marseguerra, Enrico Zio, Sebastià MartorellAbstract:This paper discusses the use of genetic algorithms (GA) within the area of reliability, availability, maintainability and safety (RAMS) optimization. First, the multi-Objective optimization problem is formulated in general terms and two alternative approaches to its solution are illustrated. Then, the theory behind the operation of GA is presented. The steps of the algorithm are sketched to some details for both the traditional breeding procedure as well as for more sophisticated breeding procedures. The necessity of affine transforming the fitness Function, Object of the optimization, is discussed in detail, together with the transformation itself. In addition, how to handle constraints by the penalization approach is illustrated. Finally, specific metrics for measuring the performance of a genetic algorithm are introduced. ?? 2005 Elsevier Ltd. All rights reserved.
