基于CPN的UML2.0形式化建模

UML作为一种半形式化建模语言,很难对系统进行动态的仿真与性能评价。基于着色Petri网（CPN）拥有严格的数学理论基础,能够对系统进行图形化的模拟与分析,提出了一种UML的形式化建模方法。对UML2.0顺序图中opt等操作符给出了对应CPN图形的转化规则,实现了用CPN模型描述UML2.0的用例图与顺序图的目的。以一个简单的UML2.0顺序图进行验证,结果表明所提方法是有效的。     

基于UML状态图和Petri网的冷却水实时控制系统建模与分析

实时系统应用要求其必须有严格的正确性,UML及Petri网是保证其正确性的重要建模与分析方法.通过介绍Petri网的基本模型,阐述了UML状态图到Petri网模型的转换规则,通过生产线冷却水控制系统的实例描述了其在实时控制系统中的应用.     

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

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

UML图转有色Petri网图文法

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

基本Petri网:模型、特性和分析方法

对Petri概念、基本模型、特性和分析方法等进行了讨论,介绍了基本Petri网模型的应用以及所能模拟的一些系统特性,对系统建模和分析有一定的指导意义.     

基本Petri网:模型、特性和分析方法

对Petri概念、基本模型、特性和分析方法等进行了讨论,介绍了基本Petri网模型的应用以及所能模拟的一些系统特性,对系统建模和分析有一定的指导意义.     

多传感器信息融合的分层着色Petri网模型

该文以导弹攻击系统为例,提出了一种基于分层着色Petri网理论建立多传感器信息融合系统模型的方法。该方法运用着色Petri网理论克服了以往用普通Petri建模的不足,细化了其系统模型的中间过程,同时给出融合中心的数据融合算法和指挥中心的神经网络解析算法。基于分层着色Petri网建模与分析方法有利于融合系统的性能分析和行为仿真的实现。     

月球探测机器人的系统建模

为准确描述和有效分析机器人系统，提出了一种将面向对象技术与Petri网相结合的月球探测机器人系统建模方法，既保持Petri网对离散事件系统的准确描述性和直观性，又利用面向对象的自然性、易理解性、可重用性和可扩充性．月球探测机器人可利用该模型对系统性能进行分析和故障预测．     

制造系统的Petri网建模

应用Petri网对作为离散事件动态系统的一个简单制造系统进行了建模分析,阐述了Petri网建模的主要特征及方法,介绍了Petri网在制造系统描述中的应用,并以某机器制造车间为研究对象进行了实际建模,给出了相应的Petri网模型.     

信息物理融合系统的面向对象Petri网建模

从多Agent系统的角度,以面向对象Petri网为语义基础,建立了一种信息物理融合系统体系结构模型,将系统抽象为传感器节点Agent、执行器节点Agent和控制器节点Agent．该体系结构模型利用面向对象Petri网形象、无歧义地刻画系统的整体和个体特性,描述系统的静态和动态语义,同时可利用Petri网的数学分析方法和支持工具对系统进行模拟、分析和验证,检测系统开发早期存在的错误,提高系统的正确性和可靠性．利用信息物理融合系统体系结构模型对目标跟踪系统的建模、分析与实现表明,信息物理融合系统体系结构模型可以有效地辅助系统的设计与开发．     

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

论科学技术和人文教育

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