The Theory of Membership Degree of Γ-Conclusion in Several n-Valued Logic Systems

Based on the analysis of the properties of Γ-conclusion by means of deduction theorems, completeness theorems and the theory of truth degree of formulas, the present papers introduces the concept of the membership degree of formulas A is a consequence of Γ (or Γ-conclusion) in Lukasiewicz n-valued propositional logic systems, Godel n-valued propositional logic system and the R0 n-valued propositional logic systems. The condition and related calculations of formulas A being Γ-conclusion were discussed by extent method. At the same time, some properties of membership degree of formulas A is a Γ-conclusion were given. We provide its algorithm of the membership degree of formulas A is a Γ-conclusion by the constructions of theory root.

Multiplier Design Utilizing Tri Valued Logic for RLNS Based DSP Applications

Residue Number System (RNS) has proved shaping the Digital Signal Processing (DSP) units into highly parallel, faster and secured entities. The computational complexity of the multiplication process for a RNS based design can be reduced by indulging Logarithmic Number System (LNS). The combination of these unusual number systems forms Residue Logarithmic Number System (RLNS) that provides simple internal architectures. Till date RLNS based processing units are designed for binary logic based circuits. In order to reduce the number of input output signals in a system, the concept of Multiple Valued Logic (MVL) is introduced in literature. In that course of research, this paper uses Tri Valued Logic (TVL) in RLNS technique proposed, to further reduce the chip area and delay value. Thus in this research work three different concepts are proposed, it includes the design of multiplier for RLNS based application for number of bits 8, 16 and 32. Next is the utilization of TVL in the proposed multiplication structure for RLNS based system along with the error correction circuits for the ternary logarithmic and antilogarithmic conversion process. Finally the comparison of the two multiplication schemes with the existing research of multiplier design for RNS based system using booth encoding concepts. It can be found that the proposed technique using TVL saves on an average of about 63% of area occupied and 97% of delay value respectively than the existing technique.

Importance Analysis of a Multi-state System Based on Direct Partial Logic Derivatives and Multi-valued Decision Diagrams

Importance analysis quantifies the critical degree of individual component. Compared with the traditional binary state system,importance analysis of the multi-state system is more aligned with the practice. Because the multi-valued decision diagram( MDD) can reflect the relationship between the components and the system state bilaterally, it was introduced into the reliability calculation of the multi-state system( MSS). The building method,simplified criteria,and path search and probability algorithm of MSS structure function MDD were given,and the reliability of the system was calculated. The computing methods of importance based on MDD and direct partial logic derivatives( DPLD) were presented. The diesel engine fuel supply system was taken as an example to illustrate the proposed method. The results show that not only the probability of the system in each state can be easily obtained,but also the influence degree of each component and its state on the system reliability can be obtained,which is conducive to the condition monitoring and structure optimization of the system.

SPECTRAL ANALYSIS OF SOME INDEPENDENCES OF MULTIPLE-VALUED LOGICAL FUNCTIONS ON THEIR VARIABLES

There are many kinds of special relationships between multiple-valued logical func-tions and their variables, and they are difficult to be judged from their expressions. In thispaper, some sufficient and necessary conditions of the independence and statistical independenceof multiple-valued logical functions on their variables are given. Some conditions of algebraicindependence of multiple-valued logical functions on some of their variables and the way to de-generate a function to the greatest extent are proposed, and some applications of these resultsare indicated. All the results are studied by using Chrestenson spectral techniques.

Researches on Six Lattice-Valued Logic

Based on the direct product of Boolean algebra and Lukasiewicz algebra, six lattice-valued logic is put forward in this paper. The algebraic structure and properties of the lattice are analyzed profoundly and the tautologies of six-valued logic system L6P(X) are discussed deeply. The researches of this paper can be used in lattice-valued logic systems and can be helpful to automated reasoning systems.

Spectral Characteristics of the Best Affine Approach of Multi-Output m-Valued Logical Functions

This paper discusses the best affine approach （BAA） of multi-output m-valued logical functions. First, it gives the spectra of rate of accordance between multi-output m-valued logical functions and their affine functions, then analyzes the BAA of multi-output m-valued logical functions and finally gives the spectral characteristics of BAA of multi-output m-valued logical functions.

Fuzzy logic applied to value of information assessment in oil and gas projects

The concept of value of information(VOI)has been widely used in the oil industry when making decisions on the acquisition of new data sets for the development and operation of oil fields.The classical approach to VOI assumes that the outcome of the data acquisition process produces crisp values,which are uniquely mapped onto one of the deterministic reservoir models representing the subsurface variability.However,subsurface reservoir data are not always crisp;it can also be fuzzy and may correspond to various reservoir models to different degrees.The classical approach to VOI may not,therefore,lead to the best decision with regard to the need to acquire new data.Fuzzy logic,introduced in the 1960 s as an alternative to the classical logic,is able to manage the uncertainty associated with the fuzziness of the data.In this paper,both classical and fuzzy theoretical formulations for VOI are developed and contrasted using inherently vague data.A case study,which is consistent with the future development of an oil reservoir,is used to compare the application of both approaches to the estimation of VOI.The results of the VOI process show that when the fuzzy nature of the data is included in the assessment,the value of the data decreases.In this case study,the results of the assessment using crisp data and fuzzy data change the decision from"acquire"the additional data(in the former)to"do not acquire"the additional data(in the latter).In general,different decisions are reached,depending on whether the fuzzy nature of the data is considered during the evaluation.The implications of these results are significant in a domain such as the oil and gas industry(where investments are huge).This work strongly suggests the need to define the data as crisp or fuzzy for use in VOI,prior to implementing the assessment to select and define the right approach.

