一种用于浮点乘法的边界筛选伪随机测试方法

复杂测试空间中难以命中的冷僻细节,导致在IEEE浮点算法测试过程中难以验证单条浮点运算的正确性。该文针对传统直接随机测试方法的缺点,提出一种边界筛选生成案例的测试方法。该方法对待测算法边界条件建模,求解边界条件,利用解来构造筛选操作数的标准,并通过筛选操作数实现测试。实验证明该方法比直接随机测试方法更可靠。     

能量预约法改善簇头轮内死亡问题

在基于低功耗自适应集簇分属协议将操作划分为轮的算法中,因轮长过大而导致的多数簇头轮内死亡是影响网络有效使用的重要问题。为有效地控制簇头轮内死亡的发生,提出了变长轮的思想,引入了能量预约法。为使能量预约法产生作用,其参数的确定必须满足多方面的制约因素。仿真结果表明一个优化的能量预约法增强了网络的可用性。     

Testing Concrete E‐modulus at Very Early Ages Through Several Techniques: An Inter‐laboratory Comparison

The design of concrete structures is based on calculation rules, which often do not take into account the very early age behaviour of the material. However, during this period, structural concrete is subjected to strains due to the hydration process of cement. If these strains are restrained by concrete itself or surrounding boundaries, stresses start to build up that can lead to the formation of cracks. Among the parameters involved in the stress build up, the stiffness evolution is of major importance. This paper reports the use of eight different techniques aimed at stiffness evolution assessment, applied on the same concrete mix, in a round robin experimental test within three laboratories. The observations are compared after having expressed the results at the same equivalent age. Both the loading stress rate and amplitude are observed to have an effect of limited importance on the determination of the quasi‐static elastic modulus, which might be explained by very short term creep. Ultrasonic measurements provide values of E‐modulus that are higher than the values provided by the quasi‐static tests at the time of the concrete setting. Similar mechanisms associated to very short term creep could explain the difference between the quasi‐static and high‐frequency elastic modulus.     

基于过滤驱动的键盘鼠标插入授权系统

为保证ATM的信息安全,分析Windows上键盘和鼠标设备驱动的工作原理,设计并实现基于过滤驱动的键盘鼠标插入事件授权系统。该授权系统能准确捕捉USB和PS/2接口的键盘鼠标设备的插拔事件,保证新插入的设备在系统授权前处于禁用状态。测试结果表明,系统能在Windows XP和Windows 7操作系统上高效稳定地运行。     

基于序列分析的僵尸网络检测模型

现有的IRC botnet检测技术不适合控制命令交互不频繁的botnet检测。为了实现小规模隐秘僵尸网络的检测,提出了一种基于序列分析的僵尸网络检测模型,对现有的被动检测技术进行补充。讨论了几种探测技术和检测算法,根据客户端响应类型选择检测算法,分析了平均检测轮数,只须观察少量的命令控制交互,能够对单个或多个IRC僵尸主机进行检测。实验结果表明,在保证误报率和漏报率的前提下该方法能在预定检测轮数内完成判定。     

一种基于触发机制的轮转算法

在负载平衡技术中,必须使用合适的算法进行成员选择,以决定由哪个副本对象处理到来的客户请求。传统轮转负载平衡算法只能在某些特定条件下平衡负载。针对该缺点,结合普通轮转算法和加权算法的优点,提出一种基于触发机制的轮转算法。实验结果表明,该算法能感知后段资源。     

Constant round group key agreement protocols: A comparative study

The scope of this paper is to review and evaluate all constant round Group Key Agreement (GKA) protocols proposed so far in the literature. We have gathered all GKA protocols that require 1,2,3,4 and 5 rounds and examined their efficiency. In particular, we calculated each protocol’s computation and communication complexity and using proper assessments we compared their total energy cost. The evaluation of all protocols, interesting on its own, can also serve as a reference point for future works and contribute to the establishment of new, more efficient constant round protocols.     

以太网基于优先级的流控仿真设计

互联网在飞速发展的同时,也给网络系统的正常运行带来了一系列的问题,其中最突出的是由网络流量过大引起的网络拥塞。通过对多种流控方法的研究,最终从队列调度方面着手,利用OPNET网络仿真软件对所设计的三种流控机制进行仿真,初步解决了以太网较高优先级的数据流无法得到及时响应的问题以及公平性问题。     

圆网印花控制系统中的多机通讯实现

根据分布式圆网印花控制系统的具体情况,设计出基于ＲＳ４８５的简化ＢＩＴＢＵＳ总线通讯方案,实现了主机和各从机之间的通讯,满足了系统协调控制的要求。     

Optimization of oval–round pass design using genetic algorithm

The primary purpose of this paper is to propose a computer aided optimal design system to support a generalized oval–round pass design, which is widely used as both intermediate and final passes in the process of rod rolling. This system, which is based on a hybrid model and the genetic algorithm, is developed to improve the efficiency, to reduce the manufacturing errors, as well as to extend the useful life of rolls through uniform wear design. Generalized parametric equations are established for geometrical modeling, graphic plotting of oval–round passes, as well as calculation of the cross section area, contact area and the lengths of contact arcs along the cross section of round groove in the MATLAB programming environment. Moreover, these equations can also realize the parametric transformation between roll profile and mathematical models for the oval–round pass design and optimization. The genetic algorithm is employed for the optimal design of oval–round passes in this paper. The objective functions are formulated for minimization of power consumption in the rolling process, variances between ideal dimensions and design dimensions, as well as variances between the lengths of contact arcs. To reduce the complexity and computational burden of the system, some reliable empirical formulas for the calculations of contact area and contact arc length are applied. Finally, the proposed approach is applied to an oval–round pass design. Through simulation and comparison of results against experimental data acquired from literature, it is found that this system is reliable, effective and easier to use.