科学发现的逻辑与创新意识的培养

“科学发现的逻辑”与对科学发现问题做逻辑的研究,是两个不同的问题。现代科学哲学家对“科学发现的逻辑”的否定,给教育者如何培养人才指明了方向。教育应当把培养学生的创新能力作为重点。     

复合限制

限制是一种基于极小化模型的非单调逻辑,本文首先提出一种相对限制形式——基于极大化模型的限制,继而给出结合极小与极大化模型的复合限制形式,并进一步讨论它们在形式化机器学习中归纳推理的应用.     

基于MCU的SoC芯片版图设计与验证

设计应用于数字抄表系统的基于MCU的SoC芯片.芯片内部集成多个硬宏单元,采用数字和模拟分开放置的方式基于SMIC 0.18μm 1P6M工艺进行版图设计.进行等效验证、静态时序验证、后仿真和基于Virtuso环境采用Calibre工具进行的物理验证.研究和解决在版图设计和验证过程中碰到的问题.最终设计的SoC芯片满足...     

一种安全的采购项目备案协议

本文提出了一种面向网上政府采购的安全采购项目备案的协议.该协议运用了以数字证书为核心的PKI技术,实现了用户的身份认证和访问控制,保证了整个采购项目的备案过程中数据的保密性、完整性和不可抵赖性.并通过一种形式分析模型BAN逻辑证明了该协议的安全性.实验证明该方法可以解决网上政府采购中采购项目备案服务对安全性的需求.     

基于I／O传送的PCI总线控制器的设计

随着微处理机性能的迅速提高以及多媒体技术和高速网络的不断发展，人们对微机系统的I/O带宽提出了越来越高的要求，原有的标准总线如ISA、EISA和MC已逐渐不能胜任现代技术的要求。在这种情况下，PCI总线便应运而生，并迅速成为微机中的主流标准总线。现有的PCI总线控制器的实现方法有：采用专用芯片和可编程逻辑芯片。笔者在对PCI系统结构粗略介绍的基础上，用一块Lattice1032E可编程逻辑芯片设计出一个基于I/O传送的PCI总线控制器。仿真分析表明，该设计是成功的。     

Random testing for system-level functional verification of system-on-chip

In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed. The validity of this method is proven theoretically. Specifically, testcases are generated according to many approaches of randomization. Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language. Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily. The comparison method is put to use in the evaluation approach of the testing validity. The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing. The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.     

一类可优化的平方伪布尔函数

该文给出一类平方伪布尔函数f(x)=xQx^T+cx^T+d,它的最小点与最小值可在线性时间内找到。其基本思想在于将Q和C所关联的图转换为由NOT,AND,OR,NAND,NOR,XOR和XNoR门组成的逻辑电路,后者的相容信号值对应伪布尔平方函数的最小点。这种方法建立了平方伪布尔函数与逻辑电路之间的结构关系。     

扰动模糊逻辑中的连续算子

本文提出了扰动模糊命题逻辑的概念,定义了扰动模糊命题的运算,然后将一维模糊逻辑算子推广到二维的扰动模糊逻辑算子中去,提出了扰动模糊连续算子,同时对这些逻辑算子的性质做了较为系统的研究,从而使模糊逻辑的概念及性质得到进一步的推广。     

自联想映射存储器——一种新的非线性人工神经网络存储器模型

提出了一种基于图论理论的新的非线性人工神经网络存储器模型—自联想映射存储器。该存储器借助一种特殊的矩阵逻辑异或（ＸＯＲ）运算和存储器结构,可以实现大容量信息的动态存储和自联想记忆功能,具有结构简单,存储容量大和良好的动态特性,是一种理想的实时计算机信息处理系统信息存储器。