Logical-Structure Modeling for Conceptual Design

Based on the definition of a logic structure feature to relate logically functional requirements to geometric representation independent upon detailed geometric representation, this paper presents an idea of logical structure modeling for computer aided conceptual design and makes attempt to establish a representation formalism of logic structure modeling. The definition and representation of logical structure feature are given and an assembly module definition for supporting top down conceptual design is also proposed. The proposed scheme contributes to several aspects of conceptual design research, especially to provide elementarily a formal methodology for computer aided conceptual design system development and operation.

The Fundamental Theory of Artificial Intelligence—Logic Structure and Logic Engineering

The research purpose of this dissertation is threefold: to innovate artificial intelligence methods, to create the intersection of artificial intelligence and biological research, and to innovate human methodology. The work I have done in my research includes: improving logical structure and logical engineering, using my theory to study the innovation of the development path of artificial intelligence, using my theory to create biomimetic logic, a new intersection of artificial intelligence and biological research, and exploring the innovation of human methodology through the previous two works. The results of the research are as follows: 1) Introduction to bionic logic, incorporating simulations of people, society, and life as core principles. 2) Definition of the logical structure as the primary focus of research, with logic mechanics serving as foundational research principles. 3) Examination of the logical structure’s environment through logical fields and networks. 4) Study of logical structure communication via logical networks and main lines. 5) Proposal of data logic. 6) Investigation into the logic of logical structures, employing structural diagrams of logical equations. 7) Development of a theory of life activity within logical structures, encompassing information reasoning, its corresponding control structure, and structural reasoning. 8) Introduction of the lifecycle theory for logical structures and examination of the clock equation. 9) Exploration of logical structure intelligence. 10) Study of logical structures in mathematical forms. 11) Introduction of logic engineering. 12) Examination of artificial intelligence’s significance. 13) Investigation into the significance of human methodology.

Data Logic Structure and Key Technologies on Intelligent High-precision Map

Taking autonomous driving and driverless as the research object,we discuss and define intelligent high-precision map.Intelligent high-precision map is considered as a key link of future travel,a carrier of real-time perception of traffic resources in the entire space-time range,and the criterion for the operation and control of the whole process of the vehicle.As a new form of map,it has distinctive features in terms of cartography theory and application requirements compared with traditional navigation electronic maps.Thus,it is necessary to analyze and discuss its key features and problems to promote the development of research and application of intelligent high-precision map.Accordingly,we propose an information transmission model based on the cartography theory and combine the wheeled robot’s control flow in practical application.Next,we put forward the data logic structure of intelligent high-precision map,and analyze its application in autonomous driving.Then,we summarize the computing mode of“Crowdsourcing+Edge-Cloud Collaborative Computing”,and carry out key technical analysis on how to improve the quality of crowdsourced data.We also analyze the effective application scenarios of intelligent high-precision map in the future.Finally,we present some thoughts and suggestions for the future development of this field.

New Exploration of Logic Starting Point of Audit Theory Structure

As a discipline that has developed for many years,audit has been relatively mature and complete in its theoretical structure.As we all know,the establishment of any discipline requires a set of mature theoretical framework that are logical,progressive from point to surface.This theoretical structural framework is called the theoretical structure,and the research process of the audit discipline also needs to build such a theoretical system to make the audit research planned and structured,then the logical starting point in the audit theory structure will largely influence the direction and development of the audit discipline.In this paper,by expounding the characteristics and conditions of the logical starting point and combining some domestic and international discussions on the logical starting point,the author considers and explores the selection of logical starting point of the audit theory structure,hoping to select an amenable element as the logical starting point of the theoretical system to promote the research and development of the audit discipline.

Logical Structure School II (Nine Applied Theories)

Based on existing logic theories, this paper proposes nine classical application theories. These consist of Logical Spacetime (which includes Logical Spacetime and Logical Mathematics and Physics), Logical Fields, Logical Networks, Life Communications, Life Reasoning Activities, Life Cycle, Life Data, Life Programming and Life Learning Strategy. The application theories describe a panoramic view of the technological development of their three main subjects (artificial intelligence, robotics and intelligent society) with the strength of one school of thought.

