论文部分内容阅读
针对普适计算模式下安全关键系统对实时性和可信性的需求，从提高软件质量和开发效率的角度出发，首先讨论了实时可信构件的内涵，接着提出了一个基于中间件的实时可信构件的开发模型，最后以提出的模型为基础，阐述一个构件化的可定制实时可信构件的开发框架，并给出框架的实现方法。
基于中间件的实时可信构件的开发框架研究与实现
【摘 要】
：
针对普适计算模式下安全关键系统对实时性和可信性的需求，从提高软件质量和开发效率的角度出发，首先讨论了实时可信构件的内涵，接着提出了一个基于中间件的实时可信构件的开发模
【机 构】
：
成都信息工程学院计算机系,电子科技大学计算机科学与工程学院
【出 处】
：
西华大学学报：自然科学版
【发表日期】
：
2007年5期
【基金项目】
：
“863”高技术研究发展计划项目（No.2006AA012173）
其他文献
临湘市中医院创建于1976年，是一所集医疗、急救、预防保健、教学、康复于一体的具有中医特色的综合性二级甲等医院，也是我市城镇职工、城镇居民，工伤、生育、商业保险和新农合定
目的：探讨中医药院校大学生应付方式的特点,为针对性地开展心理健康教育提供依据.方法：采用应付方式问卷对中医药院校大学生进行问卷调查,评估和调查中医药院校大学生应付方式
分析了公路快速客运的内涵及发展意义，构建了西部地区公路快速客运系统的结构框架，并以用户效用函数为依据对公路快速客运的服务对象进行了探讨。最后提出了一些建议，为西部地区
目的：观察降脂通络饮治疗高脂血症的临床疗效。方法：将符合纳入标准的90例患者,随机分为治疗组60例和对照组30例,治疗组采用降脂通络饮,对照组采用脂必妥片,两个疗程后,对比临
针对每层热传导系数为常数的分层计算模型，采用功能梯度材料（FGM）每层热传导系数为指数变化规律，对原计算模型进行改造，消除了每层热传导系数跳跃性，得到稳态温度场的温度分布计算
转轮是由一系列叶片和回转特征的零件组成.叶片是大型水轮机为了高效制造这类叶片和有效地控制制造成本,研究开发出了一系列的计算机辅助叶片制造技术,包括:基于水轮机叶片制
本文作者概括性地介绍了低比转速离心叶轮水力设计领域近年中取得的进展和新理论,讨论分析了不同目标的叶轮几何参数计算、叶片绘形等关系水泵性能重要设计命题的新原则、新
目的:观察消翳方配合西药常规治疗单纯疱疹病毒性角膜炎的疗效及对患者T细胞亚群的影响。方法:将100例单纯疱疹病毒性角膜炎患者随机分为两组各50例,治疗组口服消翳方并配合
针对高强度钢板及厚板料成形的拉延模型面采用普通的Mo-Cr铸铁或HT300铸铁制造，会很快出现拉延模具磨损严重、制件拉毛拉裂等问题，本文作者提出了在成形部分采用高强度高耐磨性
选取年龄1～13岁儿童的40微升的全血作为调查整体，采用分层抽样法，根据血红蛋白含量值把样本分成若干群，在群的内部进行随机抽样，抽取30个样本，应用软件SPSS对儿童血液中血红蛋白含