基于随机Petri网的机群系统可信赖性研究

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

MOOCs环境下学习者学习行为分析与学习效果评估

MOOCs的产生改变了学习者的学习模式与学习行为,给学习者的学习带来了机遇与挑战。研究MOOCs模式下学习者的学习行为及其效果,能够为MOOCs平台功能完善和MOOCs模式推广提供决策依据。设计了纯MOOCs、翻转课堂和传统课堂三种授课模式,研究了MOOCs环境对学习者学习行为的影响,并分析了学习者在该环境下的学习行为特点。研究了三种模式对学习者学习效果的影响,评估了不同学科的学习者在三种模式下的学习效果。最后调查研究了MOOCs模式下的学习者满意度评价。研究表明:MOOCs下的授课模式优于传统授课模式,理工类学习者在MOOCs模式下的学习效果优于文科类与艺体类学习者。

基于Petri网软件过程执行机制的研究

在软件过程执行机制中,两种传统的过程执行机制——前摄式和反映式存在模型复杂性和执行灵活性之间的矛盾。分层机制可以缓解这种矛盾,但又缺乏严密的形式化定义。采用基于Petri网的软件过程执行机制的建模和分析方法,给出了准确的形式化定义,很好地描述了软件过程执行机制中的同步、并发和异步等特点,解决了早期"前摄式"机制的过程支持缺陷,降低了反映式机制建模的复杂性。

基于SPOC混合教学模式的计算机应用能力培养实践研究

针对传统教学模式难以激发学生的学习主动性和参与性的问题,通过在SPOC混合教学模式下,引入实践竞赛的教学理念,开展了基于SPOC的计算机应用能力培养与提升的实践研究。提出的教学模式既发挥了SPOC的线上线下混合式学习的优势,又提升了学生的计算机应用操作能力。以大学计算机基础课程实验为例并通过调查问卷分析,对提出的教学模式有效性进行验证。研究结果表明,通过融合SPOC混合教学模式和实践竞赛教学模式,能够有效提高学生学习课程主动性与参与性,提升学生的实践应用能力。

基于随机Petri网的冗余备份系统可信赖性研究

可信赖性的度量能客观反映冗余备份系统的可信性,是评价冗余系统服务能力的主要准则。随机Petri网(SPN)对系统的并发性、异步性和不确定性具有很强的动态分析能力,特别适合系统建模和可信赖性分析。讨论了冗余备份系统的概念及其随机Petri网描述,采用SPN对冗余备份系统进行建模和分析,在模型分析的基础上给出冗余备份系统的可靠性、可用性、可生存性、平均故障间隔时间等各种可信赖性重要指标。实例研究表明备份部件所处不同的状态会导致冗余备份系统具有不同的可用性。

BPEL到PNML文件转换框架的设计与实现

针对Web服务组合流程的Petri网自动建模问题,以Web服务组合流程为研究对象,采用BPEL4WS作为Web服务组合流程描述语言,设计并实现一个BPEL文件到PNML(Petri Net Markup Language)文件的转换框架,自动实现Web服务组合的Petri网建模。该框架利用XSLT实现基于XML的BPEL文件到PNML文件的转换,转换结果导入到支持PNML的Petri网工具,自动完成Petri网建模。结合一个Web服务组合实例,验证该框架的有效性。

奶牛胎衣不下继发子宫内膜炎病原菌分类探讨

奶牛分娩后胎衣不下易继发子宫内膜炎,如治疗用药不当,不仅影响治疗效果,造成药物浪费,而且影响奶牛繁殖力。为其防治提供理论根据和有效措施,我们对其病原菌分类情况进行了探讨。一、材料和方法 (一)试验动物:奶牛分娩后因胎衣不下继发子宫内膜炎的27头病牛为试验动物。 (二)采样方法:采样时先用消毒液清冼试验病牛外阴部;再用灭菌输精管无菌操作采取子宫、阴道分泌物5毫升注入消毒的小瓶内,封盖标上取样日期、牛号,然后于冰箱内冷冻保存待用。 (三)细菌的分离培养和鉴定:将上述方法采集的27份子宫内容物分别接种于血液琼脂平皿。

基于Petri 网的同步DRAM控制器的建模与分析

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

麦饭石对泌乳奶牛健康影响试验

麦饭石是一种含有可溶性稀土元素和微量元素的矿石,也是一味新发现的失传了多年的中药药石。自本世纪50年代日本学者首先在日本发现麦饭石至今,中外的许多学者、专家。

诱导分娩在奶牛临诊中的应用

诱导分娩在奶牛临诊中的应用刘士喜姚智深（安徽省保健奶牛场，合肥２３００３１）诱导分娩（人工引产）是指人为使母畜妊娠终止而在妊娠期满以前提早排出胎儿。笔者在多年兽医临床实践中，深感奶牛妊娠毒血症、产前瘫痪、产前不食综合征、妊娠周期性阴道脱和肛门脱、干奶...

合肥地区1995年奶牛流行热流行特点及对策

合肥地区１９９５年奶牛流行热流行特点及对策安徽省保健奶牛场（合肥２３００３１）刘士喜，叶定生，姚智深奶牛流行热是由弹状病毒科、狂犬病毒属牛流行热病毒引起的牛类的一种急性、热性传染病。安徽省１９９５年７—１１月份从北向南黄牛、奶牛相继发生流行热，合肥地...