Logical Structure School I (Five Fundamental Theories)

Based on The Purpose of Logical Structure School, Logic Structure, Logical Engineering, Theory of Logical Equation Structure Diagrams, and Bionic Logic Theory, this paper proposes five foundational classical theories (The Purpose of the Logical Structure School, Subjective Initiative Structure, Subjective Initiative Structure Engineering, The Life-Giving Logical Equation Structure Diagram, and Bionic Logic), providing directions, methods, and criteria for foundational research on artificial intelligence, robotics and the age of intelligence.

Seismic response control of a complex structure using multiple MR dampers: experimental investigation

This paper presents an experimental investigation on semi-active seismic response control of a multi- story building with a podium structure using multiple magnetorheological (MR) dampers manipulated by a logic control algorithm.The experiments are performed in three phases on a seismic simulator with a slender 12-story building model representing a multi-story building and a relatively stiff 3-story building model typifying a podium structure.The first phase of the investigation is to assess control performance of using three MR dampers to link the 3-story building to the 12-story building,in which seismic responses of the controlled two buildings are compared with those of the two buildings without any connection and with rigid connection.The second phase is to investigate reliability of the semi-active control system and robustness of the logic control algorithm when 2 out of 3 MR dampers fail and when the electricity supply to MR dampers is completely stopped.The last phase is to examine sensitivity of semi-active control performance of two buildings to change in ground excitation.The experimental results show that multiple MR dampers with the logic control algorithm can achieve a significant reduction in seismic responses of both buildings.The proposed semi-active control system is of high reliability and good robustness.

Specification and Verification for Semi-Structured Data

Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system.

Quantum Measurements Generating Structures of Numerical Events

Let S be a set of states of a physical system and p(s) the probability of an occurrence of an event when the system is in state s∈S. The function p from S to [0,1] is called a numerical event, multidimensional probability or, more precisely, S-probability. If a set of numerical events is ordered by the order of real functions one obtains a partial ordered set P in which the sum and difference of S-probabilities are related to their order within P. According to the structure that arises, this further opens up the opportunity to decide whether one deals with a quantum mechanical situation or a classical one. In this paper we focus on the situation that P is generated by a given set of measurements, i.e. S-probabilities, without assuming that these S-probabilities can be complemented by further measurements or are embeddable into Boolean algebras, assumptions that were made in most of the preceding papers. In particular, we study the generation by S-probabilities that can only assume the values 0 and 1, thus dealing with so called concrete logics. We characterize these logics under several suppositions that might occur with measurements and generalize our findings to arbitrary S-probabilities, this way providing a possibility to distinguish between potential classical and quantum situations and the fact that an obtained structure might not be sufficient for an appropriate decision. Moreover, we provide some explanatory examples from physics.

Fair Preorder for Partial Fair Kripke Structures

This paper discussed how to handle the fairness conditions in partial Kripke structures. The partial Kripke structures were used for partial state spaces model checking, which is a new technique to solve problems of state explosion. This paper extended the partial Kripke structure with fairness conditions by defining a partial fair Kripke structure, and a 3 valued fair CTL(Computation Tree Logic) semantics correspondingly. It defines a fair preorder between partial Kripke structures that preserves fairness and is akin to fair bisimulation. In addition, a pertinent theorem is also given, which indicates the relationship between the partial state spaces and the more complete one by illustrating the characterizations of states in the partial fair structure in terms of CTL formulae.

CONCEPTUAL MODELING BASED ON LOGICAL EXPRESSION AND EVOLVEMENT

Aiming at the problem of abstract and polytype information modeling in product conceptual design, a method of conceptual modeling based on logical expression and evolvement is presented. Based on the logic expressions of the product conceptual design information, a fimction/logic/strucmre mapping model is set up. First, the fimction semantics is transformed into logical expressions through fimction/logic mapping. Second, the methods of logical evolvement are utilized to describe the fimction analysis, fimction/strucmre mapping and structure combination. Last, the logical structure scheme is transformed into geometrical sketch through logic/structure mapping. The conceptual design information and modeling process are described uniformly with logical methods in the model, and an effective method for computer aided conceptual design based on the model is implemented.

