基于EFPN的模糊离散事件系统可诊断性分析

针对模糊有限自动机及模糊Petri网在模糊离散事件系统(Fuzzy Discrete Event System,FDES)行为建模中的不足,提出一种扩展模糊Petri网(Extended Fuzzy Petri Net,EFPN),并基于EFPN构造了FDES行为模型及系统故障诊断器。EFPN以一种新的事件模型为基础对FDES的系统行为进行建模,并根据事件触发矩阵计算下一系统状态中各分量的可能性分布。与模糊有限自动机及模糊Petri网的对比分析表明,在描述FDES模糊事件时,对于同步距离为0的一组事件所造成的影响,EFPN的表达能力强于经典模糊Petri网;在对含有多个状态分量的FDES建模时,EFPN模型的规模远小于模糊有限自动机。在基于EFPN构造的系统行为模型中,运用可达状态标识图分析系统状态集,可有效地构造FDES的故障诊断器,并可据此进行系统可诊断性分析。     

基于层次CPN的OpenFlow建模研究

CPN作为一种形式化方法,得到了广泛的研究与应用,其在网络协议上和工业系统中的应用尤为突出。OpenFlow是一种新的网络交换模型,包含OpenFlow交换机和控制器。文中首先介绍了OpenFlow协议及CPN(Coloured Petri Nets),然后基于层次CPN对OpenFlow网络进行了建模,对每一层的模型都做了详细的说明,充分体现OpenFlow的工作机制。在建模的过程中,详细地考虑了模型中token的选取和变量的定义,使得CPN模型的执行可以描述OpenFlow的动态工作过程。通过CPN工具生成的状态空间对模型的性质进行了简单的分析,证明了它的活性、有界性。最后给出了下一步的研究工作。     

无线传感器网络可靠性技术分析

由于无线传感器节点小体积、低功耗、有限资源等特色以及无线传感网络大规模、随机撒播、任务环境多变等特点,可靠性问题一直被视为制约无线传感器网络发展的重要因素。在分析其可靠性制约因素的基础上,调研提高无线传感器网络可靠性的研究方法,分别从节点以及网络两个方面介绍国内外主流的可靠性策略。调研无线传感器网络可靠性建模技术,提出可靠性建模技术的评价标准,从节点层次、网络层次分别概述其可靠性建模技术,并指出国内外对可靠性的研究所存在的问题以及无线传感器网络可靠性研究的发展前景。     

Lerisk－i*框架自动建模与编辑工具介绍

在需求工程中,基于主体的i*建模框架(主要包括策略依赖模型及策略推理模型)已经成为最常用的早期需求建模与分析的工具之一,而且关于i*建模框架的编辑工具开发也有很多相关的研究工作。然而现有的这些工具往往只提供诸如模型图编辑、存储等基本功能,而笔者需要在需求工程小组的项目中为对需求文本进行建模的结果进行模型可视化,同时提供编辑存储及自动布局功能,并开发出新的基于i*建模框架的工具。文中首先对主流的i*建模工具进行了调研,研究了建模工具的基本功能,同时分析了其功能的不足点,在此基础上提出了新工具设计的功能补充点;然后对i*框架的布局问题进行介绍并详细描述了其自动布局算法的实现,给出了可视化工具的详细设计;最后在此工具的基础上,进行了实际需求文本的建模及模型编辑功能的实验,并将此工具与主流工具的功能进行对比,以展示本工具的功能特点。     

多媒体在小学数学教学中运用的误区与对策

以学生发展为本,突出学生的主体地位,把多媒体技术引入小学数学教学之中已经成为教师探究的热点问题。然而,有的教师不结合教材内容、学生身心发展规律,盲目运用对媒体技术,削弱了学生主体地位的体现,致使多媒体技术与小学数学整合的错位。因此,教师必须理性地看待多媒体技术应用于小学数学的辅助作用,清醒地看到小学数学教学应用多媒体技术的误区,探讨解决对策措施的,让多媒体技术的优势得到真正的发挥。     

一种应用于复杂组合软件的可靠性测试模型

当前复杂的组合型软件可靠性测试一直是一个难点,主要原因是无法多多种差异性较大的软件特征建立可约束的检测分析模型,一旦软件数量过多,模型会迅速陷入不收敛。为了解决这一问题,提出一种复杂组合差异性软件的可靠性分析模型。对组合软件以一种分解的思想对其进行建模。对分解后的软件特征进行重新分区建模。形成多个可测试的子服务特征。运用一种稳定概率统计的观点,对模型进行分析,分析不同区域组合后的稳定概率,进而代表组合后的可靠性结果。仿真实验结果表明,该种模型能改对较多软件组成的、差异性较大的大型软件可靠性进行更为合理的分析,模型鲁棒性较好,能较好完成可靠性分析的工作。     

SolidWorks文档属性及BOM的定制

正为了更好发挥SolidWorks软件的功能,对SolidWorks文档属性的应用进行深度挖掘,通过技巧突破软件的限制,可大大减轻三维设计后输出工程图等后续繁琐工作,且能定制符合企业标准的材料明细表。Dassault Systèmes SolidWorks是一个可以将3D实体建模与桌面程序的易用性相结合的功能全面的软件包,它提供了一套完整的工具集,用于创建、仿真、发布和管理数据,最大程度提高工程资源的创新和生产效率,所有这些解决方案协同工作,可让组织更好、更快、更经济高效地设计出产品。     

有效应用信息技术提高初中数学作业批改效率

初中数学教师要有效应用信息技术,大力提高初中数学作业的批改效率.通过创建网络错题难题库、自测自评多媒体作业课件、研讨平台等形式来拓展数学作业批改形式.通过信息技术也可有效收集作业反馈信息,形成真实高效的学习成果统计数据,促进数学教师调整教学方案,弥补课堂教学的缺漏和不足,全面促进初中数学教学质量的提高.     

让电子白板成为师生互动的催化剂

电子白板作为科技的先进产物已经悄无声息地走入了初中课堂,成为初中数学教学的一个重要参与者。本文通过对初中数学课堂的分析研究,结合教育学的相关理论,提出了如何高效使用电子白板提升课堂互动的几点策略。     

小学数学开发网络课程资源的实践与探索

随着信息技术的进步和教学条件的改善,各地掀起了开发网络课程资源,进行网络环境下教学的研究热潮.我校在开发网络课程资源,利用网络资源辅助教学方面也进行了一些尝试.