Applying an Ordinal Priority Approach Based Neutrosophic Fuzzy Axiomatic Design Approach to Develop Sustainable Geothermal Energy Source

Geothermal energy is considered a renewable,environmentally friendly,especially carbon-free,sustainable energy source that can solve the problem of climate change.In general,countries with geothermal energy resources are the ones going through the ring of fire.Therefore,not every country is lucky enough to own this resource.As a country with 117 active volcanoes and within the world’s ring of fire,it is a country whose geothermal resources are estimated to be about 40%of the world’s geothermal energy potential.However,the percentage used compared to the geothermal potential is too small.Therefore,this is the main energy source that Indonesia is aiming to exploit and use.However,the deployment and development of this energy source are still facing many obstacles due to many aspects from budget sources due to high capital costs,factory construction location,quality of resources,and conflicts of the local community.In this context,determining the optimal locations for geothermal energy sites(GES)is one of the most important and necessary issues.To strengthen the selection methods,this study applies a two-layer fuzzy multi-criteria decision-making method.Through the layers,the Ordinal Priority Approach(OPA)is proposed to weight the sub-criteria,the main criterion,and the sustainability factors.In layer 2,the Neutrosophic Fuzzy Axiomatic Design(NFAD)is applied to rank and evaluate potential locations for geothermal plant construction.Choosing the right geothermal energy site can bring low-cost efficiency,no greenhouse gas emissions,and quickly become the main energy source providing electricity for Indonesia.The final ranking shows Papua,Kawah Cibuni,and Moluccas as the three most suitable cities to build geothermal energy systems.Kawah Cibuni was identified as the most potential GES in Indonesia,with a score of 0.46.Papua is the second most promising GES with a score of 0.45.Next is the Moluccas,with a score of 0.39.However,the three least potential sites among the 15 studied sites are Lumut Balai,Moluccas and Patuha,with scores of 0.08,0.11 and 0.17,respectively.The conclusion of this study also classifies positions into groups to aid in decision-making.

Finite Axiomatization for Symbolic Probabilistic π-Calculus

This paper focuses on the problem of seeking complete axiomatization for finite processes in the process calculus called symbolic probabilistic π-calculus introduced by Wu,Palamidessi and Lin.We provide inference systems for both strong and weak symbolic probabilistic bisimulations and also prove their soundness and completeness.This is the first work,to our knowledge,that provides complete axiomatization for symbolic probabilistic bisimulations in the presence of both nondeterministic and probabilistic choice.

Axiomatization of Special Relativity in First Order Logic

The axiomatization of physical theories is a fundamental issue of science. The first-order axiomatic system SpecR el for special relativity proposed recently by Andr′eka et al. is not enough to explain all the main results in the theory, including the twin paradox and energy-mass relation. In this paper, from a four-dimensional spacetime perspective, we introduce the concepts of world-line, proper time and four-momentum to our axiomatic system SpecR el^+. Then we introduce an axiom of mass(Ax Mass) and take four-momentum conservation as an axiom(Ax CFM)in SpecR el^+. It turns out that the twin paradox and energy-mass relation can be derived from SpecR el+logically. Hence,as an extension of SpecR el, SpecR el^+is a suitable first-order axiomatic system to describe the kinematics and dynamics of special relativity.

The Historical Logic on the Basic Theory of Physics—A Summary on the Cosmic Continuum Theory

Any scientific system has a unified basic theory. But physics has no unified basic theory in the modern sense. Classical mechanics, relativity and quantum mechanics have their own basic concepts, categories and principles, so none of them can be regarded as true basic theories of physics. Cosmic Continuum Theory holds that the continuity and discreteness of the universe are fundamental issues related to the unification of physics. Because the contradiction between quantum non-locality and local reality is the fundamental obstacle to the unification of physics, while locality and non-locality correspond to the continuity and discreteness of physical reality respectively. The cosmic continuum theory introduces mathematical continuum and axiomatic ideas to reconstruct the basic theory of physics, and by the correspondence of existence and its dimensions to achieve the unification of the essence of physical reality, by introducing the cosmic continuum hypothesis to achieve the unification of the continuity and discreteness of physical reality, by introducing axiomatic methods to achieve formal unification of the foundations on physics. From the perspective of Cosmic Continuum, classical mechanics, relativity and quantum mechanics are no longer the basic theories of physics, but three branch theories of physics that are respectively applicable to macroscopic, cosmoscopic and microcosmic systems.

Barbed congruence of the asymmetric chi calculus

