基于过程蓝图的静态代码控制流生成算法

对非结构化的程序代码进行理解分析对代码理解能力不强的测试人员存在一定难度。为了减轻静态代码分析的难度,本文首先采用程序切片算法将程序进行预处理,利用过程蓝图对代码进行可视化操作形成程序的中间表示形式抽象语法树。然后对其构造和特点进行研究,提出抽象语法树的遍历算法。通过该算法得到程序的控制流图。最后,利用控制流图和控制树,对静态代码进行高效的控制流分析,监测这些代码是否满足安全性、可靠性等方面的指标,为检测和处理软件缺陷降低成本。     

OAuth2.0协议形式化验证: 使用AVISPA

OAuth协议是一套用于在不同的服务中进行身份认证并且实现资源互访一套协议.由于关系到用户隐私,所以OAuth协议的安全性非常重要.这篇文章的主要贡献是研究OAuth2.0协议文本,对协议进行抽象,并且使用验证工具AVISPA对抽象后的协议进行建模与验证,找到协议中会导致隐私泄露的一种攻击模式.我们在建模过程中提出需将要验证的消息作为双方的对称密码这样一种创新思路.这种对协议的抽象和验证的方法可以推广到其他安全协议上,例如在线支付协议等等.     

特征抽象的直接体绘制方法

直接体绘制需要借助于传输函数,而设计一个有效的传输函数非常耗时且需要具备丰富的经验.为此提出一种不透明度自动调节的可视化方法.通过分析采样光线提取出数据的特征,并将这些特征抽象为不同层次的采样点,抽象采样点的不透明度根据采样光线上特征数的变化而改变;在保证最远抽象采样点可见度最大的前提下,推导并修改传统体绘制积分方程,得到基于抽象采样点的体绘制积分方程.实验结果表明,该方法不依赖于传输函数,能有效地展示体数据中的特征信息.     

印度医药精化企业2006业绩增长显著

印度最大的制药企业南新制药公司2006年销售额增长了17%，达到13．6亿美元；净利润增长了1倍，达到1．17亿美元。其中，公司在北美和BRICS（巴西、俄罗斯、印度、中国和南非）市场实现的销售额占到企业全部销售额的65％；在印度以外市场实现的销售额增长了18％，达到10．6亿美元，占企业全部销售额的79%。     

汽巴精化2004年销售量增加6％

汽巴精化宣布2004年全年销售额达到70．3亿瑞士法郎，与2003年相比，依据当地货币计算的销售额增长8％，根据瑞郎计算的销售额增长6％。排除兼并的影响，集团销售额依据当地货币计算增长2％，但是由于汇率的改变，主要是美元的持续疲软，导致依据瑞郎计算持平。2004年集团的净收入，经过调整和专项性收费，是3．11亿美元，而2003年是3．44亿美元。营业收益经过这些特殊项目后，依据瑞郎计算和依据当地货币计算分别下降9％和1％。     

STM32Cube开发工具将支持经市场考验的STM32 F2微控制器

正意法半导体发布新款STM32Cube开发平台中间件,让开发人员可以在该开发平台上开发STM32F2 120MHz ARM Cortex-M3微控制器应用。STM32Cube目前可支持STM32F2和F4系列产品,预计今年还将推出新的版本,将支持范围扩大到STM32全系列产品。新的中间件与STM32Cube平台的通用低层驱动程序和硬件抽象层(HAL,Hardware Abstraction Layer)配合使用,提供一套可直接使用的自动升级的软件组件库,     

KKM映射和KKM型定理及其相关结果

简要介绍古典的KKM映射的演变过程和KKM理论的发展历史,并给出利用KKM型定理得到的最近的一些重要研究成果,以进一步了解和掌握并研究KKM理论．     

论油画中线的审美特性

阐述了油画中线的具象美、抽象美、情感美和线的独立审美价值。线是油画语言中最基本的表现形式。在现代油画中,线条不再仅仅是形体的附庸,而有着独立的审美价值。     

一种基于AST的代码抄袭检测方法*

针对目前代码抄袭检测方面的研究大多是基于程序源码层面进行相似度比较,不需要对代码进行语法分析,由于忽略程序语法语义,对稍加结构修改的抄袭行为无法有效检测的现状,提出一种基于AST的代码抄袭检测方法.先将代码进行格式化预处理,再进行词法分析、语法分析,得到对应的AST;然后遍历AST生成代码序列,对代码序列进行相似度计算,从而得到代码的抄袭检测报告.实验结果表明,该方法能够有效检测出C程序代码的抄袭行为,并对C++、Java等多种程序代码的抄袭检测具有一定的通用性和可扩展性.     

基于结构比对的软件同源综合检测工具的设计与实现

文章对基于文本、Token和抽象语法树的同源性检测技术进行探讨,详细介绍了关于抽象语法树的同源性检测技术。同时,在对实际应用大量研究的基础上,文章着重介绍了源代码同源性检测系统的架构设计,以及引擎比对、比对结果分析和比对结果输出等主要功能模块,并对开发的系统进行了系统测试和分析,验证了算法的可行性。