奶牛胎衣不下与血钙血磷血糖含量因素的研究

为验证奶牛产后胎衣不下与血钙、血磷、血糖含量因素的关系,给预防奶牛胎衣不下提供科学依据,我们对分娩后奶牛血中钙、磷、糖含量分别进行了测定。 (一)材料与方法 1.试验牛来自安徽省保健奶牛场1988.9～1989.6产房分娩奶牛,临床检查健康。 2.试验牛以分娩后12小时尚未排出胎衣者作为胎衣不下组头数统计,12小时内排出胎衣者作为胎衣排出组头数统计。 3.样品采取用常规方法。

药物诱导分娩在奶牛临床中的应用

药物诱导分娩在奶牛临床中的应用○安徽省保健奶牛场（合肥市２３００３１）刘士喜姚智深诱导分娩即人工引产，是指人为使母畜妊娠终止而提早排出胎儿。在多年兽医临床实践中，我们深感奶牛妊娠毒血症、产前瘫痪、产前不食综合症、妊娠周期性阴道脱和肛门脱、干奶期急性乳...

工程教育视域下线上线下混合式教学改革实践

为提升课程教学质量,实现以学生为中心、结果为导向的目标,提出了工程教育视域下以成果导向教育(outcome based education,OBE)为指导的线上线下混合式教学方法。重构课程教学计划,规划学期前、学期中与学期后的教学环节。设计小规模限制性在线课程(small private online course,SPOC)线上线下混合式教学模式,从课前、课中及课后三个阶段规划教学活动。将教学计划和混合式教学模式应用在课程教学中,实现工程素养能力提升和教学质量持续改进的目标。通过教学活动相关性分析和基于OBE的达成度评价以及调查问卷分析,对设计的教学模式有效性进行验证。结果表明,应用设计的教学计划和混合式教学模式后的课堂教学效果优于传统教学模式,能够有效增强学习效果,进而培养学生解决复杂问题的能力和工程素养能力。

基于SPOC的混合教学模式设计及学习行为与效果研究

MOOC给传统教学模式提供了新的机遇,然而其缺乏面对面的交流,难以提供完整的学习体验。SPOC既发挥了MOOC的优势又能与高等教育中的传统课堂教学深度融合。本文设计了基于SPOC的混合教学模式,采用线上与线下结合、课堂教学与翻转课堂融合、课内与课外互补的方式重构了教与学过程。以"C语言程序设计"混合教学模式改革实践为研究对象,从学习者的线上学习学习行为、线下学习成绩和课程评价等方面进行分析,研究了混合教学模式对学习者学习行为以及学习效果的影响。研究结果表明:混合教学模式的教学效果优于传统教学模式,对提高学习者的学习参与度和自主学习能力具有积极的影响。

面向工程教育认证的课程目标达成评价探索与实践

课程目标达成评价是落实工程教育认证理念的基础支撑。本文以物联网工程专业工程教育认证为背景,围绕课程目标达成评价机制建设,评价依据、过程及方法设计,以及持续改进等进行讨论。在此过程中结合程序设计基础课程给出了具体实施实例。该探索和实践能够为面向工程教育认证的课程教学改革提供借鉴。

Petri网标记语言

Petri网标记语言(PNML)是一种基于XML语言的Petri网文件交换标准,用于实现Petri网工具的互操作性。综合介绍了PNML标准化进程和PNML的核心支撑技术,详细阐述了PNML体系结构各个组成部分及元模型中各个组成对象,借助PNK工具实现一个P/T网模型实例,根据元模型分析对应的PNML文件中的库所、变迁和弧等对象标签的含义,最后分析了PNML在工作流模型与矢量图转换等领域的研究状况,指出了下一步研究方向。

时延Petri网分布式模拟的先行值研究

先行值计算是提高时延 Petri 网并行模拟性能的一个好的方法。给出了时延 Petri 网的先行值计算的四种基本结构,对于存在循环的复杂的 Petri 网结构给出了预测图算法,通过预测图,能够很容易求出静态和动态先行值,在并行模拟中利用先行值可以分析出存在并发和阻塞的结构,从而为网分块在并行机的结点上运行奠定了基础。

一种Web服务组合模型合理性验证方法

为了更加有效地对Web服务组合进行分析验证,设计BPEL到PNML语言的文件转换规则,实现Web服务组合流程的Petri网建模。针对Web服务组合流程设计中可能存在死锁及不正确的流程,在不破坏原Petri网模型结构性质与系统行为的基础上,将其调整映射为自由选择网。在自由选择Petri网理论基础上,设计了一种Web服务组合Petri网模型的合理性验证规则,能在多项式时间内分析网模型的结构活性与有界性,从而避免采用传统的可达树等分析方法出现的状态空间爆炸问题。最后,使用两个具体的Web服务组合Petri网模型证明了本文方法的有效性。

PNML到SVG矢量图转换的研究与实现

针对Petri网的图形化表现形式,讨论了运用XSLT样式表把基于PNML文件的Petri网图形转换为SVG矢量图的方法,给出从Petri网图形到SVG矢量图转换的实现细节。结合应用实例借助PNK(Petri NetKernel)工具建立模型并进行仿真,验证了方法的有效性。