Inconsistency lemmas in algebraic logic

In this paper, the inconsistency lemmas of intuitionistic and classical propositional logic are formulated abstractly. We prove that, when a (finitary) deductive system is algebraized by a variety , then has an inconsistency lemma—in the abstract sense—iff every algebra in has a dually pseudo‐complemented join semilattice of compact congruences. In this case, the following are shown to be equivalent: (1)  has a classical inconsistency lemma; (2)  has a greatest compact theory and is filtral, i.e., semisimple with EDPC; (3) the compact congruences of any algebra in form a Boolean lattice; (4) the compact congruences of any constitute a Boolean sublattice of the full congruence lattice of . These results extend to quasivarieties and relative congruences. Except for (2), they extend even to protoalgebraic logics, with deductive filters in the role of congruences. A protoalgebraic system with a classical inconsistency lemma always has a deduction‐detachment theorem (DDT), while a system with a DDT and a greatest compact theory has an inconsistency lemma. The converses are false.     

基于错误逻辑矩阵的错误识别对象分类及应用研究

研究了错误识别对象的概念和特征,并选取七个特征组合建立了错误识别对象的错误逻辑矩阵表达式,讨论了错误识别对象的类型.最后,结合石塑地板产品质检过程,对于所进行检验的每一片石塑地板建立错误识别的对象逻辑矩阵,通过错误函数求错误值,识别错误的石塑地板对象,并根据错误石塑地板对象特征分类,采用相应的消避错方法进行运算和处理.     

Intelligent systems in finance

Business sectors ranging from banking and insurance to retail, are benefiting from a whole new generation of ‘intelligent’ computing techniques. Successful applications include asset forecasting, credit evaluation, fraud detection, portfolio optimization, customer profiling, risk assessment, economic modelling, sales forecasting and retail outlet location. The techniques include expert systems, rule induction, fuzzy logic, neural networks and genetic algorithms, which in many cases are outperforming traditional statistical approaches. Their key features include the ability to recognize and classify patterns, learning from examples, generalization, logical reasoning from premises, adaptability and the ability to handle data which is incomplete, imprecise and noisy. This paper is the first in a series to appear in Applied Mathematical Finance;here we introduce the reader to the basic concepts of intelligent systems, describe their mode of operation and identify applications of the techniques in real world problem domains. Subsequent papers will concentrate on neural networks, genetic algorithms, fuzzy logic and hybrid systems, and will investigate their history and operation more rigorously.     

Lunar terrain and mineral's abundance automatic analysis

The image is the important data in the lunar exploration. The main objective of this work is to detection lunar craters with the multi-information fuzzy logic method, and to quantify the image's terrain and the abundance of lunar surface minerals based on crater distribution law and soil characterization consortium data set with lunar surface reflectance. We implement image processing to recognize lunar crater and analysis lunar terrain; use lunar reflectance model to solve mineral reflectance question; joint commonly used look-up lunar reflectance tables and least squares to solve lunar surface reflectance questions; and calculate the minerals reflectance, region reflectance, and then estimate abundance of lunar surface soil minerals. An actual lunar image (Apollo 15 landsite, Clementine mission) of Mare region as an example, this method analysis results of the terrain and mineral's abundance are basically same with published literature. In the future, this method can be simple rapid in-time implemented in real-time lunar exploration.     

多值模运算的I2L电路实现

根据多值模代数运算理论及开关信号理论，建立了运用于I^2L电路设计的三值模运算的接地开关运算表示式。在此基础上，成功指导了对模3加、减、乘和除等运算电路的开关级设计，从而进一步完善了对多值模代数系统电路设计的研究。     

基于多值逻辑方法的模糊逻辑函数规范展开

首先提出了模糊逻辑和多值逻辑的相似性，并建立了三值逻辑函数文字运算和模糊逻辑函数短语的对应关系，进而提出了从三值逻辑函数的规范展开式求得模糊逻辑函数展开式的算法，并用该算法对几个模糊逻辑函数实例进行了规范展开，实例操作表明，该算法具有简单、规范、方便快捷的特点，是获得模糊逻辑函数规范展开式的一种有效的方法。     

多值移位型计数器设计

分析和讨论了基于全状态图的多值移位型计数器的设计方法,指出了当将该方法用于更多值的移位型计数器的设计时,将变得非常复杂,失去了直观性和方便性的特点.提出了多值全状态表及基于全状态表的多值移位型计数器设计方法.此方法能解决上述问题,并给出了二变量四值移位型计数器的设计实例.     

基于串联门的三值低功耗ECL 门电路

本文讨论了三值ECL 串联门中输入信号的电平移位和输出信号的函数表示形式.利用差动电流开关理论和ECL 串联门结构分析, 本文设计了常用的三值低功耗ECL 电路.     

三值扭环形计数器的研究

本文根据二值扭环形计数器的设计思想,提出了三值扭环形计数器基于模代数的三 值D 型 和 J K 型 触发器仁`〕的电路设计.在此基础上,进一步提出了借助于三值 K 图化简技术,设计具有自校正功能的三值扭环形计数器的方法     

nMOS三值逻辑电路

木文介绍了用nMOS管没计三值逻辑电路的三种方法;衬寨法.多闪值法及控制管子沟道宽长比法.在分析了各种方法所设计的三rz逻辑电路的优缺点后，木文指出可以借鉴传输L71数理论来指导多值nMOS电路的设计.