论文部分内容阅读
利用Petri网对Email系统的基本子系统以及添加自动回复特征后的系统模型进行描述，然后利用Petri网的状态方程对系统中存在的特征交互进行分析检测。
Petri网在Email系统中特征交互检测的应用
【摘 要】
：
利用Petri网对Email系统的基本子系统以及添加自动回复特征后的系统模型进行描述，然后利用Petri网的状态方程对系统中存在的特征交互进行分析检测。
【机 构】
：
福建对外经济贸易职业技术学院信息技术系
【出 处】
：
安庆师范学院学报：自然科学版
【发表日期】
：
2012年4期
其他文献
xUML是一种统一建模语言UML的扩展语言,可用于实现自动代码生成。针对xUML代码生成过程中出现的模型不一致问题,文中提出了一种基于xUML类图和活动图的模型完整性和一致性校
神经管畸形（neural tube defects,NTDs）是最常见、严重出生缺陷之一,因胚胎发育过程中神经管闭合不全所引起。我国是NTDs高发国家,我省是NTDs高发地区,本研究探讨母体叶酸或维
在分析已有两种主要群体一致性算法所存在问题的基础上,给出了一种新的群体一致性算法,该算法是用方差的大小来衡量群体一致性程度,有利于设定统一的阈值,并具体实现了新的群
如何实时鲁棒地进行移动机器人精确定位是一个挑战性的问题，人工路标有助于解决视觉定位中的数据关联难题，双目视觉有助于提高定位的精度，本文提出一种结合双目视觉和人工路标的
1研究背景鞣革、印染、电子、炼矿等工业行业广泛应用铬的化合物,这些化合物中及生产后形成的六价铬[Cr(Ⅵ)]以“三废”形式大量排放至自然环境。Cr(Ⅵ)化合物是人体极毒物,
设{Xk,1≤k≤n}独立同分布,X（1）≤X（2）≤…≤X（n）为其顺序统计量,当X（k）服从参数为m和η的韦布尔分布时,得到了其顺序统计量的联合概率密度函数和极端顺序统计量的密度函数,进一步得
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
根据中国医院协会统计,仅仅在2015年6月至7月间我国三甲医院对医疗事故赔偿金额,每家高达100万元[1]。这能看出在我国医疗不良事件频频发生,对患者造成了严重的伤害,同时也增
目的 分析影响糖尿病足溃疡愈合及截肢的相关影响因素。方法 连续收集安徽医科大学第一附属医院2005年9月至2015年9月收住入院的308例糖尿病足溃疡患者,其中男177例,女131例,
建立公共图书馆服务质量评价指标体系，运用因子分析法分别对2005年和2010年我国31个地区公共图书馆的服务质量指标数据进行统计分析，并对统计分析结果作对比研究，从而对公共图书