Study on Logical Relations amongUnderground Survey Objects Using Quotient Topological Space

A soitable data model and data structure make underground survey objects maintained and operated easier. This paper gives a formal definition for underground survey objects. By making use of the quotient topological space, the author studies the logical relations among underground survey objects, a partiallyordered space uuder some conditions. An example is given to show the data model’s possible applications.

Continuity of Solution Mappings for Parametric Set Optimization Problems under Partial Order Relations

This paper mainly investigates the semicontinuity of solution mappings for set optimization problems under a partial order set relation instead of upper and lower set less order relations. To this end, we propose two types of monotonicity definition for the set-valued mapping introduced by two nonlinear scalarization functions which are presented by these partial order relations. Then, we give some sufficient conditions for the semicontinuity and closedness of solution mappings for parametric set optimization problems. The results presented in this paper are new and extend the main results given by some authors in the literature.

Chaos and chaotic control in a relative rotation nonlinear dynamical system under parametric excitation

This paper studies the chaotic behaviours of a relative rotation nonlinear dynamical system under parametric excitation and its control. The dynamical equation of relative rotation nonlinear dynamical system under parametric excitation is deduced by using the dissipation Lagrange equation. The. criterion of existence of chaos under parametric excitation is given by using the Melnikov theory. The chaotic behaviours are detected by numerical simulations including bifurcation diagrams, Poincare map and maximal Lyapunov exponent. Furthermore, it implements chaotic control using nomfeedback method. It obtains the parameter condition of chaotic control by the Melnikov theory. Numerical simulation results show the consistence with the theoretical analysis. The chaotic motions can be controlled to periodmotions by adding an excitation term.

Extension of Subjective Logic for Time-Related Trust

To describe the dynamic propcrty of trust relationship, wt propose atime-related trust model and extend Joang's subjective logic to fit for time-related trust model.The extension includes prepositional conjunction, disjunction and negation for traditional logic anddiscounting and consensus operators that are evidential operators specially designed for thepropagation and computation of trust relationships. With the extension of subjective logic fortime-related trust, our time-related trust modelis suitable to model the dynamic trust relationshipin practice. Finally an example of reputation assessment is offered to demonstrate the usage of ourtrust model.

Parametric message passing-based relative navigation in joint tactical information distribution system

Relative navigation is a key feature in the joint tactical information distribution system（JTIDS）.A parametric message passing algorithm based on factor graph is proposed to perform relative navigation in JTIDS.First of all,the joint posterior distribution of all the terminals＇ positions is represented by factor graph.Because of the nonlinearity between the positions and time-of-arrival（TOA） measurement,messages cannot be obtained in closed forms by directly using the sum-product algorithm on factor graph.To this end,the Euclidean norm is approximated by Taylor expansion.Then,all the messages on the factor graph can be derived in Gaussian forms,which enables the terminals to transmit means and covariances.Finally,the impact of major error sources on the navigation performance are evaluated by Monte Carlo simulations,e.g.,range measurement noise,priors of position uncertainty and velocity noise.Results show that the proposed algorithm outperforms the extended Kalman filter and cooperative extended Kalman filter in both static and mobile scenarios of the JTIDS.

Uncertainties in estimation of extrapolated annual occurence rate of earthquakes using logical tree

he logical tree methods are used for evaluate quantitatively relationship between frequency and magnitude, and deduce uncertainties of annual occurrence rate of earthquakes in the periods of lower magnitude earthquake. The uncertainties include deviations from the self-similarity of frequency-magnitude relations, different fitting methods, different methods obtained the annual occurrence rate, magnitude step used in fitting, start magnitude, error of magnitude and so on. Taking Xianshuihe River source zone as an example, we analyze uncertainties of occurrence rate of earthquakes M4, which is needed in risk evaluation extrapolating from frequency-magnitude relations of stronger earthquakes. The annual occurrence rate of M4 is usually required for seismic hazard assessment.The sensitivity analysis and examinations indicate that, in the same frequencymagnitude relations fitting method, the most sensitive factor is annual occurrence rate, the second is magnitude step and the following is start magnitude. Effect of magnitude error is rather small.Procedure of estimating the uncertainties is as follows:①Establishing a logical tree described uncertainties in frequencymagnitude relations by available data and knowledge about studied region.② Calculating frequencymagnitude relations for each end branches. ③ Examining sensitivities of each uncertainty factors, amending structure of logical tree and adjusting original weights. ④ Recalculating frequencymagnitude relations of end branches and complementary cumulative distribution function (CCDF) in each magnitude intervals.⑤ Obtaining an annual occurrence rate of M4 earthquakes under given fractiles.Taking fractiles as 20% and 80%, annual occurrence rate of M 4 events in Xianshuihe seismic zone is 0.643 0. The annual occurrence rate is 0.631 8 under fractiles of 50%, which is very close to that under fractiles 20% and 80%.

