Object oriented music analysis

An object oriented approach to programming of music analysis is described. Different kinds of structural analysis are shown, ranging from simple melodic analysis, through harmonic analysis to cluster analysis used for analysis of modern music.     

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

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

需求分析导引

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

Towards the automation of intelligent data analysis

Data analysis tools are still very much a collection of data analysis methods that require analysis experts as users. On the other hand, many business users are keen to apply data analysis to business data in order to understand it or to make predictions to improve on their business decisions. In order to make state-of-the-art data analysis techniques available to such non-experts, we developed a wizard for our data analysis tool SPIDA that selects appropriate data analysis methods given soft high-level requirements. The wizard also configures and runs the chosen methods automatically. This paper describes our general approach to automating data analysis, in particular, how to select an appropriate data analysis algorithm.     

基于判别分析的数据分析库的设计与实现

判别分析是根据所研究的个体的观测指标来推断该个体所属类型的一种统计方法，对已知分类的数据建立由数值指标构成的分类规则，然后把这样的规则应用到未知分类的样本去分类。该文以判别分析中的线形判别分析和Mahalanobis距离判别分析作理论依据，提出一种数据分析库的设计和实施方案，该系统在数据分析方面的研究和应用中有一定的特色。     

一种改进的基于在线解耦的轻量级动态污点分析方法

在针对二进制程序的实际分析场景中,动态分析方法因具有更高的准确性而得到更为广泛的关注和运用.但是以动态污点分析为代表的细粒度分析方法通常会产生较高的性能和资源开销.为缓解这些问题,本文提出一种改进的轻量级在线解耦的动态污点分析方法,其主要思想是在线解耦程序执行和指令分析,同步构建分析代码并完成分析.该方法能够进一步降低对目标程序运行时的性能影响,并易将分析过程迁移至其它上下文环境中,从而可进一步减小对目标程序运行环境的干扰.本文通过采用多种实际程序进行实验,结果表明该方法能够比传统在线污点分析具有更高的分析性能,并具有较低的系统资源消耗,易于在实际环境中进行部署和应用.     

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

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

网络信息系统生存性分析及实现

随着网络信息系统在各个领域的广泛应用,考虑传统网络安全的同时还需对其生存性进行分析和评估,以保证异常情况下系统基本服务的正常运行。为整个生存性分析过程进行了定义,该文首先提出一种针对网络信息系统的生存性分析框架,随后根据该框架提出了一个管理平台的设计方案,以整合整个生存性分析过程,该平台实现了生存性的定量分析、分析过程的半自动化和重用性。     

Exploring alternatives during requirements analysis

Goal-oriented requirements analysis techniques provide ways to refine organizational and technical objectives, to more effectively explore alternatives during requirements definition. After selecting a set of alternatives to achieve these objectives, you can elaborate on them during subsequent phases to make them more precise and complete. The authors argue that goal-oriented analysis complements and strengthens traditional requirements analysis techniques by offering a means for capturing and evaluating alternative ways of meeting business goals. They detail the five main steps that comprise goal-oriented analysis. These steps include goal analysis, softgoal analysis, softgoal correlation analysis, goal correlation analysis, and evaluation of alternatives. To illustrate the main elements of the proposed analysis technique, they explore a typical scenario that involves defining requirements for a meeting scheduling system     

源代码漏洞静态分析技术

漏洞这一名词伴随着计算机软件领域的发展已经走过了数十载。自世界上第一个软件漏洞被公开以来,软件安全研究者和工程师们就一直在探索漏洞的挖掘与分析方法。源代码漏洞静态分析是一种能够贯穿整个软件开发生命周期的、帮助软件开发人员及早发现漏洞的技术,在业界有着广泛的使用。然而,随着软件的体量越来越大,软件的功能越来越复杂,如何表示和建模软件源代码是当前面临的一个难题;此外,近年来的研究倾向于将源代码漏洞静态分析和机器学习相结合,试图通过引入机器学习模型提升漏洞挖掘的精度,但如何选择和构建合适的机器学习模型是该研究方向的一个核心问题。本文将目光聚焦于源代码漏洞静态分析技术(以下简称:静态分析技术),通过对该领域相关工作的回顾,将静态分析技术的研究分为两个方向:传统静态分析和基于学习的静态分析。传统静态分析主要是利用数据流分析、污点分析等一系列软件分析技术对软件的源代码进行建模分析;基于学习的静态分析则是将源代码以数值的形式表示并提交给学习模型,利用学习模型挖掘源代码的深层次表征特征和关联性。本文首先阐述了软件漏洞分析技术的基本概念,对比了静态分析技术和动态分析技术的优劣;然后对源代码的表示方法进行...     

