基于T-不变量消除的Petri网合法变迁引发序列判定算法

Petri网的合法变迁引发序列问题(LFS)是其可达性问题的子问题.前人在LFS判定时常因判定算法的指数级时空复杂度或算法难以推广至一般Petri网而受限.因此,基于Petri网T-不变量支集变迁与可达图有向环路上标注变迁的对应关系,综合应用线性代数与可达树分析,原LFS判定被缩减为以基础向量为发生数向量的LFSb判定.通过两棵可达树(分别以原网、初始标识;逆网、目的标识为根)层序轮流构造同时比较当前叶节点层中的标识,若算法终止前有相同标识出现,则LFSb(LFS)判定成功;反之,LFS判定失败.分析表明,算法的时间复杂度为多项式级别的,且适用于一般Petri网的LFS判定.     

改进覆盖树与标识网死锁的检测

通过在ω符号中加入令牌数增减的信息,改进了原标识Petri覆盖树的构造方法,从而提出了一种新型的覆盖树,即改进覆盖树,这种覆盖树是有限的,它可以覆盖所有的可达标识,并且每一节点都有可达标识,这种覆盖树可单独用于检测标识网的死锁,文中示例表明它是有效的。     

扩展颜色逻辑Petri网及其可达性分析

逻辑Petri网是一种增广Petri网模型,具有与图灵机等价的建模能力。颜色逻辑Petri网解决了逻辑Petri网中输出的不确定性表达问题。然而颜色逻辑Petri网描述不同子系统的并发过程,需要对每一个子系统建立一个子网模型。如果所有子网模型的结构相同,则可以引入多个有色托肯,从而用一个子网模型表示多个子系统的并发过程。因此,提出了扩展颜色逻辑Petri网模型及其可达性分析方法。首先,为了方便可达标识的表示和计算,引入多重集的素数表示法,用素数幂的乘积来表示一个多重集,并给出了判断变迁使能的方法。其次,通过定义颜色逻辑关联矩阵,给出了一步可达标识的计算公式以及可达树构造方法。最后,针对一个电子商务实例,分别用颜色逻辑Petri网和所提出的扩展颜色逻辑Petri网建立模型并进行比较分析,从而证明了提出的模型具有更简单的网结构,丰富了逻辑Petri网理论。     

无回路规则系统的Petri网验证方法

构建了无回路规则系统的加标ω-Petri网模型，产生了相应的可达树，利用可达状态反映规则系统所包含的所有可达关系，并记录；提出了可达状态的反向推演森林及其算法，实现规则系统命题间可达路径的显式化．在此基础上，给出了规则系统错误的判定定理及其检测算法，实现了结构错误的有效判定和分析．     

公共卫生间标识系统设计的现状与应用及教学思考

通过对公共卫生间标识系统设计的现状、存在问题、影响因素进行分析，预测公共卫生间标识系统的未来发展趋势，试图在我国建立起规范、美观、完善、富含人情味，既能体现中国特色又能跟国际接轨的公共卫生间标识系统。最后，提出有关标识系统设计的一些教学思考。     

基于布尔代数的功能树简化研究

当前较大规模的功能树存在解空间庞大、冲突定位困难的问题,对此提出基于布尔代数的与或功能树简化方法;证明了收缩简化、删除简化、提取简化的相关定理,并籍此给出其布尔代数的简化算法;最后通过实例,证明该方法可在保持逻辑等价的前提下有效降低问题的复杂度,从而提高设计者进行概念设计的效率.     

屯溪老街旅游区标识系统设计研究

文章从旅游区标识系统的概念出发,分析了标识系统在旅游区的作用以及旅游区标识系统的发展和未来要求,指出了屯溪老街旅游区标识系统存在的问题,并提出了对老街旅游区标识系统的设计方案,使标识系统能够更好的立足于老街旅游区。     

能行可计算性函数渐进优超等价类的可达性质

利用理想计算机URM关于能行可计算性函数的定义以及渐进分析的方法对能行可计算性函数进行分类后，建立了能行可计算性函数渐进优超等价类子结构，并通过引进可达性概念研究能行可计算性函数渐进优超等价类之间的关系，证明了任何一致无界能行可计算性函数渐进优超等价类都具有强不可达性质。此成果对算法复杂性函数渐进优超等价类数学结构的进一步研究有一定参考价值。     

Fuzzy树自动机的等价性

在给出模糊树自动机概念的基础上,讨论了模糊树自动机与传统字符自动机、模糊有限自动机相类似的性质,即指确定性模糊树自动机与非确定性的模糊树自动机的等价性、FNBTA与FNTTA 等价,及FDBTA和FNBTA等价;这为模糊树自动机的进一步研究奠定了基础.     

网络中支撑树的边扩容问题