The ehi calculus is a model of mobile processes. It has evolved from the pi-calculus with motivations from simplification aml communication-as-cut-eliminatinn. This paper studies the ehi calculus in the framework incorporating asymmetric communication. The major feature of the calculus is the identification of two actions： x/x and τ. The investigalion on the barbed bisimilarity shows how the property affects the observational theory. Based on the definition of the barbed bisimilarity, the simulation properties of the barbed bisimilarity are studied. It shows that the algebraic properties of the barbed bisimiilarity have changed greatly compared with the chi calculus.Although the definition of the barbed bisimilarity is very simple, the properly of closeness under contexts makes it difficuh to understand the barbed bisimilarity directly. Therefore an open style definition of the barbed bisimilarity is given, which is a context free description of barbed bisimilarity. Its definition is complex, but it is a well-behaved relation for it coincides with the barbed bisimilarity. It also helps to build an axiomatization system for the bathed congruence. Besides the axioms for the strong barbed bisimilarity, the paper proposes a new tau law and four new update laws for the barbed congruence. Both the operational and algebraic properties of the enriched calculus improve the understanding of the bisimulation behaviors of the model.

SELF-ORGANIZED SEMANTIC FEATURE EVOLUTION FOR AXIOMATIC DESIGN

Aiming at the problem existing in the computer aided design process that how to express the design intents with high-level engineering terminologies, a mechanical product self-organized semantic feature evolution technology for axiomatic design is proposed, so that the constraint relations between mechanical parts could be expressed in a semantic form which is more suitable for designers. By describing the evolution rules for semantic constraint information, the abstract expression of design semantics in mechanical product evolution process is realized and the constraint relations between parts are mapped to the geometric level from the semantic level; With semantic feature relation graph, the abstract semantic description, the semantic relative structure and the semantic constraint information are linked together; And the methods of semantic feature self-organized evolution are classified. Finally, combining a design example of domestic high-speed elevator, how to apply the theory to practical product development is illustrated and this method and its validity is described and verified. According to the study results, the designers are able to represent the design intents at an advanced semantic level in a more intuitional and natural way and the automation, recursion and visualization for mechanical product axiomatic design are also realized.

New Hybrid AD Methodology for Minimizing the Total Amount of Information Content:A Case Study of Rehabilitation Robot Design

Converting customer needs into specific forms and providing consumers with services are crucial in product design.Currently,conversion is no longer difficult due to the development of modern technology,and various measures can be applied for product realization,thus increasing the complexity of analysis and evaluation in the design process.The focus of the design process has thus shifted from problem solving to minimizing the total amount of information content.This paper presents a New Hybrid Axiomatic Design(AD)Methodology based on iteratively matching and merging design parameters that meet the independence axiom and attribute constraints by applying trimming technology,the ideal final results,and technology evolution theory.The proposed method minimizes the total amount of information content and improves the design quality.Finally,a case study of a rehabilitation robot design for hemiplegic patients is presented.The results indicate that the iterative matching and merging of related attributes can minimize the total amount of information content,reduce the cost,and improve design efficiency.Additionally,evolutionary technology prediction can ensure product novelty and improve market competitiveness.The methodology provides an excellent way to design a new(or improved)product.

Method for Functional Design of Axiomatic Design Based on Connections

Axiomatic design（AD） is a popular design method,and satisfying the independence axiom is the basis of AD.However,AD doesn＇t provide methods to decompose functions then keep them independent and to handle coupled design.A few of ways of handling coupled design are mainly passive resolutions when coupled design exists,but not efficient to each product design.Hence,this paper presents an innovative approach to design and decompose functions of complex products based on functional connections,aiming at actively avoiding functional coupling.By contrasting with component networks,four kinds of relations among functions are identified,including spatial,energy,material,and information connection.Then the definitions of these relations and the dominant connection are given.Based on the definitions,the principles of functional decomposition and design are developed,in which each non-leaf function is broken into sub functions centered on its dominant connection with avoidance of functional cross and coupling,and sequentially satisfies the independence axiom.Then the operational flow of the proposed approach is constructed.Determining the dominant connection of a function,decomposing the function into sub functions in terms of the dominant connection and reverse examination and optimization are planed as the core steps in each zigzagging.Input process output（IPO） analysis is introduced to obtain the dominant connection of a function,some rules for examining and optimizing the decomposition results reversely according to oriented object theory are presented as well.An illustrative example about the pouring function of squeeze casting equipments presented demonstrates how to use the proposed approach,and indicates its effectiveness.The proposed approach expands the principles of AD,constructs a guidance policy for independent functional design of complex products based on AD,and can help decrease or actively avoid coupled design and improve design efficiency.

