基于DD-RCM和时序Petri网的电厂故障管理系统优化

基于DD-RCM和时序Petri网提出一种优化电厂故障管理系统方法.用DD-RCM方法建立电厂故障管理系统的模型,并根据对应规则将电厂故障管理系统的DD-RCM模型转化为相应的时序Petri网模型;再根据Petri网模型确定出各种活动之间的选择、冲突、同步和并发的关系.进一步用关联矩阵的重组算法对各种关系加以描述.然后用简化规则结合冲突表和同步表对Petri网模型进行简化,实现对电厂故障管理系统的优化.最后基于时序Petri网的时态逻辑证明了简化Petri网的功能性.     

一种基于Petri网的工作流模型合理性验证方法

利用Petri网结构分析理论,分析了现有合理性验证方法的优点以及不足。根据工作流网的特点,给出符合自由选择网结构的工作流网的合理性验证方法,并进行了算法实现。     

关于Petri网的代数结构

Petri网的研究通常利用网的几何结构.这样的结构不利于用计算机实现Petri网的计算工作.提出Petri网的代数结构.文中给出Petri网的代数定义,以及有关的概念的代数定义.Petri网的代数结构为Petri网的研究提供一种新的方法.     

关于Petri网的代数结构

Petri网的研究通常利用网的几何结构.这样的结构不利于用计算机实现Petri网的计算工作.提出Petri网的代数结构.文中给出Petri网的代数定义,以及有关的概念的代数定义.Petri网的代数结构为Petri网的研究提供一种新的方法.     

一种基于扩展Petri网的采购业务工作流结构分析方法

在简述 Petri 网及工作流的基础上,讨论通过扩展 Petri 网的关联矩阵方法对工作流网进行可靠性分析的思路。针对传统企业采购业务流程中存在的问题,结合案例说明运用扩展 Petri 网对采购业务工作流进行结构分析的实现方法。     

基于Petri网的工作流模型设计与实现

Petri网适合描述异步、并发事件驱动和资源共享的办公自动化工作流部分，使用Petri网进行过程建模可以显著地改进和优化业务流程，更好地实现业务流程控制。以物业办公中的工作联系单为例，进行了业务流程分析、Petri网建模，并给出了任务表和后续节点流向控制算法。     

Dijkstra算法程序的优化

邻接多重表是无向图的一种链式存储结构。基于该存储结构基础之上实现的Dijkstra算法程序,相对于传统的邻接矩阵存储结构,不仅在构造无向图所需的时间减少,而且在计算最短路径的速度有更大的提高,从而优化Dijkstra算法程序,使其时间复杂度降低。     

最小生成树问题的Kruscal算法的一种实现方法

本文讨论了针对带权连通图的一种可行性存储结构———单链表结构的构造问题 ,并研究了在该结构上构造最小生成树的算法 .算法已在机器上得到了实现     

关于单纯Petri网的全进程

引入了单纯Petri网的概念,设∑=(S,T;F,M_0)是可逆有界Petri网,已证明可逆有界Petri网可由几个单纯Petri网连接得到.因此,为了讨论可逆有界Petri网的全进程就有必要研究单纯Petri网的结构和全进程,并证明单纯Petri网的结构由其可达标识链决定,为进一步认知单纯Petri网的全进程提供新思路.     

基于十字链表与三元组表的稀疏矩阵压缩存储实例研究

十字链表和带行链接信息的三元组表是稀疏矩阵的两种压缩存储方法。十字链表为链式存储结构,带行链接信息的三元组表为顺序存储结构。在MovieLens数据集上设计了分别采用十字链表和带行链接信息的三元组表对以用户为行、项目为列、用户评分为矩阵元的稀疏矩阵进行压缩存储,并在这两种存储结构上实现用户相似度计算算法。通过测试分析和比较了两种不同的压缩存储方法在创建及相似度计算上的执行效率,并探讨了各自的特点及适用条件。     

