基于Petri网的物流派送模型修复分析

目前,模型修复技术应用领域非常广泛,模型修复不仅可以达到完全重放日志的目的 ,还可以最大程度地与原始模型保持相似,能够保留原始模型的价值.因此,越来越多的学者专注于研究模型修复.基于Petri网构建了一个物流派送流程模型,然后将事件日志与流程模型进行一致性检查,主要根据成本对齐测量其偏差,并针对检查到的偏差部分,根据提出的用于辅助模型修复的算法对原始模型进行修复,使得修复后的模型能够完全重放事件日志.最后通过实例分析验证了修复模型的合理性.     

基于Petri网的MES系统形式化建模

针对一般车间执行制造系统结构复杂性高、重构能力弱、性能分析困难等问题,以水产品加工MES系统为例,通过Petri网对其进行形式化分析与建模.对水产加工的流程进行逐级分解、细化,根据功能将整个系统划分成3个模块,基于Petri网分别对3个模块进行集成建模.最后根据Petri网理论知识,对MES的Petri网模型复杂度与结点特性进行分析和研究,建立一种行业通用的、结构简单易扩展、灵活性强的Petri网模型.     

青光眼生物力学研究进展

 青光眼是全球第一位不可逆性致盲眼病，高眼压是视功能损伤的主要危险因素，降眼压是目前青光眼治疗的主要手段。生物力学问题是青光眼致病机制、预防和治疗研究的重要内容。小梁网房水外流阻力增大是眼压升高的主要因素，眼压升高将导致虹膜变形、瞳孔阻滞、眼前房房水流场改变、视神经纤维层及筛板厚度变薄、视功能损伤等。本文从眼压测量、房水流场测量、视功能损伤等方面综述了近年来青光眼生物力学的研究进展。     

制造服务中服务协作链构建与优化研究

制造服务是制造与服务的融合,是面向制造的服务,并且可进行分解和重构;根据制造服务的特征,以制造企业外协加工制造服务为例,构建了制造服务服务协作链,定义了多元组的服务协作链,利用Petri网建立了五元组服务协作链模型,针对服务协作链优化这一N-P Hard问题,运用贪婪算法选取服务时间作为贪婪因子进行了优化,并进行了实例验证;通过算例验证了服务协作链优化的可行性,结果表明:构建制造服务中的服务协作链以及对服务协作链进行优化可实现制造服务中业务协作优化决策,为实现智能化制造系统奠定坚实基础。     

网络犯罪原始电子数据研判系统的研究与设计

针对当前网络飞速发展带来的网络犯罪猖獗、网络犯罪案件日益增长的社会现实,结合网络安全保卫警种的侦办需求,开展网络犯罪原始电子数据研判系统的研究与设计。研判系统采取人工智能领域专家系统的设计方式,将领域内专家的经验知识集合于系统中,通过智能的推理建议,对网络犯罪现场遇到的各种原始电子数据的有效性及真实性进行分析研判,为网安侦查人员提供技术支持,对现场取证工作提供有效的指导,还原案件的真实现场情况。     

企业关联数据应用模式与案例综析

Tim Berners-Lee提出的"关联数据"概念目前是图书馆学、情报学、计算机科学、信息管理和信息系统等学科的研究热点.关联数据作为语义网的一种实现方式,正在引领一场网络革命,它不仅使许多新应用付诸实践,也为一些特殊领域的应用提供了契机.论文分析了关联数据技术的背景和现状以及企业应用关联数据的原因、意义和模式,根据关联数据的层次模型以及基于关联数据的企业信息资源集成的目标取向和功能配置构建了企业关联数据应用模型,在逻辑上将其分为支撑环境层、信息资源层、信息处理层和应用层,并结合Google、BBC和Renault三大公司的应用案例探讨了企业如何利用关联数据技术创新盈利模式、改善效益,为关联数据在企业的应用提供了参照.     

启事

本刊已被中国学术期刊(光盘版)、清华同方"中国知网"、重庆维普"中国科技期刊数据库"、万方数据-数字化期刊群、中国科技期刊开放获取平台"COAJ"等收录,作者文章著作权使用费与本刊稿酬一次性付给,本刊不另付酬。凡不同意文章被收录入编的作者,请在投稿时声明(不影响论文被本刊录用)。     

欢迎订阅

<正>~~     

基于网络最大流的城市雨水管网系统脆弱性评价

为了对城市雨水管网系统进行针对性的改建,在暴雨天提高事故抢修速度,需要对城市雨水管网系统进行脆弱性评价并找出脆弱管段.首先介绍了城市雨水管网系统排出雨水的干扰因素,提出了城市雨水管网系统脆弱性的概念,并逐一分析了影响城市雨水管网系统的因素,综合考虑各方面因素,建立了城市雨水管网系统的脆弱性评价模型.在此基础上,结合图论中网络最大流理论,寻找城市雨水管网系统中的脆弱管段.最后以西安某高校的雨水管网系统为例进行研究,测得了该高校雨水管网系统的脆弱度为0.877,证明该区域雨水管网脆弱性较低,不易形成内涝,并找出该高校雨水管网的脆弱管段.     

基于CORS基站的校园控制网的布设研究

为便于测量和其他专业学生校内实习,解决目前校内实习控制点在假设坐标系统建立起来的弊端,使用CORS基站布设了校园控制网,通过与已知高级控制点联测,获取校园控制点在城市坐标系下的坐标,为利用CORS基站的学校周边地区建设提供有价值的参考信息,实现校园的真正数字化,并为学校创造一定的经济效益和社会效益.