基于DCVSPG逻辑的双轨四相异步电路设计

基于四相双轨异步电路设计的芯片面积较单轨异步电路成倍增大,提出了将异步DCVSPG(ADCVSPG)逻辑用于双轨四相异步电路设计.为了适应异步电路设计,在ADCVSPG逻辑单元电路的互补输出端,由一个与非门来实现完成判断电路,同时在每个互补输出端分别添加一个由反向器构成的锁存器,以此提高电路的稳定性,并使得ADCVSPG适合于异步细粒度流水线设计.在HSPICE下对ADCVSPG逻辑和零协议逻辑(Null Convention Logic,NCL)进行了分析.分析表明,ADCVSPG逻辑提高了双轨四相异步电路的性能,减小了芯片面积,是一种较佳的设计方法.     

马克思的社会跨越理论研究--从主体逻辑与客体逻辑角度考察

马克思的历史辩证法的真理内核在于他把握住了人类社会历史发展的两个根本的逻辑——主体逻辑与客体逻辑。我们如要正确认识和揭示历史，就应把握住这两个逻辑，而不能把二者割裂开来。问题的关键不在于资本主义对生产力发展的推动作用上，而在于我们如何通过历史发展的主体逻辑认识资本主义对社会历史主体人自身的发展所起的作用，这正是被许多人忽视的问题。     

基于模糊逻辑的直升机终端滑模控制

为解决终端滑模控制在系统远离平衡点时收敛速度较慢以及在平衡点附近存在高频抖振的问题,提出一种用于直升机控制的双层模糊终端滑模控制策略.该方法综合了终端滑模控制和模糊逻辑的优点,系统状态位于终端区外时采用基于模糊比例型达到律的模糊终端滑模,在终端区内采用基于连续型达到律的无抖振终端滑模.采用该方法为某型直升机的姿态稳定设计了控制律.仿真结果表明,该方法不仅保留了滑模控制所具有的鲁棒性强的特点,而且使得系统状态在远离平衡点和平衡点附近时都能快速收敛,同时消除了高频抖振.     

MINIMAL INVERSION AND ITS ALGORITHMS OF DISCRETE-TIME NONLINEAR SYSTEMS

The left-inverse system with minimal order and its algorithms of discrete-time nonlinear systems are studied in a linear algebraic framework. The general structure of left-inverse system is described and computed in symbolic algorithm. Two algorithms are given for constructing left-inverse systems with minimal order.     

Multi-disciplinary Research in Traditional Chinese Medicine--An Exploration

This paper discusses the present state of Traditional Chinese Medicine being divided into three leading lines of thought, namely, the Clinical line,the Integration of Western and Chinese Medicine line and the Development of Traditional Chinese Medicine line. It also describes the position of Traditional Chinese Medicine being a medical science rich in philosophy and wisdom and a culture centred upon medical science and technology. It outlines the basic characteristic of Traditional Chinese pointed out various flaws in methodology in Integration of Western and Chinese Medicine research. It also stresses that in order to make fruitful progress in the development of Traditional Chinese Medicine,multi-discipline research in Traditional Chinese Medicine should be made on a thoroughly understanding of the basic methodology of Traditional Chinese Medicine and follow its established principles.     

可证明安全的射频识别双向认证协议

由于射频识别系统中读写器和标签是在不安全的无线信道中进行通信,而且随着移动读写终端的出现,使得读写器和服务器通信也不安全,容易受到假冒攻击、窃听攻击、中间人攻击等安全威胁,针对此问题提出了基于中国剩余定理的射频识别双向认证协议。该协议利用对称加密、模运算等方式提高信息传输的安全性,引入时间戳来抵抗中间人攻击,并利用中国剩余定理对各方进行认证,最后采用随机更新密钥的方式进行密钥更新,并通过形式化证明的方法和常规攻击分析的方式来验证协议安全性。将该协议与其他协议进行安全性、计算量和存储量的比较,结果表明:文中协议安全性高、计算量小且存储量适中,在射频识别领域安全方面具有一定的应用价值。     

n值Lukasiewicz命题逻辑系统中公式的绝对真度理论

在n值Lukasiewicz命题逻辑系统中,回避均匀概率空间中的无穷乘积测度,借助逻辑公式A所诱导的函数引入逻辑公式A的绝对真度概念,并利用绝对真度定义公式间的绝对相似度和伪距离.讨论绝对相似度和伪距离性质.证明┑,→,∧,∨运算在伪距离空间中是连续的.     

Optimization of Multi-Criteria Experiments with Fuzzy Results

Introduction To reach a best quality product, experiments and an op- timized design of experiments are required in an inte- grated quality management system. The best quality level of a manufacturing process or product is defined not only by one, but by m…     

等角航线正反解算的符号表达式

为解决航海中不同地球参考椭球下的等角航线解算问题,建立了等角航线基本方程,通过引入符号形式的子午线弧长反解公式,推导出等角航线正反解算的非迭代表达式.利用符号形式的等量纬度反解公式,给出一种等角航线正解的迭代计算式.算例分析表明,该式可以解决航海中不同参考椭球下的等角航线正反算问题,反解精度高达10-5.     

具动态性能指标的医学系统自组织模糊控制

提出一个具有动态性能指标的完全脱离模型的自组织模糊逻辑控制系统.系统的性能指标由一个随机结构开始,评价规则通过一个基于自增强机制进行在线优化的微遗传算法来产生.算法对非线性麻醉过程中肌肉松弛状态的控制效果进行了验证.通过和标准自组织系统的控制效果比较,该算法的优势体现在因为自学习能力导致的控制鲁棒性上,它能够很好地处理变参数动态系统和大时滞系统的控制问题.在每轮控制中,所提出的算法都以少量模糊控制规则(最多18条)实现了控制要求.