论文部分内容阅读
该文给出了基于构件的实时多任务应用系统图形化设计软件的具有分布式C/S关系实时构件的接口定义,主要论述实时构件非功能性接口模型,针对实时特性,提出构件的非功能性接口在时间性、调度性、合成性、同步、互斥以及资源设备控制方面的语义规约。
实时系统构件非功能性接口语义规约
【摘 要】
：
该文给出了基于构件的实时多任务应用系统图形化设计软件的具有分布式C/S关系实时构件的接口定义,主要论述实时构件非功能性接口模型,针对实时特性,提出构件的非功能性接口在
【机 构】
：
昆明理工大学信息工程与自动化学院,LIRIS
【出 处】
：
计算机科学
【发表日期】
：
2007年6期
【基金项目】
：
云南省教育厅科学研究基金项目（04Y467D）,云南省应用基础研究基金项目（2000F0004Z）.J·-.1·scIlw眦
其他文献
针对目前基于UWB（超宽带技术）的IEEE802．15．3a标准协议并未规范其inter-piconet范围的网间通信问题及移动个域网的发展对此的需求，提出了建立完善的piconet之间通信流程的解决方案
目的：了解1995～2003年包头市区肺癌的发病特征，为肺癌的防制和流行病学研究提供依据。方法：收集包头市区所有能收治恶性肿瘤病人的18所区级以上医院的1995、1997、1999、2001、20
通过对旅行商问题（TSP）局部最优解与个体最优解、群体最优解之间的关系分析,针对DPSO算法易早熟和收敛慢的缺点,重新定义了离散粒子群DPSO的速度、位置公式,结合生物界中物种在
目的：探讨不同途径的超声检查诊断宫外孕的价值。方法：对168例宫外孕患者的病历资料进行回顾性分析。结果：腹部超声（TAS）和阴道超声（TVS）相比诊断符合率差异有统计学意义；腹部超声和
针对单个JVM的性能缺陷问题,分析了实现分布式JVM的关键技术,提出了一个基于Spaces的分布式虚拟机集成模型,该模型将执行代码和数据分离,通过异步协作机制和动态装载类技术,
目的：了解鄂尔多斯地区无偿献血者梅毒感染情况,为安全输血制定预防措施提供依据。方法：用RPR和TP-ELISA试剂对2003年7月至2007年6月对所有献血者梅毒感染情况进行筛查,对结果
讨论了变精度粗糙集模型中现有的属性约简方法，找出了β约简的不足；介绍了Inuiguchi提出的保持决策类下近似，上近似，边界和无法预言区的属性约简定义；说明了保持下近似的属性约简
现已有许多调度算法在某些特定条件下能产生最优调度。Darbha和Agrawal提出的TDS算法能产生最优调度，其最优条件比较苛刻，实用性不强。Park和Choe提出一种扩展调度算法（Extended
服务质量的描述和计算评价是服务描述、选择和运行监控的重要部分。目前Web Service服务质量研究主要集中在服务实现层的运行性能保障，而对用户更加重视的应用层服务质量则没