FAULT DETECTION TEST SET FOR TESTABLE REALIZATIONS OF LOGIC FUNCTIONS WITH ESOP EXPRESSIONS

The circuit testable realization and its fault detection for logic functions with ESOP (EXOR-Sum-Of-Products) expressions are studied. First of all, for the testable realization by using XOR gate cascade, a test set with 2 n + m+ 1vectors for the detections of AND bridging faults and a test set with 2n + mvectors for the detections of OR bridging faults are presented. Secondly, for the testable realization by using XOR gate tree, a test set with 2n + mvectors for the detections of AND bridging faults and a test set with 3n + m+ 1vectors for the detections of OR bridging faults are presented. Finally, a single fault test set with n + 5vectors for the XOR gate tree realization is pre- sented. Where n is the number of input variables and m is the number of product terms in a logic function.

Antichains and their application for enumerating ternary logic functions

MUKAIDONO proposed and systematically investigated the theory of regular ternary logic functions that meets the need of uncertain inferences. The enumeration of ternary logic functions is very complicated and several results have been obtained only in the case where the number of variables is less than 7. In this letter we offer a new possible way to solve the prob-

Synthesis of a Phenylhydrazone-based Colorimetric Anion Sensor with Complementary IMP/INH Logic Functions

A dinitrophenyl hydrazone colorimetric anion sensor （receptor 1） was synthesized and its recognition properties towards various anions were investigated by naked eye observation and spectroscopic methods, namely UV-vis and 1H NMR titrations in DMSO. The addition of AcO？, F？ and H2PO4？ to receptor 1 resulted in marked red shift of the charge-transfer absorbance band （Δλ=91 nm, 407 nm to 498 nm） concomitant with a ＇naked-eye＇ detectable colour change from yellow to pink. However, both the colour and spectral changes were reversible by the addition of cations （MII） of 3d5-10 as well as CdII, HgII, MgII and CaII. Subsequently, complementary IMP/INH logic functions based on colour and spectral switching （ON/OFF） were affirmed. The sensor can, thus be utilized as a colorimetric molecular switch modulated by F？/MII.

Some Results on the Minimal Coverings of Precomplete Classes in Partial k-Valued Logic Functions

In completeness theories of multiple-valued logic, the characterization of Sheffer functions is an important issue. The solution can be reduced to determining the minimal coverings of precomplete classes. In this paper, someFull Symmetric Function Sets (m=3) are proved to be components of the minimal covering of precomplete classes inP k * . Keywords multiple-valued logic - completeness - Sheffer function - precomplete class NoteThis work is supported by the National Natural Science Foundation of China (Grant Nos.60083001 and 60375021).

HAAR EXPANSIONS OF A CLASS OF FRACTAL INTERPOLATION FUNCTIONS AND THEIR LOGICAL DERIVATIVES

In this paper,we study a special class of fractal interpolation functions,and give their Haar-wavelet expansions.On the basis of the expansions,we investigate the H(o|¨)lder smoothness of such functions and their logical derivatives of order α.

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.

MINIMISATION OF EXCLUSIVE-OR LOGIC FUNCTIONS

An efficient computer algorithm for minimisation of exclusive-OR logic function is presented. The algorithm is n/(1 + (n-1)2-n) times faster than fast Reed-Muller transform algorithm for minimizing an exclusive-OR function with n input variables.

Spectral characterization of the correlation-immunity of multiple-valued logic functions

Correlation-immunity is an important concept in cryptology. In ref. [1] Siegenthaler introduced the mathematical definition of correlation-immunity and used the correlation-immunity order of logic functions as a measure for cipher systems to defend against correlation attacks. In terms of Walsh transform, the correlation immunity of binary-valued logic functions, i.e. Boolean functions, was studied in ref. [2], and a

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.

LOGICAL SYNTHESIS OF MOLTIVALUED SYMMETRIC FUNCTION BASED ON BINARY FULL ADDERS

