拖拉机变型运输机制动系维修三则

一、液压制动为何出现拖滞制动拖滞是指制动后松开制动踏板时,车轮的全部或局部仍被制动着.     

面向服务对象的动态演化机制

针对应用系统需灵活地动态演化以适应动态开放的底层因特网环境和灵活多变的用户需求的需要,提出一种面向服务对象的动态演化机制。该机制把软件设计阶段易变的部分建模成服务对象,并借鉴面向服务的服务注册和查询机制,利用服务对象注册表解耦对象的引用实现软件演化。详细介绍了该演化机制及其演化过程,并与相关的代表性研究工作进行对比,通过实验表明该机制比面向服务具有更好的性能。     

语音短信查费系统的设计与实现

该文充分利用现有的两种比较常规的技术IVR（自动语音应答系统）和SMS（短消息服务）,设计出一种占用资源相对较少、灵活方便的话费查询系统。本文详细给出该系统的设计,以及实现过程具有参考意义的故障问题,最后用实际运营数据指出系统的性能参数。     

无线传感器网络中间件研究进展

无线传感器网络作为一种新兴的技术,受到了学术界和工业界的广泛关注.然而随着传感器网络及其应用的发展,系统的复杂性也随之增加,与传统网络相比无限传感器网络又具有其独特的特征,使得无线传感器网络的程序开发变得更加困难.中间件提供了一个编程抽象,方便了应用程序的开发,缩减了应用程序和底层设备的间隙.针对无线传感器网络的特点,分析了无线传感器网络中间件设计面临的问题,对有关设计方法进行了分类评述,并对几种典型中间件进行了比较,最后从通信范式、QoS支持和安全等方面提出了一些改进思路.     

一种面向体系结构的自适应软件构件分派模型及算法

自适应演化软件是近年来软件工程领域的研究热点,而以体系结构为中心的自适应演化尤其受到重视.针对当前演化中对非功能性约束关注的不足,着重对面向体系结构的自适应演化框架中构件的分派优化问题进行研究.首先详细描述了基于体系结构模型的构件分派问题,并建立能够满足嵌入式软件构造机制中非功能性约束的分派模型,接着证明该分派问题为NP完全问题,最后提出一种启发式分派算法找出近似最优解,实验表明,与贪婪和整线性规划算法相比,该算法具有多目标均衡的优势;而与整线性规划算法相比,虽然不能保证找到最优解,但具有较大的计算时间优势.     

无线传感器网络中的一种二阶段定位算法

定位技术在无线传感器网络应用中具有重要的作用.通过把定位问题归结为无约束优化问题.提出了一个基于混合禁忌搜索的二阶段定位算法.定位节点获取参考节点信息后,利用选择算子进行参考节点选择,基于选出的参考节点使用修改的BoundingBox方法获取初始估计位置,接着使用禁忌搜索和模拟退火相结合的混合策略进行迭代寻优.仿真结果表明,所提出的算法具有较好的定位性能.     

典型钢厂生产管理模式与MES支撑的研究

随着生产规模的不断扩大,钢铁企业面临着日趋激烈的市场竞争和用户需求多样化的挑战,生产管理需要采用MES系统支撑实现按订单组织生产,及时准确地反馈生产现场的实时信息,合理地进行生产排程与集中调度,优化工序之间的衔接,实现管控一体化,缩短交货期,提高产品质量,增强钢厂的核心竞争力。     

基于短信和自动语音查费系统设计与实现

随着移动通信资费方式的层出不穷,移动用户对于自身的话费信息也越来越关注。分析了各通信运营商现有查费系统的局限性,利用现有的两种比较成熟的技术SMS(短消息服务)和IVR(自动语音应答),设计了一种占用资源相对较少,同时又比较灵活、方便的话费查询系统,并且给出该系统的具体实现过程。     

基于Bigraph理论的动态演化软件相关特性分析与验证方法

软件演化中的行为一致性、相容性以及系统完整性约束,长期以来是动态演化中研究的热点.本文利用Milner等提出的Bigraph理论对软件演化中的特性进行研究.与以往利用Petri Net、演算及进程代数不同,Bigraph融合演算和移动Ambient 演算的优势,其目的为现有的移动和并发理论建立统一的元模型,并且引入环境上下文参与系统的迁移,使系统的描述更为直观和精确,从而适合对动态演化形式化.本文简要介绍Bigraph的基本概念和现状,利用Bigraph建立演化系统的构件模型,并在Bigraph理论基础上给出分析和验证完整性、一致性和相容性相关规则,并通过具体实例验证利用Bigraph对动态演化建模的有效性.