EDA中函数优化方法研究

提出了EDA中易于计算机实现的逻辑函数优化方法,即在优化过程中引入多维体运算,用星积运算求素项,选择极值法求最小覆盖,并对循环函数进行处理的优化方法.大量的实验证明了该方法的正确性和易于计算机实现的有效性.因此,该方法在数字电子设计自动化中具有广泛的应用前景.     

一种优化逻辑函数的程序设计与实现

论文提出了EDA中易于计算机实现的逻辑函数优化方法,即在优化过程中引入删劣运算,用锐积运算求质蕴涵项,用选择提炼极值法求最小覆盖,并对循环函数进行处理的优化方法。设计了相应的组合逻辑电路逻辑综合优化程序,大量的测试证明了该方法的正确性和易于计算机实现的有效性。     

逻辑函数的计算机化简

本文针对中型逻辑函数，提出了易于计算机实现的化简方法，即在化简过程中引入代数拓扑运算，在用星积运算求素项的基础上，用选择极值法求最小覆盖，大量的实验证明了该算法的正确性和易于计算机实现的有效性。     

基于粒子群算法的自抗扰控制器参数优化

针对于自抗扰控制器中参数难以整定的问题,提出了基于粒子群优化算法的参数优化设计方法。该设计方法的实质就是选择合适的适应度函数,利用粒子群优化方法对自抗扰控制器的可调参数进行优化。该设计方法运算简单易于实现。对于实现自抗扰控制算法的快速调参具有重要意义。     

一种新的多项式表示法及其在密码中的应用

论文提出一种新的多项式表示法———数值表示法,将多项式的乘法运算转化为数值运算,具有语意明确、运算准确和易于计算机实现的特点。新的数值表示法在求解布尔函数多项式表达式上的应用简洁快速而准确(只进行异或和与操作,代码只有5行)。用这种方法求出的DES的S盒的布尔函数表达式与现有文献结果相符,并第一次准确求出AES的S盒的布尔函数表达式。     

一种CORDIC算法的FPGA实现

CORDIC算法是实现快速精确的正、余弦函数计算的主要方法,在工程实际中有着广泛应用.在研究正、余弦函数运算的CORDIC算法简单状态机实现和高速全流水处理机实现的基础上,提出了一种单精度浮点数正、余弦函数运算的优化实现方案,并在ALTERA公司的FPGA上实现.结果表明,相比较单精度浮点数正、余弦函数运算的CORDIC算法简单状态机实现,该实现方案不仅计算速度快,而且硬件资源消耗增加少,达到了单精度浮点数正、余弦函数运算硬件实现上速度与资源占用的平衡.     

布尔函数和伪布尔函数多项式表示的快速实现算法

布尔函数和伪布尔函数在不同的领域有着广泛的应用,利用多项式表示有利于刻划它们的一些特征属性。论文首先在已知输入都能得到输出的条件下给出了布尔函数多项式表示的快速实现算法,该算法仅用到模2加运算,运算次数少,具有简洁、易于编程实现、准确而快速的特点,而且该算法很易推广为伪布尔函数多项式表示的快速实现算法,只需把模2加运算换成实数加运算即可。接着通过比较说明了伪布尔函数多项式表示的快速实现算法,同时指出任何伪布尔函数都能通过多项式形式表示出来。最后通过实例进一步验证了算法的正确性。     

方波脉冲变换及其应用

方波脉冲函数是一类新型的正交函数,它可在工程技术领域中得到广泛的应用。由于这种函数具有简明的定义、独特的运算性质、灵活的处理,不仅使人易于掌握,而且具有推导简明、公式简单、计算容易、快捷、准确度高,配合计算机使用,易于编程序、省时和节省计算机内存等一系列优点。有兴趣者,可参考文献[3]。     

基于Tesla平台的快速反投影运算

反投影运算是锥束CT图像重建算法中运算量最大,最耗时的部分,是制约重建速度的瓶颈。为此,在计算统一设备架构模型下,应用体素驱动法实现基于Tesla平台的反投影(BP)并行运算,并对BP运算上的访存和数学指令进行优化。实际CT数据的重建结果表明,该方法的运算速度是CPU串行程序的198倍,效率高且易于实现。     

运用可变模板进行并行图像处理的一种快速算法

提出了一种在并行机上有效地计算（空间）可变模板的方法，论证了利用一个在图像网格点处计算多项式的优化算法，可以大大减少可变模板的运算量，对于包含非多项式函数的可变模板，可以用函数的泰勒级数展开实现在像素点上的递推运算，详细分析了可变模板中若干常用函数的泰勒展开用于实现模板运算的合理性，准确性和有效性，关于硬件的影响以及该方法的适用范围，也做了讨论。     