Fuzzy Interval Value Logic and Fuzzy Distributed Value Logic

In this paper, two kinds of fuzzy logic named “fuzzy intervalvalue logic” and “uzzy distributedvalue logic”with truth values in fuzzy intervals and probabilistic distribution functions are presented, respectively, and the syllogism (modus ponens) is given for each logic. It has been pointed out that they will have various applications in knowledgebased systems and other artificial intelligence fields.

Some Dynamical Properties in Set-valued Discrete Systems

1 Introduction A discrete dynamical system can be expressed as xn+1 ?f(xn), n = 0,1,2,... where X is a metric space and f : X →X is a continuous map. The study of it tells us how the points in the base space X moved. Nevertheless, this is not enough for the researches of biological species, demography, numerical simulation and attractors (see [1], [2]). It is necessary to know how the subsets of X moved. In this direction, we consider the set-valued discrete system associated to f, An+1 = (f|-)(An), n = 0,1,2,... where (f|-) is the natural extension of f to K(X) (the class of all compact subsets of X).

The Internal Logic and Value Pursuit of Green Development of Socialism with Chinese Characteristics

The green development of socialism with Chinese characteristics is a scientific and rational choice based on the development theory of Marxism,reflecting on historical practice and practicing the value pursuit of Communists.Comprehensive understanding and mastering the internal logic and value pursuit of the green development of socialism with Chinese characteristics for a new era is in favor of upholding and improving the system of socialism with Chinese characteristics in the new situation,implementing the strictest ecological and environmental protection system,and unswervingly taking the path of innovation,coordination,green development,openness and sharing,and providing ideological powers and operational guidance for the construction of a Beautiful China and the modernization of harmonious coexistence between mankind and nature.

SIMPLIFICATION OF CURRENT-MODE MULTIVALUED CMOS CIRCUITS

This paper proposes a simplification method for realization of current-mode multivalued CMOS circuits. The key of this method is to find a cover on the K-map for a given multivalued function, which fits to the realization of current-mode CMOS circuits. The design example shows that the design presented in this paper is better than the design proposed by G. W. Dueck et al. (1987).

Base-X Notation and Tri-Value Logic

This paper introduces the base-X notation and discusses the conversion between numbers of different bases. It also introduces the tri-value logic that is associated with the base-3 system.

高校课程思政的价值逻辑与建设路径——基于学科交叉视角

学科交叉融合作为中国科研创新的新态势,与高校课程思政同向同行。一方面,学科交叉推动高校课程思政向多维的“学科思政”转变;另一方面,高校课程思政从主体和理论两方面促进学科交叉融合。在此背景下,高校课程思政具有内在的价值逻辑体系,包括以坚守政治方向为“道”的本体价值、以指向学科互涉为“法”的认知价值、以互通教学实践为“术”的行动价值、以融通教师队伍为“器”的外在价值。然而,当前高校课程思政在建设过程中存在认知取向支配德育取向、学科边界阻隔现代知识、课程思政实施主体固化以及课程思政实践平台缺位等现实困境。基于此,立足目标、课程、主体、环境四个维度提出建设路径,即根植德育目标导向,强化课程内涵建设,创新教师队伍培养,推进学科实践转向。

深刻把握中国式现代化的四重逻辑

中国式现代化具有强烈而鲜明的理论逻辑、历史逻辑、价值逻辑和实践逻辑。中国式现代化是中国共产党领导的社会主义现代化,其产生和发展吸收融合了中华优秀传统文化,继承和发展了马克思主义现代化理论,借鉴和扬弃了西方现代化理论,是中华文明、社会主义文明和现代文明的有机融合。中国式现代化是中国共产党奋进探索的历史成果,新时代十年伟大实践成功推进和拓展了中国式现代化,“分两步走”总的战略安排擘画了中国式现代化的美好图景。中国式现代化回应中国之问、破解思维定势、焕发制度优势、彰显文明多样,将更好地发展自身、造福世界。实现中国式现代化要保持历史自信、增强历史主动、强化历史担当,走好全面建设社会主义现代化国家新的赶考之路。

产教融合型企业培育:政策逻辑、价值意蕴与机制构建

