切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
实时系统构件非功能性接口语义规约
实时系统构件非功能性接口语义规约
来源 :计算机科学 | 被引量 : 0次 | 上传用户:bp0604
【摘 要】
:
该文给出了基于构件的实时多任务应用系统图形化设计软件的具有分布式C/S关系实时构件的接口定义,主要论述实时构件非功能性接口模型,针对实时特性,提出构件的非功能性接口在
【作 者】
:
刘晓燕
张云生
J-J.Schwarz
李俊昌
【机 构】
:
昆明理工大学信息工程与自动化学院,LIRIS
【出 处】
:
计算机科学
【发表日期】
:
2007年6期
【关键词】
:
实时系统
实时构件
接口设计
非功能性
语义规约
Real-time system
Real-time component
Interface design
【基金项目】
:
云南省教育厅科学研究基金项目(04Y467D),云南省应用基础研究基金项目(2000F0004Z).J·-.1·scIlw眦
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文给出了基于构件的实时多任务应用系统图形化设计软件的具有分布式C/S关系实时构件的接口定义,主要论述实时构件非功能性接口模型,针对实时特性,提出构件的非功能性接口在时间性、调度性、合成性、同步、互斥以及资源设备控制方面的语义规约。
其他文献
基于UWB的Inter—piconet网间通信问题的研究
针对目前基于UWB(超宽带技术)的IEEE802.15.3a标准协议并未规范其inter-piconet范围的网间通信问题及移动个域网的发展对此的需求,提出了建立完善的piconet之间通信流程的解决方案
期刊
超宽带
微微网
MB-OFDM
DS-CDMA
UWB
Piconet
MB-OFDM
DS-CDMA
包头市区1995—2003年肺癌住院病例特征分析
目的:了解1995~2003年包头市区肺癌的发病特征,为肺癌的防制和流行病学研究提供依据。方法:收集包头市区所有能收治恶性肿瘤病人的18所区级以上医院的1995、1997、1999、2001、20
期刊
肺癌
发病特征
流行趋势
Lung cancer
Incidence trend
Epidemiological characteristics
求解TSP问题的自逃逸混合离散粒子群算法研究
通过对旅行商问题(TSP)局部最优解与个体最优解、群体最优解之间的关系分析,针对DPSO算法易早熟和收敛慢的缺点,重新定义了离散粒子群DPSO的速度、位置公式,结合生物界中物种在
期刊
离散粒子群算法
旅行商问题
自逃逸
Discrete particle swarm optimization algorithm
Traveling sale
不同途径超声检查诊断宫外孕的价值
目的:探讨不同途径的超声检查诊断宫外孕的价值。方法:对168例宫外孕患者的病历资料进行回顾性分析。结果:腹部超声(TAS)和阴道超声(TVS)相比诊断符合率差异有统计学意义;腹部超声和
期刊
宫外孕
超声检查
临床诊断
治疗方法
鄂尔多斯地区2003-2007年无偿献血者梅毒感染情况分析
目的:了解鄂尔多斯地区无偿献血者梅毒感染情况,为安全输血制定预防措施提供依据。方法:用RPR和TP-ELISA试剂对2003年7月至2007年6月对所有献血者梅毒感染情况进行筛查,对结果
期刊
无偿献血者
梅毒
感染率
扩展的Web Service服务质量模型研究
服务质量的描述和计算评价是服务描述、选择和运行监控的重要部分。目前Web Service服务质量研究主要集中在服务实现层的运行性能保障,而对用户更加重视的应用层服务质量则没
期刊
服务性能
服务描述
综合模糊评价
上下文
WEB
SERVICE
服务质量
质量模型
扩展
评价指标体系
Quality of service
Web ser
IPv4/IPv6网间的SIP通信的解决方案
在分析SIP协议和的IPv4/IPv6转换机制的基础上,提出了一种应用层网关与NAPT-PT相结合的解决方案并且实现了在不改动终端和原有设备的情况下实现了异类网之间SIP通信。
期刊
SIP
IPV6
NAPT—PT
ALG
SIP
IPv6
NAPT-PT
ALG
其他学术论文