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 2n ＋ m ＋ 1 vectors for the detections of AND bridging faults and a test set with 2n ＋ m vectors for the detections of OR bridging faults are presented. Secondly, for the testable realization by using ）（OR gate tree, a test set with 2n ＋ m vectors for the detections of AND bridging faults and a test set with 3n ＋ m ＋ 1 vectors for the detections of OR bridging faults are presented. Finally, a single fault test set with n ＋ 5 vectors for the XOR gate tree realization is presented. Where n is the number of input variables and m is the number of product terms in a logic function.

Analysis of a Class of Logical Functions over Galois and Z_m Rings

In this paper, the author analyzed some cryptographic properties of a class of logical functions, f(x,y)=(q(x),...,q(x))·y+h(x),over Galois rings and residue rings, presented the relationship between the character spectrum of f(x,y) and the character speetrum of q(x),h(x) and the relationship between the cryptographic properties of f(x,y) and the cryptographic properties of h(x).

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-

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 α.

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.

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.

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.

电镀咨询系统ECES

我们与武汉市材料保护研究所合作,针对湿热环境下机电产品的主要防护层之一——电镀层的选择和指导问题,设计了腐蚀专家系统的一个子系统——电镀咨询系统ECES.ECES采用我们研制成功的新型函数/逻辑程序设计语言LISP-ELP编制.目前,该系统运行顺利,基本上达到了预期的效果.本文阐述该系统的结构、功能、实现策略和应用情况.1 设计目标产品表面防护涂层的选择,是产品设计和生产制造部门普遍关心和重视的问题.ECES的研制目的是把电镀方面的专家知识融合到计算机技术中,为用户提供专家级的辅助决策意见和指导.作为腐蚀专家系统的一个部分——ECES的设计目标是:

A disjoint algorithm for seismic reliability analysis of lifeline networks

The algorithm is based on constructing a disjoin kg t set of the minimal paths in a network system.In this paper, cubic notation was used to describe the logic function of a network in a well-balanced state,and then the sharp-product operation was used to construct the disjoint minimal path set of the network.A computer program has been developed,and when combined with decomposition technology,the reliability of a general lifeline network can be effectively and automatically calculated.

Chrestenson Spectrum and Auto-Correlation Function of Inverse Permutations of Quick Trickle Permutations

In this paper, a sufficient and necessary condition of quick trickle permutations is given from the point of inverse permutations. The bridge is built between quick trickle permutations and m-value logic functions. By the methods of the Chrestenson spectrum of m-value logic functions and the auto-correlation function of m-value logic functions to investigate the Chrestenson spectral characteristics and the auto-correlation function charac- teristics of inverse permutations of quick trickle permutations, a determinant arithmetic of quick trickle permutations is given. Using the results, it becomes easy to judge that a permutation is a quick trickle permutation or not by using computer. This gives a new pathway to study constructions and enumerations of quick trickle permutations.

An Open Environment for Cooperative Equational Solving

We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed computing. FLP provides support for defining one's own abstractions over a constraint domain in an easy and comfortable way, whereas CCS is employed to solve systems of mixed constraints by iterating specialized constraint solving methods in accordance with a well defined strategy. The system is a distributed implementation of a cooperative constraint functional logic programming scheme that combines higher order lazy narrowing with cooperative constraint solving. The model takes advantage of the existence of several constraint solving resources located in a distributed environment (e.g., a network of computers), which communicate asynchronously via message passing. To increase the openness of the system, we are redesigning CFLP based on CORBA. We discuss some design and implementation issues of the system.

Spectral representation of correspondence of multi-valued logical functions

In cryptology, it is an important topic to study the best affine approach of functions. The best affine approach of Boolean functions has been discussed in ref. [1] by using the Walsh spectrum, of which the key problem is how to represent the correspondence of Boolean functions by using Walsh spectrum. For the multi-valued logical functions so far, the spectral representation of their correspondence has not been presented yet. This let-

A minimum adequate set of multi-valued logic

