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

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

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

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

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

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

环境质量现状评价系统的数据库设计

从实际开发项目出发，详细阐述了基于关系模型的数据库系统的设计思想及实现方法，尤其对于动态表格的处理做了较为详细的论述，同时还以微软的VFP6．0为开发平台介绍了数据库的具体设计．     

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.     

Atomic phase diagram

Based on the Thomas-Fermi-Dirac-Cheng model, atomic phase diagram or electron density versus atomic radius diagram describing the interaction properties of atoms of different kinds in equilibrium state is developed. Atomic phase diagram is established based on the two-atoms model. Besides atomic radius, electron density and continuity condition for electron density on interfaces between atoms, the lever law of atomic phase diagram involving other physical parameters is taken into account, such as the binding energy, for the sake of simplicity.     

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

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

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

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

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

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

非受格动词及非作格动词研究

在“直接宾语限制”和“动词行为一致性”两个假设的基础上,利用致使型结果结构作为一种测试手段来区分现代汉语中的三种动词：非受格动词、非作格动词和及物动词,从而证明普尔马特曾提出的“非受格动词假设”在现代汉语中同样成立.