工作流技术及Petri网在教育管理软件建模中的分析及应用

为了实现教育管理中的各个组织部门间的协调工作,提出了在教育管理软件中引入工作流技术作为建模开发的基础,工作流技术是一种协同技术,能理想完成教育管理软件开发中业务流程的建模和业务逻辑的实现,而工作流描述需要一种工作流模型来支持;Petri网是一种适合于描述异步并发现象的系统模型,适合对业务流程建模,结合用Petri网对业务流程进行建模的方法探讨了如何在教育管理软件建模中应用工作流技术。     

色噪声驱动下延迟双稳系统中的相干共振

研究了乘性色噪声和加性白噪声驱动下的延迟双稳系统.应用Kampen理论、Novik-ov理论、绝热近似理论和两态理论得到功率谱表达式.发现了随着加性噪声强度的增加出现了相干共振现象,且共振发生在延迟时间与加性噪声强度之间.乘性噪声强度会降低系统的输出;色噪声的自相关时间能够加强系统的输出;且在较大的自相关时间下,较小的加性噪声强度就能使系统产生共振现象.     

XRD单晶定向新装置的应用

介绍了一种对"单晶"类样品进行鉴定评价和定向切割的新方法、新装置。以往解决此类问题需要专用仪器,资源紧缺。现在从衍射基本原理出发提出了一条新的测试路线,通过XRD自转条件下的θ扫描蝴蝶图能对"单晶"类型进行鉴定。它直接测出的就是晶向偏离角,再慢速点动捕捉到它的方位,从而指导定向切割,能三维定向,还能进一步作出XRD摇摆曲线,对单晶品质进行评价。新装置为定向切割和各向异性研究提供了简便手段,任何X衍射仪都可安装。     

拓扑空间上的一个群拓扑收敛性问题

应用拓扑空间中拓扑群的连续映射方法,讨论了一个群拓扑收敛性问题.证明了在拓扑空间的一族群拓扑中能找到一个群拓扑,使空间中的网依此群拓扑收敛到一点.     

基于Petri网的生产系统建模与分析研究

针对生产管理模式的选择及Petri网建模规模较小等问题,根据生产物流控制的原理,在对基本制造单元进行模块化建模的基础上,应用模块化、层次化的技术构建了推式、拉式等生产管理模式的Petri网模型,然后应用参数化的技术对模型进行了改进,应用IDEF1X方法(icam definition methods,IDEF系列分析方法中的数据建模方法)对着色Petri网的颜色集进行了设计,弥补了Petri网建模的不足,并通过对这些方法的集成应用,建立了具有较强通用性的大规模复杂生产系统的Petri模型.最后,通过直接对所建Petri网模型的仿真和对仿真过程中所采集数据的统计计算,对生产系统的性能进行了分析,验证了上述建模方法的正确性和通用性.该方法为制造企业进行生产模式选择提供了有效的工具.     

基于光流方向信息熵统计的微表情捕捉

以光流法为依据,提出了一种基于光流方向信息熵(entropy of oriented optical flow,EOF)统计的方法捕捉微表情关键帧.首先,采用改进的Horn--Schunck光流法提取视频流中相邻两帧图像的微表情运动特征;其次,采用阈值分析法筛选出投影速度模值较大的光流向量;之后,采用图像信息熵统计光流变化角度,进而得到视频序列的方向信息熵向量,通过对熵向量的分析,实现微表情关键帧捕捉;最后,本实验采用芬兰奥卢大学的SMIC微表情数据库和中国科学院心理研究所傅小兰的CASME微表情数据库作为实验样本,通过与传统的帧差法比较,证明了本文提出的算法优于帧差法,能够较好地表现出微表情变化趋势,为微表情识别提供基础.     

基于Petri网的碾压混凝土坝施工系统耦合研究

碾压混凝土施工过程中,各系统间资源竞争和冲突是影响施工的瓶颈.在系统分析碾压混凝土生产、运输与坝面作业系统资源配置影响因素及其变化规律的基础上,综合考虑系统资源约束条件,研究系统之间的耦合关系,构建基于混凝土生产、运输及仓面作业的多系统复杂边界条件下的耦合赋时Petri网动态仿真模型,较好地解决了不同系统衔接产生的资源竞争,冲突问题,优化了碾压混凝土坝施工系统资源配置.     

基于PETRI网递阶监控器的间歇过程故障诊断

基于混杂系统理论的Petri网递阶监控器设计方法,对间歇过程的故障传播和诊断进行了研究,建立了具有两层递阶结构的Petri网故障诊断系统,上层采用赋时Petri网协调间歇时序操作步骤,下层采用混合模糊Petri网进行故障监测和诊断.针对一个实验级应用例子建立了故障传播和诊断的混合模糊Petri网模型,实验和仿真结果表明了方案的可行性和有效性.     

基于Petri网的虚拟装配环境交互管理模型研究

对设计者交互操作的准确理解和快速响应,是提高虚拟装配的可操作性和实用性的关键问题.定义了一种层次时间有色Petri网(HTCPN),并以此为工具建立了虚拟装配环境下的交互管理模型.该模型以设计者操纵数据手套的位姿变换信息、对象间的碰撞检测信息以及装配约束识别信息作为输入,运行后输出具体的操作事件实现设计者在虚拟装配环境中的浏览、移动零部件、装配和拆卸调整等一系列交互操作活动.实践证明该模型满足了虚拟环境的实时和并发等动态性能要求,实现了虚拟装配过程中大量离散事件的处理及操作意图的响应.     

公平消息传递并行程序设计的Petri网方法

公平性是并行程序正确的主要标准之一,但是并行程序执行的不确定性导致公平性验证较为困难.针对消息传递模式的并行程序,在建立相应Petri网模型的基础上,首先证明了并行程序的公平性与其Petri网模型的公平性之间的关系,然后提出了利用T-不变量判断并行程序公平性,以及通过添加控制库所实现并行程序公平的算法,最后指出了将改造后的模型转换为公平并行程序的方法,并用一个实例进行了验证.