For many given systems of logic, it is possible to identify, via systematic proof-theoretic analyses, a fragment which can be used as a basis for a logicprogramming language. Such analyses have been applied to linear...
详细信息
the proceedings contains 18 papers. Topics discussed include simulation models of short rotation forestry, willow wood properties, production and economy, poplar cultivation, seasonal amount, growth and depth distribu...
详细信息
the proceedings contains 18 papers. Topics discussed include simulation models of short rotation forestry, willow wood properties, production and economy, poplar cultivation, seasonal amount, growth and depth distribution of roots, demographic studies of canopy development, biomass fuel, and coppice culture.
A procedure is proposed leading to an optimal detailed design of reinforced concrete members. the general scheme followed is that of a multi-criterion design optimization. the method synthesizes the information from t...
详细信息
A procedure is proposed leading to an optimal detailed design of reinforced concrete members. the general scheme followed is that of a multi-criterion design optimization. the method synthesizes the information from the cross-sectional level, to the member level and finally, to a group of members where the detailed design of the whole group is decided. At the cross-sectional level, the required reinforcement in cm(2) is converted into reinforcing bars of all possible diameters. At the member and/or group of members level, a number of lists that contain different design scenarios are generated. the method of objective weighting is applied to a multi-criterion objective function, which represents a compromise of the 'minimum weight', 'maximum uniformity' and 'minimum number of reinforcing bars' criteria. By varying the weighting factors, it is possible to generate the Pareto optimal set of the problem. the performance of the system is illustrated with a number of examples. the same building is designed using different weighting factors in the multi-criterion objective. the variation of the detailed designs is discussed and certain values for the weighting factors are recommended. Copyright (C) 1996 Civil-Comp Limited and Elsevier Science Limited.
the different properties characterizing the operational behavior of logic programs can be organized in a hierarchy of fixpoint semantics related by Galois insertions, having the least Herbrand model as most abstract s...
详细信息
the most important open problem in the study of termination for logic programs is that of existential termination. In this paper we present a powerful transformational methodology that provides necessary (and, under s...
详细信息
We present an implementation of directed narrowing extended to the conditional framework, which is complete for two classes of conditional term rewrite systems: confluent and decreasing on one hand, level-confluent an...
详细信息
In this paper, the co-ordinated system of fuzzy logic and evolutionary programming (FCEP), is presented. the main idea behind the FCEP is that a fuzzy mutation controller is implemented to adaptively update the mutati...
详细信息
ISBN:
(纸本)0780336461
In this paper, the co-ordinated system of fuzzy logic and evolutionary programming (FCEP), is presented. the main idea behind the FCEP is that a fuzzy mutation controller is implemented to adaptively update the mutation rate during the evolutionary process. the major advantage of the FCEP lies in its potential to quickly find the global optimal solution or the near optimal solutions under a series of constraints.
the proceedings contain 60 papers. the special focus in this conference is on algebraic Methodology and Software Technology. the topics include: Two industrial trials of formal specification;industrial applications of...
ISBN:
(纸本)9783540614630
the proceedings contain 60 papers. the special focus in this conference is on algebraic Methodology and Software Technology. the topics include: Two industrial trials of formal specification;industrial applications of ASF + SDF;the embedded software of an electricity meter: an experience in using formal methods in an industrial project;applying research results in the industrial environment;using heterogeneous formal methods in distributed software engineering education;introducing formal methods to software engineers through OMG’s corba environment and interface definition language;toward a classification approach to design;semantic foundations for embedding HOL in nuprl;free variable tableaux for a many sorted logic with preorders;automating induction over mutually recursive functions;pushouts of order-sorted algebraic specifications;a formal framework for modules with state;object-oriented implementation of abstract data type specifications;on the completeness of the equations for the kleene star in bisimulation;an equational axiomatization of observation congruence for prefix iteration;finite axiom systems for testing preorder and de simone process languages;constructive semantics of esterel;using ghost variables to prove refinement;tracing the origins of verification conditions;preprocessing for lnvariant validation;formal verification of SIGNAL programs;the discrete time TOOLBUS;a study on the specification and verification of performance properties;symbolic bisimulation for limed processes;approximative analysis by process algebra with graded spatial actions;boolean formalism and explanations;proving existential termination of normal logic programs;programming in lygon and some characteristics of strong innermost normalization.
暂无评论