This paper discusses the definition and properties of multivalued symmetric functions, points out that a multivalued symmetric function can be decomposed according to the value of the function j. The subfunction Lj corresponding to j must be a symmetric function, and it may be expressed as the sum of products form of degenerated multivalued fundamental symmetric functions. Based on this consideration, the circuit realization for the multivalued symmetric functions based on full adders is proposed.

Logical Function Decomposition Method for Synthesis of Digital Logical System Implemented with Programmable Logic Devices (PLD)

The paper consists in the use of some logical functions decomposition algorithms with application in the implementation of classical circuits like SSI, MSI and PLD. The decomposition methods use the Boolean matrix calculation. It is calculated the implementation costs emphasizing the most economical solutions. One important aspect of serial decomposition is the task of selecting “best candidate” variables for the G function. Decomposition is essentially a process of substituting two or more input variables with a lesser number of new variables. This substitutes results in the reduction of the number of rows in the truth table. Hence, we look for variables which are most likely to reduce the number of rows in the truth table as a result of decomposition. Let us consider an input variable purposely avoiding all inter-relationships among the input variables. The only available parameter to evaluate its activity is the number of “l”s or “O”s that it has in the truth table. If the variable has only “1” s or “0” s, it is the “best candidate” for decomposition, as it is practically redundant.

Chemical approaches for mimicking logic functions within fluorescent MPT dyes

The progress of the design, synthesis, fluorescence properties and application of a new family of fluorescent molecular switches towards information processing at the molecular level was reviewed. On the basis of the high fluorescence quantum yields and surroundings-sensitive fluorescent properties of the 5-methoxy-2-(2-pyridyl)-thiazole (2-MPT, 1) and a series of its derivatives as prepared, multiple binary logic and arithmetic functionalities were realized through encoding the controllable fluorescence switching properties with binary digit. Combined with the microfluidic platform, the fabrication of the molecular logic devices was attempted.

Fuzzy logic controller design with unevenly-distributed membership function for high performance chamber cooling system

Fuzzy logic controller adopting unevenly-distributed membership function was presented with the purpose of enhancing performance of the temperature control precision and robustness for the chamber cooling system.Histogram equalization and noise detection were performed to modify the evenly-distributed membership functions of error and error change rate into unevenly-distributed membership functions.Then,the experimental results with evenly and unevenly distributed membership functions were compared under the same outside environment conditions.The experimental results show that the steady-state error is reduced around 40% and the noise disturbance is rejected successfully even though noise range is 60% of the control precision range.The control precision is improved by reducing the steady-state error and the robustness is enhanced by rejecting noise disturbance through the fuzzy logic controller with unevenly-distributed membership function.Moreover,the system energy efficiency and lifetime of electronic expansion valve(EEV) installed in chamber cooling system are improved by adopting the unevenly-distributed membership function.

法院专项工作报告制度的运行逻辑与优化发展——以最高人民法院专项工作报告的实践为分析素材

作为具有中国特色的法律治理手段,法院专项工作报告制度的确立蕴含着人大监督权扩张、法院组织成长、人大与法院互动等丰富信息。法院报告专项工作的频次、议题选择、内容构成与报告审议为把握法院专项报告制度的现实图景提供了具体维度。就实践而言,法院专项工作报告制度除了承载监督功能外,还发挥着契合中国政治与司法环境的独特功能。从制度成长的角度来看,法院专项工作报告制度远未成熟,尤其是一些制度机制与操作规范需要进一步明确与优化。法院专项工作报告制度将法院的日常运作与宏大的国家治理体系勾连起来,是观察人大与法院现实关系的重要切口。

教育数字化推动教育强国建设的功能逻辑与实践进路

