切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
嵌入式软件设计中的关键技术及其实现
嵌入式软件设计中的关键技术及其实现
来源 :太原理工大学学报 | 被引量 : 0次 | 上传用户:band420
【摘 要】
:
针对'非功能'因素如何进行重新抽象的问题,提出了一个'面向参与者'的抽象模型,较好地解决了嵌入式软件系统中的可靠性问题,并初步对'非功能'因素进
【作 者】
:
谭海
史应文
陈俊杰
肖可伟
【机 构】
:
太原理工大学
【出 处】
:
太原理工大学学报
【发表日期】
:
2003年5期
【关键词】
:
嵌入式软件
计算科学
面向参与者
抽象模型
embedded software
science of computation
actororiented d
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对'非功能'因素如何进行重新抽象的问题,提出了一个'面向参与者'的抽象模型,较好地解决了嵌入式软件系统中的可靠性问题,并初步对'非功能'因素进行了重新抽象.
其他文献
苏云金杆菌S387防治水稻一代二化螟试验研究
用苏云金杆菌S387防治水稻一代二化螟,在秧田卵孵高峰期和大田枯鞘期卵孵高峰各用药1次(3 750 mL.hm-2),具有较好的防治效果,枯心率下降83.83%,残留活虫数下降93.75%.
期刊
苏云金杆菌S387
水稻一代二化螟
卵孵高峰期
防治效果
Bacillus thuringiensis strain S387
first generation
Dot—ELISA在鸡IBD免疫检测及诊断中的应用研究
利用鸡传染性法氏囊病病毒(IBDV)细胞适应株在鸡胚CEF单层培养物上增殖后经超速冷冻离心制备抗原,以国产NC膜为载体建立了检测与诊断鸡IBD的Dot-ELISA方法。经与AGP、VN、ELISA等方法进行比较,表明本方法灵敏,快速
期刊
DOT-ELISA
IBD
免疫
检测
诊断
鸡病
Dot-ELISA
IBD
chicken
immunological detection
鸽新城疫病毒分离鉴定
从病死美国鸽脾脏分离到1株病毒,经血凝抑制试验(HI)和电镜观察,确诊为新城疫病毒(NDV)。采用SPF鸡胚和SPF鸡测定其致病指数分别为:MDT=61.4,IVPI=2.53,ICPI=1.68,属于强毒株,该毒株经滴鼻/点眼途径可在96h致死6周龄非免疫鸡并出现典
期刊
美国王鸽
新城疫病毒
鉴定
pigenon of American king
NDV
identification
玉米株型性状的基因效应研究
采用世代分析方法对玉米株型性状的遗传模型、基因效应及其与亲本的关系进行了研究。结果表明,6个月组合的60个性状中分别为10个和22个性状的遗传符合加性--显性,加性--显性--上位性遗伟模型
期刊
玉米
株型性状
基因效应
遗传
corn
plant-type characters
gene effect
heridity
增长曲线模型中回归系数的广义根方估计
本文对增长曲线模型中的回归系数B提出了一种新的估计形式--广义根方估计B(K),其中K=diag(k1,k2,…,kp),并证明了通过广义根方偏参数ki(i=1,2,…,p)的适当选取可使得该估计在
期刊
增长曲线模型
回归系数矩阵
LS估计
根方估计
广义根方估计
均方误差
可溶许性
LS estimate
root power estimate
gener
N—(3,4,5—三甲基苯甲酰基)吗啉的合成
以3,4,5-三甲基苯甲酸甲酯为原料,用甲醇为溶剂,甲醇钠为催化剂,与吗啉经脱醇反应合成N-(3,4,5-三甲基苯甲酰基)吗啉。对反应的一些影响因素包括反应时间,物料配比等进行了研究,得到了较好
期刊
N-(3
4
5-三甲基苯甲酰基)吗啉
合成
脱醇反应
曲氧脱嗪
精神病
三甲氧啉
抗精神失常药
methyl3
4
5trimethoxybenzoate
光纤喇曼放大器增益特性分析
根据SRS(Simulated Raman Scattering)的前向耦合波方程,给出了光纤喇曼放大器的增益表达式,分析了光纤喇曼放大器的增益与泵浦波功率和光纤长度之间的关系.
期刊
光纤喇曼放大器
SRS
增益特性
前向耦合波方程
光通信系统
fiber
raman amplifiers
SRS
gain
河南省森林资源发展趋势预测
应用灰色系统理论建立了河南森林资源预测模型,为林业宏观决策,编制林业发展规划,森林经营管理提供了科学依据。
期刊
河南省
森林资源
发展趋势
灰色预测模型
Henan Province
forest resources
devclopment frend
model of
省委第四巡视组巡视云南警官学院党委工作动员会召开
根据云南省委统一部署,2018年4月27日,省委第四巡视组巡视云南警官学院党委工作动员会召开。会前,省委巡视工作领导小组办公室副主任戴志强主持召开与云南警官学院党委书记李
期刊
云南警官学院
党委工作
巡视组
省委
党委书记
巡视工作
戴志强
副主任
闫家沟渡槽桩基设计及稳定性分析
针对闫家沟渡槽基础位于Ⅳ级自重湿陷性黄土地区,又处于Ⅷ度地震区,且基础上部排架很高这一特殊性,根据建筑桩基技术规范,进行了渡槽桩基优化设计,保正了建筑物的设计安全可
期刊
闫家沟渡槽
桩基设计
稳定性分析
优化设计
地基承载力
Yanjiagou aqueduct
pile base design
loadbearing capa
与本文相关的学术论文