【摘 要】
：
针对现有关于统一建模语言状态图形式化语义研究过程中存在的缺点,给出一种统一建模语言状态图的形式化语法表示方法,结合统一网、着色网定义了描述统一建模语言状态图动态语
【基金项目】
：
航空科学基金资助项目（01F51052）.
论文部分内容阅读
针对现有关于统一建模语言状态图形式化语义研究过程中存在的缺点,给出一种统一建模语言状态图的形式化语法表示方法,结合统一网、着色网定义了描述统一建模语言状态图动态语义的Petri网模型状态图网,状态图网可以准确描述状态图中的层间转移、转移的冲突和并发等现象,并且可以描述状态图转移上的数据处理和状态图之间的通讯机制,给出了从统一建模语言状态图到状态图网的转换规则,讨论了基于状态图网验证统一建模语言状态图正确性和一致性的方法。
其他文献
目的：分析采用经皮肾镜碎石取石术（percutaneousnephrolithotomy,PCNL)治疗上尿路结石发生继发出血并发症的处理方法及其效果。方法：回顾性分析内江市第一人民医院824例PCNL治疗
针对虚拟加工系统的数控程序解析问题，提出一种通用数控程序解析方法。通过分析不同数控系统的数控程序格式，设计了规则数据库。利用正则表达式进行语法分析，提出了建立语法规则
针对三维空间装配顺序推理问题,应用方向包围盒和分离轴定理,对装配几何约束分析方法进行了扩展完善,提出三维几何约束分析方法,并开发出相应的计算机辅助分析系统。通过实例
<正> 葡萄传染性病害是由各种不同性质的、存在于细胞内的病原菌寄生引起。这些病害遍布全世界,凡是有葡萄生长的地方均有发生。虽然病原可由媒介自然传播,如线虫、更多还原
<正> 洋丁香(Syringa Vulgaris)一般在7月初停止生长,经过一个月时间的生长充实,基本上可以完成芽分化。在自然条件下,丁香花芽形成后,需要休眠,经过冬季冷冻或其它刺激才能
【摘 要】在小学语文群文阅读教学中，科学运用思维导图，能够指导学生构建良好的认知体系，引导学生理解小学语文群文阅读的价值及作用，进而提升小学语文群文阅读教学质量。本文将基于思维导图的内涵，探究其在小学群文阅读教学中的应用，以期能提升小学语文群文阅读教学质量，拓展学生的知识面，提升学生的知识积累。 【关键词】思维导图；小学语文；群文阅读 【中图分类号】G623.23【文献标识码】A 【文章编号
以普适模型FBM为工程背景，对Katz波形分形维计算方法的缺陷进行分析．以超立方体作为覆盖单元，从Hausdorff维和分配维理论出发，在拓扑映射技术下，提出了振动波形长度分形维的定义和
<正> 草坪草种的选择,必须根据当地的土壤气候条件、使用目的和养护管理要求来确定。现介绍几种适宜在北方栽植的草坪草种,仅供参考。一、匍茎剪股颖:学名:Agrostis stolonif
为了分析大型结构件互插装配的干涉问题,提出了基于模板的点云边特征提取方法。模板根据理论计算机辅助设计模型定制而成,包括理论边上的离散点,以及边在各点处的切矢。配准模板与点云数据,根据模板中每一离散点及其对应的切矢信息构建平面,利用其对点云数据切片获得二维截面数据。在每一截面数据中,以理论离散点为界,将截面数据分为两段,分别拟合这两段数据为两段曲线,其交点或切点即为实际边特征上的点。通过曲线拟合、截
<正> 一、水果保鲜剂的组成及功能水果保鲜剂的效果受到许多因素影响,包括果树的种类、品种、生长环境、栽培措施、采收运输、销售等。目前,水果保鲜着眼于采收至