产教融合型企业是发挥重要办学主体作用,与院校开展融合育人活动,并经过培育认证、具有较强示范作用的企业。产教融合型企业培育是高等职业教育产教融合政策落地的具体表现,具有推动企业经济价值和教育价值相统一、促进高等职业院校供给和企业需求相融合、提升高等职业院校人才培养质量、增强高等职业教育产教融合发展的示范效应。可以从架构多元参与机制、完善统筹协调机制、健全利益激励机制和优化监督评价机制入手,培育高质量产教融合型企业。

全过程人民民主与数字政府建设的交叉与共进

全过程人民民主是民主理论的新话语形态,是人类政治文明的新探索方向。数字政府建设是我国的重大战略部署,是各国政府未来的转型路径。全过程人民民主与数字政府建设均可统合于中国式现代化的背景之下,二者具有共同特征,相互促进、共同发展。数字政府建设有利于全过程人民民主的发展,全过程人民民主为数字政府建设指明方向。数字政府是技术型政府、公开型政府、扁平型政府、平台型政府,为发展全过程人民民主提供了现代技术支撑、丰富了多维信息来源、降低了制度运行成本、构建了多元参与场域。在全过程人民民主理念指引下,数字政府建设应坚持以人民为中心,加强数字法治政府建设,扩大公民参与广度和深度,提高政府回应度。针对数字技术应用对民主价值的冲击,应始终坚持以价值逻辑引领技术逻辑,推动数字政府建设与发展全过程人民民主相协调,共同致力于建设社会主义现代化国家。

人类文明新形态研究的定性分析:演进逻辑、科学内涵与价值意蕴

任何一个社会的发展都是一定文明的真实反映与写照,作为一种崭新的社会发展形态,人类文明新形态是在社会主义文明发展过程中产生的新的伟大成果。目前,学术界在人类文明新形态的演进逻辑、科学内涵以及价值意蕴等方面取得了一系列的研究成果,但同时也存在着研究理论体系不够全面、研究内容不够深化、研究的学科视角以及方法有待创新等问题。着眼未来,为进一步推动人类文明新形态的研究取得新进展,应着力构建全面系统的人类文明新形态的理论体系,深化人类文明新形态的学理研究深度,拓展人类文明新形态的学科研究宽度。

新时代健康导向下城市社区全民健身治理绩效:评价体系构建与实证案例

促进健康是新时代全民健身治理的重要目标,治理绩效评价是推动全民健身实现促进健康治理目标的重要工具。该研究运用扎根理论方法,构建出了反映新时代健康导向下城市社区全民健身治理绩效水平的评价模型,并以北京市为个案,依托2075份调查问卷数据对城六区的全民健身治理绩效水平进行了实证分析。研究发现:新时代健康导向下全民健身治理绩效评价体系包括3个一级指标、11个二级指标和37个三级指标,其中结果产出是反映城市社区全民健身治理绩效最为关键的因子;北京市城六区全民健身治理整体绩效指数为1.125,具有锻炼效果、人性化服务和信息服务等绩效指数较低,落入弱绩效区间等特征,且各个城区间既具有共性也存在差异;制约北京市城六区全民健身治理绩效的瓶颈因素主要为理念更新滞后、数字化投入不足、科学化指导欠缺及多样化供给有限等。建议通过重塑治理绩效理念“价值逻辑”、打造社区数字平台“从无到优”、探索体育服务配送“数智机制”、推动健身治理主体“多源多元”等路径来提升北京市城区全民健身治理绩效水平。

大学情感治理:出场逻辑、价值表征与实现路径

当前,我国大学的内部治理多偏重于工具理性的治理,却相对忽视了情感的维度。近年来,在社会学研究领域情感转向的影响下,学者们开始对工具理性主导下的技术治理进行深刻反思,并基于中国社会文化的情理特质,提出了情感治理的概念和理论。对大学组织而言,情感治理意味着情感维度在大学内部治理中的回归,其价值在于柔化大学内部刚性的权力结构,重构多元主体间的人际关系,推动大学情感共同体的构建,彰显大学场域的人情温度。在大学内部治理实践中可通过建立情感秩序、加强情感互动、注重情感动员、运用人情规则等多重路径来推进与优化大学情感治理的实施。

生成式人工智能赋能高校招生模式创新:价值逻辑、实现路径与潜在风险

生成式人工智能(AIGC)为数字化时代高校招生模式创新提供技术支持,赋能高校重塑招考目标、升级招生方式、更新招生内容和落实招生正义,提升高校招生的科学性与专业性。同时,AIGC所具有的开放源码、多模态模型、内容创作和生成算法等高阶智能功能可推动招生理念转为高校与学生的双向选择,招生考查方式走向多元工具融合并用,招生考查内容转向综合立体考查,招生指导迈向精准适配。然而,高校过度将AIGC引入招生工作亦会产生风险,包括主体异化下的招生偏见、效率逻辑下的考查工具单一、技术依赖下的考查内容泛化和数据共享下的教育数据泄漏等。应强化制度建设、推动招生考查技术研发、提升招生工作人员的智能素养等,以消解过度引入AIGC后可能引发的潜在风险。