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

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

Pr3+∶Y2SiO5晶体中橙—蓝频率上转换过程

测量了Pr³⁺∶Y₂SiO₅晶体的吸收谱, 标定了室温下Pr³⁺在Y₂SiO₅晶体4f²组态内的能级. 利用579 nm激光激发Pr³⁺∶Y₂SiO₅晶体, 观察到480~515 nm上转换荧光带. 运用时间分辨激光光谱技术测量了³P₀能级的上转换荧光衰减曲线. 通过研究上转换荧光的衰减曲线、 吸收谱、 激发谱和上转换荧光强度与泵浦激光单脉冲能量的关系, 确定了以¹D₂为中间态的能量转移上转换主要是上转换机制.      

基于频繁模式树的约束最大频繁项目集挖掘算法研究

目前绝大多数频繁项目集(或最大频繁项目集)挖掘算法并没有考虑相关领域知识,其结果会产生许多无关的模式.因此,发现约束频繁(或约束最大频繁)项目集是多种数据挖掘应用中的关键问题,然而,这方面的研究工作却很少.为此该文提出了一种快速的基于频繁模式树(FP-tree:一种扩展前缀树结构)的约束最大频繁项目集挖掘及其更新算法.实验结果表明该算法是快速有效的.     

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

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

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

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

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

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

虚拟装配系统及其关键技术

基于约束识别和混合建模思想开发了一个虚拟装配系统(VAE)．分析并构建了系统的功能模块和体系结构，研究了特征和网格混合建模、约束识别和求解以及实时碰撞检测等支撑VAE的关键技术，据此开发了基于PowerWall硬件系统的VAE原型系统．该原型系统可以完成产品的装配工艺规划和装配操作培训，并具备简单的参数化几何建模功能．     

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

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

基于细分优化方法的织物模拟

提出一种基于插值细分造型的织物模拟算法.通过对织物物理和几何属性分析,构造出一个带约束的几何模型,在改进的四点插值细分造型基础上,通过动态细分网格并结合曲面优化调整以达到高效模拟柔性织物自然行为的目的.克服了以往仿真方法中求解物理模型复杂、模拟过程难以控制的缺陷,简化了计算模型,提高了计算效率.最后,以织物模拟为例说明该算法的实现.     

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.