受多种网络改进模型的启发,作者研究了网络中支撑树的边扩容问题(GECAT).证明了GECAT问题和限制性最小支撑树问题是多项式等价的,从而说明GECAT是NP-难的.由GECAT问题到限制性最小支撑树问题的等价归约构造方式,得到一个多项式时间近似方法(PTAS).接下来,对GECAT问题的2种特殊形式做了研究并分别给出了强多项式时间算法:支撑树上需扩容边的数目最少问题和最小支撑树所需的扩容费用最少问题.对于前者,采用了T-交换算法,而后者则采用了字典序法.     

叶轮进口边位置对自吸泵性能的影响分析

为研究自吸泵叶轮气液混合能力对自吸性能的影响,在叶轮原模型基础上,设计了叶片不同进口边位置的5种模型方案.采用VOF多相流模型对不同方案全流域进行三维定常数值计算,研究对自吸性能的影响规律.针对350WFB-1200-50型外混式无密封自吸泵,初始条件设定进水S型弯管中含一定体积的空气段,出口处设置含气率监测点.结果表明：针对中高比转速叶轮,进口边沿后盖板位置向出口前掠,使得叶轮进口边工作时对流体分时加载,可以有效提升叶轮的气液混合能力,从而缩短自吸泵的自吸时间;在一定前掠角度范围内改变进口边位置对自吸泵的扬程和效率影响不大,但是当叶片进口边向出口位置前掠超过一定范围时,会导致自吸泵扬程明显下降;当叶轮进口边前掠10°时,额定工况下自吸时间缩短25%,自吸性能明显得到提高.     

由对诗人的重估到对新诗史的重构--从《诗刊》看五四以来的新诗传统在五、六十年代的命运

作为二十世纪五六十年代国内最权威的诗歌刊物《,诗刊》无疑代表了当时的文学潮流,并引领着文学的走向。研究自1957年1月到1965年停刊的《诗刊》,可以清晰地把握当时的诗坛动态和文学环境,不失为五六十年代中国文学的一份生动史料。本文着重考察的是《诗刊》如何以对“五四”以来新诗人的重估和对新诗史的重构,完成了新诗在五六十年代的历史叙述。     

业务外包对图书馆可持续发展的影响

介绍了目前图书馆业务外包的外延和内涵,论述了业务外包之后的图书馆办馆效益,分析了业务外包带来的问题,对业务外包后的图书馆事业可持续发展进行了思考。     

湿度传感器稳定性的误差来源分析

阐述了湿度传感器稳定性的误差,指出影响湿度传感器稳定性的误差有线性误差、温度影响误差、湿滞误差以及校验标准误差等.     

医疗体育对大学生身高增长的影响

19至24岁的大学生,随着内脏器官的不断完善,两次身高增长的高峰期已经过去,一但骨骺部位闭合,骨化,身高的增长就几乎停止。通过对815名学生样本数据的正态分析和对中外多项增高实例研究,对比,得出大学生群体中身材矮小及伴随相关心问题的人,通过有针对性的体疗锻炼,能使其形体和心理都得到有效的改善。对大学生身体发育抢救阶段,医疗体育（体疗）方案,运动处方,增高器械等方面的深入探索,对培养高素质人才具有深远的意义。     

技术异化的生成

从技术的复杂性和局限性、技术的不恰当使用、自然的不可预见性、技术理性的沙文主义式扩展及社会文化等几个方面探讨了技术异化产生的根源。     

关于拉普拉斯算子的第一、第二特征值的空隙的估计

利用极大值原理证明了对于Rn 中凸域Ω在狄利克莱边界条件下拉普拉斯算子的第一、第二特征值之差成立 :λ2 -λ1≥ π2d2 ,其中d为Ω的直径     

论"作者之死"理论的背景

罗兰.巴特的著名论文《作者之死》文字不多,但其思想来源却十分复杂:哲学界反理性思想尤其是福柯的"人之死"理论、索绪尔的结构语言学理论和拉康的主体观、法国当时的社会现实等都为"作者之死"理论的提出准备了条件。和福柯、拉康在哲学界高倡"人之死"、"主体死了"相呼应,巴特把矛头指向权力结构在文学批评领域的体现者——作者身上。他宣布了"作者之死",在话语领域中争取实现自己的乌托邦理想。     

对图书馆读者满意度问题的思考

分析了图书馆读者满意度的含义及衡量要素,论述了图书馆调查读者满意度的目的及方式,提出了图书馆提升读者满意度的策略。     

对公司会计信息失真原因的再思考

会计信息失真问题，是一个长期存在的现实问题。会计信息失真已经对我国国民经济的发展造成了极大的损害。从认识误区的角度对公司会计信息失真的原因进行了理性的思考，探讨了解决的对策。