论文部分内容阅读
定义了Petri网中E-CSPE约束机制,给出了一个在Petri网中基于E-CSPE约束的数据流测试指标。在准确描述分布式程序及运行的基础上,解决了用Rapps-Weyuker数据流测试指标引起的测试路径空间爆炸问题。
Petri网中基于E-CSPE约束的数据流测试
【摘 要】
：
定义了Petri网中E-CSPE约束机制,给出了一个在Petri网中基于E-CSPE约束的数据流测试指标。在准确描述分布式程序及运行的基础上,解决了用Rapps-Weyuker数据流测试指标引起的
【机 构】
：
太原师范学院太原
【出 处】
：
重庆科技学院学报(自然科学版)
【发表日期】
：
2007年3期
其他文献
介绍实验室仪器设备管理系统的设计与开发。该管理系统运用面向对象程序设计技术、数据库技术等多个领域的知识，采用客户端／服务器结构，实现实验设备管理的自动化。
研制一种变压器实时损耗在线监测及报警系统。该系统由监测终端与监控中心组成,监测终端通过采集变压器二次侧电流信号,获得变压器实时损耗。当获得损耗较高时,向监控中心发
介绍了炼钢厂钢包内钢水温降研究的现状.阐明了通过提高钢包烘烤温度、加快钢包热周转、包衬加隔热层、钢水表面加覆盖剂、浇注钢包加盖等减少钢水温降的措施.
要提高高职高专的学生思想政治教育的实效性,应转变教育观念,改革德育内容和方法,大力开展校园文化建设,加强校园网络建设和管理,积极做好学生心理健康教育.
电场测量法是一种检测劣质绝缘子的有效方法。为了准确方便地测量绝缘子电场，为后续的诊断提供数据，设计一种新型阵列式三维绝缘子电场测量仪的硬件组成和软件结构．重点阐述了三
阐述随机等效采样的基本原理;选择基于双斜率电容充放电原理的随机等效采样方案;设计等效采样系统,实现200MHz等效20GHz的采样率,从而扩展数字存储示波器的工作带宽。
根据汽轮机低真空循环水供热原理,对银川热电公司#1、2号汽轮发电机进行低真空循环水供暖改造,使该机组在冬季实现低真空循环水供暖功能,充分利用机组的冷源损失,实现能源的
在Dini上方向导数背景下,研究一类非线性优化问题的一些性质。当目标函数和约束函数满足一定条件时,若该优化问题满足Slater约束规格,即可得到Lagrange乘子定理。
研究开发了一种新型焊接热循环测试及分析系统,现场焊接并采集了不同状态下15MnMoVN钢的HAZ热循环曲线,对所采集的曲线在800℃～300℃冷却区间段进行了二阶差分计算,发现有,绝