一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

网络环境下组合体交互式3D动画的设计

工程制图组合体网络教学系统的特点是三维实体造型多,动画数据量大,交互性强,对网络带宽要求高,开发该系统的关键和难点在于实现组合体三维动画的网络快速传输和实时交互.介绍了建立组合网络3D模型、动画及交互式操作,以及如何提高三维模型网络传输速度的实现方法.实验表明,基于Java 3D的组合体动画具有网络响应速度快、交互性强、文件占用空间小的优点,对于开发组合体网络教学系统十分适用.     

TMS320C6000代码优化技术

详细介绍了TMS320C6000 DSP的开发过程和代码优化技术，通过对DSP代码进行优化。提高了指令的并行执行度和代码执行效率，充分利用了系统资源，对实际的系统开发起到了指导作用。     

一种支持实时协同虚拟装配的体系架构

协同虚拟装配技术为多个设计人员在同一虚拟场景中共同进行装配试验提供了条件。主要就如何实现协同装配的实时性进行了研究,提出了一种“复合式”的协同体系架构,并采用基于C/P(命令/参数)消息的数据传输方式实现协同任务的实时传输,进一步的采用任务的分解执行方式实现协同任务的实时处理。在上述架构与技术基础之上设计开发了一个支持实时协同的虚拟装配系统,并以大型机械压力机的实时协同装配为例对系统进行了验证。     

汽车内部布置概念设计建模

用面向对象分析方法给出了汽车内部布置概念设计对象的层次结构,建立了对象之间面向舒适坐姿的连接依赖关系,并用动态约束网络描述了对象之间的动态约束关系,采用约束满足问题求解策略求得满足约束条件的布置参数.     

基于事件响应event-response的动态工作流系统

提出了一种在企业工作流管理系统中运用由协作的各企业提供的对事件的响应(event-response)的方案来实现动态的工作流系统。通过工作流引擎灵活地调度、控制，利用基于约束的动态绑定机制动态地将事件的响应请求绑定到合适的event-response和响应提供者(provider)，从而柔性地，协同地完成共同的目标。     

引入风险价值约束的投资组合理论

风险价值(VaR)是近年来最为流行的风险管理工具．本文在无风险证券情形下，将VaR约束引入到传统的均值一方差投资组合理论中，考察了此时投资组合的有效前沿以及投资组合选择的变化，并指出了VaR约束对证券投资基金组合管理的意义．     

基于遗传算法的约束广义预测控制

广义预测控制要求控制对象必须是线性无约束的，优化的性能指标也必须是二次型形式，因此，广义预测控制的工业应用存在很大局限性．本文尝试用遗传算法来解决存在约束的广义预测控制的优化问题，给出了基于遗传算法的广义预测控制算法的实现方法，并通过工业过程对象的仿真，验证了该方法的有效性，且控制效果良好．     

Conservation laws for mechanical systems with unilateral holonomic constraints

A general approach to the construction of conservation laws for mechanical systems with unilateral holonomic constraints by finding corresponding integrating factors is presented.The definition of integrating factors for the Routh equations of motion of the systems is given, and the necessary conditions for the existence of conserved quantities of the unilateral holonomic constraint systems are studied in detail.The conservation theorem and its inverse for the systems are established, and an example is given to illustrate the application of the results.     

一类带时间约束指派问题的分枝定界算法

通过对模型特征分析,提出了一种分枝定界算法,实例应用及算法复杂性分析证明了该算法的有效性.