论文部分内容阅读
将测试弧引入具有确定和随机时延的确定与随机Petri网DSPN系统,并给出了此DSPN系统的定义及其变迁实施条件和实施后果.这不仅增强了Petri网的描述能力,而且为Petri网的理论分析奠定了基础.
具有测试弧的确定与随机Petri网
【摘 要】
：
将测试弧引入具有确定和随机时延的确定与随机Petri网DSPN系统,并给出了此DSPN系统的定义及其变迁实施条件和实施后果.这不仅增强了Petri网的描述能力,而且为Petri网的理论分
【机 构】
：
中国科学院沈阳自动化研究所,中国科学院沈阳自动化研究所
【出 处】
：
仪器仪表学报
【发表日期】
：
2005年z1期
【基金项目】
：
国家自然科学基金，辽宁省博士科研项目，辽宁省教育厅资助项目
其他文献
研究了Gauss整数环商环中元素的个数问题,并用一种新的初等方法解决了以下猜想：Gauss整数环的商环（Z[i]/（n＋mi））元素个数是m2＋n2.
详细介绍了伽利略系统的主要技术特性、当前状态,其对IGS带来的潜在利益以及伽利略系统对IGS的倡议行动和长期计划。
<正> 广州抽水蓄能电站的模型试验工作,是1989年11月至12月在瑞士洛桑理工学院水力机械及流体力学研究所试验台上(EPFL/IM·HEF)进行的。整个试验工作都按照IEC193和IEC4
以黄河三角洲清水沟汊河的入海口为研究区域,以Landsat影像为主要数据源展开研究。利用ERDAS对遥感影像进行几何精校正、配准、裁减、分类等操作,再通过ArcGIS进行编辑,进而提取海岸线。通过分析影响海岸线变化的主要因素,建立元胞自动机模型(CA模型),基于这个模型,CJHJ结合ArcEngine9.2开发海岸线演变模拟系统。在该系统上结合黄河来沙数据,进行模型训练,得到一组参数,利用这组参数
地心坐标系正在取代传统的参心坐标系,建立适应现代科学技术,并满足城市发展需要的测绘基准是测绘发展的必由之路,城市大地基准的现代化改造是城市测绘基准的现代化重要组成部分。本文论述了城市大地基准现代化改造中的主要工作及注意点,并提出一些建议。
根据BSO基光寻址空间光调制器快速调制、稳定可变的工作电压要求,同时根据编程线性控制电压的需要,设计制作可以满足空间光调制器在写入、读出和擦除过程中不同电压需要的电