检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

软件分析技术进展

计算机学报 2009年第9期32卷 1697-1710页

作者：梅宏王千祥张路王戟北京大学信息科学技术学院高可信软件教育部重点实验室北京100871 国防科学技术大学计算机学院并行与分布处理国防科技重点实验室长沙410073

软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间互相影响.文章在讨论了软件分析的基本概念之后,主... 详细信息

软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间互相影响.文章在讨论了软件分析的基本概念之后,主要从静态分析与动态分析两个方面介绍了一些主要的软件分析技术以及部分相关分析工具.结合软件的质量问题,文章还探讨了一些分析技术与软件质量属性的相关性,以便于人们在分析特定的软件质量属性时,选取合适的技术与工具.最后,文章展望了软件分析技术的发展趋势.

关键词：软件分析静态分析动态分析软件质量

基于点流速雷达的在线流量监测系统软件分析与设计

在线全文

学校读者我要写书评

暂无评论

治淮 2022年第6期 28-29页

作者：虞寅佳陈志峰江苏南水科技有限公司南京210012 水利部南京水利水文自动化研究所南京210012

基于点流速雷达波流量监测技术是一项实现流量自动监测的新技术,该系统具有高度智能化、自动化、全天候工作、不接触水体、环境适用能力强等特点,分析设计点流速监测系统软件,完善点流速测流控制软件的功能对提升水文测验工作效率和自... 详细信息

基于点流速雷达波流量监测技术是一项实现流量自动监测的新技术,该系统具有高度智能化、自动化、全天候工作、不接触水体、环境适用能力强等特点,分析设计点流速监测系统软件,完善点流速测流控制软件的功能对提升水文测验工作效率和自动化水平具有重要的推动作用。本文以实现点流速雷达波流量监测系统设计的优化为目的,对系统总体结构、功能模块等进行了分析与讨论。

关键词：点流速雷达监测系统设计软件分析

在线全文

学校读者我要写书评

暂无评论

三维场景构建软件分析

武汉理工大学学报 2018年第1期40卷 97-104页

作者：王汉熙易茂祥张进胡佳文郑晓钧武汉理工大学数字舞台设计与服务文化和旅游部重点实验室武汉430070 武汉理工大学机电学院武汉430070

三维场景是基于全景图像的真实场景虚拟现实技术,三维场景构建软件是构建三维场景必不可少的工具。研究三维场景构建软件的应用现状和发展趋势,对于明确三维场景的应用前景,把握三维场景构建的主流技术趋势有着重要意义。通过关键字检... 详细信息

三维场景是基于全景图像的真实场景虚拟现实技术,三维场景构建软件是构建三维场景必不可少的工具。研究三维场景构建软件的应用现状和发展趋势,对于明确三维场景的应用前景,把握三维场景构建的主流技术趋势有着重要意义。通过关键字检索三维场景构建软件,统计分析了三维场景构建软件的功能特点、应用场景。统计结果显示,大部分三维场景构建软件存在着一定的技术门槛,对场景采集有着特定的技术要求,制作效率低下,三维场景构建过程之中往往需要多种软件的结合使用,小部分三维场景构建软件开始尝试降低操作技术门槛,减少对拍摄技术的要求。随着计算机技术的发展,三维场景构建软件的成熟,三维场景构建技术将进入技术生命周期的成熟区,广泛应用于各个领域。

关键词：三维场景三维场景构建软件软件分析全景拼接 360°全景全景漫游

在线全文

学校读者我要写书评

暂无评论

面向Agent的软件分析和设计方法

计算机科学 2004年第6期31卷 127-132页

作者：向郑涛缪育平鲁东明浙江大学计算机科学与技术学院杭州310027 杭州展望科技有限公司杭州310003

在复杂系统的分析、设计、开发过程中,面向Agent的方法在映射现实世界,模拟人认识问题、解决问题的过程等方面具有优势。从描述Agent的概念、分类和体系结构出发,对面向对象和面向Agent的分析设计方法进行了比较,讨论了面向Agent的分析... 详细信息

在复杂系统的分析、设计、开发过程中,面向Agent的方法在映射现实世界,模拟人认识问题、解决问题的过程等方面具有优势。从描述Agent的概念、分类和体系结构出发,对面向对象和面向Agent的分析设计方法进行了比较,讨论了面向Agent的分析模型及各模型的组成部分,以及面向Agent的分析模型到设计模型的转换,并指出面向Agent的分析设计方法提供了在建模、设计和实现不同级别上复用的基础。以政府公共行政服务系统为例对上述方法进行实例分析。最后得出面向Agent的软件分析和设计将为复杂系统提供新的解决思路的结论,同时指出本文提出的面向Agent的分析和设计方法的优点以及所面临的问题。

关键词： Agent 软件分析软件复用软件工程交互设计

在线全文

学校读者我要写书评

暂无评论

《软件分析》专辑前言

计算机学报 2009年第9期32卷 1695-1696页

作者：梅宏王戟北京大学信息科学技术学院国家"核高基"重大科技专项实施专家组中国计算机学会系统软件专业委员会信息产业部软件构件技术标准工作组国防科学技术大学计算机学院中国计算机学会软件工程专业委员会国际信息处理联合会中国委员会

软件分析(Software Analysis)是以软件为对象通过静态或动态的方法进行人工或自动分析,以验证、确认、监控或发现软件性质(或者规约、约束)的过程或活动.软件分析是计算机科学与技术领域的经典和核心内容,源于人们试图认识程序行为和性... 详细信息

