搜索筛选:
搜索耗时2.0506秒,为你在为你在102,285,761篇论文里面共找到 17 篇相符的论文内容
类      型:
[期刊论文] 作者:陈蔚薇, 来源:大观 年份:2015
翻阅隋唐长安城相关典籍,我们会发现“天街”这一名词经常出现在朱雀大街相关资料中。仔细查阅后不难发现“天街”与朱雀大街、承天门街、天门街以及槐街等之间有着紧密的联系。《全唐诗》中的“天街”更是成为著名的长安城文学意向之一。  那么究竟“天街”指......
[期刊论文] 作者:陈蔚薇, 来源:西江文艺 年份:2017
【摘要】:《华阳国志》较为详细和客观地记述了自远古至公元347年,我国古代西南地区的历史、地理、经济、人物、风俗及民族等诸多内容,具有丰富的史料价值。羁縻政策萌芽于先秦,创立于秦代,两汉时期得到进一步发展。针对秦汉时期西南少数民族边疆地区实行的羁縻政策,......
[会议论文] 作者:席隆,陈蔚薇, 来源:第九届全国核电子学与核探测技术学术年会 年份:1998
该文介绍了一种用于空间探测的仿真测试系统。它采用了以高性能工控机构成的以太网为硬件平台。用图形化编程语言LabVIEW及C++完成了对相关系统的仿真。...
[期刊论文] 作者:王赟华,陈蔚薇, 来源:计算机工程与设计 年份:2006
安全监控是维护软件系统并保证软件系统可靠运行的基本手段.对于实时性要求比较高的应用软件系统,必须慎重考虑安全监控对系统功能和性能的影响,并且还要能获得所有需要的监...
[期刊论文] 作者:王贇华,陈蔚薇, 来源:计算机工程 年份:2006
为了研究最先进的模型驱动开发方法,并将之应用于工程,以提高工程的质量和效率,该文采用了Telelogic公司的UML2.0工具Tau Developer,利用其最强大的两个功能——模型验证和代码自...
[期刊论文] 作者:王赟华,陈蔚薇,, 来源:计算机工程 年份:2006
为了研究最先进的模型驱动开发方法,并将之应用于工程,以提高工程的质量和效率,该文采用了Te1elogic公司的UML2.0工具Tau Developer,利用其最强大的两个功能--模型验证和代码...
[期刊论文] 作者:王金波,赵光恒,陈蔚薇, 来源:计算机工程与设计 年份:2008
安全关键软件如果发生故障,可能会对国家财产和人民安全造成巨大的损失,所以需要重点考虑它们的安全性。但是由于当前还无法精确地定量评估软件安全性,而只能在软件生命周期中从......
[期刊论文] 作者:陈小光, 陈蔚薇, 郭丽丽,, 来源:微计算机信息 年份:2008
软件运行剖面定量描述软件的使用方式,可以为软件测试提供一个定量的依据,从运行剖面出发可以自动生成测试用例,对提高软件测试的效率与正确性具有很重要的意义。本文给出了...
[期刊论文] 作者:王金波,赵光恒,陈蔚薇, 来源:吉林大学学报:工学版 年份:2009
以任务剖面的关键度划分为出发点,考虑测试的有效性,建立一种随测试覆盖率变化的嵌入式软件可靠性增长模型,改变了以往模型中可靠性提高单纯依靠测试时间增长以及可靠度结果...
[期刊论文] 作者:陈果,陈蔚薇,林宝军, 来源:计算机工程与设计 年份:2005
软件测试是保障软件质量的关键,开发者通常都是先写代码后测试,但当时间很紧迫时,测试就变得很困难并且经常被忽略.极限编程最佳实践之一的测试驱动开发在写代码之前先写测试...
[期刊论文] 作者:张蓝博, 张善从, 陈蔚薇,, 来源:计算机工程与设计 年份:2008
飞行器上的计算机系统软件有时需要更新或升级,为了增加软件更新或升级的灵活性,降低其代价,有必要根据功能对飞行器上的软件进行模块划分,以实现单模块可更新升级。为此,提...
[期刊论文] 作者:尚景亮, 陈蔚薇, 郭丽丽,, 来源:计算机工程与设计 年份:2009
针对航空航天等安全关键领域里嵌入式软件测试中存在的困难,引入并研究了用户需求模型和任务剖面模型的概念及表示方法,设计并实现了基于用户需求模型的任务剖面模型自动建模算......
[期刊论文] 作者:郭丽丽,陈蔚薇,任晓锋,, 来源:载人航天 年份:2006
面临目前空间应用任务地面支持系统软件确认测试过程中的问题,提出可用于自动化测试的框架式测试方法及其实现机制,并在初步实践中对这种方法的有效性进行了验证。...
[期刊论文] 作者:王晓华,顾逸东,陈蔚薇,张涛, 来源:微计算机信息 年份:2008
嵌入式环境的仿真能够为嵌入式软件的测试和可靠性的提高提供有力保障。当前的指令集环境模拟不能满足实际测试中的需要,基于此,构建了满足最小测试子集的仿真系统。该系统以关......
[期刊论文] 作者:王晓华,顾逸东,陈蔚薇,郭丽丽, 来源:计算机工程与设计 年份:2008
随着面向对象程序的发展,它的切片表示法也逐步成熟。对面向对象程序依赖图和面向对象系统依赖图这两种主流的面向对象切片表示法进行研究后,给出了两种方法的主要特点,并比较了......
[期刊论文] 作者:王晓华,顾逸东,陈蔚薇,郭丽丽, 来源:微计算机信息 年份:2008
为了加速软件开发,提高软件质量,本文针对开发过程提出了一种改进的有条件切片算法。该算法改造了程序控制流程图,扩充了程序数据依赖定义,按照条件切片的一阶逻辑谓词缩减目...
[期刊论文] 作者:李新明,陈蔚薇,崔鸣华,关德俶, 来源:质谱学报 年份:1986
本文提出的饱和脂肪胺质谱人工智能解释计算机程序(DCP-MS-AA程序),完全立足脂肪胺化合物低分辨EI谱。由于较合理、充分地运用了脂肪胺质谱碎裂、重排规律,同时针对脂肪胺质...
相关搜索: