面向对象的多媒体数据库存储管理子系统的研究

面向对象的多媒体数据库系统中的对象存储管理子系统举足轻重；本文比较各种存储管理方案并为ＳＭＳ选择了基于虚拟存储空间的一体化管理方法；详细描述了ＭＯＤＢ系统的ＳＭＳ体系结构和对象的存储结构；讨论了对象标识的三个独立性原则及三种方法；最后阐述了数据库文件的组织     

多媒体数据库的关键技术:特征的提取与索引

该文的中心议题是多媒体对象特征的提取与索引,其中,在特征的提取方面概述了当前科学界在这个领域取得的成果;在特征的索引方面,结合已有的多维索引结构树,给出了一个适合MMDBMS的数据结构MIX-TREE。     

形式化语言B的面向方面编程扩充

借助传统编程语言的面向方面编程扩充——AspectJ/AspectC＋＋的技术经验，提出形式化语言B的AOP扩充机制AspectB。分析了B语言针对AOP扩充在连接点范围及正确性验证方面的制约，提出连接点的范围必须限制在IMPLEMENTATION组件中，方面代码的正确性验证必须考虑连接点上下文所涉及的不变性条件。以一个简单图形编辑器为例，在B语言环境中描述面向方面编程的核心概念——连接点、连接点集合、建议代码、方面。     

一种改进的用于并发程序静态切片的程序依赖图

分析了Krinke切片算法，发现当对程序循环体内嵌套有一个或多个线程的结构时会产生切片不精确的现象．原因是Krinke算法的数据结构所定义的线程间数据依赖关系过于粗糙，相应的切片算法对程序执行路径的合法性约束不够严格。提出一种改进的并发程序依赖图，引入跨线程边界循环一承载数据依赖关系。给出了添加跨线程边界循环一承载数据依赖关系的算法。实例分析表明，作用在新的并发程序依赖图上的切片算法克服了Krinke算法的切片不精确现象。     

Internet上安全通信的技术分析

文章对Internet上的安全通信技术进行了全面分析。首先分析了安全通信的本质特征，然后研究了安全通信的技术基础－现代密码学和PKI。在此基础上给出了一个安全通信的整体解决方案。     

计算机辅助软件工程的发展趋势

文章结合具体应用和软件开发的方法介绍了 CASE 技术在软件研制和设计当中的作用及其今后的发展。     

基于形式语言B的一种新的时态规约方案

提出一套利用B方法中经典AMN记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。该方案中,时间类型表示为B方法中系统内部支持的非负整数集合,所有依赖于时间的变量都表示成定义域为时间的全函数。该方案可以方便地表达“过去”、“现在”、“稳定”、“跳变”等时态概念。定义了时间类型、“现在”以及与时间有关的变量的宏操作等抽象机,这些抽象机已经通过B工具的一致性验证。可以在实时系统的B形式化规约中直接使用。     

OCL数据类型到B形式化规约的转换

研究了UML模型到B形式化规约的转换。提出了一套从OCL数据类型及定义在这些数据类型上的操作到BAMN的转换规则。OCL的Boolean类型和Integer类型分别对应于B中的BOOL类型和Z类型；OCL中的String类型需用B抽象机器重新定义新的数据类型Char_TYPE和String_TYPE来进行规约；OCL中的REAL类型采用B中的记录表达式进行近似模拟；OCL中的Collection类型（包括Set，Orderedset，Bag，Sequence）用B语言中的set，sequence，tree等进行近似模拟。     

基于UML状态机与B方法的高可信嵌入式软件开发

提出了一套集成UML与B方法开发高可信嵌入式软件的实用方案：以软件的UML状态机模型为起点，将其转换为B抽象模型并在B工具中验证该模型的一致性，然后遵循B模型逐步精化的开发规则，利用B方法的精化正确性验证功能，得到系统的可靠的实现模型，最后借助B工具自动生成C代码。实例分析表明，这套方法可以提高尚可信嵌入式软件的开发验证效率。给出了嵌入式软件设计中常用的UML并发状态图到B抽象模型的转换规则。