An adequate set of k-valued logic is provided,which contains only two operators.It is also proved that this adequate set is of minimum size。

Flexible optoelectronic neural transistors with broadband spectrum sensing and instant electrical processing for multimodal neuromorphic computing

A flexible optoelectronic neural transistor(OENT)that consists of a one‐step spin‐coated tri‐blend film composed of 2,7‐dioctyl[1]benzothieno[3,2‐b][1]benzothiophene(C8‐BTBT),poly(3‐hexylthiophene‐2,5‐diyl)(P3HT),and poly(methyl methacrylate)(PMMA)is demonstrated.The C8‐BTBT and P3HT phases in the film partially segregate into distinct domains,which combine to provide broadband spectrum sensing,and instant electrical‐processing capabilities dominated by C8‐BTBT.The OENT is sensitive to solar radiation from the near‐ultraviolet(NUV)and to visible(Vis)radiation from blue to red.When exposed to NUV radiation,the OENT responds sensitively and retains the memory of the exposure for over 10^(3 )s.The OENT provides a warning of excessive chronic exposure to harmful NUV.These properties allow high‐pass filtering with different cut‐off frequencies fc that can restrict the reception of blue,green,or red.These switchable fc enables sensitive image reconstruction and multitarget monitoring.The device combined with a chitosan gel achieves strictly defined short‐range plasticity of<1 s that can achieve diverse instant‐computing applications such as spatiotemporally correlated coding and logic functions.Stable real‐time signal processing facilitates the realization of a Morse‐code recognition system constructed using neuro‐morphological hardware,achieving highly accurate character recognition.This study provides a useful resource that can have applications in wearable biomedical electronics and multimodal neuromorphic computing.

Synthesis of wafer-scale graphdiyne/graphene heterostructure for scalable neuromorphic computing and artificial visual systems

Graphdiyne(GDY)is emerging as a promising material for various applications owing to its unique structure and fascinating properties.However,the application of GDY in electronics and optoelectronics are still in its infancy,primarily owing to the huge challenge in the synthesis of large-area and uniform GDY film for scalable applications.Here a modified van der Waals epitaxy strategy is proposed to synthesize wafer-scale GDY film with high uniformity and controllable thickness directly on graphene(Gr)surface,providing an ideal platform to construct large-scale GDY/Gr-based optoelectronic synapse array.Essential synaptic behaviors have been realized,and the linear and symmetric conductance-update characteristics facilitate the implementation of neuromorphic computing for image recognition with high accuracy and strong fault tolerance.Logic functions including“NAND”and“NOR”are integrated into the synapse which can be executed in an optical pathway.Moreover,a visible information sensing-memory-processing system is constructed to execute real-time image acquisition,in situ image memorization and distinction tasks,avoiding the time latency and energy consumption caused by data conversion and transmission in conventional visual systems.These results highlight the potential of GDY in applications of neuromorphic computing and artificial visual systems.

Rhetorical Questions in Wen Xin Diao Long:An Enthymematic Analysis

There have been countless studies on the rhetorical question(RQ);however,few are on its argumentative function,and fewer still on its logical functions with regard to“enthymeme/rhetorical syllogism”,the core of Aristotle’s logos(logical appeal).This study,based on the incompleteness and probability features of“enthymeme”,attempts to systematically explore the distinct ways and generating mechanism of the RQ’s argumentative function,via examining the RQ-rich masterpiece,Liu Xie’s Wen Xin Diao Long(WXDL).After enthymematically analyzing RQs in WXDL,we find that the RQ enthymeme achieves strong deductive capability by implying or suggesting an assumption(as the major premise),providing a solid argument(as the minor premise),and suggesting or implying a claim(as the conclusion).Moreover,this inquiry shows that RQ’s logical functions are accompanied by salience of the suggested assumption or assertion inherited from the question itself.This investigation can not only provide reference for broadening RQ research scope and its research method,but also verify and even enrich Aristotle’s notion of enthymeme,thus promoting the exploration and application of core Western rhetorical concepts.