轴承MTO生产协同制造执行系统建构与应用

面向MTO的轴承生产特征,构建其生产管理的三层系统模型。按照协同制造的资源信息实时可视化、物流控制同步化的要求,对生产基层数据采集和生产物流管理进行系统设计,并完成了一个面向MTO的轴承协同制造系统。     

NewYAWL:一种基于着色Petri网的工作流语言及其演进

传统的工作流系统注重业务流程的控制流,而对数据流、资源分配支持较弱。阐述了一种基于着色Petri网的工作流语言newYAWL及其系统演进,newYAWL通过对各种工作流模式的严格定义,对业务流程的控制流、数据流、资源分配提供了良好的支持。     

基于CPN的教学质量评价系统的建模与分析

教学质量评价是教师了解课堂教学情况、获得反馈信息、提高教学质量的有效途径之一.本文研究了高校教学质量评价的过程,利用着色Petri网对高校教学质量评价的过程进行建模与分析,并使用CPN Tools检测所建模型的合理性,实现对高校教学质量评价过程的验证.     

结合Petri网与进程代数的业务过程协同模型研究

业务过程协同允许组织之间彼此进行通信、交互与协作以完成特定业务目标。为了完整地描述出一个参与组织的协同,提出进程标号迁移系统PLTS（Process Labeled Transition System）,对单个参与组织的模型视图和通信行为视图序列进行集成,进而使整个跨组织业务过程协同可以通过各个参与组织的PLTS并行组合而成。该建模方法充分结合了Petri网与CCS各自的优势,避免了单一运用Petri网与进程代数建模业务过程时面临的问题,有效支持了业务过程协同的形式验证。同时为了避免模型状态空间过大而无法进行有效验证的问题,提出了6条约简规则,并证明了这些规则是满足协同正确性的充分条件,从而使行为验证方式由模型推导变为代数推导。     

基于 Petri 网的分布式协同办公智能模 型简

介绍了Petri网的基本理论,分析了基于网络服务的分布式协同办公应用的特征,在此基础上提出了基于Petri网的分布式协同办公的通用智能模型,该模型具有语义明确、易于修改,并且易于验证的优点,最后以文档审批工作流为例给出了具体的模型实现过程．     

基于服务网格的e-Learning资源共享与业务协同

本文针对当前e-Learning系统存在的信息孤岛和紧耦合设计等问题,从Web服务网格技术特性出发,刻画了动态教学环境下的e-Learning资源共享与业务协同工作的功能结构。举例说明了采用C#语言和XML编程实现e-Learning Grid资源按需共享与业务协同工作的方法。     

一种基于扩展Petri网的采购业务工作流结构分析方法

在简述 Petri 网及工作流的基础上,讨论通过扩展 Petri 网的关联矩阵方法对工作流网进行可靠性分析的思路。针对传统企业采购业务流程中存在的问题,结合案例说明运用扩展 Petri 网对采购业务工作流进行结构分析的实现方法。     

浅谈协同教学法在《导游业务》教学中的应用

《导游业务》是一门实践性很强的课程,围绕宿州学院"工程性、技术性、生产性、应用性"创新人才培养思路,从协同教学法概念出发,就协同教学法在《导游业务》课程教学中的具体实施作了详细的阐述,在此基础上,对《导游业务》课程改革提出可行性建议,以适应创新型人才培养之需。     

基于CPN Tools的驾驶培训系统建模及性能分析

Petri网在流程信息系统建模中能得以有效利用,一个有效的驾驶培训系统关乎学员的学习效率和驾校的效益。着色Petri网（Colored Petri Net,CPN）是对离散事件动态系统进行图形化建模的有效理论,CPN TOOLS是应用Petri网理论进行建模与仿真分析的有效工具。通过对驾驶培训系统流程进行设定,利用CPN TOOLS对驾驶培训系统进行建模与仿真,在假定参数条件下对产生的能够反映仿真动态过程和结果的数据进行性能分析,并得出合理的教练员配置方案及效益结果。通过实例反映了着色petri网的建模优势,验证了CPN Tools在仿真中应用的有效性。     

基于Petri网的无信号交叉口车辆诱导及优化系统研究

为充分利用现有城市道路交通空间,在车路协同环境下对无信号交叉口控制优化方法进行了研究。根据交通流冲突点理论,交叉口分为不同的空间区域,车辆进入不同的区域需要申请该区域路权资源|利用赋时Petri网建立无信号交叉口控制模型。根据优化算法,得到较优的车辆通行序列,从而实时引导车辆通过交叉口|分析了不同数量车辆对交叉口的延误时间、车辆平均延迟时间的影响,并将其与传统的信号控制方法进行对比。研究结果表明：基于Petri网的无信号交叉口控制方案改善了交叉口通行状况,控制效果优于传统的信号控制方法。     

