多输入多输出单边逻辑函数优化系统的设计研究

逻辑综合的作用是在功能等价的条件下减少电路中的元件数目,使电路体积减少、能耗降低、故障率下降、稳定度提高。对于超大变量多输入多输出逻辑函数优化,存储开销对输入变量呈2幂次方增长。针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输入多输出单边逻辑函数补集,以积项扩展为基础,完成多输入多输出单边逻辑函数无冗余覆盖。编程实现了多输入多输出单边函数逻辑优化的算法,对影响单边函数逻辑优化效率的因素(输入变量数、输出变量数、积项数和无关因子)进行了分析,软件系统在奔腾1.8 MHz、512 M的计算机上通过了正确性验证与测试。测试结果表明性能良好,有效的降低了系统的存储空间和时间开销。     

未知逻辑的故障电路快速重构算法研究

针对未知逻辑的故障电路诊断与修复问题,研究了一种以同样功能的正常电路作为参考电路,然后利用电路逻辑快速重构算法进行故障修复的方法。该算法将对参考电路的逻辑功能采集与故障电路的逻辑功能重构同步进行,既能降低算法运行过程中的空间消耗,同时也避免了故障电路逻辑功能重构过程中,进行复杂的逻辑综合。此外该算法改进了传统的分块串行处理模式,解决了将采集数据分块并行逻辑综合的问题,提高了故障电路重构的速度。测试表明,相对直接的Q-M逻辑综合算法,该算法处理时间最快能减少70%。     

面向时序逻辑的门级信息流分析方法

利用门级信息流追踪逻辑基础理论,研究了门级信息流时序逻辑扩展问题,在确定系统时钟作为基础可信源情况下,给出了扩展4种典型触发器的实现方案.针对IWLS测试向量集使用Synopsys综合编译器,生成90 nm标准库文件,对门级信息流跟踪逻辑的面积、时间延迟和功耗等参数进行了评估.与未经优化的原始GLIFT编码相比,在引入时序逻辑之后,电路的平均面积消耗降低了50％以上,时间延迟减少13％左右,获得的面积和时间延迟信息反映了在逻辑门级层次上实现细粒度信息流控制的复杂性；而仿真获得的功耗对比结果表明追踪逻辑的功耗达到原始逻辑的5～20倍左右,功耗问题需要进一步研究和优化.     

针对面积优化的时钟偏斜规划算法

提出了一种新的时钟偏斜规划算法,该算法所生成的时序约束可以有效地促进逻辑综合工具的面积优化。在时钟偏斜规划的过程中,对时序图(sequential graph)中的关键环不再平均分配时间裕量(slack),而是根据不同路径对电路面积的影响不同,按照一定权重来进行分配。实验结果表明:按权重分配裕量的方法相对于平均分配裕量,能够在不降低电路性能的情况下,更加有效地降低逻辑综合结果的面积。     

针对面积优化的时钟偏斜规划算法

提出了一种新的时钟偏斜规划算法,该算法所生成的时序约束可以有效地促进逻辑综合工具的面积优化。在时钟偏斜规划的过程中,对时序图（sequentialgraph）中的关键环不再平均分配时间裕量（slack）,而是根据不同路径对电路面积的影响不同,按照一定权重来进行分配。实验结果表明：按权重分配裕量的方法相对于平均分配裕量,能够在不降低电路性能的情况下,更加有效地降低逻辑综合结果的面积。     

基于FPGA查阅表的面向结构的逻辑优化

介绍了基于现场可编程门阵列（ＦＰＧＡ）查阅表的逻辑优化准则．基于这一准则，讨论了几种重要的逻辑优化运算，例如抽取、分解、约数检查和简化，以按照目标工艺技术估算电路的价格．基于ＦＰＧＡ，利用我们的方法对查阅表进行逻辑优化，可以得到工艺映射中的良好出发点．以２５个基准试验例子为基础，我们的优化电路所需要的构造逻辑方块（ＣＬＢ）比利用ＭＩＳ－ＩＩ的优化电路的情形下少百分之十四，如果两者都利用ＭＩＳ－ｐｇａ顺序映射的话．此外，电路的级数也稍有改进．     

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

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