Communication, Conviction, and Persuasion in The Origin of Species by Charles Darwin

Charles Darwin discovers that the theory of the species＇ creation by a miraculous being has reached a double impasse, due to the science ＂speech＂ evolution. There is an expositive impasse （it can＇t explain some facts any more） and a communication-comprehensive impasse （within its limits, some facts are not communicable or understandable）. In order to endorse his theory of evolutionism, Darwin develops an argumentative communicating science based on two axes： the facts and the axiomatics. His communicating science follows the next structure： （1） a relation with the starting thesis is established; （2） some evidence are promoted; （3） as the base of the evidence, a motivation is emphasized; （4） as a reason, an axiomatics is assigned to this base; and （5） finally, the facts and the quantifiers are explained by valid conclusions.

Integration of axiomatic design and theory of inventive problem solving for conceptual design

Axiomatic design (AD) and theory of inventive problem solving (TRIZ) are widely used in conceptual design. Both of them have limitations, however. We presented an integrated model of these two methods to increase the efficiency and quality of the problem solving process for conceptual design. AD is used for systematically defining and structuring a problem into a hierarchy. Sometimes, the design matrix is coupled in AD which indicates the functional requirements are coupled. TRIZ separation principles can be used to separate non-independent design parameters, which provide innovative solutions at each hierarchical level. We applied the integrated model to the heating and drying equipment of bitumen reproduction device. The result verifies that the integrated model can work very well in conceptual design.

A Note on C-wrpp Semigroups

In this paper, we give equivalent characterizations of C wrpp semigroups.

Self-organized evolution of mechanism kinetic scheme based on axiomatic design

The self-organized evolution technology of the mechanism kinetic scheme based on axiomatic design is presented. This technology tries to express the constraints between kinetic mechanisms briefly in a semantic form which is more familiar to the designers. Through the mapping process between the kinetic chain unit and the unit instance, the evolution from abstract unit to concrete engineering instance is achieved. The subdivision of unit coupling semantics is studied, and the evolution of semantics is finished. Also, the semantic constraints evolution of unit coupling semantics is described. The product structure models with function and assembly meanings are constructed based on the kinematic chain unit and unit coupling. It provides a basis to realize the inheritance and transfer of constraint information from conceptual design to design for assembly （DFA）. As the engineering practice result shows, the method can help the engineers express their And the automation, recursion and design intension more clearly and naturally in a high semantic level. visualization of the mechanism kinetic scheme design are realized

Formal Inferring the Law of Conservation of Energy from Assuming A-Priori-ness of Knowledge in a Formal Axiomatic Epistemology System Sigma

The research purpose is invention (construction) of a formal logical inference of the Law of Conservation of Energy within a logically formalized axiomatic epistemology-and-axiology theory Sigma from a precisely defined assumption of a-priori-ness of knowledge. For realizing this aim, the following work has been done: 1) a two-valued algebraic system of formal axiology has been defined precisely and applied to proper-philosophy of physics, namely, to an almost unknown (not-recognized) formal-axiological aspect of the physical law of conservation of energy;2) the formal axiomatic epistemology-and-axiology theory Sigma has been defined precisely and applied to proper-physics for realizing the above-indicated purpose. Thus, a discrete mathematical model of relationship between philosophy of physics and universal epistemology united with formal axiology has been constructed. Results: 1) By accurate computing relevant compositions of evaluation-functions within the discrete mathematical model, it is demonstrated that a formal-axiological analog of the great conservation law of proper physics is a formal-axiological law of two-valued algebra of metaphysics. (A precise algorithmic definition of the unhabitual (not-well-known) notion “formal-axiological law of algebra of metaphysics” is given.) 2) The hitherto never published significantly new nontrivial scientific result of investigation presented in this article is a formal logical inference of the law of conservation of energy within the formal axiomatic theory Sigma from conjunction of the formal-axiological analog of the law of conservation of energy and the assumption of a-priori-ness of knowledge.

Formally Deriving the Third Newton’s Law from a Pair of Nontrivial Assumptions in a Formal Axiomatic Theory “Sigma-V”

