程序切片技术在程序理解中的应用

随着计算机软件技术的飞速发展,软件系统的规模变得越来越大,软件的维护工作也随之越来越复杂。绝大部分软件开发的主要精力都消耗在维护或者扩展原有的系统上面,而不是重新开发新系统。因此,对于软件系统的维护问题变得极其重要,对于遗留软件的维护、理解在软件开发过程中已经变得越来越重要。分别介绍了程序理解的模型及工具,并结合程序切片技术探讨程序切片在程序理解中的应用。     

数学家传《希尔伯特》中译本已出版

<正> 1970年,西德 Springer-Verlag 出版社出版了康斯坦西·瑞德夫人撰写的数学家传“希尔伯特”.最近,上海科技出版社出版了该书的中译本.译、校者是李文林、袁向东、吴允曾.当代,凡和数学有缘的人,没有一个不知道希尔伯特的大名的.他在数论、代数、几何、分析,数学基础等诸方面,开拓了众多的研究领域.“在整个数学版图上,留下了他巨大显赫的名字”:希尔伯特空间,希尔伯特不等式、希尔伯特变换、希尔伯特不变积分、希尔伯特不可约性定理、希尔伯特基定理、希尔伯特公理、希尔伯特子群、希尔伯特类域….多少才华横溢的青年,追随其后,也在数学青史上留下了美名.20世纪之初,希尔伯特在国际数学家大会的讲台上,发表了纵观数学全局的讲演,题目叫做“数学问题”(即著名的23个数学问题),当时他年仅38岁.半个世纪之后,当美国数学会请著名数学家赫尔     

基于演进思想的程序断言动态发现模型研究

程序断言动态侦测技术具有很广的应用范围,如程序测试与排错、程序演进与重构、构件替换与程序容错等领域.相比于传统的程序断言侦测技术,文中介绍了一条简洁的异常排除与接纳并降低时间空间代价的实践思想,它来源于生物演进和计算机免疫技术的启发,为基于这一演进思想的程序断言侦测建立起一个演进模型.     

基于灰度共生矩阵的边缘检测方法

对传统的边缘检测算子进行了分析,指出了存在的不足;同时针对目前的纹理分析算法普遍存在计算复杂、运行时间过长的缺点,通过将纹理分析的思想和传统的边缘检测算子相结合,提出了一种基于灰度共生矩阵的边缘检测新方法。该方法对图像进行纹理分析后自适应地选择模板,因此很好地保持了图像边缘的细节并且抑制了噪声。通过MATLAB仿真实现,结果表明由灰度共生矩阵产生纹理特征能有效地描述火焰的纹理特征,具有较好的鉴别能力。