一种应用于移动机器人的路径跟踪控制方法

针对移动机器人的路径跟踪复杂性问题,设计了一种易于实现的控制系统,其中的跟踪策略改进了传统的视线导航算法,使机器人光滑趋近到期望路径,控制器的设计采用基于模糊逻辑的变速度控制和角速度滑模控制,减小了角速度的抖振,并使控制具有一定的智能化特点.实验结果表明,设计的控制系统即可以保证路径跟踪的精度,同时避免了运动控制的不稳定性.     

蓝天探险 笑傲苍穹——空军某试飞大队配合运八飞机科研试飞纪实

某日，在城固柳林机场，随着一颗红色信号弹的升起，运八某重点型号飞机圆满完成科研鉴定试飞和培训带飞任务，这是空军某试飞大队蓝天探险、鹰击长空的又一丰硕成果，同时也标志着运八特种专业飞机又增加了一种新机型。中央军委副主席徐才厚及空军领导在亲临科研试飞现场检查指导工作时，称赞他们牢记“立志报效祖国、勇闯蓝天禁区”理念，攻克难关，     

加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。     

数字中频接收机中的数字AGC的设计与实现

介绍了数字自动增益控制(AGC)技术在数字中频接收机中的实现方法’,提出了利用 DSP Builder模型库设计的一种实用的数字自动增益控制电路,所设计的电路在数字中频接收机系统内工作良好。该数字 AGC具有快速收敛、结构简单、性能稳定和成本低等特点。占用 Altera StratixⅡ FPGA 片上163个自适应逻辑单元(ALUTs)。     

试说关系推理的正确形式及其符号化

仅有推理公式而没有明确的关系性质，推理无法进行；关系性质虽然确定，却用文字加以说明，推理就是非形式的。怎样摆脱这种两难困境？出路就在于正确揭示关系推理的结构关系并将之符号化。这对完善普通逻辑或关系理论有重要意义。     

民兵防化分队现场练救援

着眼提高完成多样化军事任务的能力,针对化工企业产品可能发生易燃、腐蚀、泄漏的情况,3月11日,湖北省荆州市沙市区人武部组织民兵防化分队,模拟驻地沙隆达三氯化磷工段发     

SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.     

模糊神经时延 Petri 网的信息融合模型

将模糊逻辑与融合技术相结合得到了一种模糊信息融合方法,然后用时延Ｐｅｔｒｉ网对此信息融合系统建模,并给出了信息融合系统反应时间的一个计算公式。然后将人工神经网络应用到时延Ｐｅｔｒｉ网中,提出了一种多传感器信息融合的模糊神经时延Ｐｅｔｒｉ网模型。     

一种采用EPROM的数字-轴角转换方法

介绍ＥＰＲＯＭ型数字－轴角转换原理和多路数字－轴角转换的实现方法。     

“6S”管理助伊力特实现蓝图

企业最重要、最基础的工作在工作现场,是对把蓝图变成产品的设备和员工的工作。近年来,伊力特实业股份有限公司通过推行“6S”管理—整理、整顿、清扫、清洁、素养和安全,逐步深化现场管理,改善了工作环境,提高了工作效率,提高了员工素质,确保了安全生产,保证了产品质量。