一种基于有色网的行动推理表示模型

针对行动推理中的异步并发、真并发和冲突难以被表示的问题,利用有色网具有严格的数学模型、易于形式化地描述系统异步、并发等特征的优点,提出一种基于有色网表示行动推理的形式化模型—CPNRAA网.运用其对状态、动作以及复合动作进行了形式化的描述,通过构造动作及复合动作的CPNRAA网并加入一个用于保存动作序列的库所,得出一个可以生成动作序列的CPNRAA网系统,并提出了该网系统动作序列的生成方法.对办公室环境下送咖啡实例的CPNRAA网系统进行了建模和仿真,自动生成的动作序列验证了CPNRAA网表示行动推理的可行性和有效性.     

基于Petri网的制造系统质量管理流程建模

为满足质量管理体系持续改进的要求,建立了流程重构的定量分析方法.该方法对制造系统质量管理流程进行Petri网建模,并通过行为表达式的分析方法对该模型进行定量性能品质分析,给出质量管理流程各环节的函数关系,用于指导质量管理流程的重构,使得系统能得到更高的吞吐率和更平衡的流程控制.最后基于企业质量管理流程实际案例,建立了工作流模型,给出了分析的实例和步骤.结果表明,本方法可方便地获取流程重构性能指标,并对流程的瓶颈进行定位.     

基于Petri网的Web服务组合优化方法研究

在实际应用中,需要将各种W eb服务进行组合和集成以创建动态W eb应用。为了使服务组合性能最优,提出一种W eb服务组合优化算法,该算法在满足用户需求的同时,根据已有的W eb服务,自动获取性能最优的服务组合方案。利用Petri网进行建模,采用可达图进行分析,通过提取网中变迁之间以及变迁序列之间的各种并发关系,得到费用最廉的组合结构。     

龙固矿煤巷锚网支护及顶板事故的预防

矿井煤巷锚网支护已得到广泛应用,为防止顶板事的发生,要合理确定锚杆、锚索的支护参数,及时发现事故预兆,加强事故的预防工作。     

Rd内自然覆盖族生成集的网测度及维数问题

研究单位立方体内自然网覆盖生成集的网测度及维数的可能性,建立该集族的自然覆盖网诱导的网测度与通常Hausdorff的等价性.其次,考虑在广义自相似集下,分离自然覆盖族生成情形的维数与Hausdorff维数的等价性,简化部分分形集的计算.     

基于Petri的分布式网络流量优化

基于Petri网建立一种分布式流量优化模型,解决了网络的重复转发问题,并在此基础上,结合线性规划方法,实现了网络流量流向的多目标控制,有效提高了网络质量.     

计算机网络局域网技术及应用

本文介绍了局域网的基本概念以及局域网使用的传输媒体,目前企业组建局域网常用的局域网技术及其应用,包括CSMA/CD媒体访问控制、共享以太网、交换以太网、快速以太网、千兆以太网,对企业组建局域网提出了一些建议。     

一种面向故障诊断的故障Petri网

根据故障具有并发性等特点,定义了一种面向故障诊断的故障Petri网,介绍了其建模方法,给出了其状态方程和运用状态方程的诊断推理方法.定义的故障Petri网可避免变迁重复发生和推理路径的反复搜索.最后通过实例说明了具体建模方法和故障诊断的推理过程,推理结果与图形分析方法相吻合.     

大断面切眼锚网索支护参数研究

在分析安家岭一号井工矿4106综放工作面大断面切眼的地质和生产技术条件基础上,综合应用锚杆支护理论和设计方法,对锚杆(锚索)长度、间排距等参数进行理论计算,得出了支护方案并进行了现场应用。其计算方法及设计方案对类似地质条件的矿井具有一定的借鉴和参考作用。     

新一代网管为“三网融合”保驾护航

书信变成了Email,逛街升级成网购,天涯海角缩短为咫尺之遥……网络让人们的生活发生了翻天覆地的变化。如今,网络对普通人而言早已不再陌生,一个新的划时代变革又挟雷霆之势呼啸而来,这就是备受瞩目的＂三网融合＂。山雨欲来风满楼。＂三网融合＂在被炒得热火朝天的同时,也带来了前所未有的困难,因为它不再是当年那个自发、无序的互联网,而是一个需要强有力管理的网络。新一代网管的适时出现,让所有不可能变成了可能。