The article is devoted to hitherto never undertaken applying an almost unknown logically formalized axiomatic epistemology-and-axiology system called “Sigma-V” to the Third Newton’s Law of mechanics. The author has continued investigating the extraordinary (paradigm-breaking) hypothesis of formal-axiological interpreting Newton’s mathematical principles of natural philosophy and, thus, has arrived to discrete mathematical modeling a system of formal axiology of nature by extracting and systematical studying its proper algebraic aspect. Along with the proper algebraic machinery, the axiomatic (hypothetic-deductive) method is exploited in this investigation systematically. The research results are the followings. 1) The Third Newton’s Law of mechanics has been modeled by a formal-axiological equation of two-valued algebraic system of metaphysics as formal axiology. (Precise defining the algebraic system is provided.) The formal-axiological equation has been established (and examined) in this algebraic system by accurate computing compositions of relevant evaluation-functions. Precise tabular definitions of the evaluation-functions are given. 2) The wonderful formula representing the Third Newton’s Law (in the relevant physical interpretation of the formal theory Sigma-V) has been derived logically in Sigma-V from the presumption of a-priori-ness of knowledge. A precise axiomatic definition of the nontrivial notion “a-priori-ness of knowledge” is given. The formal derivation is implemented in strict accordance with the rigor standard of D. Hilbert’s formalism;hence, checking the formal derivation submitted in this article is not a difficult task. With respect to proper theoretical physics, the formal inference is a nontrivial scientific novelty which has not been discussed and published elsewhere yet.

A Study on Conceptual Design of Mechatronic System

The conceptual design of mechatronic systems is addressed under the thrust of concurrent engineering and an enhanced conceptual design methodology describing the early design stage of mechatronic systems is presented through an example illustration of a pick and place robot.This methodology treats each feasible solution as a solution strategy.In the methodology,Quality Function Deployment(QFD)is used as a baseline for the analysis of the mapping from customers to engineering requirements,Axiomatic Design(AD)is adopted as a guideline to generate feasible,good design solution alternatives,and Theory of Inventive Problem Solving(TRIZ)is applied to deal with domain conflicts in design.

Axiomatic Differential Geometry III-3-Its Landscape-Chapter 3: The Old Kingdom of Differential Geometers

The principal objective of this paper is to study the relationship between the old kingdom of differential geometry (the category of smooth manifolds) and its new kingdom (the category of functors on the category of Weil algebras to some smooth category). It is shown that the canonical embedding of the old kingdom into the new kingdom preserves Weil functors.

Application of axiomatic approach to coal mine design field

Two design axioms and axiomatic approach were discussed. As an example of application, design process of a new style single prop was illustrated in term of axi- oms.

New Discovery on Planck Units and Physical Dimension in Cosmic Continuum Theory

In 1899, Max Planck integrated the Planck constant h with the gravitational constant G and the speed of light c, discovered a set of physical constants, and created Planck Units System. Since 20th century, the development of physics made the gravitational constant, the speed of light, and the Planck constant the most important fundamental constants of physics representing classical theory, relativity, and quantum theory, respectively. Now, the Planck Units have been given new physical meanings, revealing the mysteries of many physical boundaries. However, more than 100 years have passed, Planck Units System not only failed to get rid of the incompatibility between the basic theories of physics, but also cannot surpass the limitations of existing physics theories. In Cosmic Continuum Theory, physical dimensions can be transformed under the principle of equivalence. Planck units system not only integrates into the axiom system of Cosmic Continuum Theory, but also establishes a benchmark for the unity of physical dimensions. The introduction of the abstract physical dimensions “JX” and “XJ” makes the physical dimension of existence quantity and dimension quantity unified respectively.

AN AXIOMATICS OF GEOMECHANICS

Taking the theory of mixture as a basic .framework, the paper merges the primesof rational mechanics irreivrsible thermodynamics and soil meehanics into an organicsystem and proposes an axiomatics of geomechanics .The theoretical system consistsof 5 basis laws and 8 constitutive principles .and it erects a bridge across the gapbetween the pure theory of mechanics and engineering practice .

A Davidsonian Truth-theoretic Semantics Treatment of an EkeGusii Proverb

The paper examines some doctrines of the Davidsonian Programme of truth conditional Semantics that relates truth to meaning using Tarski’s T-Convention,in relation to its efficacy in a semantic valuation of the EkeGusii proverb:Nda’indongi ereta morogi ereta moibi which exemplifies a kind of complex sentence that a given system of Semantics is meant to account for.The coverage of Davidsonian truth-conditional notion of T-convention and that of compositionality are considered to have only a partial reach in accounting for the meaning of the proverb by not incorporating pragmatic aspects.The failure of T-convention is not alleviated by the adoption of radical interpretation as posited by Davidson but is extended to consider aspects of pragmatic enrichment and dynamic Semantics.