空间数据立方体多维信息空间分析实例*

多维信息空间分析是构筑数字城市最为关键的技术之一,而空间数据立方体是解决这个关键技术问题的有效途径;提出了空间数据立方体的分析操作主要由概括分析、局部分析、全局分析和旋转分析组成,简单介绍了这些分析操作功能和结构;在分析操作过程中,采用具体分析功能和例子数据相结合的直观方式列举了多维信息的缓冲区分析、连接分析、网络分析实例.     

军事竞争情报的分析方法以及发展趋势初探

本文通过文献分析法对军事竞争情报分析方法进行了梳理,分析了军事竞争情报分析方法研究的背景和意义,将竞争情报的联想分析法、SWOT分析法、软件分析法引入到军事竞争情报的分析中并进行了案例分析,归纳和总结出了军事竞争情报分析方法的特点,并指出了军事竞争情报未来的发展趋势,从而更好的为军事决策提供更优化的智力支持。     

面向软件可信性的可信指针分析技术综述*

对可信指针分析技术的定义和描述、指针分析对软件可信性的保障、可信指针分析属性以及该领域主要研究成果等方面进行了综述。通过对现有可信指针分析技术的分析和比较,详细讨论了面向软件可信性的可信指针分析的关键技术;此外,重点介绍了流敏感指针分析及上下文敏感指针分析的方法和理论;最后对进一步研究工作的方向进行了展望。     

需求分析导引

各种需求分析方法各具特点,如果仅使用某种方法在项目实践中往往会困难重重,怎样结合各种需求分析方法之长为项目实践建立一种需求分析参考标准成为一个迫切需要解决的问题。通过对面向问题域、面向对象、模型驱动等分析方法的研究,并结合在项目实践中应用,以面向问题域分析为核心规定需求分析的根本目的与基本活动,结合面向对象的分析与模型驱动分析说明有效建模的技术要点,初步形成一个适合于实际项目活动的需求分析标准的框架。     

DDoop: 基于差分式Datalog求解的增量指针分析框架

指针分析是对软件进行编译优化、错误检测的核心基础技术之一.现有经典指针分析框架,如Doop,会将待分析程序和分析算法转化成Datalog评估问题并进行求解,如程序规模较大,单次求解分析时间开销较大.在程序频繁变更发布的情况下,相关程序分析的开销更是难以负担.近年来,增量分析作为一种在代码频繁变更场景下有效复用已有分析结果提升分析效率的技术受到了越来越多的关注.然而,目前的增量指针分析技术通常针对特定算法设计,支持的指针分析选项有限,其可用性也受到较大限制.针对上述问题,本文设计并实现了一种基于差分式Datalog求解的增量指针分析框架DDoop(Differential Doop). DDoop实现了增量输入事实生成技术与增量分析规则自动化重写技术,将多版本程序增量分析问题表达为差分Datalog评估问题,从而可以充分利用成熟的差分式Datalog求解引擎,如DDlog,来实现端到端的增量指针分析,并最大化兼容复用Doop中已有的指针分析实现,提供透明的增量化支持.我们在广泛应用的真实世界程序上对DDoop进行了实验评估,实验结果显示DDoop相较于非增量的Doop框架具有显著的性能优势,同时高度兼容Doop中已有的各种指针分析规则.     

一种基于抽象解释和通用单调数据流框架的值范围分析方法

安全而又精确的值范围分析对编译器优化至关重要．系统地提出了一个基于抽象解释和通用单调数据流框架的值范围分析框架，包括精确的定叉、分析和完整的正确性证明．与一般的值范围分析方法不同，该框架不仅包括抽象解释，还包括与之对应的具体解释，以及相应的正确性证明．     

基于行为分析的黑客攻击软件自动化分析工具的设计与实现

静态分析和动态分析是两种主流的恶意代码分析技术.随着反调试、程序补丁、代码混淆、多态和变型等技术的出现,静态分析技术的局限性越来越明显.该文设计了一种基于内核调用和正则表达式技术的恶意软件自动化分析工具,并用熊猫烧香病毒进行了验证,此工具提高了自动化分析的效率.     

基于Web Service技术用于医院信息分析算法库的设计与实现

分析了当前HIS在信息分析处理领域面临的数据来源复杂多变以及信息分析算法在定制、共享和动态维护等方面存在的主要问题,采用元数据实现对信息分析算法的描述,基于Web Service架构设计了信息分析算法管理模块和信息分析算法库系统.相对于传统模式的信息分析算法,实现了数据和算法的松散耦合和对算法库的动态管理,并进行了实现和验证,研究结果表明,系统能够有效改善HIS中信息分析和数据处理的可维护性和通用性.     

软件项目风险管理中风险分析方法的研究

对软件项目风险分析中的定性分析方法和定量分析方法进行了讨论，提出了定性分析与定量分析相结合的方式对软件项目中已识别的风险进行分析的方法，并且在分析过程中考虑了风险偏好性的影响。     

信息系统需求分析的面向对象层次分析方法及应用

