次协调逻辑下的自动推理

引进了一套次协调逻辑系统──注解逻辑的线性归结方法后，在探讨的过程中提出了若干命题，并用一个推理实例表明在该系统中产生次协调性后，仍然可以进行正常的推理．     

罗素悖论与弗协调逻辑

本文以胡世华教授建立的自然推理系统为基础,构造了一个弗协调逻辑H.在以H为逻辑的弗协调集合论S_H中,罗素(B.Russell)命题是可证的.     

一种形式化的可信平台模块应用编程接口安全性分析方法

针对可信平台模块(TPM)应用编程接口(API)规范设计的安全性未得到有效验证,本文提出了一种形式化的安全性分析方法.具体内容包括:采用形式化模型定义应用编程接口、攻击者能力与安全目标;借助自动证明机实现了一种基于归结准则和定理证明的推理方法,在该方法中还集成了可执行状态判决机制,在一定程度上缓解了状态空间爆炸的问题.实验结果表明,可信平台模块密钥迁移功能的设计存在一定安全缺陷.     

地理信息系统结构设计

本文介绍了地理信息系统结构设计的基本原理和方法，讨论了系统的软件的基本内容和特点，系统的开发环境以及系统模型的构造原理，同时用系统论的方法阐述了地理信息系统库数据概念模型，地理空间数据的集合运算、图形／图象数据的逻辑运算信息系统操作原理，并深入探讨了地理信息系统的基本逻辑操作春操作公理。     

指派问题新解法——目标值子矩阵法

针对0-1整数规划中的传统指派问题,由工程实践问题提出了一种全新的解法——目标值子矩阵法.对于n个变量的传统指派问题,一般只需n次运算即可找到最优解,简单易懂,与全枚解法和其他隐枚解法相比,极大地降低了计算量.如果把这种方法应用在计算机中,将使编程简化,计算次数减少,运算速度大为提高.     

相信逻辑公式的影响范围与概率逻辑公式的概率

影响范围计算（Ｉncidence Calculus)理论主要是用来解决纯数值不精确推理中固有的各种难题。它具有纯数值机制所缺乏的许多优点,加它能表示命题间的独立性,具有真值函数性,而数值机制却不具有这些特点。影响范围的计算理论可以提供一种真正的概率推理。     

面向对象的模糊知识表达及推理

首先介绍了加权模糊逻辑及其在推理中的应用，讨论了面向对象的程序设计技术及面向对象的知识表达，提出了一种集框架、规则、过程于一体的面向对象的知识表达方法，介绍了呆推理机、方法推理机、规则推理机及元推理机的作用，并着重讨论了规则推理机的工作原理。     

对正项级数敛散性判别法的关系的一些探讨

先对正项级数敛生判别法的粗细与强弱问题进行了辨析，然后建立了三个有关正项级数剑散判别的命题，分别比较了三组判别法之间的强弱关系。     

低功耗互补传输门绝热逻辑和时序电路的设计

研究了采用二相非交叠功率时钟的绝热触发器及时序电路的设计，介绍了采用二相无交叠功率时钟的互补传输门绝热逻辑（CPAL）电路，并分析了其工作原理．该电路利用nMOS管自举原理对负载进行全绝热驱动，从而减小了电路整体功耗，且CPAL能耗几乎与工作频率无关．提出了性能良好的低功耗绝热D、T和JK触发器，并与其他几种绝热触发器进行功耗比较．给出了绝热时序电路的一般设计方法，并作为实例采用应用绝热D触发器设计了十进制计数器．SPICE程序模拟表明：设计的电路具有正确的逻辑功能及低功耗的优点．     

复杂的可编程逻辑器件在可控电抗器中的应用

分析了磁阀式可控电抗器的结构和工作原理,通过直流控制电流控制铁芯的饱和度来调节电抗器的投入容量,采用可控硅和复杂的可编程逻辑器件（ＣＰＬＤ）为其设计了控制装置,实现了电抗器容量的自动连续调节,具有响应速度快、可靠性高的特点,并在电网无功补偿中得到了较好的应用．     

关于集合极限集与非游荡集的注记

讨论拓朴动力系统点极限集与集合极限集之间的关系，并证明利用集合极限集给出的非游荡集的定义与通常的非游荡集的定义是一致的。     

