嵌入式软件设计中的关键技术及其实现

来源 :太原理工大学学报 | 被引量 : 0次 | 上传用户:band420
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对'非功能'因素如何进行重新抽象的问题,提出了一个'面向参与者'的抽象模型,较好地解决了嵌入式软件系统中的可靠性问题,并初步对'非功能'因素进行了重新抽象.
其他文献
用苏云金杆菌S387防治水稻一代二化螟,在秧田卵孵高峰期和大田枯鞘期卵孵高峰各用药1次(3 750 mL.hm-2),具有较好的防治效果,枯心率下降83.83%,残留活虫数下降93.75%.
利用鸡传染性法氏囊病病毒(IBDV)细胞适应株在鸡胚CEF单层培养物上增殖后经超速冷冻离心制备抗原,以国产NC膜为载体建立了检测与诊断鸡IBD的Dot-ELISA方法。经与AGP、VN、ELISA等方法进行比较,表明本方法灵敏,快速
从病死美国鸽脾脏分离到1株病毒,经血凝抑制试验(HI)和电镜观察,确诊为新城疫病毒(NDV)。采用SPF鸡胚和SPF鸡测定其致病指数分别为:MDT=61.4,IVPI=2.53,ICPI=1.68,属于强毒株,该毒株经滴鼻/点眼途径可在96h致死6周龄非免疫鸡并出现典
采用世代分析方法对玉米株型性状的遗传模型、基因效应及其与亲本的关系进行了研究。结果表明,6个月组合的60个性状中分别为10个和22个性状的遗传符合加性--显性,加性--显性--上位性遗伟模型
本文对增长曲线模型中的回归系数B提出了一种新的估计形式--广义根方估计B(K),其中K=diag(k1,k2,…,kp),并证明了通过广义根方偏参数ki(i=1,2,…,p)的适当选取可使得该估计在
以3,4,5-三甲基苯甲酸甲酯为原料,用甲醇为溶剂,甲醇钠为催化剂,与吗啉经脱醇反应合成N-(3,4,5-三甲基苯甲酰基)吗啉。对反应的一些影响因素包括反应时间,物料配比等进行了研究,得到了较好
根据SRS(Simulated Raman Scattering)的前向耦合波方程,给出了光纤喇曼放大器的增益表达式,分析了光纤喇曼放大器的增益与泵浦波功率和光纤长度之间的关系.
应用灰色系统理论建立了河南森林资源预测模型,为林业宏观决策,编制林业发展规划,森林经营管理提供了科学依据。
根据云南省委统一部署,2018年4月27日,省委第四巡视组巡视云南警官学院党委工作动员会召开。会前,省委巡视工作领导小组办公室副主任戴志强主持召开与云南警官学院党委书记李
针对闫家沟渡槽基础位于Ⅳ级自重湿陷性黄土地区,又处于Ⅷ度地震区,且基础上部排架很高这一特殊性,根据建筑桩基技术规范,进行了渡槽桩基优化设计,保正了建筑物的设计安全可