A New View of the Dynamics of Particle Structure

The new view denies the existence of fundamental particles in matter, and instead states that any particle and matter is a dynamic superposition of three natural elements, motion, force, and emptiness. This paper proposes a new theory of the structure of matter and the unification of the four forces. A correct understanding of the logic of material structure will enable atomic energy and nuclear physics to generate new manufacturing ideas. The dissertation expounds the natural distribution of dynamics and forces in space and the new deterministic theory of dynamic relationship. This theory solves problems such as the unity of the four forces and the dynamic laws of the material structure. In practical applications, it can provide new theoretical guidance for industrial manufacturing such as nuclear energy, fusion engineering, new energy, new materials, battery energy storage, new-generation reactors, etc., and then adopt effective means in line with the laws of natural power to make the substances needed by human beings. The supply of resources and energy is perfectly satisfied. Applying this theoretical model of material structure to all aspects of the manufacturing industry will surely open up a new era of material civilization for human beings.

Adaptive Sliding Mode Control for MIMO Nonlinear Systems Based on Fuzzy Logic Scheme

In this study an indirect adaptive sliding mode control (SMC) based on a fuzzy logic scheme is proposed to strengthen the tracking control performance of a general class of multi-input multi-output (MIMO) nonlinear uncertain systems. Combining reaching law approach and fuzzy universal approximation theorem, the proposed design procedure combines the advantages of fuzzy logic control, adaptive control and sliding mode control. The stability of the control systems is proved in the sense of the Lyapunov second stability theorem. Two simulation studies are presented to demonstrate the effectiveness of our new hybrid control algorithm.

All-optical logic gate computing for high-speed parallel information processing

Optical computing and optical neural network have gained increasing attention in recent years because of their potential advantages of parallel processing at the speed of light and low power consumption by comparison with electronic computing.The optical implementation of the fundamental building blocks of a digital computer,i.e.logic gates,has been investigated extensively in the past few decades.Optical logic gate computing is an alternative approach to various analogue optical computing architectures.In this paper,the latest development of optical logic gate computing with different kinds of implementations is reviewed.Firstly,the basic concepts of analogue and digital computing with logic gates in the electronic and optical domains are introduced.And then a comprehensive summary of various optical logic gate schemes including spatial encoding of light field,semiconductor optical amplifiers(SOA),highly nonlinear fiber(HNLF),microscale and nanoscale waveguides,and photonic crystal structures is presented.To conclude,the formidable challenges in developing practical all-optical logic gates are analyzed and the prospects of the future are discussed.

A Novel Analytical Method for Structural Characteristics of Gene Networks and its Application

Analyzing gene network structure is an important way to discover and understand some unknown relevant functions and regulatory mechanisms of organism at the molecular level. In this work, mutual information networks and Boolean logic networks are constructed using the methods of reverse modeling based on gene expression profiles in lung tissues with and without cancer. The comparison of these network structures shows that average degree, the proportion of non-isolated nodes, average betweenness and average coreness can distinguish the networks corresponding to the lung tissues with and without cancer. According to the difference of degree, betweenness and coreness of each gene in these networks, nine structural key genes are obtained. Seven of them which are related to lung cancer are supported by literatures. The remaining two genes AKT1 and RBL may have important roles in the formation, development and metastasis of lung cancer. Furthermore, the contrast of these logic networks suggests that the distributions of logic types are obviously different. The structural differences can help us to understand the mechanism of formation and development of lung cancer.

NECESSARY AND SUFFICIENT CONDITIONS FOR G-STRUCTURES WITH LOGICAL RELATIONS TO FORM BOUNDED LATTICES IN RECONSTRUCTABILITY ANALYSIS

After a brief review of the basic notions the paper defines the G^L-structuresand their partial ordering. On this basis, the paper proves the necessary and sufficientconditions for G^L-structures to form bounded lattices.

