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.

Multi-layer structure formation of relativistic electron beams in plasmas

A two-dimensional electromagnetic particle-in-cell simulation model is proposed to study the density evolution and collective stopping of electron beams in background plasmas.We show here the formation of the multi-layer structure of the relativistic electron beam in the plasma due to the different betatron frequency from the beam front to the beam tail.Meanwhile,the nonuniformity of the longitudinal wakefield is the essential reason for the multi-layer structure formation in beam phase space.The influences of beam parameters(beam radius and transverse density profile)on the formation of the multi-layer structure and collective stopping in background plasmas are also considered.

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.

Micrometer-sized ferrosilicon composites wrapped with multi-layered carbon nanosheets as industrialized anodes for high energy lithium-ion batteries

Various nanostructured architectures have been demonstrated to be effective to address the issues of high capacity Si anodes. However, the scale-up of these nano-Si materials is still a critical obstacle for commercialization. Herein, we use industrial ferrosilicon as low-cost Si source and introduce a facile and scalable method to fabricate a micrometer-sized ferrosilicon/C composite anode, in which ferrosilicon microparticles are wrapped with multi-layered carbon nanosheets. The multi-layered carbon nanosheets could effectively buffer the volume variation of Si as well as create an abundant and reliable conductivity framework, ensuring fast transport of electrons. As a result, the micrometer-sized ferrosilicon/C anode achieves a stable cycling with 805.9 m Ah g-1 over 200 cycles at 500 mA g-1 and a good rate capability of455.6 mAh g-1 at 10 A g-1. Therefore, our approach based on ferrosilicon provides a new opportunity in fabricating cost-effective, pollution-free, and large-scale Si electrode materials for high energy lithium-ion batteries.

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.

Influencing factors on elastic-plastic deformation of multi-layered surfaces under sliding contact

Stress distribution in the gradient multi-layered surface under a sliding contact was investigated using finite element method(FEM). The main structure parameters of layered surface discussed are total layer thickness,layer number and elastic modulus ratio of layer to the substrate. A model of multi-layered surface contact with rough slider was studied. The effect of the surface structure parameters on the elastic-plastic deformation was analyzed.

A simple model for approximate bandgap structure calculation of all-solid photonic bandgap fibre based on an array of rings

A simple model for approximate bandgap structure calculation of all-solid photonic bandgap fibre based on an array of rings is proposed. In this model calculated are only the potential modes of a unit cell, which is a high-index ring in the low-index background for this fibre, rather than the whole cladding periodic structure based on Bloch＇s theorem to find the bandgap. Its accuracy is proved by comparing its results with the results obtained by using the accurate full-vector plane-wave method. High speed in computation is its great advantage over the other exact methods, because it only needs to find the roots of one-dimensional analytical expressions. And the results of this model, mode plots, offer an ideal environment to explore the basic properties of photonie bandgap clearly.

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.

Learning Performance of Linear and Exponential Activity Function with Multi-layered Neural Networks

This paper presents a study on the improvement of MLNNs(multi-layer neural networks)performance by an activity function for multi logic training patterns.Our model network has L hidden layers of two inputs and three,four to six output training using BP(backpropagation)neural network.We used logic functions of XOR(exclusive OR),OR,AND,NAND(not AND),NXOR(not exclusive OR)and NOR(not OR)as the multi logic teacher signals to evaluate the training performance of MLNNs by an activity function for information and data enlargement in signal processing(synaptic divergence state).We specifically used four activity functions from which we modified one and called it L&exp.function as it could give the highest training abilities compared to the original activity functions of Sigmoid,ReLU and Step during simulation and training in the network.And finally,we propose L&exp.function as being good for MLNNs and it may be applicable for signal processing of data and information enlargement because of its performance training characteristics with multiple training logic patterns hence can be adopted in machine deep learning.

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.

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.

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

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

论因明的知识谱系

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

两岸融合发展示范区建设的逻辑理路和实践进路——基于“结构-过程”框架的分析

建设两岸融合发展示范区,是推进两岸关系和平发展和服务祖国统一大业的重大战略安排。基于结构功能主义理论,应用“结构-过程”框架,建构两岸融合发展示范区研究模型。从结构角度分析,可以清晰展现两岸融合发展示范区在内涵、空间两个维度的全领域、全区域的全域网格化图景;从过程角度分析,可以动态体现两岸融合发展中两类主体、两种不同方向作用力的互动作用过程。两岸融合发展示范区建设蕴含了社会系统建构的内在逻辑机理,是两岸关系领域理论与实践相结合的创新探索。两岸融合发展示范区是一项创新性系统工程,在结构层面要强化系统观念,完善两岸融合发展示范区有机系统;在过程层面要强化合作观念,推动两岸融合发展示范区合作共建;在创新层面要强化质效观念,实现两岸融合发展示范区建设规划目标。

重大职务犯罪案件审判的内在结构与法治逻辑

重大职务犯罪案件审判是当今中国反腐败工作的重要组成部分。相较于普通刑事案件审判,重大职务犯罪案件审判在办案衔接、审判权归属、审判组织综合管理和最高人民法院具体指导等方面具有独特的运行特征,由此决定这类案件内部审判结构有着以下基本特性:内部审判组织架构的综合性,审判程序规范的适度灵活性,审判运行方式的安全有效性,审判形式上的严格性。在尊重重大职务犯罪案件审判内在固有结构的基础上,仍需从审判权力结构的调整、被告人基本诉讼权利的有效保障、庭前会议和庭审要素的把握和审判方式的灵活运用等方面,建构案件审判的法治逻辑,以体现审判应有的司法属性和程序价值。

“钟摆逻辑”:有限结构化的村务工作模式——基于湖北S村的经验研究

我国村级组织具有复杂性,在村务工作的组织模式、规范要求和具体内容等层面存在较大差异。研究发现,基层的村务工作呈现出明显的“钟摆逻辑”,即面对常规任务和特殊任务采取不同的应对方式。在处理常规任务时,运用分工合作的模式,将任务进行条线分割,主要采用坐班制、固定工作场所及规则治理等手段;而面对特殊任务时,则结成“行动班子”,以团结合作、工作动员等方式来应对。这种在常态模式与动员模式之间的切换使得村务工作处于有限结构化的状态,有助于提升基层治理效能。

遵循结构逻辑与材料适用的体育建筑设计课程建设

文章以长安大学建筑学专业在四年级所开设的体育建筑设计专题课程为例,阐释其教学理念以遵循结构逻辑和材料适用为核心目标,采用理论与实践并重的教学方式,为高年级学生在大跨度体育建筑及其他公共建筑设计中教授相应的设计理念与方法,在建设进程中的模型制作与表达、参数化设计、联合教学及评图等方面形成了自身的教学研究特色。

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

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