高校教师教学业务档案的信息化管理探析

文章立足于档案管理的基本原则和信息化要求,提出了实施信息化管理的具体的思路与原则,并对实现途径进行了探索。     

集成系统的关键事件路径分析方法

通过研究概率事件结构图的事件路径,提出了集成系统的关键事件路径分析方法．根据集成系统体系结构描述提取的规则,构造着色Petri网模型对应的概率事件结构图,并给出其循环事件路径、顺序事件路径和关键事件路径的定义．然后利用着色Petri网模型的仿真统计结果,采用灵敏度分析方法找出其关键事件路径．该方法强化了逻辑结构特性,可靠实用,是离散事件系统结构化分析的基础．最后以一个建模实例详细阐述了该方法的应用,结果适用可信．     

当前我国企业财务管理信息化协同模式研究

本文针对企业财务信息以及资源规划力度进行客观阐述,将其中隐藏问题充分挖掘,同时引出相关整改路径,真正提升服务质量,增强后期决策的可靠地位,确保企业在市场竞争中获得适应先机.在这种模式包裹范围下,尽管过往企业财务规划习惯产生必要限制,规划效率也能得到提升.     

基于价值网的物联网产业链协同创新研究

现阶段,中国的物联网产业链已经基本形成,但其发展还处于初级阶段,产业链协作程度相对较低,发展不均衡性显著.虽然学术界已经对现阶段物联网产业链协同发展问题进行了一定的研究,但都是以定性为主要手段进行的分析,缺乏系统性与客观性.本文从价值网与产业链的角度出发,分析了价值网下的产业链协同模式,在此基础上,又提出了基于价值网的物联网产业链协同评价体系构建,最后提出了有针对性的推动协同实现的对策,以更好的引导物联网产业链协同的创新发展.     

基于信息化环境的淮安市中小学家校协同教育研究

江苏省淮安市在实现市域教育现代化过程中,不断推进“三通两平台”在教学、教研和教管中的有效应用,促进信息技术与教育教学的深度融合,建立了教育信息化基础设施动态更新与运行机制,充分利用信息化环境的技术支持,促进了家庭、学校、社会协同教育,提出社区学院(社区教育中心、居民学校)成为人人皆学、处处能学、时时可学的协同教育平台的可行性.     

基于Struts的甘南矿产资源Web管理系统设计与实现

采用数据库技术、多媒体技术及Web技术,研究如何设计满足基于网络环境的甘南矿产资源管理系统,提出了甘南矿产资源管理系统的总体架构,对完成该系统所要用的技术和开发环境进行讨论,并分析采集和处理各种媒体形式的矿产资源数据,实现对多媒体数据的数据统计、分析、检索和信息查询等功能。     

龙净环保:引入实力战投推动业务协同

2 月 27 日晚间,龙净环保(600388)发布2022年度非公开发行A股股票预案,拟按每股价格6.93元向紫金矿业(601899)非公开发行股票1.188亿股,本次募集资金总额不超过8.23亿元,扣除发行费用后拟全部用于补充流动资金及偿还公司债务.     

基于DD-RCM和时序Petri网的电厂故障管理系统优化

基于DD-RCM和时序Petri网提出一种优化电厂故障管理系统方法.用DD-RCM方法建立电厂故障管理系统的模型,并根据对应规则将电厂故障管理系统的DD-RCM模型转化为相应的时序Petri网模型;再根据Petri网模型确定出各种活动之间的选择、冲突、同步和并发的关系.进一步用关联矩阵的重组算法对各种关系加以描述.然后用简化规则结合冲突表和同步表对Petri网模型进行简化,实现对电厂故障管理系统的优化.最后基于时序Petri网的时态逻辑证明了简化Petri网的功能性.     

基于Petri的电子政务系统应用研究

本文在国际标准化工作流管理系统模型的基础上,采用通用的图形定义方法Petri网及过程定义语言对电子政务工作流程进行定义,并从电子政务系统的公文流转、网上审批、政协提案处理三个方面进行理论和实证分析。采用本文所述的工作流管理系统流程定义的技术后,对建设一个真正意义上的面向公众的服务型电子政务信息系统具有一定的借鉴意义。     

基于协同开发模式下的高校人事管理信息化的实施

通过分析高校人事管理信息化的必要性,结合目前管理系统开发模式,以台州学院人事管理信息化实施为例,介绍了基于协同开发模式下的高校人事管理信息化的实施过程和系统实现的技术基础,探讨了人事管理信息系统开发过程中需要注意的问题。