基于Petri 网软件过程执行机制的研究

在软件过程执行机制中,两种传统的过程执行机制——前摄式和反映式存在模型复杂性和执行灵活性之间的矛盾。分层机制可以缓解这种矛盾,但又缺乏严密的形式化定义。采用基于Petri网的软件过程执行机制的建模和分析方法,给出了准确的形式化定义,很好地描述了软件过程执行机制中的同步、并发和异步等特点,解决了早期"前摄式"机制的过程支持缺陷,降低了反映式机制建模的复杂性。     

基于遗传算法的制造网络服务质量优化

服务质量的合成是面向服务架构系统面临的重要挑战,评价面向服务架构制造网络最优化的典型标准是加工时间成本和系统响应时间.文中提出了一种应用遗传算法解决制造网络服务质量优化问题的新方法.首先用着色Petri网和排队论分别对制造网络的物流和信息流进行建模,然后应用遗传算法对该模型进行调度并获取服务质量的近似最优解.在该算法中,染色体采用分段基因编码,它们分别是制造网络物流和信息流调度方案的规则与加权系数的组合;遗传操作包括选择、交叉、变异3种类型.在每一代种群中,通过仿真得到与每个染色体相对应的各项性能指标值,以模糊综合评判方法求取制造网络服务质量适应度的函数值.实验结果表明,该方法能有效优化制造网络的服务质量.     

复合砂浆钢筋(丝)网加固RC梁受弯研究

采用无机材料高性能复合砂浆钢筋(丝)网加固混凝土梁,通过10根三面U形(在梁的受拉面和侧面进行加固)加固的混凝土梁和2根没有加固的对比梁的试验,研究了这种加固技术对钢筋混凝土梁的影响和作用,并比较了一次受力和二次受力的不同.与对比梁相比,采用高性能复合砂浆钢筋(丝)网加固的试件裂缝宽度和间距有较大幅度的减小,刚度有明显的提高,受弯极限承载力有很大的增加.在平截面假定的基础上求出试件的极限承载力,与试验结果相比有较好的吻合.     

声明

为适应我国信息化建设,扩大本刊及作者信息交流渠道,本刊已许可《中国学术期刊(光盘版)》、“中文科技期刊数据库(重庆维普)”、“万方数据库”和“中国知网”等媒体以数字化方式复制、汇编、发行、网络传播本刊全文。作I者在本刊提交文章发表的行为即视为同意本刊的上述声明。     

基于离散-连续联合建模的供应链混合Petri网仿真研究

供应链是由作为自治实体的供应商、制造商、分销商、零售商的连续性供应、生产、销售活动和物流服务企业的离散性运输活动相互作用而组成的混合系统。传统把供应链作为离散事件系统进行建模与仿真,这种方法不能很好地反映系统的动态复杂性。现采用离散变量与连续变量相结合的建模方法,运用混合Petri网对供应链进行了仿真,证明了其优于离散Petri网仿真。     

蓬莱侯格庄金矿构造特征及成矿预测

侯格庄金矿位于蓬莱-栖霞金矿带的北段,蓬莱市东南部.其主要发育黄铁矿石英脉型和裂隙网脉型金矿化.虎路线断裂下盘的NNE向张扭性或扭性断裂构造带,控制金矿的成生、富集与分布,控矿断裂构造走向以NNE、NE向为主,少量NEE向,大都倾向SEE和SE,是NNE、NE、NEE向三组走向不同的断裂构造组合形成的控矿构造系统.主控...     

基于Petri网的购物储值卡流程模型优化

提出基于Petri网的购物储值卡流程优化方法.通过分析模型中各种行为之间的关系,查找现有购物储值卡模型存在的问题,通过增加相关的控制结构对其进行优化,使得优化之后模型具有安全性、有界性等性质,实现购物储值卡的实名化和可挂失.     

基于预测的无线mesh网络切换机制的研究

将无线mesh网技术应用到城市轨道交通中,对车地通信中存在的关键问题——越区切换延时进行分析,并提出一种差分预测的方案对切换延时较长的问题进行优化.通过应用OPNET仿真软件对现有的切换方案与本文提出的差分预测切换方案进行比较.仿真表明,差分预测切换方案有效降低了切换延时.     

三网融合背景下太原有线的战略选择

文章的构思产生于三网融合的背景下,笔者就三网融合后,太原有线的战略选择提出建议:整合网络,加速网络升级改造,拓展多种增值业务,加强与运营商的合作,扭转运营模式和经营理念.     

基于HFC网的交互电视

交互电视是利用HFC网络提供包括电视节目在内的交互式数字媒体服务.对交互电视系统的架构和设计方式进行了介绍,并详细分析了机顶盒的点播流程.