采用电容耦合的能量回收电路

为了提高能量回收电路的效率,提出了能量回收电容耦合逻辑电路。该电路的非绝热损失与门的复杂度和负载均无关,其大小只决定于电路中逻辑门的数目。利用电容耦合,而不是开关逻辑网络进行逻辑求值,相对减小了导通电阻和绝热损失。该电路在电路形式上降低了功耗,在结构设计中,采取阈值逻辑结构,使功耗和性能优化。基于TSMC0.35μm工艺,设计了4位加法器,并和4位的2N-2N2P加法器、静态CMOS加法器进行比较。Hspice仿真表明:该电路电路功耗只有2N-2N2P的46%,静态CMOS的20%~31%。该电路与传统的CMOS电路比较,能耗大大降低。     

基于真值表变换的可逆逻辑综合算法

为实现将给定的二元可逆函数快速综合为相应电路,并保持其结果的最优或较优,提出一种基于真值表变换的快速综合算法.可逆函数与置换同构,任意置换均可表示为若干对换的乘积,通过将可逆函数转化为一系列对换的乘积,从对换的乘积中综合电路.对于3bit逻辑电路只有28种对换,事先将28种对换的最优电路存入库中生成3bit电路综合基,通过在库中查找快速生成可逆电路.根据逻辑门可交换规则引入优化方法,完成快速综合算法.结果表明,该方法不但可以提高可逆逻辑综合的效率,而且结构简单,易于实现,可以O(4n)的时间效率快速综合任意3bit可逆逻辑电路,实现综合结果达到或接近最优.     

一种业务逻辑语言编译系统的设计

有些计算机高级语言存在语法直观性差、难理解等问题,现开发了一种业务逻辑语方言编译系统,该系统采用受限语言文法的、分层的文法定义方法,以便消除语言的二义性,实现可扩展性.在进行语法分析时采用修正的Left-Right Parsing分析算法,该算法在构造分析表的过程中利用规则进行二义性消除,并进行区别Look ahead Left-Right Parsing算法的效率优化.该系统已在业务逻辑可重构的应用系统-IceTip中得到应用,实践证明此系统在效率和性能上完全可以满足用户的需求.     

门和功能级混合的逻辑模拟系统GFLS1

ＧＦＬＳ１是门和功能级混合的逻辑模拟系统，它允许门或功能块作为被模拟电路的基本单元。ＧＦＬＳ１的主要特点是：提供了一个便于使用的描述语言；使用表驱动和选择追踪算法；既可对已有的逻辑电路作正确性检查，负载检查和各种条件检查，也可支持自上而下的逻辑设计。     

周礼全先生的学术思想及其贡献——纪念周先生90周年诞辰

主要论述了周礼全先生的学术思想和贡献。周先生在哲学研究领域做出了重要的贡献,并大力宣传哲学家的使命;周先生大力传播现代逻辑,提倡现代逻辑应该理论联系实际;周先生具有学术创新精神,是中国自然语言逻辑的开拓者和传播者;周先生对中国逻辑史的研究和发展做出了重要贡献;周先生客观公正,提倡学术民主,敢于坚持真理,倡导学术批评。周先生最重要的成果就是由他亲自执笔、主编,于1994年出版的《逻辑——正确思维和成功交际的理论》,这部力作无论在国内还是国际上都具有开创性意义,提出了一个包括意义、语境、隐涵和预设等为主体骨干的语言逻辑体系,描述了一种成功交际的理论和一个语言交际图式。     

自动送钻实验系统的优化加权模糊控制

