预测支持系统中动态模型的研究与应用

介绍了一个智能预测支持系统中的动态模型生成的研究，提出了静态模型与动态模型两种模型表示方法。并对静态模型的表现形式，为产生动态模型而对方法库系统和模型库系统所作的改进，系统中心部件—模型求解控制模块、动态模型的生成进行了详细论述。     

一般正项几何规划问题的一种直接算法

本文将一般的正项几何规划问题化为等价的目标函数为线性函数，具有线性等式和非线性不等式约束条件的非线性规划问题，进而给出了一个具有全局收敛性质和特殊结构形式的广义投影梯度型算法。     

EIS环境下的问题求解技术与方法的研究

研究了适用于ＥＩＳ环境下的问题求解技术和问题求解方法．提出了在传统的问题求解方法的基础上，通过增加控制和反馈机制以加强人在决策过程中的中心地位和主导作用，进而更有效地支持管理者的决策活动     

非完整约束对于运动规划问题的影响

本文回顾了机器人无碰撞运动规划的若干有代表性的工程方法，分析了非完整约束对于这些方法所产生的影响及其主要矛盾，得到了一些有意义的结论。     

IDA^＊算法的程序实现和实验分析

首行提出一些算法性能的新度量，然后在ＩＤＡ＾＊和Ａ＾＊算法程序实现的基础上，基于８数码和１５数码难题进行了实验分析，其结果有利于进一步从事搜索算法的研究。     

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

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

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

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

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.     

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

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

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

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