基于符号零压缩二叉决策图的装配可行性判定方法

为了扩大装配序列规划的求解规模并提高求解效率,提升装配自动化水平,给出了装配体联接矩阵和干涉矩阵的零压缩二叉决策图描述,建立了基于符号零压缩二叉决策图的装配操作可行性判定方法。基于该方法,可以高效地求解出一个装配体的可行装配操作。结合实例验证了基于符号零压缩二叉决策图的装配体模型和可行装配操作判定方法的正确性和可行性。     

改进OR1200 CPU流水线的设计

流水线是制造高性能CPU的关键技术,目前被广泛研究的OR1200是一款带有四级流水线的免费开源CPU. 为了提高流水线的效率,针对OR1200没有设计访存流水段,流水线会暂停等待加载存储类指令这个问题,在LSU操作即访存操作模块,为OR1200增加了访存流水段,设计了冒险检测和旁路单元,因此CPU在访存阶段不需要暂停,从而使OR1200变为真正的五级流水线CPU;另一方面,当需要用加载指令加载数据的时候,会导致加载类数据冒险问题,为了解决此类冒险,设计了数据有效信号Tag,用来控制流水线暂停,对乘法计算、访存阶段以及其他不能在执行阶段得到结果的运算作流水线暂停判断,以等待数据的获取. 通过实验仿真证明,Tag信号暂停流水线一个时钟后会把数据反馈回去,成功解决了必须暂停数据相关问题的暂停判断问题.     

具有D稳定性约束的T-S模糊系统H∞滤波器设计

研究一类离散T-S模糊系统的H_∞滤波问题.目的是设计一个滤波器使得滤波误差系统在给定的线性矩阵不等式（LMI）稳定范围内是二次稳定的,且满足指定的H_∞性能.经由模糊Lyapunov函数方法以及增加松弛变量,提出一个滤波器存在的充分条件,它体现为一组线性矩阵不等式（LMIs）可行解的形式.最后通过一个仿真例子验证了所提出的设计方法的有效性.     

基于PIC单片机的超声波测距系统

利用超声波测量距离是一种有效的非接触式测距方法,本文介绍了PIC单片机控制的超声波测距系统的原理,给出系统的硬件构成和软件控制流程,并在数据处理中采用了温度补偿修正。此系统具有易控制、工作可靠,测距精度高的优点。     

基于单片机的电除尘控制系统设计

针对目前严重大气污染和对环保要求的日益提高,本文介绍了基于单片机开发的电除尘控制系统.该系统在硬件设计中采用了双CPU结构,单片机采用SST89E554作为采集控制处理的核心,并增加了64K数据存储器,对采集数据进行存储.本系统已成功地应用于山西神头第二发电厂,运行结果表明,本控制系统软硬件设计完善,可靠性高,除尘效率好,具有很好的推广价值.     

通用ATS资源中仪器资源的标准化描述方法

仪器资源的标准化描述是通用ATS资源的标准化描述中比较重要的环节.本文介绍了通用AT5资源中仪器资源的标准化描述方法.     

EMS型高速磁浮列车自适应导向控制器设计

EMS型高速磁浮列车导向系统的工作条件变化范围大,采用一般方法设计的控制器无法在整个工作范围内保持一致的控制性能。为了解决这个问题,研究了自适应导向控制器的设计方法。首先,建立了导向系统的数学模型,通过设计电流环使模型降阶;并分析了导向系统参数的变化原因及特性,在此基础上采用自校正的自适应控制理论,设计了参数自适应的导向控制器。仿真结果表明,该控制器较好地解决了导向系统在整个工作范围内特性不一致的问题。     

Efficient maintenance of multiple-level association rules for deletion of records

Developing an efficient algorithm that can maintain discovered information as a database changes is quite important in data mining. Many proposed algorithms focused on a single level, and did not utilize previously mined information in incrementally growing databases. In the past, we proposed an incremental mining algorithm for maintenance of multiple-level association rules as new transactions were inserted. Deletion of records in databases is, however, commonly seen in real-world applications. In this paper, we thus attempt to extend our previous approach to solve this issue. The concept of pre-large itemsets is used to reduce the need for rescanning original databases and to save maintenance costs. A pre-large itemset is not truly large, but promises to be large in the future. A lower support threshold and an upper support threshold are used to realize this concept. The two user-specified upper and lower support thresholds make the pre-large itemsets act as a gap to avoid small itemsets becoming large in the updated database when transactions are deleted. A new algorithm is thus proposed based on the concept to maintain discovered multiple-level association rules for deletion of records. The proposed algorithm doesn＇t need to rescan the original database until a number of records have been deleted. It can thus save much maintenance time.     

Web应用中的攻击防御技术的研究与实现

该文介绍了SQL注入式攻击、XSS跨站脚本攻击、会话劫持3种网络攻击手段的原理,并在此基础上重点论述了如何防范这些攻击的方法。     

Identification of variable coefficients for vibrating systems by boundary control and observation

We consider the identification problem of coefficients for vibrating systems described by a Euler-Bernoulli beam eq~. ation Or a string equation, with one end clamped and with an input exerted on the other end. For the beam equation, the observations are the velocity and the angle velocity at the free end, while for the string equation, the observation is the velocity at the free end. In the framework of well-posed linear system theory, we show that both the density and the flexural rigidity of the beam, and the tension of the string, can be uniquely determined by the observations for all positive times. Moreover, a general constructive method is developed to show that the mass density and the elastic modulus of the string are not determined by the observation.