【摘 要】
：
Petri网标记语言PNML是一种基于XML的支持不同Petri网工具之间文件交换的标准格式,对于解决不同Petri网变种之间的互操作性问题具有重要意义。工作流网WF-net是用于工作流系
【基金项目】
：
国家自然科学基金（60863015）, 国家科技部春晖计划项目（Z2007-1-01042）, 内蒙古自然科学基金项目（20080404ZD20）资助
论文部分内容阅读
Petri网标记语言PNML是一种基于XML的支持不同Petri网工具之间文件交换的标准格式,对于解决不同Petri网变种之间的互操作性问题具有重要意义。工作流网WF-net是用于工作流系统建模和定性、定量分析的重要形式化技术之一。工作重点是将WF-net模型转换为PNML格式。首先,在标准PNML元模型的基础上,通过元素扩展提出WF-net的PNML元模型。然后,依据元模型,提出WF-net模型中各元素到PNML格式的转换规则,包括起始/结束库所转换、四种触发器转换和四种分支/合并结构转换。最后设计并实
其他文献
目的研究微小染色体维持蛋白2(MCM2)在鼻咽癌中表达以及同鼻咽癌临床分期、颈淋巴结转移、病理类型、远处转移等的关系。方法对62例鼻咽癌标本应用免疫组化法研究、分析MCM2
针对水下动态传感器网络定位的特点及问题，提出了一种基于到达时间差（TDoA）的多频率主动定位方法MFALM（multi—frequency active localization method base onTDoA）。该方法将网络
基于反馈控制理论，通过系统辨识设计了缓存控制器。动态调整不同类别缓存对象的缓存空间，可保证高优先级web对象的高命中率，而不同类别的web对象命中率之比保持不变。在服务器端
针对电涡流传感器检测过程中受温度和电路干扰等因素引起的非线性问题,提出了基于支持向量机(SVM)理论的非线性补偿方法,分析了存在传感器测量值中的非线性特性,建立了以检测位移参数为输出,以电压参数为输入的SVM逆模型。通过实验数据仿真验证了SVM模型的有效性,测试样本的模型预测平均误差为0.075 1mm,达到了较好的线性度,实现了电涡流传感器非线性补偿的目的。
针对高光谱遥感影像的降维问题,提出一种高光谱影像地物分类方法:direct LDA子空间法。先采用直接线性判别分析(direct linear discriminant analysis,direct LDA)进行特征提取,然后在特征子空间中采用最短距离分类器进行地物分类。机载可见光/红外成像光谱仪(airborne visible/infrared imaging spectrometer,AV
声多普勒肾动脉血流速度信号是进一步提取血流速度信号特征的前提。而超声多普勒肾动脉血流速度信号特征是肾动脉狭窄早期诊断的重要手段。因强烈的斑噪影响和其它信息干扰,从超声图像中准确提取肾动脉血流速度信号是比较困难的。提出了局部自适应的置信连接分割方法,该方法用于分离信号区域和背景,在灰度分布不均匀和强噪声条件下仍能实现有效分割;然后使用连通域标号的方法填补小空隙,以消除干扰信息的影响,通过局部统计特性
为解决存储测试系统的微体积和多种存储容量需求的问题，提出了一种基于片上系统（SoC）技术的智能可级联芯片通用结构。这种结构可外接多种传感器，允许芯片以级联方式扩充系统的存
在定位或者测量中,经常需要对目标进行偏角测算。偏角测算的工具一般是使用寻北仪。然而寻北仪使用复杂,因此并不普遍适用。提出一种数字图像处理的方法来测算偏角:为目标加上一个参考标靶,先采集目标的数字图像,再定位标靶,对标靶进行图像处理,最后确定偏角。该方法的优点是成本低廉,实验环境易于搭建,操作简单,角度测算比较准确;缺点是对于小角度的测算误差较大。
针对提高移动互联网信息过滤机制准确率及用户冷启动问题,提出了一种基于用户网络结构的信息过滤机制。该机制将用户网络结构作为信息过滤机制的一部分,帮助机制识别用户需求
目的 探讨RECK及MMP-2在人皮肤血管瘤组织中的表达及其意义.方法 收集武汉大学人民医院病理科2008年-2011年皮肤毛细血管瘤存档蜡块40例,其中男性15例,女性25例.采用免疫组织