基于系统思维的软件安全性需求开发框架

糟糕的软件需求是导致安全性关键系统发生灾难性事故的最主要原因。为解决需求开发问题,建构了一个系统建模与系统分析相结合、基于系统思维的软件安全性需求开发框架。针对系统模型的特定等级特定领域,提出了集成安全性分析的需求开发方法。该方法既能最大限度地约束安全性需求缺陷,防止其向同一分析等级内的其它领域或下一分析等级传播,并尽早重新生成安全性需求,又能够不断生成证据,支持安全性论据的构建。     

数据分析需求与实现

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

实时系统程序最差情况执行时间(WCET)的分析

事先获知系统中程序最差情况的执行时间(Worst-CaseExecutionTime,WCET),是设计和验证实时系统调度及可调度性分析的前提,也是确定周期性任务是否满足其性能目标,从而发现系统性能瓶颈的基础。本文概述了程序WCET的分析方法,描述了WCET分析的定义和组成,重点总结其中的程序流事实分析方法,并指出程序流事实分析存在的问题和WCET分析的研究热点。     

基于编译技术的可视化计算系统设计

针对编译技术中的词法分析与语法分析,利用Visual Studio2008开发工具设计出一套根据算符优先关系进行优先级比较的可视化计算系统。在这套系统中,可对输入的数据进行词法分析、语法分析,语义分析并计算出结果。     

基于面向对象技术的PL/0词法及语法分析器设计

深入分析并实现词法分析及语法分析过程,对于理解编译原理全过程有着极为重要的作用。利用流行的面向对象技术进行词法分析类及语法分析类的设计,加深对编译技术理解同时,得到了锻炼编程技术的机会。     

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

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

基于超混沌与分块操作的快速图像加密算法

为满足加密安全和实时通信的需求,提出一种基于超混沌和分块操作的快速图像加密算法。构建与明文相关的动态原始序列;进行置乱和扩散操作,在置乱过程中引入分块操作,提高加密速度,在扩散过程中引入动态密钥,提高安全性。对图像灰度分布、相邻像素相关性、密钥空间、密钥敏感性、加密速度、抗差分攻击能力及抗噪声和裁剪的鲁棒性进行深入分析和仿真,其结果表明,该算法具有较高的安全性及较快的运行速率。     

A bottom-up pointer analysis using the update history

Pointer analysis is an important part for the source code analysis of C programs. In this paper, we propose a bottom-up and flow- and context-sensitive pointer analysis algorithm, where bottom-up refers to the ability to perform the analysis from callee modules to caller modules. Our approach is based on a new modular pointer analysis domain named the update history that can abstract memory states of a procedure independently of the information on aliases between memory locations and keep the information on the order of side effects performed. Such a memory representation not only enables the analysis to be formalized as a bottom-up analysis, but also helps the analysis to effectively identify killed side effects and relevant alias contexts. The experiments performed on a pilot implementation of the method shows that our approach is effective for improving the precision of a client analysis.     

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

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

多学科协同设计模型感知研究*

为了解决多学科异构系统中产品设计模型之间设计修改的感知问题, 针对设计模型和分析模型提出由模型寻找到协同适应的模型感知应用方法,阐述了各学科之间协同感知过程、感知之后映射关系更新和分析模型修改的实现流程,将传统的人与人感知模式转变为模型到模型感知模式。通过分析模型修改方法实现设计模型到分析模型的感知处理,重新处理分析模型。最后通过感知表达方法实现分析模型到设计模型的感知表达,将分析结果可视化反映到设计模型上。