教育与数字技术的融合引领了未来教育发展的新趋势,为人类教育带来更广阔的发展空间和美好愿景。在教育强国建设过程中,教育数字化展现出其独特的技术优势,它既是推动教育强国建设的重要基础和动能引擎,又能为教育强国建设提供根本保障。借助教育数字化的力量,形塑教育要素新样态、助推数字教育模式革新、赋能教育多元体系构建、促进数字教育生态重塑以及扩大数字教育国际影响力,是教育数字化赋能教育强国建设功能演进的内在逻辑。教育数字化有效推动教育强国建设,需要聚焦拔尖创新人才培养,提高教育数字化对教育强国建设的贡献指数;矫正主体认知抵牾,加强教育数字化对教育强国建设的多方协作;增强教育深层变革,释放教育数字化对教育强国建设的巨大潜能;创新教育技术体系,响应教育数字化对教育强国建设的内生需求;健全数字教育制度,保障教育数字化对教育强国建设的持续赋能,从而充分发挥教育数字化重要突破口的作用,整体推进教育高质量发展,助力教育强国建设。

论我国医疗救助托底功能的制度逻辑

托底保障是我国医疗救助制度的重要功能之一,该功能的确立应具有自身的逻辑自洽。托底功能的内涵逻辑体现在救助对象托底、医疗保障体系托底和医疗救助对象责任托底三个方面。在设定医疗救助托底标准时,除了与医疗救助托底功能所保障的公民权利相匹配外,还应综合考量制约医疗救助托底标准的相关因素。此外,医疗救助托底制度的施行也需遵循一定的逻辑。

智能座舱方向盘收纳隐藏系统功能设计

随着汽车智能技术的发展,人们对驾乘体验的智能化需求日益增多,智能座舱和智能底盘是实现这一需求的关键总成。方向盘迎宾功能是智能座舱体现舒适性和体验性的核心功能,同时,未来高等级智能驾驶汽车实现完全自主驾驶后方向盘还应具有收纳隐藏功能,以进一步拓展良好的驾乘舒适性和体验性。文章研究一种既有传统方向盘迎宾功能,又有收纳隐藏功能的智能座舱方向盘收纳隐藏系统,通过对方向盘收纳隐藏系统的构成、工作原理、控制逻辑等方面的研究,进行方向盘收纳隐藏系统的功能设计,包括电动调节功能、迎宾功能、方向盘翻转功能、电调管柱长距离收纳功能、可拓展功能等,满足了未来智能线控转向系统中的路感模拟装置需具备收纳隐藏的新技术要求。

基于有限谓词追踪的民机系统需求一致性检查方法

针对民机安全关键系统在正向研发过程中,系统级需求的正确性难以在设计早期全部完成确认的问题,提出一种基于有限谓词追踪的功能需求一致性检查体系。首先,引入一阶逻辑中的谓词追踪,建立系统内部功能需求与交互功能需求形式化规约方法。其次,针对单条、多条需求内容正确性以及需求关系一致性,构建需求一致性检查形式化规约,开展需求自冲突、集冲突与需求关系一致性检验,并生成可解释的检查反例进行需求迭代。最后,以机载平视显示(head-up display,HUD)系统飞行信息符号生成与显示功能为例,验证该方法的正确性与有效性。研究结果表明,基于有限谓词追踪的功能需求一致性检查方法能够提高需求一致性检查效率、降低研发成本,为民机系统级需求确认提供支持。

科技情报机构的智库功能

[目的/意义]支撑决策是科技情报工作的重要使命,当前科技情报机构正积极探索发挥科技智库功能的转型路径。[方法/过程]本文采用文献调查、案例比较等方法,深入分析科技情报机构智库功能的基础条件、典型做法,结合工作实际总结发挥好智库功能的实践逻辑和实现路径。[结果/结论]本文原创提出做好支撑决策的情报研究工作可以遵循的实践逻辑:坚持“从零散转化为结构,从结构整合为系统,从系统升华到体系”的层次渐进认知,贯通“感知-监测-理解-分析-预判”的实践路径,循环迭代,贴近乃至契合决策咨询需求。