作者： 单位：中国科学院软件研究所 出版：《》 页数：20页  （PDF与DOC格式可能不同） PDF编号：PDFRJXB2007120200 DOC编号：DOCRJXB2007120209 下载格式：PDF + Word/doc 文字可复制、可编辑

    • 第1期一种扩展了价格信息的时间Petri网……………………刘显明李师贤李文军潘理(1)时间约束Petri网及其可调度性分析与验证…………………………宋巍窦万春刘茜萍(11) Petri网共享PP-型子网合成性质分析……………………………夏传良焦莉陆维明(22) Godel n值命题逻辑中命题的α-真度理论…………………………………李骏王国俊(33)关于二元延迟3步前馈逆有限自动机的结构(英文)………………………王鸿吉姚刚(40)场景驱动的构件行为抽取……………张岩胡军于笑丰张天李宣东郑国梁(50)一种基于时间自动机的实时系统测试方法…………………陈伟薛云志赵琛李明树(62)

    📙 相关资料

    1. 《一种无线网络控制系统概率性任务实时调度算法》PDF+DOC 传统无线网络控制系统中概率性任务调度算法存在效率低下、延迟时间长的问题.利用概率模型来解决时间和优先级问题，并提出了一种高效的任务调度算法，即通过判断队列的可调度性，提高调度的成功率.仿真实验表明，该算法适用于实时系统调度问题，且较已有的传统算法在性能上有一定的提高。...
    2. 《我国突破大规模无线传感器网络测试关键技术》PDF+DOC 由工业和信息化部电子第五研究所软件质量工程中心牵头，联合香港城市大学故障预测与系统健康管理研究中心共同承担的粤港关键领域重点突破项目——“大规模无线传感器网络测试关键技术研究及应用”通过验收。大规模无线传感器网络一般是指为了获取精确信息，在监测区域部署的大量传感器节点，通常部署数量可多达成千上万，...
    3. 《基于ZigBee无线传感器网络的井下环境监测系统设计》PDF+DOC 为了克服井下环境监测存在的布线复杂、数据准确性不高的弊端，结合井下实际环境特点，设计了一种基于ZigBee无线传感器网络的井下环境监测系统，介绍了系统的硬件和软件设计，给出了系统的建立与测试方法。采用LabVIEW开发了上位机监测软件，能够实时监测井下瓦斯浓度和温湿度。经测试表明，该系统搭建方便，易......
    4. 《传感器网络信息处理支撑服务测试研究》PDF+DOC 研究传感器网络信息处理支撑服务的测试方法，在此基础上，提出一种测试验证平台的解决方案。分析主动和被动测试方法。由服务器向激励节点发送测试激励，并由汇聚节点反馈测试结果，根据该主动测试原理，给出各服务请求、指示、确认操作的测试流程。设计并实现具有较强可重用性的测试验证平台。应用结果表明，该测试方法是有......
    5. 《无线传感器网络的嵌入式软件测试》PDF+DOC 介绍了无线传感器网络软件模块的基本组成和其中的数据中转器嵌入式软件部分的功能设计，重点介绍嵌入式软件测试的基本概念、测试方法和关键技术。在此基础上给出了数据中转器的嵌入式软件测试系统的基本框架图和必要的软件测试工具介绍。...
    6. 《无线控制的负延时存储测试方法》PDF+DOC 针对在恶劣环境下冲击波场超压测试传统方法中布线难、干扰大、无法实时监测和及时获取数据等问题，提出了一种无线控制的负延时存储测试方法。存储测试装置由传感器、模拟适配调理电路、A/D变换器、存储器、控制电路、接口、电池组成，由单片机与CPLD共同控制两片NAND结构闪存实现高速完整存储。Zigbee无线......
    7. 《基于UPPAAL的数据关联时序有限自动机模型验证》PDF+DOC 对数据关联过程建立了时序有限自动机模型，时序有限自动机时钟变量只取整数值，从而减小数据关联过程生成的状态空间。在一定的时间约束下，使用模型检测工具UPPAAL对所建模型的关键性质——关联准确性进行了分析和验证。检测结果验证了利用UPPAAL进行数据关联准确性分析的可行性。...
    8. 《矿山安全管理系统中混合关键性实时调度研究》PDF+DOC 为了确保安全的矿下工作环境，设计和开发了一套矿山安全监管系统，实时监控矿下工人生产环境和设备运行状况.由于系统服务器处理能力有限以及缺乏合理有效的调度策略，系统在发生状态转换时会有一部分任务错失截止期，尤其在发生紧急情况时，关键性高的任务得不到及时响应可能会造成财产损失和人员伤亡.为此结合实时调度研......
    9. 《基于复合量程加速度计的无线传感器网络设计》PDF+DOC 针对传统的有线测试方法安装麻烦、线路复杂、受干扰较多等缺点，会造成信号噪声过大、信号失真，甚至会出现采集到的信号无效的问题，提出了一种基于复合量程加速度计的无线传感器网络，并对其进行了性能测试。测试结果表明：设计的无线传感器网络可以无损耗地传输复合量程加速度计输出信号，完成对覆盖区域加速度信号的测量......
    10. 《基于无线传感器网络的石油钻机设备远程监控系统的设计与实现》PDF+DOC 针对目前石油钻井分布广、环境恶劣等特点和目前石油钻井参数记录仪器仪表相对落后的现状，设计实现了基于无线传感器网络的石油钻机实时监测系统，改善了现有钻机测量参数有线传输而导致的可移动性差，系统现场布置工作繁琐，施工周期长等缺点。文章详细介绍了系统的整体设计框架，包括选择具有丰富扩展接口的TQ2440开......

    提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。