高级综合中基于知识的RTL映射方法的研究

本文通过对ＶＨＤＬ语言高级综合系统ＨＬＳ／ＢＩＴ中寄存器传输级约束和工艺映射子系统的介绍，论述了利用智能技术创建的智能约束目标库及其相关机制，在此基础上，提出了适合ＲＴＬ工艺映射的基于知识的单元匹配方法。     

VHDL高级综合系统设计中某些关键问题的技术决策

本文的研究实现了从电路系统行为（含算法及功能）的ＶＨＤＬ描述到ＲＴＬ和逻辑结构级描述的高级综合，并针对ＸｉｌｉｎｘＦＰＧＡ文件库映射成工艺相关的ＡＳＩＣ，直至生成ＦＰＧＡ的器件，整个系统包括七个部分，本文重点讨论每个部分技术决策以及在ＳＵＮＳＰＡＲＣ２个实现的运行结果。     

基于规则的寄存器传输级ALU工艺映射算法的研究

提出寄存器传输级工艺映射（RTLM）算法，该算法支持使用高层次综合和设计再利用的现代VLSI设计方法学，允许复杂的RT级组件，尤其是算术逻辑单元（ALU）在设计中重用，该映射算法使用目标ALU组件来实现源ALU组件，映射规则通过表格的方式给出，此算法对于规则结构的数据通路特别有效，应用k阶贪婪算法的实验结果表明，RTLM在高层次综合中对数据通路组件再利用是一种有效的方法。     

基于标准单元库的工艺映射

本文提出基于标准单元实现的工艺映射技术，映射过程采用子逻辑结构变换及逻辑函数匹配加以实现，很好地兼顾了电路设计对延迟时间及芯片面积的要求。该过程在Ｓｕｎ－４／ＳＰＡＲＣ上用Ｃ语言实现，具有很好的时、空复杂性，能处理超大规模（５０００门以上）数字同步时序电路的映射过程，对纯组合逻辑电路的映射结果较好。     

容错多总线多处理机网络的设计

容错多总线多处理机网络的设计李春明（内蒙古工业大学电气工程系呼和浩特０１００６２）孙雨耕（天津大学电力与自动化工程系天津３０００７２）ＴＨＥＤＥＳＩＧＮＯＦＦＡＵＬＴ－ＴＯＬＥＲＡＮＴＭＵＬＴＩＢＵＳＭＵＬＴＩＰＲＯＣＥＳＳＯＲＩＮＴＥＲＣＯＮＮＥＣ...     

EDA(电子设计自动化)的进展——设计综合工具的开发方兴未艾

ＥＤＡ（电子设计自动化）的进展——设计综合工具的开发方兴未艾北京清华大学电子工程系（１０００８４）周祖成１版图综合（ｌｉｎｋｔｏｌａｙｏｕｔ）选定ＲＴＬ结构之后，逻辑综合完成硬件的设计流图向门级结构描述的转换，最初从逻辑综合开始研究设计综合，因为早在...     

AST-B3电脑特殊故障排除

ＡＳＴ┐Ｂ３电脑特殊故障排除黄永安（广州港港澳船务公司广州５１０１３０）用了近５年的ＡＳＴ－Ｂ３（８０３８６ＳＸ３３ＣＰＵ，８０Ｍ硬盘）电脑一部，ＣＭＯＳ受到攻击，造成启动失败，显示器提示ＣＭＯＳ错误，并提示按ＡＬＴ、ＣＴＲＬ和ＥＳＣ键进入ＳＥＴ－Ｕ...     

TMLNNs：三值／多值逻辑神经元网络

本文提出了具有三值／多值逻辑表达能力的神经元模型,即三值／多值“逻辑与”神经元和三值／多值“逻辑或”神经元,由这种逻辑神经元连接而成的多层神经网络能够实现三值／多值逻辑推理系统。本文还给出了ＴＭＬＮＮｓ的学习算法,从ＴＭＬＮＮｓ网络中容易抽取到三值／多值逻辑规则知识,可以将ＴＭＬＮＮｓ用于三值／多值逻辑规则知识的自动获取,ＴＭＬＮＮｓ模型为神经网络表示逻辑知识提供了理论基础。     

求多总线系统容错度的多项式时间算法

求多总线系统容错度的多项式时间算法陈四清，周六丁（重庆大学计算机科学系重庆６３００４４）ＰＯＬＹＮＯＭＩＡＬ－ＴＩＭＥＡＬＧＯＲＩＴＨＭＳＦＯＲＤＥＴＥＲＭＩＮＡＴＩＮＧＴＨＥＦＡＵＬＴ－ＴＯＬＥＲＡＮＣＥＤＥＧＲＥＥＯＦＭＵＬＴＩＢＵＳＳＹＳＴＥＭ...     

基于TMN逻辑分层的CORBA网管与传统网管互操作机制研究

文章首先介绍了当前网管技术的发展情况,指出分布对象技术是网管的发展方向。但在相当长的时间内,仍是 ＳＮＭＰ、ＣＭＩＰ和 ＣＯＲＢＡ共存的局面。随后针对 ＯＭＧ组织提出的 ＣＯＲＢＡ－ｂａｓｅｄ ＴＭＮ体系,提出了基于 ＴＭＮ逻辑分层的ＣＯＲＢＡ网管与传统网管工操作机制,分析了这种方法的特点及应用情况。     

