摘要：Petri 网理论已日益成为复杂系统设计与分析中不可或缺的工具.而ARM嵌入式处理器是一种高性能,低功耗的RISC芯片.同步动态RAM控制器状态间的相互转换较为复杂,且通过状态图只能描述它的静态特征,难以分析其动态特性.Petri网能够直观地描述非确定性,以图形化的方式表示及运用数学工具模拟与分析复杂系统.文章正是利用Petri网的这些特性来描述和分析ARM体系结构中同步DRAM控制器的状态和转换.

摘要：在基于Web组合服务电子商务模型中,通过将各种电子商务的Web服务进行组合和集成以创建动态电子商务应用。但在组合的过程中,带来了新的问题,主要是安全性问题,采用一般的方法来分析是非常困难的。Petri网便于描述具有并发、异步、不确定性等特性的问题。利用Petri网的分析方法,如S-不变量、可达树、关联矩阵等,来分析模型中是否存在死锁、阻塞、冲突等问题,进而分析组合Web服务的电子商务模型的安全性。

摘要：为了研究环境约束下Web服务组合的正确性,提出Web服务域和Web环境域的概念,并使用开放Petri网对Web服务域和Web环境域进行建模。通过分析Web环境域模型与Web服务域模型组合后的交互行为情况,给出了二者可组合的前提条件以及组合后的正确性判定算法,从而实现在环境约束下Web服务组合的正确性分析和判定。最后通过具体实例结果表明了该方法的有效性。

摘要：对于给定的螺旋3系S，以较初等的代数方法求出由S确定的Hunt六次有界封闭曲面∑．通过三维空间中任一点的螺旋有∞3条，而在∑内任一点，∞3条中属于S的有3条；在∑上任一点，属于S的有两条；在∑外，属于S的仅有一条引入数值例并用计算机绘制出∑的图形．

摘要：随机Petri网(SPN)是一种灵活有力的建模工具,在可信赖性研究方面已形成较为成熟的理论体系。采用SPN网对机群系统前端分配器及后端服务器进行建模,通过在系统建模时对前端分配器给予必要的修复保证,给出整个机群系统的SPN模型,在模型分析的基础上给出了机群系统的可信赖性参数,并对模型进行了仿真分析。仿真结果表明,在对关键系统前端分配器给予修复保证后,系统模型的稳态可用性将大大提高。

摘要：多线程程序可以更好地利用计算机资源,提高程序运行效率。但是由于多线程执行的不确定性,程序设计中的潜在错误不易被发现。作为系统建模和分析的工具,Petri网适合对具有同步、并发、冲突的离散事件系统进行建模和分析。文中探讨利用Petri网对Java多线程程序建模,并通过分析模型的结构性质和动态性质定位程序设计中的错误。通过对一个多线程程序实例的建模以及对模型的分析,定位了引发错误的原因,并给出了解决方案。从而说明Petri网在分析多线程程序和提高程序稳定性方面具有优越性。

摘要：由于广州数控980TD数控系统的功能强大,而数控系统中的PLC梯形图也非常复杂,为了简化对整个数控系统的功能进行测试,该文提出构建广州数控设备有限公司980TD数控系统的测试方法,在一个电路板上设计出一个测试架,用发光二极管,上拉电阻、普通电阻、拨码开关和几个常闭按钮等元器件所组成,设计了测试架的系统电路和PLC程序,用测试架对数控系统的PLC梯形图进行测试,经过实际测试数控系统的PLC梯形图程序,效果良好,这大大简化对整个数控系统的功能测试。

摘要：在对城市交通质量评价的内容进行分析的基础上 ,提出道路交通质量评价指标体系 。

摘要：苏州市正面临着出行向机动化方式转变的关键时期,作为公交优先重要措施的苏州市公交专用道规划,是提高苏州市公交吸引力的有力保障。

摘要：MOOCs的出现为高校课程教学改革提供了契机,基于MOOCs的混合学习改革有效结合了线上学习和面对面学习的优势。本文针对大学计算机基础课程,设计了基于MOOCs的混合学习改革方案,跨校合作建设了线上的MOOCs资源和线下的面对面学习活动,设计了"线上学习+实验实训""线上学习+翻转课堂+实验实训"和"线上学习+传统课堂+实验实训"三种混合学习模式,并于2014年和2015年在8000余名学生中进行改革实验。通过对学习平台、调查问卷和座谈会的数据分析,"线上学习+翻转课堂+实验实训"的方式效果最好。