文章将面向对象分析（ＯＯＡ）,结构化分析（ＳＡ）和数据结构分析（ＤＳＡ）方法相结合,提出了一种信息系统需求分析的面向对象层次分析方法（ＯＯＨＡ）,给出了对象的属性和方法定义以及需求分析的形式化表示方法。使用ＯＯＨＡ方法进行需求分析,层次清晰,对象关系明确,容易实现问题空间到解空间的映射。     

静动态结合的Java程序不变性分析方法

程序的不变性(immutability)是指类的实例对象在其生命周期内状态不会发生改变.不变性信息可以用来指导程序的分析、测试和验证等工作.现有分析不变性的技术主要集中于对程序的静态分析,而动态分析方面的工作很少.文中在分析了静、动态分析技术各自的优缺点后,提出了一种静动态结合的混合分析技术.首先通过对程序进行静态分析,即对程序进行分析测试和验证,来获得初步的程序不变性信息,然后对静态分析的结果中不确定的部分再进行动态分析,即通过观察程序运行时各个对象的状态变化进行分析,同时还将动态分析用于对静态分析结果的验证.静动态结合的分析技术比单纯的静态分析提高了分析结果的精度,同时也比单纯的动态分析降低了开销,提高了效率.     

一种面向环境识别的恶意代码完整性分析方法

完整性分析一直是恶意代码动态分析的难点。针对恶意代码动态分析方法存在行为获取不完整的问题,提出了一种面向环境识别的恶意代码完整性分析方法,通过分析恶意代码执行过程中的数据流信息识别恶意代码敏感分支点,构造能够触发隐藏行为的执行环境,提高了恶意代码行为分析的完整程度。通过对50个恶意代码样本的分析结果表明,该方法能有效缩减分析时间,获得更加全面的行为信息,有效提高分析效率和分析的完整性。     

近红外分析技术在汽油调合中的应用

近红外光谱分析是一种用于各种碳氢有机物组成和性质指标分析的重要检测技术.从近红外分析基本原理出发,分别介绍了近红外光谱的获取、传输、预处理、检测和分析技术的各种应用技术,探讨了定性和定量分析所涉及的各种分析、建模的步骤和方法,主要针对近红外光谱分析技术在汽油调合中的应用方法作了较为具体的说明.该技术已在炼化企业得到成功应用,并获得了明显的经济效益和社会效益.     

数据分析需求与实现

数据分析是从海量数据中发现隐含信息或知识的过程。基于一个公安破案辅助数据分析系统,深入研究数据分析任务的需求与实现,提出首先规划分析思路、细化分析功能,然后用多视角数据透视和智能分析两种手段,从微观与宏观、定量与定性等不同角度互为补充地使系统具有完备的分析功能。该研究对如何开发具有实用价值的数据分析系统有普遍的指导意义。     

Abaqus重启动分析技术在风力机齿轮箱弹性支撑强度分析中的应用

齿轮箱弹性支撑强度分析系统大、组件多、网格多和工况多,常规的有限元分析时间很长、效率很低.采用Abaqus的重启动分析技术,对风力机齿轮箱弹性支撑进行强度分析,将复杂分析工况进行简化,大大地缩短分析时间,提高分析效率,且对分析精度没有影响.     

5种指针分析算法的精度和效率比较

指针分析的研究已经有20多年的历史，也发表了很多相关的算法。对于研究者和工程人员来说，对不同的指针分析算法进行研究并用统一的标准进行精度及效率等内容的对比，是一件有意义的工作。考察了5种具有代表性的指针分析算法，并在固定外界影响因素的条件下对它们的精度和效率进行了测量和比较，最后分析了指针分析的结果如何影响一些客户分析的精度和效率。     

药品销售行业决策支持系统的分析与设计

介绍了如何构建医药销售行业的数据仓库系统（DW）和如何运用OLAP技术、数据挖掘技术进行客户分析、销售分析、市场分析、库存分析、配送分析、风险分析。在此过程中,讨论了数据仓库的基本技术,归纳并提出了药品销售软件中数据仓库的基本体系结构。     

钢丝绳芯输送带X射线检测系统图像分析算法

提出了一种在线分析和离线分析相结合的图像分析算法：在线分析阶段采用支持向量机检测出接头图像,采用显著图法检测出有损伤的输送带图像;离线分析阶段采用细化、区域分析等图像处理方法检测接头抽动,并对各种损伤情况进行分类。该算法使得检测系统具备针对输送带X图像实时分析的能力,而且损伤检测准确率非常高。实验分析和现场实践验证了本文所提算法的有效性。     

C语言的别名分析方法研究

别名分析对于数据流分析、程序优化和分析工具的实现非常重要.文章提出了一种需求驱动,流非敏感的分析算法来解决指针别名问题.通过构造程序表达式图(PEG)把指针别名问题转化成判断两个指针节点是否是联通的问题,它不同于传统的别名分析方法,它不需要构造别名集合和对其求交集,所以提高了分析指针别名的效率.     

程序分析研究进展

在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术（抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析等）,特别是最近10余年的研究进展.进而介绍了针对不同类型软件（移动应用、并发软件、分布式系统、二进制代码等）的分析方法.最后展望了程序分析未来的研究方向和所面临的挑战.