基于AGENT的G网及其在柔性装配系统建模中的应用

在G网的基础上,引进了知识库所、决策库所,从而用agent的相关理论和方法扩展了G网模型,形成了基于Agent的G网(AGN)。研究了AGN用于柔性装配系统(FAS)的建模的方法和步骤。该柔性装配系统模型具有结构清晰、实现了Petri网与Agent的结合、有良好的扩展性和便于分布式程序设计等特点,而且在模块的智能化,封装化以及模块之间的松耦合和规范接口方面更加完善。     

高应力软岩煤巷锚网索支护技术研究

为了研究锚网索支护技术在软岩煤巷的适用性,对2407巷道原锚网索支护方案出现的问题和软岩巷道破坏原因进行了分析,根据有限元计算结果确定支护关键部位。在此基础上,对支护方案进行优化设计,确定了具体的耦合支护参数。     

基于桥梁施工网精度的研究和探讨

在桥梁工程施工中，要使桥址地区在勘测阶段的控制测量从精度、点的密度和保存等方面满足施工的要求，必须建立桥梁施工控制网，其作用是用于桥墩放样和主梁架设。     

基于事件和信息的应用系统的开发方法学

本文提出一种通用的规范技术用于详细描述进程、进程类、事件和消息。所述方法学基于已经扩展到高层次概念的Ｐｅｔｒｉ网。它允许直接去对进程及其协同操作进行规范，同时回避了使用Ｐｅｔｒｉ网规范简单机理时产生时的复杂性。所述技术中已注意到对许多可供Ｐｅｔｒｉ网使用的形式化分析原理的适应性，并把这些开发、设计如规范技术用来扩充Ｊａｃｋｓｏｎ法和ＳＡＤＴ法，使具具有规范进程和事件消息的能力。     

9亿元为西部高教网提速

记从教育部获悉，投资9亿元国债资金的“西部大学校园计算机网络建设工程”项目正式启动。该项目要用一年时间使这些高校实现与中国高教科研网高速联网。     

计算斐波那契数列和错位排列数的增广Petri网模型

本文给出了计算斐波那契数列和错位排列数的两个增广Ｐｅｔｒｉ网模型，然后给出了矩阵描述和状态方程分析，最后导出了已知输入值求其输出值的算法。     

紫光比威设计安全的中国电子政务网

0　引言　　尽管电子政务最近两年才被大家广泛关注 ,但实际上 ,中国某些城市很早以前就开始了相关的建设。随着网络的发展 ,用户从由一个部门延伸到了一个系统 ,这就是中国纵网的发展。但单纯的实现本单位或本系统的内部互联、资源共享已经远远不能满足用户的实际需求 ,同样也不利于政府对相关职能单位的统一管理、统一规划 ,这就要实现跨系统、跨行业网络之间的互联 ,也就是所谓的横网。横网与纵网的交替发展诠释了中国电子政务的发展历程。对于纵网来讲 ,相当于Intranet,连接的都是内部用户 ,受到网络攻击的可能性比较低 ,主要很在意网…     

基于有色petri网的多媒体流同步控制

有色Petri网是一种高级网系统,可以为系统建模提供强有力地支持,既可以反映静态结构,又可以描述动态过程。本文针对多媒体的同步控制问题,以信宿端的缓存控制和时间戳为控制策略,建立了变迁时化有色Petri网模型,并对该模型进行了基于Simulink的实验仿真,实验结果验证了该模型的有效性。     

自动导引车系统的有色时延PN-有向图建模

基于有色时延Petri网理论、有向图理论、PN的合成和简化技术,结合烟草行业的卷接包车间为典型实例对自动导引车系统(AGVS)进行分析,构造了AGVS的有色时延Petri网-有向图模型,包括适合于仿真软件开发的AGVS有色时延Petri网模型,适合于路径优化研究的AGVS有向图模型和从有向图模型得到有色时延Petri网模型的转换算法。利用该模型成功的开发了AGVS仿真软件系统AGVSim。     

中压配网运行管理及发展方向研究

本文从配网运行的职能管理出发,分析配网运行管理中存在的薄弱环节,同时提出解决配网运行管理问题的措施,探讨性地阐述配网运行管理的发展方向,使配电网络建设更加安全可靠、运行管理更加科学。