论文部分内容阅读
在实时系统建模中,时间自动机是一个普便使用的工具,在求解状态可达性关系时对时钟约束的处理是关键,本文在分析已有理论的基础上提出了如何对含有不同时钟相互约束的系统处理。
对时间自动机中时钟约束的处理
【摘 要】
：
在实时系统建模中,时间自动机是一个普便使用的工具,在求解状态可达性关系时对时钟约束的处理是关键,本文在分析已有理论的基础上提出了如何对含有不同时钟相互约束的系统处
【机 构】
：
郑州大学信息工程学院郑州大学信息工程学院450052河南郑州450052河南郑州450000河南郑州河南工业大学信息科学与工程学院
【出 处】
：
微计算机信息
【发表日期】
：
2008年7期
【基金项目】
：
国家自然科学基金(69873040)
其他文献
目的探讨快速康复外科方案应用于肛肠良性疾病手术的安全性、可行性和经济性。方法回顾性病例分析,根据门诊收入院的方式不同,将拟行肛肠良性疾病手术的患者分为快速康复组和
军用旋翼机也是支援地面部队作战的重要力量,由于历史原因,旋翼机对地支援与空军固定翼飞机近距空中支援又有所不同。本文主要对美国军用旋翼机空对地支援与传统近距空中支援
1932年2月中旬，大地乍暖还寒。在粤东北五（华）兴（宁）龙（川）苏区通往中央苏区的崎岖山路上，几个年轻人背着简单的行装，趁着夜色的掩护，艰难地前行。这里是赤白交界的地带。沉沉的夜空下，疏星点点，万籁俱寂。偶尔，远处传来几声依稀的枪声。 走在最前面的那位年轻人大约二十四、五岁，虽然年轻，但看上去却十分沉稳。他中等身材，半“国”字脸，中分发型，眼睛特别有神。他就是粤东五兴龙苏区主要创建人之一，曾任
1947年6月8日，在安阳召开的功臣大会上,冀南人民将一面“常胜将军 ”的牌匾献给刘伯承司令员。刘伯承致答谢词时谦虚地说：“说我是‘常胜将军’我不敢当。不会是常胜，多数胜就不错了，是党的功，人民的功，我不敢贪天之功。我只是人民的勤务员，没有人民给吃、给穿、给人，军队就不能打仗。” 功高而不傲，保持谦虚谨慎的平常心，是老帅的高风亮节，是革命家的胸襟气度，是共产党人的修养，也是对“两个务必”的深刻解
本文介绍了一种称作占有传感器的控制装置。占有传感器根据所探测到的空间是否被占有来决定灯的通断。在某些场合可以降低照明用电损耗40%或更多。占有传感器采用三种基本技
本文首先介绍了基于因特网的智能远程控制系统的体系结构和使用于系统中的网络数据库关键技术,对多用户同时操作问题、Web客户端/服务器端动态交互的实现、Winsock网络实时传
光电脉冲编码器输出脉冲信号到达滤波器的信号为合法信号与干扰信号的叠加,为了滤除干扰信号和得到合法信号,有基于合法信号认知并滤出合法信号以外的各种信号和基于干扰信号
随着无线通信技术和电子器件技术的快速发展,低成本、低功耗、多功能的无线传感器网络的开发和广泛应用成为可能。大多数应用环境中,用户对无线传感器网络的安全性有较高的要