本量利多品种保本点分析

从本量利多品种保本点分析的模型出发，通过对模型的分析找出企业多品种产品的保本域和保本额区间，并进一步确定企业的悲观保本销售额和乐观保本销售额。     

不适定性二层规划问题的部分合作优化模型

对于二层规划问题中下层问题最优解反馈到上层不唯一的不适定情况,可以通过构造部分合作模型来求解,但是,已有的部分合作模型不能满足下层问题合作度也要受到上层决策的影响这一条件.该文给出了一种新的部分合作模型解决了这一不足.同时,数值结果表明:当下层反应集合满足离散性,下半连续性,或者不满足下半连续性的3种情况下,新的模型均能得到一个介于乐观与悲观模型之间的更好的最优值.     

平面布局专家系统的自学习智能回溯搜索策略

本文研究了一种基于方图用于平面布局设计的搜索控制机——SARM.阐述了状态节点(方图)的扩充操作规则,制订了选择扩充节点的启发式原则,提出了处理搜索失败的自学习智能回溯搜索控制策略.     

基于Agent的分布仿真环境原型设计与实现

基于Agent的分布仿真是基于Agent的建模与仿真(ABMS)研究的重要内容。在提出的基于Agent的分布仿真软件框架和通信系统的基础上,利用Java语言和面向对象的方法实现了一个基于Agent的分布仿真环境原型系统ADSimE。对该分布式仿真环境的主要实现细节进行了阐述,给出了全系统的主要Agent类的UML设计图,重点阐述了保守策略仿真Agent类和乐观策略仿真Agent类的设计及处理流程。最后以闭合排队网络为例,说明了怎样在该环境下进行基于Agent的分布仿真应用的开发。     

移动广播环境中两阶段实时事务处理

提出了移动广播环境中MVOCC-MDA-2PV并发控制协议.移动实时事务处理分两阶段进行.第一阶段在移动主机上处理,第二阶段在服务器上处理.移动主机上所有移动事务与在服务器上一个广播周期提交的事务进行预有效性确认.如果移动事务通过预有效性确认,提交到服务器进行最终有效性确认.协议消除了移动只读事务和移动更新事务的冲突,使用多版本动态调整串行次序技术,避免了不必要的事务重启动.移动只读事务无阻塞提交,降低了移动只读事务响应时间.模拟仿真实验结果表明MVOCC-MDA-2PV协议要优于其它协议.     

移动分布式实时数据库系统的事务处理

提出DMVOCC-MDA协议处理移动分布式实时事务。协议采用多版本乐观方法,使用多版本动态调整串行次序技术。移动分布式事务局部有效性确认分为2个阶段:第1阶段在移动主机上进行,使用向后有效性确认机制,对服务器上个广播周期提交事务进行有效性确认;第2阶段在服务器上进行,通过局部有效性确认的移动事务,提交到服务器进行局部最终有效性确认。在全局有效性确认中对分布更新事务进行检查,以保证分布串行性。移动只读事务能无阻塞提交,降低移动只读事务的响应时间,消除移动只读事务和移动更新事务的冲突,避免不必要的移动事务重启动。在移动主机上及早地检测数据冲突,节省处理和通信资源。实验结果表明,DMVOCC-MDA协议与其他协议相比,错过率和重启动率低,提交率和吞吐量高。     

有限周期离散确定型库存模型最优策略

研究不允许缺货情况下有限周期离散稳定型库存模型，给出了确定该模型最优库存策略的算法。     

并行分布式仿真中最小时间窗MTW算法研究

并行分布仿真对复杂大规模动态系统的研究以及探索其长远的应用提供了便利,近年来目益成为研究的热点.然而时间管理是关注并确保并行分布仿真正确执行的核心机制,也是影响并行分布仿真系统高效运行的重要因素之一.首先分析了乐观机制存在的弊端;然后提出了一种不依赖反消息就能乐观推进的MTW混合推进算法,详细阐述了算法的思想、步骤及其实现,最后对算法进行了分析,证明它在一定程度上能够有效避免极端乐观和过分保守.     

并行离散事件仿真中的回退和持续机制研究

介绍了并行仿真驱动及支持软件KD-PARSE基于状态变换对象（SXO），采用增量式状态保存法，实现透明、可扩展自动回退机制以支持并行离散事件仿真中的乐观时间管理算法的方法，并给出了诸回退框架的整体结构设计。介绍了该软件实现的一种持续机制以支持仿真运行中的检查点功能。该持续机制利用持续数据库不仅实现了持续化内存管理，主持程序运行中的可回退动态内存分配和删除操作。