六角系统中完美匹配的覆盖与对应

本文建立了六角系统完美匹配集与覆盖集间的对应,并研究了它的一些性质。     

一类新的宽间隔跳频码的实现

基于ＧＦ（Ｐ）上的ｍ序列,提出了一类新的宽间隔跳频码序列,并在计算机上进行了模拟研究．其模拟结果表明：该跳频码序列的相关性和游程特性均优于最佳的跳频码序列．     

数据选择器型通用逻辑组件的逻辑综合

本文提出了一种使用数据选择器进行逻辑设计的算法,本算法从数据选择器树的首级开始,挑选恰当的数据选择变量,使树型结构得以简化,减少组件总数。     

基于ROUGH集方法决策规则的全局补偿及其在手写识别中的应用

对于经典Rough集理论中某一类决策或模式识别问题，其样本空间或决策表中客观存在的任何两个样本实例体现的决策规则不可能完全相同。本文对此进行了讨论并提出了RS邻域拓展的全局补偿RS方法。基于上述方法对脱机手写识别英文字母的模板匹配算法进行了优化，说明了其有效性。     

基于互补型SET的通用阈值逻辑门设计

与MOS管相比,单电子晶体管(SET)具有超低功耗、超高集成度等优点,被认为是可能取代MOS管的新一代量子器件的主要竞争者.在简要介绍SET特性及通用阈值逻辑门(UTLG)的基础上,沿用CMOS逻辑电路的设计思想,提出了功能强大的基于互补型SET的三变量UTLG实现方案.利用一个UTLG辅之少量门电路就可实现全部256个三变量逻辑函数.通过实例说明了利用查表设计进行UTLG综合的过程.对所设计的SET电路进行了Pspice仿真,结果表明,基于SET的UTLG以及用UTLG实现的全比较器均具有正确的逻辑功能.     

基于黎曼度量张量的各向异性网格划分算法研究

由于实际中某些复杂性工程问题的解具有各向异性的特点, 为采用更少的网格单元数及更好的单元质量来进行有限元分析, 以实现高效求解, 各向异性剖分单元则是一种有效的前处理技术. 因此为生成高质量各向异性网格, 首先在给定黎曼度量的基础上形成各向异性背景网格, 然后通过各向异性Delaunay原则进行边交换, 再基于力平衡实现节点的光滑平顺, 由标准化面积和标准化边长规定节点的添加与删除, 以及节点近似投影的边界约束, 得到一个与具有方向性问题相匹配的网格. 最后通过3个实例验证给出的各向异性网格划分算法的可行性.     

一种基于Rough集理论的最小风险决策规则提取方法

波兰科学家Zdzisilaw Pawlak将概率统计中的Bayesian公式与Rough集模型相结合建立基于决策理论的概率模型，给出了一系列的决策规则及相关讨论。在此基础上结合在银行信贷分析的实际例子描述了基于Rough集理论的最小风险决策规则提取方法及它的实际应用，可以看出这为非结构化风险决策问题提供了一条很好的辅助决策的途径。     

自适应迎风格式求解奇异摄动两点边值问题的高精度算法(一)

基于误差校正方法给出了用等分布原理求解一类奇异摄动两点边值问题的自适应数值新算法,用理论方法和数值试验证明了该算法的可行性和高效性.     

基于AIG的多级逻辑电路延迟近似优化

在对多级逻辑电路延迟进行优化中,提出了一种针对关键路径中节点输出的近似替换方法,用于实现延迟优化.提出的算法先建立待优化电路的关键路径集合,然后通过选取每一条关键路径中错误率影响最小的节点构成待优化节点集,再结合提出的节点输出近似替换技术,在错误率约束下实现节点删除和关键路径压缩,进而达到多级逻辑电路延迟优化.提出的算法用C++和ABC工具内置命令编程实现,使用ISCAS85以及LGSynth91电路进行测试.实验结果显示,与已提出的常量替换方法相比,面积和延迟优化效果分别提升22.96%和31.49%.同时相较于最新提出的针对延迟优化的算法,在延迟优化效果相近的情况下,算法运行时间上有61.88%的提升.