一种新的Petri网推理方法

提出一种新的基于Petri网的知识表达方法和逻辑推理算法，通过减少重复推理过程，充分利用推理过程中已经得到的中间结论，该算法比现有算法减少了推理步数，有效地提高了推理效率。     

基于工作流网的实时协同系统模拟技术

基于Petri网和工作流的概念，提出一种实时协同系统的形式化模拟与分析技术——逻辑工作流网，逻辑工作流网是抑制弧Petri网和高级Petri网的抽象和扩展，其变迁的输入／输出受逻辑表达式的约束，它与一般工作流网相比，能够在一定程度上缓解状态空间爆炸问题，且便于系统设计人员掌握和使用，该文分析了逻辑工作流网的若干性质及组合网的性质继承问题，并以网上企业销售系统为例，说明逻辑工作流网在实时协同系统模拟分析中的应用。     

一种新的Hypervisor逻辑域通道设计

UltraSparc T1/T2处理器采用硬件辅助的虚拟化技术,其平台固件Hypervisor实现了虚拟机管理的主要功能。逻辑域通道(Logical Domain Channel)是Hypervisor实现的支持虚拟机间以及虚拟机与Hypervisor间通信的一种机制,其实现简单,但缺乏足够的灵活性。同时,基于逻辑域通道的数据传输需要对传输数据进行拷贝,极大地影响了数据传输性能。本文介绍了一种新的逻辑域通道技术,采用基于描述符的直接数据传递方法,数据经过逻辑域通道时不需要拷贝,其长度也不受逻辑域通道缓冲区大小的限制,实现了虚拟机间灵活高效的数据传递。     

模糊逻辑系统的非线性组合预测方法与系统误差分析研究

本文提出一种基于模糊逻辑系统的组合预测方法。其基本思想是利用模糊系统的万能逼近特性,采用模糊Taki Sugeno模型来进行非线性组合预测函数的φ（x）模拟。这种全新的组合预测方法不仅降低了构造非线性组合预测函数φ（x）的难度,而且使预测精度大大提高。     

基于对象特征模型描述的智能控制

目前出现的一些智能控制,大多数要靠现场试凑确定控制器结构和参数,缺乏事先 按要求进行控制器设计的完整思想.为此,介绍一种新方法--基于对象特征模型描述的智 能控制.该方法的基本思想是根据对象的特征模型描述和控制要求,设计智能控制器.它设计 简单,使用方便,一般不需人们现场试凑调整.论文阐述了本方法产生的背景、基本原理和组 成,智能控制器的设计以及多个实际工程的应用情况.     

一种基于数据差异的逻辑卷快速同步方法

在数据保护系统中,经常需要对源卷和目的卷进行同步使彼此数据保护一致。提出了一种新的基于数据块的同步方法。该方法充分利用了源卷和目的卷的位图信息,在计算数据块的特征值时引入了动态算法。实验表明该方法显著地减少了同步数据量。     

Do Logical Truths Carry Information?

The paper deals with the question whether logical truth carry information. On the one hand it seems that we gain new information by drawing inferences or arriving at some theorems. On the other hand the formal accounts of information and information content which are most widely known today say that logical truth carry no information at all. The latter is shown by considering these accounts. Then several ways to deal with the dilemma are distinguished, especially syntactic and ontological solutions. A version of a syntactical solution is favoured.     

基于FreeBSD的远程卷复制系统的研究与设计*

提出了一种基于FreeBSD平台的远程逻辑卷复制系统的设计方案,论述了它的系统结构以及实现方法。该系统以Vinum逻辑卷管理器为对象添加复制机制,不依赖于具体的存储设备,能实现数据块级的复制。系统提供了独特的日志机制和日志保护技术,支持同步、异步两种复制模式,可以适合不同的网络环境。它的传输协议基于TCP/IP,并能结合成熟的压缩技术,减轻网络负载。该系统提供了一种经济、通用的复制方案,能广泛推广应用。     

机械制图教学内容的程序化创新设计研究

研究并提出了制图课教学中正确的思维方式,通过与当前思维方式的比较找出了教学中存在的问题,即一味强调形象思维,过分忽视逻辑思维。以组合体读图为例,对该教学内容进行了程序化创新设计和强化逻辑思维,并进行了教学实践。实践表明新方法改变了过去课堂教学中听得懂但不会用的状况,深受学生欢迎。