针对MUX-LUT混合结构的FPGA工艺映射算法研究

针对具有MUX-LUT混合结构的FPGA芯片，提出一种对其进行工艺映射的面积优化映射算法．该算法的内容包括逻辑门电路到MUX网络的转换方法，MUX网络到FPGA芯片逻辑单元的映射方法．文中算法采用模式匹配的方法除去电路中的冗余MUX，以减少映射结果的面积开销．应用测试电路分别对该算法和Xilinx的Foundation系统对XC4003E芯片的工艺映射结果进行了比较测试，并给出了测试结果。     

对一种基于多值逻辑阵列变换的加解密系统的破解

多值逻辑在计算机科学中的应用前景是极为广阔的,比如在密码学方面的应用。该文通过引入多值逻辑中的序列变换的定义,采用矩阵乘法进行推导计算,证明了对文献（1）中提出的数据加密与解密系统不难进行破解,所采用的是“已知明文攻击”的方法。因此,对于真正可靠的基于多值逻辑的数据加密解密系统,还有待于进一步的研究。     

基于本体的领域知识重用方法研究*

由于已有知识表示和本体知识表示并不在同一逻辑体系基础上,从知识表示层面提出了一种基于知识等价映射的知识重用方法解决对已有异构知识的重用问题。通过语义等价提取、在本体指导下的一致性处理以及语义映射解决了本体构建过程中对已有知识的自动重用问题。实验表明,该方法易于实现且具有较高的精确性、可行性和有效性。     

基于HLA的多重表示建模

HLA的发展,促进了不同层次、不同分辨率的仿真的互连互操作和重用。多分辨率建模是一种在不同分辨率或抽象层次上一致的描述同一系统或现象的建模技术或方法。在形成的几种方法中多重表示建模方法较好地解决了暂态一致性、链式解聚、网络拥塞、并发交互和映射一致性等问题,成为多分辨率建模方法与技术的发展方向。该文以多分辨率建模的有效性要求为基础,分析了各种方法在一致性联合执行上的差异,指出了多重表示建模方法的优势,应用HLAOMT作为多分辨率模型设计工具,给出了实现多重表示建模的四个步骤,为基于HLA的多分辨率建模提供一个框架。     

一种基于工作流技术的协同办公系统的设计

工作流技术是将应用逻辑或过程逻辑分离,把管理知识中有关过程的知识剥离出来,并通过信息化自动实现过程集成的有效途径之一。文中针对办公自动化系统的特点,研究了工作流技术在办公自动化系统中的应用,提出了一个通用的工作流模型,并以这个工作流模型为基础进行动态授权机制的设计。通过动态授权机制在协同办公系统中的应用与延伸,很好地实现了一个基于角色的OA系统的访问控制策略。实践表明,动态授权机制能较好地满足协同办公系统对访问控制的要求。     

混合知识表示法在基于实例设计中的应用研究

针对基于实例的设计（CBD）系统中的复杂知识类型,提出了混合知识表示法,综合运用逻辑、规则、框架、过程表示法的优点,通过面向对象技术加以实现,并给出了基于Visual Prolog5.0的编程方法的应用实例。     

Inversion Optimization Strategy Based on Primitives with Complement Attributes

Inverters or logic primitives that have complement attributes are essential to building a logical complement system.NAND and NOR operations which have complement attributes are of high interest for complementary metal-oxide-semiconductor (CMOS) technology,as they can be easily implemented in transistors.Different from the logic models used in standard CMOS,several nano-emerging technologies,such as quantum-dot cellular automata (QCA) and spin torque majority gates,are in favor of realizing a majority voter function but imposing difficulties in implementing inversions.Previous studies pay lots of effort in optimizing the number of inverters in logic representations,whereas the mapping using primitives with complement attributes is not a major concern.In this paper,we establish a technology mapping method from logic representations to nanotechnology primitives by considering NAND-NOR-Inverter (NNI) and exclusive-NOR(XNOR) operations.We adopt XOR-Majority Graph (XMG) as a logic representation.The proposed mapping method is evaluated using the QCA technology.Experimental results over EPFL benchmark suites show we achieve 11.77％ and 30.13％ reductions in the area and the number of inverters,respectively.     

Fuzzy logic techniques for mobile robot obstacle avoidance

This paper is concerned with the problem of reactive navigation for a mobile robot in an unknown clustered environment. We will define reactive navigation as a mapping between sensory data and commands. Building a reactive navigation system means providing such a mapping. It can come from a family of predefined functions (like potential fields methods) or it can be built using ‘universal’ approximators (like neural networks). In this paper, we will consider another ‘universal’ approximator: fuzzy logic. We will explain how to choose the rules using a behaviour decomposition approach. It is possible to build a controller working quite well but the classical problems are still there: oscillations and local minima. Finally, we will conclude that learning is necessary for a robust navigation system and fuzzy logic is an easy way to put some initial knowledge in the system to avoid learning from zero.