服务驱动的制造网格系统

就服务在制造网格系统的应用层面上的行为特性展开研究,提出基于工艺信息的制造网格服务的静态结构和动态过程,分析了制造网格服务的服务请求与响应过程,以及制造网格服务的分裂和衍生过程,设计了相应的制造网格服务结构演算算子,并就制造网格系统服务响应流程与企业的实际业务处理之间的集成进行了描绘和实例说明.     

基于网络可控性的地铁客流控制站点识别研究

选择合适的站点进行客流控制有利于提高地铁高峰期客流时空分布均衡度和运力资源的利用效率.基于网络可控性判别原理提出客流控制站点选择优化策略,通过引入阈值,将初始状态连接矩阵转化为骨干矩阵,给出节点控制能力的概念,提出求最小驱动节点集的搜索算法.以某市地铁客流网络进行算例分析,结果表明:当限流车站达到23％以上时,系统处于...     

两层供应链的多物品共同补货策略研究

研究了由单制造商和单销售商组成的两层供应链中多物品的生产和补货问题,其中所有物品拥有共同的生产线、配送路线等,且需求确定.为研究供应链上下游企业合作和多物品之间基于基本时段的共同补货对供应链总费用的影响,建立了四种生产一补货模型,然后分析了模型的最优解特性,并给出了搜索算法.算例表明,制造商零售商联合决策下基于基本时段的多种物品共同生产、共同补货,使得供应链的费用最低.此外,将这种基本时段方法和公共周期方法的共同补货策略进行比较,发现基本时段方法策略更优.     

单车型确定性动态车辆调配问题

给出了单车型确定性动态车辆调配问题的定义,引入网络图描述该问题.建立了问题的线性规划模型,鉴于线性模型的缺点,利用函数逼近技术构造一个特殊的线性函数来近似目标函数中未来时段部分,从而建立起问题的时空分解模型,把问题从时间和空间上分解为多个单时段单节点问题,并根据单时段单节点问题特点设计简单的排序求解方法.最后,给出了模型的完整求解过程,从而使问题得到有效地解决.     

GPS控制网的优化设计

众所周知，利用GPS系统实测各种用途的控制网可以达到降低外业劳动强度，提高工作效率，获得较高的相对定位精度和低成本的目的。为此我们首先应做好GPS网的优化设计，这也是达到此目的的关键。本文从GPS控制网的点位选择，图形设计及观测方案等方面入手，探讨了GPS控制网的优化设计问题。     

大学考试时间表问题的混合遗传算法求解

考试时间表问题是一类典型的组合优化问题,也是NP难问题。分析了大学考试时间表编排的特点,给出了一种解决考试时间冲突的自动生成考试时间表的可行时段-查找算法。为进一步解决时间间隔问题,将可行时段-查找算法嵌入到遗传算法中形成混合遗传算法。实验结果表明,本文提出的混合遗传算法能快速、有效的解决大学考试时间表问题。     

基于SOA和价值模型的采购物流系统建模分析

通过面向服务的架构(SOA),来搭建采购与物流一体化的服务系统,降低系统的成本.为了弥补SOA在服务质量分析方面的不足,将价值模型引入SOA的服务体系中,从功能性和非功能性两方面对顾客需求进行形式化描述;采用扩展的UML时序图对服务流程进行描述;使用Pi演算及价值状态图验证目标价值的可实现性;通过价值实现程度计算函数定量计算采购物流系统对顾客需求的满足情况.最后对一个采购物流系统实例的仿真数据进行分析验证,仿真结果表明,将价值模型引入SOA服务体系可以有效弥补SOA对采购物流服务组合的服务质量分析方面的不足,并对以后的服务组合优化提供指导.     

自动信任协商安全性的形式化分析与验证

为了对自动信任协商(ATN)的安全性进行形式化分析与验证,文中借鉴安全协议的形式化分析方法,提出一种用进程代数Applied π演算对ATN建模并验证其安全性的方法.该方法将ATN形式化为两个协商者进程的并发执行,其中一个协商者的进程就是对其拥有的证书及授权策略的静态建模;ATN的安全性被定义为Applied π演算的观察等价性,从而使该方法不仅能检查授权策略执行的安全性,而且能对协商者的隐私安全进行验证.借助安全协议的自动分析工具ProVerif,文中实现了对ATN安全性的自动分析.实验结果表明,用Applied π演算形式化及验证ATN的安全性是可行的,安全性验证可自动完成,并且效率较高.     

三峡河道洪水演算模型

本文研究了非线性洪水运动特性,提出了广义示储流量和示储水位概念,得出了河段水位与流量转换关系.在此基础上,提出了一种河道洪水流量及水位模拟的统一模型,并研究了求解的有效算法.本模型除能反映洪水运动的非线性特性外,还能模拟出水位-流量绳套曲线.该模型成功地应用于长江三峡河道的洪水演算之中.     

用π-演算描述网络考试系统

在分析了基于W eb的网络考试系统需求的基础上,针对其具有多进程并发通讯的特点,采用π-演算对系统进行结构和功能的描述;在简单介绍π-演算的语法和操作语义的基础上,用进程表达式对整个系统进行形式化的描述;最后,通过实际编程实现,表明用π-演算描述这一类系统是非常适合的.