加强涉外法治体系建设的顶层擘画——论学习贯彻习近平总书记重要讲话精神

习近平总书记在中央政治局第十次集体学习时就加强涉外法治建设所作系列重要论述,是马克思主义法治理论中国化的最新成果。“长远所需”和“当务之急”,凸显了新形势下加强涉外法治建设的重要性和紧迫性。中国涉外法治建设成就巨大、来之不易,但仍存在不少短板弱项,亟待弥补。我国海外利益全方位多层次高速度拓展,外部法律风险与挑战前所未有,干涉与反干涉、制裁与反制裁外交斗争激烈,客观上要求强化法治思维,善用法治方式,“以法斗法”“以法制法”,丰富外交斗争法律“工具箱”,一体推进涉外立法、执法、司法、守法和法律服务,形成涉外法治工作大协同格局。必须坚持统筹推进国内法治和涉外法治,不断完善涉外法治体系和能力建设,为中国式现代化行稳致远营造有利法治条件和外部环境。

教育评价改革下职业教育高质量发展逻辑与实践探究

在国家大力支持职业院校发展的背景之下,如何推进职业教育高质量发展成为摆在职业院校面前的一个现实问题。为了适应教育高质量发展的需要,相关院校需要对教育评价改革高度重视。对目前制约职业教育高质量发展的因素进行深入分析,从教育评价改革的视角提出有针对性的建议,着力提升职业院校教育评价的特色化,借助强化过程评价来凸显特色,从而改变社会各界对职业教育的认识,为职业院校高质量发展营造更好的社会氛围。

基于n值关系语义的命题模态逻辑系统研究

传统的多值模态逻辑系统将关系语义中的状态及状态间的关系进行了多值化处理。然而,实际应用中状态间的关系往往是确定的,无需多值化。针对这种情况,基于?ukasiewicz代数系统提出了一种新的命题模态逻辑n值关系语义。在所提出的n值关系语义中,针对状态进行了多值化处理,同时保持了状态间关系的确定性。通过对逻辑公式的形式化定义以及可满足性和有效性的分析,证明了n值关系语义下经典命题模态逻辑系统K,T,S4和S5的正确性。进一步地,给出了极大一致集与典范模型在n值关系语义下的定义,并完成了上述经典命题模态逻辑系统的完备性证明。上述结论表明基于n值关系语义的命题模态逻辑系统能够涵盖并捕捉到经典逻辑系统中的所有有效命题。综上所述,所提出的基于?ukasiewicz代数系统的n值关系语义提供了一种在实际应用中处理多值状态及确定的状态间关系的方法。这种方法在扩展命题模态逻辑系统的形式化定义与关系语义是可行且有效的。

中国式现代化五个特色之逻辑关系

中国式现代化五个特色并非简单罗列和裁剪拼接,而是以并列性、统一性和整体性特征呈现其内在逻辑。五个特色作为系统要素,分别呈现中国式现代化的人口格局、物质基础、文明特征、生态维度和世界情怀,具有并列性;五个特色在指导思想、领导核心、主体力量和奋斗目标上高度契合,具有统一性;五个特色相互关联、相得益彰,分别作为中国式现代化特色系统中其他要素的基本前提、物质保障、精神支撑、生态基础和国际条件,具有整体性。辩证把握中国式现代化五个特色相互间的结构机理,对于深刻探究中国式现代化道路的意蕴和本质具有重要价值。