关于Euler公式的一个应用

欧拉公式是研究平面图性质的一个重要工具、利用欧拉公式可以得到许多平面图，特别是一些特殊的平面图的点、边、面的关系。本利用欧拉公式讨论平面图、外平面图的一些性质。     

Kirchhoff矩阵树定理的一个推广

Kirchhoff矩阵树定理是图论中的一个重要定理 ,本文对Kinchhoff矩阵树定理进行推广 ,给出图的k -支撑林的数目与其Kirchhof矩阵n -k阶子式的关系     

树T(1,3,n)的伴随唯一性

利用图的伴随多项式最小根及其特殊分支,简化并完整证明了树T(1,3,n)(n≠3,6,7,11)的伴随唯一性.     

英汉"间接宾语+直接宾语"结构比较研究

该文比较研究英汉两种语言中的“间接宾语 直接宾语”结构,认为此结构的决定性特征是“转移性领属关系”,并审视汉语中一些被认为是双宾语的结构,发现汉语中存在一种汉语特有的“间接宾语 直接宾语”的双宾语结构。     

“移位”与“倒装”再思考

在句法形式的转换中,句法成分位置的移动,只宜区分为"移位"与"倒装"两种类型,而不好再划分出第三种类别来。从本质上看,移位所凭借的句法结构当是深层结构(或基本句法结构),它所生成的表层结构,可以直接进行层次分析;而"倒装"所凭借的则是具有正常层次关系的表层句法结构,它所生成的句法结构具有较强的语用性,无法直接进行层次分析。就移位和倒装的成分言,二者虽然都可以是论元成分也可以是非论元成分,可以是主语、宾语又可以是定语、状语和补语,但,倒装的成分还可以是谓核及其短语,而移位却没有这种成分。     

从认知角度探讨网络课程中的图像应用

网络技术和多媒体技术的快速发展使得网络教育成为一种新型的教育形式。网络课程是作为网络教育的主要载体,其质量优劣直接关系到网络教育的成败。且由于技术的发展和学习主体的需要,知识的表示由以语言文字为中心向图像为中心转移,从认知角度出发,探讨了网络课程中的图像应用。     

小学艺术教育师资培养的思考与实践

师资培养是艺术教育课程改革亟待解决的关键。小学艺术教育师资培养应紧扣《艺术课程标准》的课程理念,定位于一专多能型的培养目标,着眼于专业与教育能力兼备的培养规格,课程结构上力求基础全面、专业凸显。福建儿童发展职业学院"2·2·1"的艺术课程方案通过5年的实施,已取得了较好的成效。     

对外汉语初级听力教材结构的分析研究

选取京沪两地3所知名高校所使用的初级汉语听力教材作为研究范本,分别从教材的整体结构这一宏观角度和单篇课文这一微观角度出发,对教材作了仔细的梳理和分析。依据分析结果提出,此类教材应该以听力教学的"话题、功能学习"的课程目标为系统依据,将综合型听力训练、技能型听力训练、应试型强化训练、自助型听力练习以模块化方式依次展开,其中可以涵盖实用的HSK测试练习。     

物体大小感知过程中的色彩心理效应

随机抽取90名不同专业的学生,男女比例1∶1,采用五个体积相同但色彩不同的正方体进行大小排序实验,研究色彩对物体大小知觉的影响方法。结果表明：色彩会影响人们对物体大小的准确知觉;明度高、暖色系的色彩会使物体看起来比实际体积大,明度低、冷色系的色彩会使物体看起来比实际体积小。     

用Visual Basic编程实现直线控件的主要功能

直线控件是VisualBasic提供的基本控件 ,其功能是利用该控件在窗体上画直线 .那么 ,该控件的功能是如何实现的 ?本文通过分析直线控件的主要功能 ,给出了实现该功能的算法思想 ,并利用面向对象的编程语言来实现