一类可分离的非线性0-1背包问题的分枝定界算法

构造出了一类可分离非线性0-1背包问题的分枝定界算法．分枝的过程是酱通的0-1变量分枝，用简单的取整启发式法确定更好的可行解；而在每个分枝结点处用线性松弛技术确定了它的子问题的一个线性规划松弛逼近。由此得到最优值的一个下界．数值结果表明所提出的算法是有效的．可以求解中等规模的问题．     

风险企业家道德风险的防范

构筑了防范风险企业家道德风险的激励与约束机制,并指出我国风险企业家道德风险防范应注意的几个问题,以期能对我国风险投资效率的提高有所帮助。     

Machine Translation Using Constraint-Based Synchronous Grammar

Introduction In machine translation,analysis of the structural devia-tions of the languages pairs is key to transforming one language into another.This analysis requires a large number of structural transformations,both grammati-cally and conceptually.The…     

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

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

等式约束优化问题SQP算法的超线性收敛充要条件

对于等式约束问题，Boggs，Tolle和Wang三人将Dennis，Mo埏的求解无约束优化问题的类似结果加以推广，得到了SQP算法超线性收敛的一个极为重要的充要条件。许多研究学者又作了的改进，进一步减弱假设条件，得到了同样的等式约束问题的SQP算法超线性收敛的充要条件。     

单面完整约束系统在相空间中的形式不变性

对单面完整约束系统在相空间中的形式不变性进行了分析研究。给出了单面完整约束系统在相空间中形式不变性的定义和判据，得到了形式不变性的结构方程和守恒量，并用实际算例验证了研究结果的有效性。     

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

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

中国金融抑制与经济发展的实证分析

金融抑制是发展中国家存在的一个普遍性问题,对于金融抑制是否会促进经济增长也成为理论界一直在探讨的一个热门话题.通过主成分分析法和协整理论对中国的金融抑制与经济发展的关系进行实证分析,可以表明,金融抑制在特定的历史阶段虽然会促进经济发展,但是,它是以低效率为代价,改革开放的历史表明,只有放松金融管制才会促进经济的持速、快速和健康发展.     

出资者财务控制与国企资本化管理

从国有资产委托代理角度分析出资者财务控制的必要性。进而在剖析现行出资者财务控制体系缺陷的基础上。提出了以所有者权益为中心，以对经营者激励与约束两方面为重点，构建出资者财务控制体系的国企资本化管理理论。     

考虑静态安全约束的暂态稳定极限计算

将求解暂态稳定极限问题描述为一个以输电线路或输电断面输送功率最大为目标，以静态安全及暂态稳定为约束条件的最优参数选取问题．并将一种新的进化算法——粒子群游(PSO)，应用于暂态稳定极限计算．算例表明，此种计算方法克服了静态安全约束等因素对稳定极限的影响，因而减小了计算误差，提高了计算结果的精确性。