Logic and Sense

In the paper, original formal-logical conception of syntactic and semantic： intensional and extensional senses of expressions of any language L is outlined. Syntax and bi-level intensional and extensional semantics of language L are characterized categorically： in the spirit of some Husserl＇s ideas of pure grammar, Le^niewski-Ajukiewicz＇s theory syntactic/semantic categories and in accordance with Frege＇s ontological canons, Bochefiski＇s famous motto--syntax mirrors ontology and some ideas of Suszko： language should be a linguistic scheme of ontological reality and simultaneously a tool of its cognition. In the logical conception of language L, its expressions should satisfy some general conditions of language adequacy. The adequacy ensures their unambiguous syntactic and semantic senses and mutual, syntactic, and semantic compatibility, correspondence guaranteed by the acceptance of a postulate of categorial compatibility syntactic and semantic （extensional and intensional） categories of expressions of L. From this postulate, three principles of compositionality follow： one syntactic and two semantic already known to Frege. They are treated as conditions of homomorphism partial algebra of L into algebraic models of L： syntactic, intensional, and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, of course, an idealization, but only expressions with high degrees of precision of their senses, after due justification, may become theorems of science.

哈特穆特·罗萨与马克思诊断“社会加速”的路径差异

人类历史进入近现代以来,以商品生产为根本特征的扩大再生产成为生产的主要形式,带来了社会加速这一崭新的历史景观,它在推动人类文明进步的同时也导致了一系列社会矛盾和挑战。新一代法兰克福学派批判理论家哈特穆特·罗萨以“时间结构”作为其社会研究的方法路径,明确把晚期现代社会诊断为“加速社会”,指出社会加速体现为“技术、社会变化和生活节奏”的加速,并由此带来了“空间异化”、“物界异化”、“行动异化”、“时间异化”和“自我异化与社会异化”等新的异化危机,进而试图通过重建主体与世界之间关系的“共鸣”道路来摆脱异化的困境。这一探讨尽管启发了我们对于人的生存、技术治理和社会建设等重大课题的进一步思考,但无论是其诊断路径还是解决方案,都存在着抽象性和理想化的理论局限。事实上,马克思运用历史唯物主义对资本主义社会的加速现象进行了科学分析,指出社会加速及其困境根本上源自“价值增殖”这一资本逻辑的推动,因此只有消灭资本主义私有制才能真正克服社会加速带来的异化困境。深入考察哈特穆特·罗萨与马克思诊断“社会加速”的两种理论路径,对于我们化解加速社会存在的一系列矛盾具有重要的理论意义和实践价值。

论因明的知识谱系

如果把因明仅仅定义为关于三支论式及其规则之学,重读古典,走进文本,则可以从文本里衍生出因明的知识谱系:从因明的发展演进来看,实现了印度因明到中国化因明的转换;从因明理论来看,三支论式是五支论式的完善,有与亚里士多德三段论不同的概念群;从研究范围来看,涵摄因明理论与应用。因明知识谱系的分析表明,与有效性推理不同,因明有着自己的一套概念体系和应用范围。从产生之初,逻辑就是思想的论证工具。研究逻辑史、写作逻辑史理应从思想论证视角进入,从逻辑理论与应用两个方面发现并总结不同逻辑的各自特征,这是文明互鉴的基础。

会计专业课程思政建设与实践研究

新形势下,与专业相结合的课程思政是高校落实立德树人根本任务的重要途径,是各方高度关注的理论和实践问题。目前尚缺乏对课程思政科学内涵、结合机理、逻辑结构的深刻揭示,理论基础薄弱,实践成效不佳。该文以会计专业课程思政建设为例,立足“技术性”“社会性”“政策性”等职业特征,结合数智时代对会计转型升级的素养要求,按明其理、知其然、行其道的思路,全面揭示会计专业课程思政建设的必要性、可行性、实践困境与逻辑结构,进一步提出具体方法与举措,为促进理论与实践的互动协同、推动会计专业课程思政全面建设与发展提供借鉴与参考。