论文部分内容阅读
体系结构验证评估是保证体系结构产品描述统一、功能一致及系统可集成、可操作的重要环节.论文在分析基于仿真的体系结构验证评估过程的基础上,对体系结构产品到可执行模型的转换方法进行了探讨.最后,结合具体信息系统对其体系结构进行了逻辑验证、行为和效能评估.
军事电子信息系统体系结构验证评估研究
【摘 要】
：
体系结构验证评估是保证体系结构产品描述统一、功能一致及系统可集成、可操作的重要环节.论文在分析基于仿真的体系结构验证评估过程的基础上,对体系结构产品到可执行模型的
【机 构】
：
北京市丰台区大成路13号总体部三室 100039
【出 处】
：
2006军事电子信息学术会议
【发表日期】
：
2006年期
其他文献
在海南的“国际旅游岛”战略指引下,鲁能、华润、万科、富力和雅居乐等全国知名地产商纷纷挥师入琼,投资超过1000亿,第二波海南开发潮已经形成。随着海南鲁能城的成立,深耕海
TD-SCDMA技术的特点和优势不仅适用于民用移动通信系统,在军用移动通信系统中同样可以得到应用.鉴于我军对数字集群通信系统的需求情况,基于TD-SCDMA技术的军用数字集群系统
在新药临床试验中,引起不良事件的因素很多,而受试者存在药代动力学差异就是其中一个重要因素,并已受到广泛关注.药代酶的基因多态性、儿童和老人不同的药代动力学特点,以及
目的:考察注射用丹参总酚酸(TSAI)对大鼠肝微粒体CYP1A2和CYP3A的诱导作用。方法:健康Wistar大鼠随机分为空白对照组、苯巴比妥钠诱导组和给药组,每组6只,雌雄各半,连续给药7
六月十八日上午,初夏明丽的阳光照进人民大会堂。从大会堂北门东大厅传出阵阵欢声笑语。邓小平同志正在这里同出席一九八三年北京科技政策讨论会的二十位外籍华人科技专家愉
解偶联蛋白(uncoupling proteins,UCPs)是一类位于线粒体内膜上的阴离子载体蛋白,属于线粒体载体蛋白超家族。到目前为止,已经发现并确认UCPs同系物为5种,即UCP1～UCP5,中枢神
目的:研究自制伏立康唑亚微乳剂与市售制剂的大鼠静脉给药后的组织分布.方法:制备伏立康唑冻干亚微乳剂,按照36 mg· kg-的给药剂量大鼠尾静脉给药,考察伏立康唑在预定时间的
本文通过查阅文献资料,调查了加拿大、南韩和阿根廷的CANDU燃料在反应堆内的运行情况,并与中国国产燃料进行了对比,对国产CANDU燃料的堆内运行效果进行了初步评价,对燃料破损