搜索筛选:
搜索耗时2.6381秒,为你在为你在102,285,761篇论文里面共找到 9 篇相符的论文内容
发布年度:
[学位论文] 作者:于林宇,
来源:中国科学院研究生院(本部) 中国科学院研究生院 中国科学院大学 年份:2007
新一代航天控制系统先进性的重要标志之一是计算机技术的广泛应用,嵌入式软件作为计算机技术的一个分支,日益成为控制系统的神经中枢,已成为影响质量可靠性的关键因素之一。软件......
[期刊论文] 作者:宋文, 于林宇, 刘军,,
来源:测控技术 年份:2005
阐述了武器装备嵌入式软件的系统测试的重要性,论述了利用通用嵌入式软件测试环境(GESTE)对武器装备嵌入式软件进行系统测试的方法和过程,最后给出了一个实例应用....
[期刊论文] 作者:王爱莉,王文杰,于林宇,
来源:吉林大学学报:信息科学版 年份:2006
为了衡量不同软件的可靠性,至今人们已经建立了一百多种软件可靠性模型,但是在实际工程中,由于可操作性等方面的制约,难以有效应用。针对这种现象,给出了一种衡量软件可靠性的简单......
[会议论文] 作者:刘伟,于林宇,陈义林,
来源:全国软件测试能力验证总结会暨中国宇航学会计算机应用专业委员会2006年学术年会 年份:2006
本文基于GJB 5236-2004《军用软件质量度量》所规定的质量模型,并利用人工智能中的主观Bayes不确定性推理网络,提出了一种新的基于主观Bayes的软件质量评价技术.航天软件中广泛使用TMS320C3X汇编语言编程,TMS320C3X汇编语言软件质量得到了普遍重视,但由于TMS320......
[期刊论文] 作者:于林宇,刘伟,于伟,王爱莉,,
来源:计算机仿真 年份:2005
该文提出一种新的,利用小波模极大值的基于特征和区域的混合立体匹配算法。首先详细地叙述了如何利用小波模极大值提取图像边缘,并用该点的小波模极大值和幅角作为这些边缘点的特征描述。并在图像边缘立体匹配的过程中,将以前用于图像灰度域的互相关函数应用于......
[期刊论文] 作者:于林宇,孙文靖,王爱莉,,
来源:计算机仿真 年份:2006
随着面向对象和软件复用技术的发展,产生了一种新的基于构件的软件开发方法,被广大软件开发人员普遍看好,发展很快。为了解决基于构件的软件开发成本估算的问题,结合构件的复用成本公式,在分析基于构件的软件开发方法特点的基础上提出了一种基于构件仿真的软件......
[期刊论文] 作者:王爱莉, 于林宇, 吕江花,
来源:吉林大学学报:信息科学版 年份:2005
反射由于自身所具有的描述自身和动态修改自身的独特能力而受到越来越多的关注,在许多应用领域展开了相应的研究和应用.针对目前国内外发展趋势,在介绍反射思想的基础上,系统...
[期刊论文] 作者:陈钢, 于林宇, 裘宗燕, 王颖,,
来源:北京大学学报(自然科学版) 年份:2016
近年来,形式化方法发展很快,一些技术已经产生工业应用。以逻辑系统为主线,分析几个影响力比较大的形式化验证技术和验证工具,以帮助应用工程师选择并使用形式化工具。主要包...
[会议论文] 作者:张国宇,于林宇,刘军,陈国敏,
来源:第四届中国航天质量论坛 年份:2013
以各型军用飞机、导弹为代表的武器装备作为高技术集成系统,正朝着高集成度、高可靠性、高精度等方向发展.可编程逻辑器件由于具有集成度高、体积小、功耗低、速度快等诸多优...
相关搜索: