UML图转有色Petri网图文法

为解决由于UML（Unified Modeling Language）缺少精准的语义表达,使其在系统建模过程中不能给出形式化的验证和分析的问题,提出了UML模型转Petri网模型的图文法,利用Petri网的分析验证技术,实现了对UML模型的正确性验证。在设计阶段即发现系统的缺陷,从而减少软件开发后期发现设计的错误而带来的损失,提高系统的正确性和安全性。实验表明了该转换算法的有效性。     

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

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

一类带有限制向量的时延离散Petri网

在时延离散Petri网的基础上,该文给出了具有限制向量的时延离散Petri网模型,与时延离散Petri网等价但其标识维数减少。接着分析了该类Petri网运行规则,给出系统运行下标识的累加计算方法。最后,通过算例分析说明了累加算法的正确性与合理性。     

医学检验分析仪控制系统Petri网建模

针对全自动医学检验分析仪的控制系统,以Petri网原理为依据,采用赋时Petri网的建模方法,解决了控制系统中的冲突、死锁等问题。仿真验证该模型,其结果显示：通过赋时Petri网建模能有效地解决这些问题,检验该建模方法的正确性。     

复杂分布式系统的面向智能agent建模

为了有效管理复杂分布式系统建造过程中的复杂性,提出了一种面向智能多agent系统的工程化软件建模技术.该方法使用扩展的UML用况图和顺序图来认定角色并建立角色模型,通过对agent的心智状态建模,使用扩展的UML状态图和Petri网图来发展agent自治行为和交互行为的动态模型.给出了一个覆盖了从问题域分析到生成agent类模型和agent交互模型全部过程的网络资源管理系统应用实例,并验证了建模方法抽象和管理系统复杂性的有效性.     

一种Petri网结合遗传算法的优化方法及应用

根据实际优化问题,在时间Petri网和着色Petri网的基础上,提出了一种新的扩展Petri网(EPN)模型,并在EPN中定义了条件矩阵Q,给出了Petri网与遗传算法相结合的优化方法和具体算法.使用本优化方法,对一个车间作业(Job-shop)调度问题进行了求解,建立了该Job-shop调度的EPN模型,并采用单个体遗传算法对Petri网模型进行优化,结果证明了该建模和优化方法的有效性和正确性.     

Petri网的遗传算法在Job-Shop问题中的应用研究

提出了一种基于扩展时间Petri网(ETPN)的单亲遗传算法,并利用该算法对Job-Shop调度问题进行了求解.首先定义一种扩展时间Petri网,然后利用定义的扩展时间Petri网对Job-Shop调度问题进行建模,最后应用单亲遗传算法对模型进行优化调度.通过实例证明了该建模方法和优化算法的有效性和正确性.     

Petri网在OA系统工作流中的应用

Petri网既有严格的数学描述,又有直观的图形表示,是理想的工作流建模工具.本文以OA系统中收发文管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证.     

基于着色Petri网的Web服务组合建模

用经典Petri网对Web服务组合建模,其令牌类型的单一性不利于对模型的理解.针对这种不足,提出了一种基于着色Petri网的建模方法,给出了Web服务网系统结构的静态和动态特性,而且还给出了一个用着色Petri网建模的实例.应用结果表明,利用着色Petri网建立的模型具有较强的解释性和扩展性.     

基于对象Petri网的产品设计过程工作流建模

针对产品设计过程中的工作流程控制及重组问题,通过对面向对象Petri网的讨论,建立了基于面向对象Petri网的产品设计过程工作流模型,并给出了模型运行的规则.应用此模型建模,系统具有结构化和工程化的特点.     

“电路分析”、“信号与系统”和“数字信号处理”课程的优化整合

"电路分析"、"信号与系统"和"数字信号处理"课程是信息和通信工程类专业的重要基础课程,然而,长期以来三门课程的教学各自为政,存在授课内容重复、衔接不合理等诸多问题,因而有必要对原有课程体系教学内容进行优化整合。文章首先阐述了整合的总体思路,其次提出了整合的具体方案,然后分析了整合后课程体系的特点,最后对进一步进行教学改革可能采取的措施进行了讨论。     

以人为本切实加强和改进思想政治工作

面对新形势的要求 ,思想政治工作在内容、形式、方法、手段、机制等方面都存在着不相适应的问题。以人为本 ,切实做好思想政治工作的创新工作 ,把党性原则和“人情味”联系起来 ,实现物质力量与精神力量的互相转化 ,是新时期加强和改进思想政治工作的重要方法。     

VBA与VB应用程序之异同和相互移植

介绍了VBA(VisualBasicforApplications)与VB(VisualBasic)之间的异同点,以及VBA与VB的代码对照,并举例说明了两者之间进行相互移植的方法。     

