切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
[!--class.name--]论文
[!--title--]
[!--title--]
来源 :中国科学院软件研究所 | 被引量 : [!--cite_num--]次 | 上传用户:[!--user--]
【摘 要】
:
与一般的软件系统相比较,实时系统具有实时性、并发性等特点,并且此类系统往往要连续运行很长时间,这对系统的健壮性和安全性提出了很高的要求。实时软件系统的复杂性和高安全需
【作 者】
:
陈伟
【机 构】
:
中国科学院软件研究所
【出 处】
:
中国科学院软件研究所
【发表日期】
:
2006年期
【关键词】
:
软件测试
实时软件系统
统一建模语言
时间自动机
时间模型
最简稳定符号状态转移图
测试控制标记
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
[!--newstext--]
其他文献
基于词三角的短文本主题模型算法
随着社交网络和问答网站的兴起,短文本已成为网络上信息传递的主要方式,例如传统网页的标题、各类新闻和博客的标题等都是短文本形式的。同时,微博、知乎、Twitter、Facebook
学位
主题模型
短文本
词网络
词三角
词团
CAS-Earth自主访问控制机制研究和实现
本文以一个实际的安全操作系统CAS—Earth中的自主访问控制机制的开发实践为基础,针对相关安全系统评测标准对自主访问控制机制的要求,提出并实现了一种增强的自主访问控制机制
学位
安全操作系统
自主访问控制
访问控制表
私有组
可执行文件ACL
反向授权
FreeBSD系统
情报出版中的数据追踪与同步
情报出版主要应用在商业印刷中的商品流通领域。随着自动化排版的日益发展,用户对于自动化排版系统的要求也愈来愈高,情报出版中使用的后台数据源通常是一个专用的排版数据库,排
学位
情报出版
数据同步
数据追踪
电子商务中基于软件Agent的自治动态协商模型
随着Internet的快速发展,传统的电子商务流程面临着新的挑战。软件Agent的出现,提供了一种新的网络计算模式,在解决电子商务这样的大型分布式系统问题上具有适应性和优势。目前
学位
软件Agent
软件Agent电子商务
电子商务动态协商
动态协商J2EE
J2EEBDI模型
BDI模型
基于进程信息的磁盘电源管理技术的研究与实践
近年来,计算机系统的功耗问题越来越受关注。高效的能量利用能延长移动设备电池的使用时间,降低个人计算机和服务器的使用成本,减小对环境的影响。在计算机系统的部件中,磁盘的功
学位
电源管理
磁盘
进程信息
计算机系统
功耗
Handle服务器系统设计与实现
本文主要讨论了一种全新的互联网络资源寻址定位技术——Handle服务器系统的研究与实现。作者介绍了Handle协议的基本理论,分析了Handle系统的特点,以及在实现上的必要性和可行
学位
互联网络
资源寻址定位
Handle服务器
Handle协议
DNS解析请求
动态线程池
借助三角形稳定性模拟图状包装纸盒折叠的一种方法
包装辅助设计是一个方兴未艾的产业,纸盒包装又是包装业的重中之重,而在包装辅助设计中,包装效果的三维仿真是一个包装辅助设计软件不可缺少的重要组成部分,其质量的好坏直接影响
学位
包装CAD
模拟仿真
图状盒型
树状盒型
三角剖分
纸盒折叠
钢体盒型
软体盒型
移动自组网的安全研究
在计算机网络世界中,无线网络起到了越来越重要的重要,移动手机GSM网络已经在全世界广泛部署,无线局域网络在IEEE802.11系列标准的推动下也越来越完善,本文介绍了一种新型的无线
学位
移动自组网
网络安全
密钥管理
路由协议
拒绝服务攻击
入侵检测
面向传感器网络的智能查询与分析处理系统的设计与实现
传感器网络(SensorNetworks)综合了传感器技术、嵌入式计算技术、无线通信技术和分布式信息处理技术,能够协作地实时监测、感知和采集各种环境或监测对象的信息并对其进行处理
学位
传感器网络
查询处理
智能分析
自适应
分布式聚类
一种定向分布式网络爬虫框架研究与实现
互联网和信息技术的空前发展,加速了人类活动信息的产生,互联网信息总量急剧增加,人们对信息的获取和处理的需求不断提升,需要更加智能化和定制化的网络爬虫,以满足不断增长的网络
学位
数据抓取
定向分布式网络爬虫框架
信息存储
开源软件
与本文相关的学术论文