针对自动送钻实验系统 ,设计了一种带优化加权因子的模糊控制器 ,以 ITAE积分性能指标为寻优目标函数 ,通过对误差和误差变化的加权因子的优化来获得系统的最佳模糊控制规则 ,并将其控制效果与一般模糊控制器的效果进行了仿真比较 .结果表明 ,一般模糊控制器作用于自动送钻实验系统时 ,由于超调量太大 ,系统难以正常工作 ;带优化加权因子的模糊控制器可使系统的超调量降到 4% ,调节时间为 1 7s,稳态误差小于 0 .1 % ,其他性能指标均满足要求 ,大大改善了系统的动态性能     

基于自适应神经模糊推理的精馏分离序列综合

模糊推理能够反映自然语言要素信息传递特性,自适应神经技术能够实现优化建模,通过抽象有效重组判据参数提炼模糊if-then规则,通过构造样本数据进行自适应神经学习训练,根据模型优化参数创建Sugeno模糊推理模型,系统化提出基于自适应神经模糊推理的精馏分离序列优化综合方法。     

流体逻辑网络计算机分析与修正

本文对流体逻辑网络计算机分析与修改进行了全面的研究。编写了计算机分析与修改的自动实现程序。此程序用FORTRAN77高级语言编写而成。实用证明,此程序自动化程度高,使用方便,能分析及修改大型的流体逻辑网络,大量节省人力,避免错误,其分析修改结果可达优化状态。具有较大的实用价值。     

英语篇章写作中线式结构与螺旋结构的对比分析

英语篇章写作是英语学习过程中的的重要技能,并受到学习者的关注。通过对汉英语篇逻辑模式的对比分析,可以发现汉语和英语语篇在不同程度上分别受到了线式和螺旋推理逻辑的影响,同时也体现了中国文化取向模式与英美文化取向模式的共存。     

Specification and Verification for Semi-Structured Data

Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system.     

试论法律逻辑的学科性质

目前,学界对法律逻辑的学科性质众说纷纭,莫衷一是。归纳起来,主要有形式逻辑分支论、应用逻辑分支论和理论法学分支论3种。在我国,虽然理论法学分支论最近才有个别学者以模糊的语气谈及,并且一经提出便遭到许多学者的质疑,但经过分析,就会发现,理论法学分支应该是法律逻辑的最佳归宿。     

复杂可编程逻辑器件设计中延时影响的仿真分析

为分析复杂可编程逻辑器件延时性能对数字系统设计中延时的影响规律，针对数字逻辑延时单元核的数学模型，采用硬件描述语言和图形方式实现了基本数字逻辑延时单元核，通过数字核复用建立了多延时单元部件，并运用电子设计自动化软件，通过选择不同的复杂可编程器件对延时单元进行了仿真分析、结果表明，数字逻辑设计中的延时与复杂可编程器件的延时性能、综合布局布线选择的逻辑块以及互连资源有关．所得到的结果为复杂数字逻辑系统的延时设计与分析提供了理论与实验依据．     

周易象数算法与象数逻辑——中国文化之根探源的新视角

中西方具有不同的思维方式.表达中国的"象思维"只能是"象语言","象语言"的逻辑不是形式逻辑,而是"象数逻辑"."象数逻辑"通过"取象去形",以"无形之象"追摹自然变化之序而创立推演体系,包括比类推理与太极推理两大推理法则,且深涵价值底蕴.中国"象数逻辑"较之西方形式逻辑与辩证法,更具本原性,内涵更丰富,包容性更大,其以"象数算法"为基础,但蕴涵其中,并未分化成为独立学科.而中国古代数学本为体用不二之完整体系,洛书、周易之"象数算法"与中国古代数学之"机械化算法体系"一脉相承.吴文俊对中国古代数学的继承创新,不仅对人类数学史,对当今数学发展意义重大,而且也为今天创建现代的中国语言学、逻辑学,为中国科学的自主创新提供了重要的思想与方法论启示.