浅谈历史文化名城太原的城市文脉及其保护开发

城市文脉即城市文化脉络,它是城市在历史发展过程中的文化集合,是城市独一无二的文化资本．本文以历史文化名城太原的城市文脉作为研究对象,从物化城市形态及非物质传统文化两个角度对历史文化名城太原的城市文脉内涵进行论述,并在此基础上进一步提出了保护及开发太原城市文脉的措施．通过对此研究,以期能够促进太原历史文脉的传承及其合理开发．     

以人为本切实加强和改进思想政治工作

面对新形势的要求,思想政治工作在内容、形式、方法、手段、机制等方面都存在着不相适应的问题.以人为本,切实做好思想政治工作的创新工作,把党性原则和"人情味"联系起来,实现物质力量与精神力量的互相转化,是新时期加强和改进思想政治工作的重要方法.     

工笔花鸟画与花鸟图案的差异性和互融性分析——兼谈设计艺术教育中的花鸟画教学

花鸟画和花鸟图案虽然在表现的目的、功能和工具材料上相异,但在表现手法和造型规律上却相互融合。在设计艺术中进行工笔花鸟画教学,应结合专业特点,充分利用它们之间的互融性,将设计艺术中的一些有益因素贯穿到花鸟画教学中,这样不仅丰富和发展了工笔花鸟的表现语言,同时也使花鸟画教学和设计艺术专业相互融合。     

泥岩涂抹形成演化与油气运移及封闭

泥岩涂抹是断层封闭的主要机制之一,为了建立合理的断层封闭性评价方法,系统研究了泥岩涂抹类型、形成和演化规律.结果表明:泥岩涂抹主要有3种类型:即研磨型、剪切型和注入型.泥岩、页岩、煤层、膏岩、泥质盐岩、碳酸盐岩和粉砂岩均可成为涂抹的原岩,由原岩与周围岩石的强度差异所决定的拉张型叠覆带是泥岩涂抹形成的关键地质因素.叠覆区的几何学特征、断距与泥岩厚度的比率、有效正应力控制着泥岩涂抹的连续性,亚地震断层(断距小于15m)泥岩涂抹连续临界SSF值范围很大,最大可达到50,规模较大的断层(断距大于15m)临界SSF值一般为5～8,有效正应力越大,临界SSF值越大.连续的泥岩涂抹导致断层在盖层段垂向封闭.断层侧向封闭取决于多次涂抹形成断层泥含量,可建立SGR,SSF和CSP与过断层面压力差之间的关系,从而计算断层所能封闭的最大油气柱高度,实现断层侧向封闭性定量评价.     

红藻石和蓝藻石概念及分类归属的综述和修订

在分析和总结前人对红藻石和蓝藻石研究成果基础上,结合岩石薄片显微镜下观察实例,发现在以往碳酸盐岩颗粒分类中没有红藻石和蓝藻石的合适位置。鉴于红藻石重要的成因意义和造礁作用,有必要明确红藻石的概念和归属。珊瑚藻本身极易钙化,经生物矿化作用最终保存下来的珊瑚藻屑一直放在生物碎屑中,而红藻石是由非固着的珊瑚藻构成的钙质独立结核,因此也可以被划分到生物碎屑中。蓝藻石作为蓝细菌钙化作用的产物,同时鉴于蓝藻石的广泛存在,把钙化蓝细菌形成的核形石命名为蓝藻石,这一重要概念从提出到现在一直被使用。然而蓝绿藻概念已变更为蓝细菌,蓝藻石的形成与藻类无关,显然将其称作蓝菌石更加确切。因此,应将红藻石和蓝藻石分别归为生物碎屑和核形石当中,并用新的术语蓝菌石替代蓝藻石。其意义在于使红藻石和蓝藻石的概念及归属更为规范,并为碳酸盐岩颗粒的深入研究提供有益线索。     

女性主义翻译理论与性别隐喻

女性主义介入翻译研究催生了女性主义翻译理论.女性主义对性别的探索使翻译所处的低等的、再生的地位得到重新关注.翻译本身的被性别化,为整个翻译理论提供了隐喻框架.性别和翻译的隐喻成为女性主义翻译理论得以形成的基础条件,是女性主义翻译理论产生和发展的基石.     

论科学技术和人文教育

由于缺乏深厚的人文背景以及科技哲学和科技美学的指导 ,现代科学和技术越来越陷入自设的困境 .面对现实 ,提出致力于国民素质的全面提高 ,特别是理工、自然科学与人文社科的融合 ,以此促进科技、美学和其他人文学科的联姻 ,唤醒科技的人本意识和社会责任感