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

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

控制碾压质量提高路面平整度

简介了压路机使用前的准备工作,从碾压温度的选择、碾压质量的控制两方面,分析了影响路面平整度的原因,就压路机工作过程中如何提高碾压质量,提出了合理化的建议。     

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

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

基于事件响应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.     

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

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

基于螺旋理论三自由度并联机器人型综合新方法

并联机器人的构型设计即型综合是并联机器人设计的首要环节,基于螺旋理论,从并联机构运动链分类的角度,提出用约束添加法对三自由度并联机构进行型综合,让主动链控制所需的自由度,而从动链约束不需要的自由度;提出了相应主动链和从动链各种类型,并对约束链作了较详细的分类,通过不同组合可得到不同性能的新构型.最后通过实例进一步阐明这一方法.该方法使型综合步骤更简洁,只要选择与自由度数相同个数的主动链,并合理选择约束链就可以组合出新的并联机器人.     

可扩展约束的基于角色访问控制策略的XML表示

通过对基于角色访问控制基本原理及约束的分析,设计了XML表达RBAC元素的方案,增强了系统表达不同策略的能力,适应分布式环境的要求. 策略的XML表示把系统管理和访问控制的实施技术分离,提高了系统开发的灵活性. 对于扩展的约束表达,采用分离的模块实施约束检查,从而实现了较好的约束可扩展性. 特定应用的访问控制系统可以根据已有的策略和现实的需求灵活定制.