Automated synthesis refers to design of physical systems using any of the models proposed for machine intelligence like evolutionary computation, neural networks and fuzzy logic. Mechatronic systems are mixed or hybri...
详细信息
Automated synthesis refers to design of physical systems using any of the models proposed for machine intelligence like evolutionary computation, neural networks and fuzzy logic. Mechatronic systems are mixed or hybrid systems as they combine elements from different energy domains. these dynamic systems are inherently complex and capturing underlying energy behavior among interacting sub-systems is difficult owing to the variety in the composition of the mechatronic systems and also due to the limitation imposed by conventional modeling techniques unable to handle more than one energy domain. Bond-graph modeling and simulation is an advanced domain independent, object oriented and polymorphic graphical description of physical systems. the universal modeling paradigm offered by bond-graphs is well suited for mechatronic systems as it can represent their multi energy domain character using a unified notation scheme. Genetic programming is one of the most promising evolutionary computation techniques. the genetic programming paradigm is modeled on Darwinian concepts of evolution and natural selection. Genetic programming starts from a high level statement of a problem's requirements along with a fitness criterion and attempts to produce a computer program that provides a solution to the problem. Combining unified modeling and analysis tools offered by bond-graphs with topologically open ended synthesis and search capability of genetic programming, a novel automated design methodology has been developed for generating mechatronic systems designs using an integrated synthesis, analysis and feedback scheme which comes close to the definition of a true automated invention machine. this research paper develops a theoretical foundation for automated synthesis and design of mechatronic systems using bond-graphs and genetic programming.
For meeting the requirement that Web application system can quickly go into service, quick response, and rapid adapt the change of Web application system, this paper proposes a new Web development method: Agile Web De...
详细信息
For meeting the requirement that Web application system can quickly go into service, quick response, and rapid adapt the change of Web application system, this paper proposes a new Web development method: Agile Web Development with Web Framework (AWDWF). this paper present AWDWF through researching the characteristic of Web Framework, Agile Web development process, as well as their integration. Furthermore ISO/IEC9126-quality model is used to make the quality analyze of AWDWF. the results show that it raises the efficiency of WEB development, at the same time ensures that the quality of development.
Complex service-oriented enterprise application needs compose Web services to satisfy user specific requirements. Several approaches have been proposed to fulfill this need. However, those approaches and their runtime...
详细信息
Complex service-oriented enterprise application needs compose Web services to satisfy user specific requirements. Several approaches have been proposed to fulfill this need. However, those approaches and their runtime infrastructure are weak in providing flexible features such as dynamism and adaptability, which are needed in mobile networks and wireless scenarios. A semantic programming language - SPL and an integrated framework - SPLDE are proposed. the SPL is designed for integrating and orchestrating Web services, which is equipped with service role to decouple the static binding relation between business process and its participants. the concept of rule is also introduced in SPL to separate business decision from business logic to satisfy varying user requirements in evolving environment. the proposed SPLDE framework is used to design and execute business process based on semantic Web services with SPL language, which tries to offer an effective systematic solution for development and execution of service-oriented software system.
the research and development (R&D) project selection is concerned with how to evaluate and identify the best subset of projects under some resource constraints. this paper discusses a fuzzy multi-criteria evaluati...
详细信息
the research and development (R&D) project selection is concerned with how to evaluate and identify the best subset of projects under some resource constraints. this paper discusses a fuzzy multi-criteria evaluation approach for R&D project selection which uses algebraic operations of fuzzy variables to characterize the strength and weakness of each R&D alternatives. Furthermore, the fuzzy performance indexes can be obtained by aggregating the criteria weights and fuzzy ratings of alternatives. Finally, the expected values of fuzzy performance indexes are estimated through fuzzy simulation to rank these R&D alternatives. To illustrate the effectiveness of this method, a case study is presented to evaluate the competing software development projects.
We investigate the use of multilattices as the set of truth-values underlying a general fuzzy logicprogramming framework. On the one hand, some theoretical results about ideals of a multilattice are presented in orde...
详细信息
We investigate the use of multilattices as the set of truth-values underlying a general fuzzy logicprogramming framework. On the one hand, some theoretical results about ideals of a multilattice are presented in order to provide an ideal-based semantics;on the other hand, a restricted semantics, in which interpretations assign elements of a multilattice to each propositional symbol, is presented and analysed. (C) 2006 Elsevier B.V. All rights reserved.
In this paper we study generic expansions of logics of continuous t-norms with truth-constants, taking advantage of previous results for Lukasiewicz logic and more recent results for Godel and Product logics. Indeed, ...
详细信息
In this paper we study generic expansions of logics of continuous t-norms with truth-constants, taking advantage of previous results for Lukasiewicz logic and more recent results for Godel and Product logics. Indeed, we consider algebraic semantics for expansions of logics of continuous t-norms with a set of truth-constants {(r) over bar vertical bar r is an element of C}, for a suitable countable C subset of [0, 1], and provide a full description of completeness results when (i) the t-norm is a finite ordinal sum of Lukasiewicz, Godel and Product components, (ii) the set of truth-constants covers all the unit interval in the sense that each component of the t-norm contains at least one value of C different from the bounds of the component, and (iii) the truth-constants in Lukasiewicz components behave as rational numbers. (C) 2006 Elsevier B.V. All rights reserved.
In this paper, the decision problem of basic groups and basic semi-groups in partial multiple-valued logic is solved;meanwhile, it is proved that the precomplete classes which include non-trivial unary semi-group are ...
详细信息
ISBN:
(纸本)0769528740
In this paper, the decision problem of basic groups and basic semi-groups in partial multiple-valued logic is solved;meanwhile, it is proved that the precomplete classes which include non-trivial unary semi-group are fully determined by singular semi-group.
the dynamic fuzzy logic (DFL) programming language can deal with dynamic fuzzy data that is the special difference from other programming languages. In order to implement DFL programming language, some suitable data t...
详细信息
ISBN:
(纸本)9780769528748
the dynamic fuzzy logic (DFL) programming language can deal with dynamic fuzzy data that is the special difference from other programming languages. In order to implement DFL programming language, some suitable data types of it also should be defined. this paper describes primitive data types of DFL programming language and the mechanism of constructing other data types through extending the primitive data types. Withthe aim of concretely analyzing dynamic fuzzy data, it is necessary to modify the classical lambda calculus by adding a dynamic fuzzy degree to each term.
the proceedings contain 14 papers. the topics discussed include: reflecting linear arithmetic: from dense linear orders to Presburger arithmetic;lightweight verification with dependent types;trends and challenges in s...
the proceedings contain 14 papers. the topics discussed include: reflecting linear arithmetic: from dense linear orders to Presburger arithmetic;lightweight verification with dependent types;trends and challenges in satisfiability modulo theories;formal device and programming model for a serial interface;combinations of theories and the Bernays-Schönfinkel-ramsey class;a history-based verification of distributed applications;symbolic fault injection;a termination checker for Isabelle Hoare logic;the heterogeneous tool set;fully verified JAVA CARD API reference implementation;automated formal verification of PLC programs written in IL;and combining deduction and algebraic constraints for hybrid system analysis.
Cell formation decisions are made based on several factors such as machining times, utilization, workload, alternative routings, capacities, operation sequences. Most of the traditional Cell Formation procedures ignor...
详细信息
ISBN:
(纸本)0769528740
Cell formation decisions are made based on several factors such as machining times, utilization, workload, alternative routings, capacities, operation sequences. Most of the traditional Cell Formation procedures ignore the existence of stochastic production requirements and alternative routes. In this study, a simulation based Fuzzy Goal programming model is proposed for solving cell formation problems considering stochastic production requirements and alternative routes. A tabu search based solution methodology is used for solution.
暂无评论