论文部分内容阅读
针对气象业务保障流程知识密集的特点,提出了一种新的工作流建模方法:人员-时间Petri网,给出了人员-时间Petri网的形式化定义、相关性质以及建模方法,开发了人员-时间Petri网的建模工具并应用于气象水文保障建模。
基于人员-时间Petri网的气象业务保障流程模型
【摘 要】
：
针对气象业务保障流程知识密集的特点,提出了一种新的工作流建模方法:人员-时间Petri网,给出了人员-时间Petri网的形式化定义、相关性质以及建模方法,开发了人员-时间Petri网的建模工具并应用于气象水文保障建模。
【机 构】
：
解放军理工大学气象学院,国防科技大学信息系统与管理学院,南京审计学院信息科学学院
【出 处】
：
计算机应用与软件
【发表日期】
：
2008年01期
【基金项目】
：
国家重点基础研究发展计划973项目子专题（2004CB418301）.
其他文献
我校为加强班级管理，推动教学模式改革，尝试为初一、初二各班配备副班主任。班集体开展活动时，几名副班主任主动到班级组织学生，管理安全、纪律等，及时协助班主任处理班级偶发事件
Web服务作为一种新兴的Web应用模式,已成为电子商务的有效解决方案。它是崭新的分布式计算模型,是Web上资料和信息集成的有效机制。为提高电子商务中服务的质量,灵活地根据用户需求对子服务进行组合提出了电子商务中保持组合Web服务的一致性的解决方案,并通过实例说明该方案的正确性。
MOF(Meta Object Facility)作为MDA(Model Driven Architecture)的一种语言定义机制,可以跨平台开发各种软件。为提高建模软件的通用性,设计并开发了基于MOF两级建模的通用建模工具GMT(General Modeling Tool)。设计采用了MVC模式把系统分成界面、操作和数据库三部分,用消息同步传递机制和Observer模式保证各部分数据的一致性。
甜叶菊提取完甜菊糖后会形成一种植物性的废料有待处理。采用大规模厌氧消化技术处理甜叶菊废渣，同时结合热电联产技术，利用厌氧产生的沼气来发电，发电后的余热用于厌氧反应器的
不知是哪位大神说了这么一句话：“买买买，已经成为人类最低成本的治愈，当你遇到难题时，没有什么内心的疾苦是花钱治不好的。”虽然一边高喊着要剁手，一边却将心水之物添加进购物车，这大概已经成为现代人标准的生活日常。 身为“00后”的我们同样也爱买买买。衣服、零食、文具、Figure、JK制服、Cos服、AI队服、等身抱枕……有些东西在家长和老师的眼中往往看起来有些奇怪，却是我们这个年纪的孩子的最爱。当
上海市公共机构节能工作在国管局和上海市节能减排工作领导小组关心下，在市公共机构节能工作联席会议的具体指导下，结合上海的实际，创新思路，依法管理，注重实效，循序渐进，逐步形成了
那些连绵多日的烟雨将粉墙黛瓦笼上一层轻薄的水色,那些干净的石板里缓慢涌出碧意荡漾的苔藓地衣,那些曲折的巷子里久远的弄堂口丁香散发着淡淡幽怨,那些流光飞舞的萤火游动
童年的开头总是从夏天开始的。 在我的记忆里，夏天总是好的。七月流火，八月未央。 一次放学后，因为贪玩，随着蹦蹦跳跳的青蛙，竟误闯入风居住的街道。 一阵清风呼啸着在我耳畔过去，我停下脚步，站在这条街的一头，看着眼前陌生的街道。 “这里，是哪里？”我的目光从青蛙身上离去，好奇地看着这条好像从未出现过的街道。 街道上没有一个人，只有自由的风在街道上冲撞着，肆意张扬。 在街道的两旁分别有两栋不
记得，十五岁之前，临近中考时你给自己写过两封信，心怀一种希冀，一种憧憬，一种期盼，一种幻想，一种对未来的膜拜。记得你顶着一头短发，背着大大的书包，纠结着物理和化学。记得你瘦瘦的样
根据支持向量机理论和肤色信息分布特点,提出利用像素点的8邻域信息,用C-支持向量机的方法进行图像的肤色检测。在YCbCr颜色空间,去除照度分量,用像素点及其8邻域内各点的Cb、Cr分量构成的向量作为输入,像素点所属类别为输出,高斯函数为核函数,采用序列最小最优化学习算法,构造了C-支持向量机肤色检测器。实验表明,当核宽度为80,惩罚系数C为200时,该肤色检测器的检测正确率可达到0.977。