制造系统的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网对某一指挥控制系统的性能指标进行了定量计算。     

基于UML和Petri网的建模及其验证

为了更好的建立系统模型,分析系统模型的性质,提出一种基于UML和Petri网的建模方法。用UML对系统进行可视化建模,利用Petri网对系统的动态行为进行建模,从不同的角度对系统进行建模,运用两种建模方法的优势,以及UML和Petri网之间的转化规则,实现两种模型的转换。最后把Petri网转化为Promela程序,用SPIN工具Petri网模型进行验证。     

Petri网的重写逻辑模型及其属性验证

为了对大规模或复杂结构的系统进行规格,人们在经典的库所/迁移Petri网基础上加入层次、时间等来扩展它.为此,提出使用重写逻辑表达Petri网的新方法来探索对Petri网的替代.通过把异步并发系统的Petri网图形表达转化为重写逻辑理论,可以更容易和更直接地验证原系统的安全性、活性和可达性等行为属性,而不需要建立标识图...     

连续系统的受控连续Petri网模型

对于连续系统提出了一种受控连续Petri网模型．该模型充分考虑了系统状态的时变性质,在普通连续Petri网的基础上,对连续变迁的激发速度及触发规则进行了重新定义,从而能直观地、充分地描述受控连续系统的演变,从而为混杂系统统一的Petri网模型框架的建立提供了理论基础．利用模型详细讨论了连续系统的时间最优控制问题的连续Petri网描述．     

构件系统结构的Petri网方法描述

通过分析已有的ADL体系结构描述与分析方法,表明当前ADL难以有效地支持软件开发全过程和保障其可信度及服务质量。对当前Petri网在构件系统描述中的应用情况及其存在的问题进行了分析,讨论了基于Petri网进行构件系统建模时系统体系结构描述及结构演化等问题,表明Petri网方法在构件系统建模中具有较大的优势。     

基于Petri网可达性的生产流水线系统优化分析

Petri网可达性是进行Petri网业务系统分析研究的基础。文章利用Petri网可达性对瓶装水生产自动流水线系统进行建模分析,对生产过程中出现的次品问题通过增加一组控制结构进行优化。成功解决了自动化生产过程中出现的次品问题,帮助企业减少成本,提高生产率和产品合格率。     

三维五向编织复合材料中纱线排列形态的实验分析

采用CCD显微摄像仪获取了树脂基三维五向编织复合材料的一系列截面图像，分析了编织复合材料内纱线的排列规律及其截面形状的变化．实验结果显示：沿编织成型方向，三维五向编织复合材料的不同横截面内纱线的排列方式不同，呈周期性变化；编织纱线的截面形状近似为扁平的凸透镜形；第五向不动纱的轴线基本保持伸直，其截面形状沿其轴向近似为扇形和三角形相互过渡变化；表面编织纱线的排列方式与内部编织纱线的排列有关，其截面形状近似为椭圆形。     

农村留守老人社会支持网构成研究

对甘肃省某村庄的20位农村留守老人进行深度访谈,分析留守老人社会支持网的构成。研究表明,农村留守老人获得的非正式社会支持主要来自家庭内部,从邻居和其他亲属中也能获得一些社会支持;子女、配偶是农村留守老人社会支持网的核心成员,但外出子女主要提供物质支持,配偶、没有外出的儿媳在生活照料方面发挥着重要作用;子女外出务工使留守老人获得了较多的物质支持,获得的情感支持很有限;农村留守老人的朋友圈和邻居圈是重合的,邻居、朋友是留守老人交往的主要对象。     

Nb微合金化冷轧双相钢DP980的试制研究

采用C-Si-Mn-Cr-Nb合金系,采取两种热轧、退火工艺,在实验室试制Nb微合金化冷轧双相钢DP980。结果表明,两种试制钢的抗拉强度分别为1034 MPa和1048 MPa,屈服强度分别为534 MPa和499 MPa,伸长率分别为11.2%和11.3%,n值分别为0.28和0.27,屈强比分别为0.52和0.48;试制钢的热轧组织为F＋P,连续退火后的组织为F＋M,退火后的应力应变曲线表现出连续屈服的特点。     

DS/CDMA系统中的多用户检测

文章对各种次最佳多用户检测器分类进行了简要的分析和研究,对其性能进行了比较,并指出了它们各自的特点。     

大学生个性特征与心理因素初探

当前在青年大学生所患疾病中,有相当一部分属于心理生理疾患(心身疾病)。其发病、发展、转归和防治都与心理因素密切有关。如神经衰弱、强迫性神经症及精神病等,轻者影响学习,影响健康,重者休学或退学。本文通过对100名大学生进行艾森克个性问卷调查,了解大学生中个性气质的比例及有不良心态的比例,分析影响大学生不良心理因素的原因,旨在预防和治疗学生中存在的心理障碍和心理疾病,以提高学生的健康水平及心理效能。     

Nb2O5掺杂对MnCoNi系NTC热敏电阻材料的影响

采用X射线衍射分析、SEM、阻值测量等手段,通过实验研究了Nb2O5掺杂对MnCoNi系NTC热敏电阻材料的影响。以MnCoNi系为基,掺入适量的Nb2O5后,其阻温特性变化规律与传统Mn-CoNi系材料一致,同时室温阻值、B值略有增加,电学稳定性提高了两倍以上。     

浅谈贫困大学生的思想教育

贫困大学生是高校的弱势群体,且其在高校中比例日趋增长。与其他学生相比,贫困生更容易产生各种各样的思想和心理问题,而这些问题往往是学校及社会各界在积极帮助贫困生解决经济困难的同时,较为容易忽视的问题。因此,高校在予以他们经济上帮助的同时,更应该特别关注他们的思想动态和心理健康,加强思想政治教育。     

老化沥青与再生剂混合相行为

采用修正的Flory-Huggins方程计算老化沥青和再生剂的混合自由能并探讨它们之间的相行为。3 种老化沥青的溶解度参数值和芳碳率均比相应的原料沥青高。再生剂R1 与加德士老化沥青在25 ℃时的混合自由 能ΔGM >0,再生剂R1 与加德士老化沥青的混合过程为非自发过程,因此它们之间不能形成均相体系。3种老化沥 青与R2、R3 和复合再生剂在25℃的混合自由能ΔGM <0,混合过程为自发过程,因此老化沥青与R2、R3 和复合再 生剂能形成均相体系。     

当前大学生就业压力与就业观变化

当代大学生身上承担着过多、过重的压力,尤其是就业压力表现尤为突出.面对严峻的就业形势,在沉重的经济负担和学习压力之下,大学生在就业观上发生了很大变化,在思想上产生不少的困惑和问题.要使大学生树立正确的就业观,必须缓解他们的压力.分析了大学生在就业中所面临的几种压力及其产生根源,对大学生就业观作了具体的分析,探讨了缓解压力的对策.     

中国近年来土特产品包装设计研究述评

设计界对当前我国土特产品包装存在设计简单、缺乏地域特色、传统文化性弱等问题有清楚的认识,对土特产品包装设计的基本原则、设计思路和设计方法有比较正确的看法。除此以外,本文认为还存在研究者文化理论素养需要提升、对地域文化缺少深度研究与开发、对如何与生产厂商合作以推动设计水平提高需要探求等问题。