论文部分内容阅读
带时间和资源约束的过程模型验证方法及其实现
【机 构】
:
中国科学院大学
【出 处】
:
中国科学院大学
【发表日期】
:
2014年期
其他文献
该文对离线口令探测和在线口令探测这两种口令安全探测中的主要方法进行了研究,介绍了相关的概念和原理,深入地探讨了相关的算法和实现技术.同时,还对中国人的口令进行了专门
该论文通过对微机群环境POSC数据仓实现机制研究,提出了基于微机群POSC数据仓的实现机制,突破了原来基于单机应用环境支持的POSC数据仓局限,实现POSC数据仓应用由单机环境支
该文研究了人工嗅觉在物质识别中的应用,主要是针对一些表现出香气物质的定性识别及其不同浓度物质的定量判断.首先概述了人工嗅觉系统的两个主要方面:系统硬件中传感器辨识气
该文对该搜索引擎的几个组成部分:网络机器人、网页分析器、语义网络及检索部分等部分的设计和实现作了详细的介绍.该文所采取的技术在查全率和查准率上都有很好的效果.
当前农村医疗的信息化建设还不完善,与农村常见病相关的医学数据利用率低、数据量大,如何从这些数据中准确、快速的检索到需要的数据,为农村赤脚医生和农村居民提供帮助,是农
该课题主要研究如何测试基于构件开发的软件系统,为其产生驱动软件和有效的测试用例.为了克服第三方构件的源代码不可见性,该文假设第三方构件能够提供其规格说明,通过扩展标
该文描述了把嵌入式实时操作系统BachOS移植到PC机上的过程.主要涉及三个部分:BachOS内核代码的修改;系统启动程序的设计与编写;对系统的功能扩充,主要是键盘驱动的实现.对内