基于在系统可编程逻辑器件的循环码的编、解码系统设计

介绍了利用Ｌａｔｔｉｃｅ 公司的在系统可编程逻辑器件ｉｓｐＬＳＩ１０１６ 设计的循环码编、解码系统,并给出了该系统的顶层电路和用ＡＢＥＬ语言设计的功能模块．该系统可用于数据通信实验和串行通信系统中．     

数字逻辑电路设计方法探讨

全加器是算术逻辑运算中非常重要的组成部分,对其深入探索、正确理解有极其重要的意义,通过对全加器的逻辑表达演变,采用不同器件,用多种方法设计出一位全加器,使实验者或产品开发者等在使用全加器时,根据具体条件,选择不同方法完成其功能,以达到对数字逻辑电路设计方法较全面的理解。     

A detection method for logic functions suitable for dual-logic synthesis

Logic functions can be implemented in either AND/OR/NOT-based traditional Boolean (TB) logic or AND/XOR-based Reed–Muller (RM) logic. To the majority of logic functions, it will be beneficial to be partially implemented in both TB logic and RM logic, called dual-logic. In this paper, a detection condition favoring dual-logic synthesis is proposed. A corresponding detection algorithm is developed and implemented in C. The algorithm is applied to test a set of MCNC91 benchmarks for verifying the algorithm. The results show that the proposed algorithm is more efficient than published ones.     

人工智能的泛符号机制

针对 90年代以来人工智能研究逐步转入低潮的局面 ,提出了关于人工智能的泛符号机制的新思想、新理论 ,泛符号机制 =泛逻辑 知识表示的超拓扑结构 多维信息空间。     

逻辑东渐与中国近代时期哲学的革新

西方逻辑在中国近代时期（1840—1949年）的第二次东渐,对这一时期中国哲学的发展产生了显著影响。具体表现在以下三个方面：第一,逻辑东渐促成了当时哲学观念的新变化;第二,逻辑东渐为哲学研究提供了新的视域和方法;第三,逻辑东渐诱发了“逻辑哲学”这一全新的学术研究方向和研究领域出现。西方逻辑东渐对中国近代时期哲学革新所产生的积极影响,标志着这一时期的知识分子对中国新文化建设蓝图的一种有益探索——妥善处理古今中外人类历史上所产生的进步文化成果,扬长补短,择优而从。     

浅析英语V—ing形式的用法

V—ing形式是英语动词的一种非限定形式,国内外一些语法学家在英语非限定动词-ing形式的分类和用法上存在着巨大差异．以奥托·叶斯帕森（Otto Jespersen,1933;1940）、张道真（1995）和薄冰（2004）等为代表语法学家认为,非限定动词有三种形式,它们是不定式、分词（含-ing分词和-ed／en分词）和动名词;而以夸克（Randolph Quirk,1974;1980;1985）、王嘉龄（1980）和章振邦（2003）等为代表的语法学家认为,非限定动词只有两种形式：不定式和分词。他们用“-ing分句”这一术语来笼统地称呼-ing分词和动名词,但同时也指出“-ing分句”含有名词特征。在语法教学过程中,有关英语非限定动词-ing形式的术语和特征经常被混淆和误解。本文将引用叶斯帕森等语法学家的观点,把V—ing形式分为现在分词（presentparticiple）和动名词（gerund）,从句法角度分析它们在句中的用法区别及其逻辑主语的表现形式,旨在提高学习者的翻译、阅读和语篇分析能力．     

自适应模糊PID控制器的设计及基于MATLAB的计算机仿真

将模糊控制器和PID控制器结合在一起,利用模糊逻辑控制实现了PID控制器参数在线自调整,进一步完善了PID控制器的性能,提高了系统的控制精度.并把MATLAB中的FuzzyToolbox和SIMULINK有机结合起来,方便的实现了该自适应模糊PID控制系统的计算机仿真,拓宽了FuzzyToolbox和SIMULINK的应用范围.     

可编程序控制器梯形图的逻辑设计方法

梯形图是可编程序控制器的重要程序设计方法,但它的设计方法还很少有人总结。本文提出二种梯形图的逻辑设计方法在工厂电气控制技术中对推广可编程序控制器的应用将有一定的参考价值。     

Peirce on the justification of abduction

What sort of justification can be claimed for abduction? In this paper we reconstruct Peirce’s answer to this question. We show that in his early works on the logic of science Peirce provided an abductive justification of abduction, and that in his mature writings the early solution is enriched by a reference to the place abduction has in a typical scientific inquiry. Since abduction is the first stage of inquiry by which a hypothesis is suggested and which then has to be subjected to inductive testing, the fundamental abduction (ur-abduction) that justifies abduction has also to be subjected to a verification by means of a fundamental induction (ur-induction), namely that the abduction that abduction is valid is verified by an appeal to the history of science.     

制约门原理研究

制约门是基于制约逻辑的内涵智能机的核心元件，它根本区别于以往的外延计算机硬件与和非，输入和输出之间不是真值函数关系，本文综合制约逻辑，耗散结构论，协同论，非线性数学等理论提出实施制约门的原理，制约门的数学证明借鉴了协同论从被支配模推算出序参量方法。