软件分析(Software Analysis)是以软件为对象通过静态或动态的方法进行人工或自动分析,以验证、确认、监控或发现软件性质(或者规约、约束)的过程或活动.软件分析是计算机科学与技术领域的经典和核心内容,源于人们试图认识程序行为和性质的努力.早期的软件分析主要还是程序分析,是高级语言编译过程的第一步工作,长期以来,在编译理论和技术的发展中得到了较深入的研究.

关键词：软件分析计算机科学与技术专辑自动分析程序分析程序行为编译过程高级语言

在线全文

学校读者我要写书评

暂无评论

可信软件分析与测试研究进展

计算机应用研究 2011年第7期28卷 2401-2406,2423页

作者：王环环詹永照陈锦富江苏大学计算机科学与通信工程学院江苏镇江212013

以软件可信性问题为主攻目标,首先阐述了可信软件的五大主要特征,给出了可信软件分析方法、测试方法和步骤,并总结了各个方法的缺点,重点对可信软件测试方法进行了分类总结和对比分析,同时给出了相应方法的测试工具;其次论述了可信软件... 详细信息

以软件可信性问题为主攻目标,首先阐述了可信软件的五大主要特征,给出了可信软件分析方法、测试方法和步骤,并总结了各个方法的缺点,重点对可信软件测试方法进行了分类总结和对比分析,同时给出了相应方法的测试工具;其次论述了可信软件的验证方法;最后进行了总结,并对今后可信软件分析和测试研究作出了展望。

关键词：可信软件可信软件特征软件分析软件测试验证

在线全文

学校读者我要写书评

暂无评论

深度学习方法在软件分析中的应用

计算机工程与科学 2017年第12期39卷 2260-2268页

作者：张献贲可荣海军工程大学电子工程学院湖北武汉430033

大数据时代下迅速兴起的深度学习已在计算机视觉等多个领域取得了重大进展。近年来,随着软件制品的积累,这一方法也开始在软件工程领域发挥重要作用。概述了利用深度学习处理不同软件分析任务的研究进展,总结了主要研究方向和应用特点... 详细信息

大数据时代下迅速兴起的深度学习已在计算机视觉等多个领域取得了重大进展。近年来,随着软件制品的积累,这一方法也开始在软件工程领域发挥重要作用。概述了利用深度学习处理不同软件分析任务的研究进展,总结了主要研究方向和应用特点。目前已有一批重要成果发表,相关研究热度呈现上升趋势。最后探讨了现有深度学习技术在应用时的一些局限性与问题。

关键词：软件工程软件分析软件制品机器学习深度学习大数据

在线全文

学校读者我要写书评

暂无评论

使用SAS软件分析竞争风险模型

中国卫生统计 2016年第6期33卷 1054-1057页

作者：陶庄北医仁智(北京)医学科技发展有限公司医学统计中心 100029

在生存分析中，无疑Kaplan—Meier（KM）估计是生存函数等指标最流行的非参数估计方法，在实施这种方法的数据中，一部分出现了研究者感兴趣的结局，而另一部分则没有出现，这后一部分被处理成为删失数据（censored data）。但在医疗实... 详细信息

在生存分析中，无疑Kaplan—Meier（KM）估计是生存函数等指标最流行的非参数估计方法，在实施这种方法的数据中，一部分出现了研究者感兴趣的结局，而另一部分则没有出现，这后一部分被处理成为删失数据（censored data）。但在医疗实践中，纵向数列并不总是仅仅出现研究者感兴趣的事件，或称真结局（true outcome），还会出现一些并不感兴趣的结局。

关键词：竞争风险模型软件分析 SAS 生存函数生存分析估计方法删失数据医疗实践

在线全文

学校读者我要写书评

暂无评论

使用R软件分析竞争风险模型简明攻略

中国卫生统计 2008年第6期25卷 638-639页

作者：陶庄中国疾病预防控制中心公共卫生监测与信息服务中心 100050

所谓竞争风险是指研究对象除了会出现研究者感兴趣的结局(如GVHD的发生),还会出现如车祸等其他意外结局,它的出现会导致感兴趣的事件永远不会发生(这被认为是与右删失数据(right-censord data)的最大差别),即出现了竞争。现在学界的主... 详细信息

所谓竞争风险是指研究对象除了会出现研究者感兴趣的结局(如GVHD的发生),还会出现如车祸等其他意外结局,它的出现会导致感兴趣的事件永远不会发生(这被认为是与右删失数据(right-censord data)的最大差别),即出现了竞争。现在学界的主流观点认为,将竞争风险按删失处理,将导致生存函数的错估,必须使用专门的算法。然而,时下流行的统计软件如SAS,SPSS等都没有针对竞争风险模型的专门模块,这对大多数没有受过专业统计训练的临床医生来说都是一个不小的麻烦。免费软件R提供了一个外加程序包cmprsk,专门用来分析该模型,给了研究者们一个全新的选择。本文并不准备对竞争风险模型的理论和算法进行探讨,而是试图提供一个使用R软件竞争风险模型模块的简明分析指南,使我国广大一线工作者能较迅速、准确地将该模型应用于实际工作。示例数据与R软件的下载与安装本文的示例数据是一个关于急性白血病骨髓移植后随访的例子,共3个变量35条记录,其中ALL17例,AML18例。

关键词：竞争风险模型软件分析 GVHD 删失数据生存函数最大差