基于加法生成器的低功耗测试

本文提出了一种基于算术加法生成器的测试或内建自测试的低功耗测试方法。该方法对原测试矢量进行伪格雷码编码,优化被测电路的开关活动率,从而实现低功耗测试。8位行波进位加法器和16位超前进位加法器的实验分析表明,编码后的测试矢量显著地降低了被测电路的开关活动率;基于FPGA的实验结果表明,对于8位行波进位加法器,该方法将电路的平均动态功耗降低了15．282%,对于16位超前进位加法器,则降低了12．21%。该测试方法能侦测到被测电路基本组成单元的任意组合失效;由于原电路中加法器的复用,该测试方法可将测试硬件开销降至最小,但不会降低测试性能。     

PDM系统在企业中的实施

以新疆石油管理局机械制造总公司PDM系统为例,介绍了企业在实施PDM系统前面临的问题、实施目标的确立、软件的选择和实施步骤与体会。     

VANET协助下载策略研究

互联网的普及,使得人们对网络的依赖日益加深,人们希望能够随时随地连接网络,即使是在行驶的汽车里。然而,目前高速公路两旁稀疏的AP分布及有限的通信范围很难满足用户在车联网环境下对网络的需求。针对这一问题,提出了一种基于目标车组的车联网协助下载方法,利用同向车之间相对速度小、连接质量好的特点在局部范围内形成车组,并选择一组合适的对向车辆携带用户所需数据为其提供协助下载。该方法利用同向车组有效延长了对向协助车与目标车的通信时间,从而在减少对向车辆的协助次数的同时保证网络的吞吐量。仿真结果表明该方法可以使下载吞吐量提高30%以上,且降低了盲区通信时延,并能在车流密度较低的情况下保持较好的性能。     

32位高速浮点乘法器优化设计

设计了一种用于频率为200 MHz的32位浮点数字信号处理器(DSP)中的高速乘法器.采用修正Booth算法与Wallace压缩树结合结构完成Carry Sum形式的部分积压缩,再由超前进位加法器求得乘积.对乘法器中的4-2压缩器进行了优化设计,压缩单元完成部分积压缩的时间仅为1.47 ns,乘法器延迟时间为3.5 ns.     

A novel saturated PID-type observer-based controller for wheeled mobile robots with a guaranteed performance considering path curvature

This article proposes a novel saturated PID-type formation controller for a class of nonholonomic wheeled mobile robots (WMRs) of type (m, s) with mobility m and steerability s. Since the path curvature causes a severe deviation of the followers from the leaders' trajectory in the corners, a new definition of output equations is suggested to construct the coordinates of a virtual reference point in the front of each follower based on the concept of the extended look-ahead control that utilizes a corrective angle to compensate the trajectory curvature efficiently. A nonlinear transformation and the robot's kinematic and dynamic equations are heuristically combined to develop a novel second-order Euler–Lagrange formulation of unconstrained errors from constrained errors. Then, a novel saturated PID-type controller is proposed for WMRs to build a desirable formation with a prescribed performance. An innovative nonlinear observer is presented to estimate followers' velocities. An efficient mixture of a radial basis function neural network (RBFNN) and an adaptive mechanism is proposed to compensate for model uncertainties, external disturbances, and network approximation errors. Lyapunov's direct method verifies semi-global uniform ultimate boundedness stability by estimating a gain-dependent region of attraction. Numerical simulations finally show the efficiency of the proposed controller.     

浅谈限矩型液力耦合器在斗轮堆取料机中的应用

分析了斗轮安全离舍器在露天粉尘大的环境中工作,经常被粉尘堵塞不能正常工作,造成不能满载工作或过载不保护的问题和原因。提出解决此状况的方案,是用限矩型液力耦舍器替代现用的安全离舍器。并对耦舍器的工作原理进行简要阐述和计算。     

面向连续短线段高速加工的圆弧转接前瞻控制算法

针对连续短线段高速加工中速度和加速度突变会引起机床运动不平稳的问题,提出在相邻线段间构建满足精度且曲率连续的NURBS圆弧过渡路径,以实现拐角平滑转接的方法。在此基础上,提出一种圆弧过渡前瞻控制算法,采用7段和5段混合的双向S形加减速控制算法进行速度规划,旨在满足弦高误差和机床动力学条件下获得最大转接速度,避免电机频繁启停,实现速度、加速度的连续高速平滑转接,大大减少了对机床的冲击。算例表明,该算法能获得更高更平稳的转接速度,可有效提高加工效率和加工质量,满足高速加工的需求。     

高性能桶形整数加法器的设计

为了提高加法器的运算速度,提出了一种新型并行整数加法算法——桶形整数加法算法。该加法器以半加器为基础,将并行与迭代反馈思想相结合,根据每轮迭代后进位链的值判断是否已经累加结束,可以在保持低功耗的同时提高运算速度。仿真结果表明,该桶形整数加法器在面积少量增加的基础上,速度提高明显。     

单机成组调度问题的约束满足建模与求解方法

为适应多品种小批量生产需求,企业普遍采用基于成组技术的混流生产,由此产生的成组调度需要平衡安装时间减少与满足交期之间的冲突关系。在分析安装时间是否依赖工件组排序、工件组能否分割加工等成组特征的基础上,以最小化加权流程时间与加权拖期为目标,构建了单机成组调度问题的约束满足模型,提出了以变量排序启发式搜索和前向约束传播相结合的求解方法。典型生产数据的实证分析表明,所提出的方法建模能力强,解的适应性好。     

进位保留加法器的命题投影时序逻辑组合验证

为保证硬件设计的正确性,提出了对硬件设计组合验证的新方法．该方法在命题投影时序逻辑的统一框架下,实现对硬件系统行为的建模,对所期望性质的形式化描述,并利用命题投影时序逻辑合理且完备的公理系统对系统性质进行验证,从而证明硬件系统满足期望的性质,保证设计的正确性．进位保留加法器的验证实例说明了该方法的可行性．