制度优势话语的主体表达、逻辑关系和建构要求

中国特色社会主义制度优势话语是相关概念、范畴和论断、命题等的集合,是实现制度优势转化为治理效能的工具载体。制度优势话语的主体表达通过学术化的内在意蕴、政治化的重要意义和大众化的现实价值得以显现。制度话语的存在形态阐明了学术、政治和社会化间的互动图景;体现了政党、国家和人民意志的本质契合;揭示了共产党执政规律、社会主义建设规律和人类社会发展规律的深层逻辑。建构制度优势话语要以学术话语的解释力为抓手,增强制度优势话语的学理性支撑;要以政治话语的领导力为重点,坚定制度优势话语的政治性立场;要以大众话语的凝聚力为手段,推动制度优势话语的人民性叙事。

算力互联网对形成新型生产关系的作用逻辑与实践方式

算力互联网是面向算力应用与调度需求,通过能力增强和系统升级形成的新型基础设施和技术产业体系,是培育和形成新质生产力的重要抓手。算力互联网能够显著降低企业交易成本,推进产业分工形态变革,助力形成与新质生产力相适应的新型生产关系,让生产要素特别是数据要素向发展新质生产力方向顺畅流动。在多元化算力供给的环境下,推进算力互联互通技术体系研究和应用,形成标准化可调度的算力服务是解决当前算力互联挑战的重要手段。推进算力互联互通,塑造适应性新型生产关系,需从强化顶层设计、加快标准建设、推进平台建设、培育算力市场、推广行业应用等五方面发力。

习近平经济思想的理论逻辑--基于生产力与生产关系的矛盾运动视角

习近平经济思想是马克思主义政治经济学的最新理论成果,从生产力和生产关系的矛盾运动视角把握习近平经济思想的理论逻辑,主要涉及三个问题:发展什么样的生产力、怎样发展生产力、如何保障生产力和生产关系的良性互动。本文从理论、历史、现实三个维度阐释了新发展阶段必须发展新质生产力;从指导原则、路径选择、制度基础三个方面回答了怎样发展新质生产力,包括坚持新发展理念、构建新发展格局、坚持和完善社会主义基本经济制度;阐明必须加强党对经济工作的全面领导,才能保障生产力发展的正确方向、保障生产关系始终适应生产力的发展要求,实现生产力和生产关系的良性互动。

清末民初东北亚的食盐进出口——兼论近代中国涉外盐政运作逻辑

在传统盐政运作逻辑下,食盐进出口历来禁止。清末以降,东北亚地区多次发生盐务交涉,迫使当局形成不同的进出口管理策略。食盐出口有维护商民生计、拓展土货销路、维系宗藩关系等效用,且不直接损害国内盐政,因此借渔盐出海的制度缝隙得到默许。食盐进口则对国内盐政体系有结构性破坏,严禁态势继续维持。进出口的管理差异表明,政府对涉外盐政的实际态度主要取决于国内专卖体系的行政安全程度,同时不排斥必要的对外市场交换,体现近代以来传统盐政运作逻辑在内、外两方面的深层次延续。

《习近平关于全面深化改革论述摘编》的日文翻译策略——以并列词汇和短句的逻辑关系处理为中心

该研究以全面深化改革的纲领性文件《习近平关于全面深化改革论述摘编》及中央编译局翻译出版的日文版『改革の全面的深化について』为语料进行研究。结合具体译例,探讨了处理并列词汇和短句的逻辑关系时使用的日文翻译策略。在对并列词汇逻辑关系的处理上,根据原文需要表达的意思,译者需要进行一定的调整和变通。处理短句的逻辑关系时,采用直译的译法,保留原文中的全部排比;采用直译的译法,仅保留部分排比的同时合并部分动词;保留核心名词成分的并列关系,其他成分用意译的方式处理等5种翻译策略被谈及。希望该研究能够服务于我国政治类外宣文本的翻译,为我国日语翻译教学提供启示。

BOOLEAN LATTICE CONDITIONS OF SYSTEM RECONSTRUCTABILITY ANALYSIS PROBLEMS WITH LOGICAL RELATIONS

The concepts of logically constrained overall systems and subsystems of recon-structability analysis are introduced. Then the paper gave an important basis for furtherresearches of the author-the sufficient conditions for their structural representation graphsto become Boolean lattices, and proved it.

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.

Optimum Design for the Magnification Mechanisms Employing Fuzzy Logic-ANFIS

To achieve high work performance for compliant mechanisms of motion scope,continuous work condition,and high frequency,we propose a new hybrid algorithm that could be applied to multi-objective optimum design.In this investigation,we use the tools of finite element analysis(FEA)for a magnificationmechanism to find out the effects of design variables on the magnification ratio of the mechanism and then select an optimal mechanism that could meet design requirements.A poly-algorithm including the Grey-Taguchi method,fuzzy logic system,and adaptive neuro-fuzzy inference system(ANFIS)algorithm,was utilized mainly in this study.The FEA outcomes indicated that design variables have significantly affected on magnification ratio of the mechanism and verified by analysis of variance and analysis of the signal to noise of grey relational grade.The results are also predicted by employing the tool of ANFIS in MATLAB.In conclusion,the optimal findings obtained:Its magnification is larger than 40 times in comparison with the initial design,the maximum principal stress is 127.89MPa,and the first modal shape frequency obtained 397.45 Hz.Moreover,we found that the outcomes obtained deviation error compared with predicted results of displacement,stress,and frequency are 8.76%,3.6%,and 6.92%,respectively.

Ground-0 Axioms vs.First Principles and Second Law:From the Geometry of Light and Logic of Photon to Mind-Light-Matter Unity-AI&QI

Without the geometry of light and logic of photon,observer-observability forms a paradox in modern science,truthequilibrium finds no unification,and mind-light-matter unity is unreachable in spacetime.Subsequently,quantum mechanics has been shrouded with mysteries preventing itself from reaching definable causality for a general purpose analytical quantum computing paradigm.Ground-0 Axioms are introduced as an equilibrium-based,dynamic,bipolar set-theoretic unification of the first principles of science and the second law of thermodynamics.Related literatures are critically reviewed to justify the self-evident nature of Ground-0 Axioms.A historical misinterpretation by the founding fathers of quantum mechanics is identified and corrected.That disproves spacetime geometries(including but not limited to Euclidean and Hilbert spaces)as the geometries of light and truth-based logics(including but not limited to bra-ket quantum logic)as the logics of photon.Backed with logically definable causality and Dirac 3-polarizer experiment,bipolar quantum geometry(BQG)and bipolar dynamic logic(BDL)are identified as the geometry of light and the logic of photon,respectively,and wave-particle complementarity is shown less fundamental than bipolar complementarity.As a result,Ground-0 Axioms lead to a geometrical and logical illumination of the quantum and classical worlds as well as the physical and mental worlds.With logical resolutions to the EPR and Schr?dinger’s cat paradoxes,an analytical quantum computing paradigm named quantum intelligence(QI)is introduced.It is shown that QI makes mind-light-matter unity and quantum-digital compatibility logically reachable for quantumneuro-fuzzy AI-machinery with groundbreaking applications.It is contended that Ground-0 Axioms open a new era of science and philosophy—the era of mind-light-matter unity in which humanlevel white-box AI&QI is logically prompted to join Einstein’s grand unification to foster major scientific advances.

发展型社会政策的演进机理与扩散逻辑研究——以易地扶贫搬迁政策为例

政策属性对政策扩散速度和扩散规模具有显著影响。作为发展型社会政策,易地扶贫搬迁从试点到推广都是在中央政府主导下完成的。通过观察2001—2020年间易地扶贫搬迁政策扩散过程,可以探寻该类型政策的演进机理与扩散逻辑。与传统以S型曲线为代表的“渐进主义”演进机理不同,易地扶贫搬迁政策扩散呈现“断点式”非渐进增长形态。从政策目标、指导原则、执行机制三个维度审视中央政府干预程度的变化可以发现,面对中央更高的政治势能,地方政府会衍生出政治、治理、社会三重行动逻辑。对比不同阶段中央与地方政府政策发布时间节点可以看出,“政治逻辑”在其中居于统领地位。