基于构件行为的场景建模框架

采用系统理论术语形式定义构件行为框架,运用轨线集刻画构件行为,通过轨线迁移给出构件行为表示框架,其建模思想不再以输入／输出结构模式为出发点,而是以研究系统构件的布局为基本观点,利用构件之间的互联控制关系,反映出软件系统呈现一种柔性、多目标、连续反应式的动态特征,为构件式系统的场景建模提供了一种新的解决途径．     

基于MD5加密的Tornado码复制算法改进

基于Tornado码的复制算法具有编解码速度比较快、部分数据丢失时亦能被恢复的优点,但将该算法应用于分布式存储系统时,存在数据易被窃取、篡改的风险.为此,对基于Tornado码的复制算法提出了改进:1)引入加密机制,使数据即使被窃取时也不用担心泄密;2)对原始数据使用MD5算法产生数字指纹,当从分布式存储系统取回数据时,计算数字指纹并与本地的数字指纹对比,就可以判断数据是否被篡改.     

面向对象的数据库技术

本文在指出了传统方法数据库系统缺陷的基础上，分析了面向对象数据库管理系统所特有的对象特征和数据库技术，展示了面向对象数据库技术的优势和能力。     

基于Ethereum智能合约的安全策略分析

智能合约是代码和数据的集合，一旦部署便无法更改，且其自身持有金融属性，若出现安全漏洞问题将会造成巨大损失，可见编写出安全可靠的智能合约是至关重要的。为此，基于Ethereum平台研究并分析智能合约的安全漏洞，总结了几种易见的安全漏洞，包括可重入漏洞、整数溢出漏洞、拒绝服务（denial of service，DoS）漏洞、时间戳依赖漏洞、交易序列依赖漏洞等；针对上述合约的漏洞进行详细的原理分析和场景复现，提出了相应的预防安全策略并通过实验进行有效性验证；最后分析并比较了几种主流的智能合约安全漏洞检测工具。     

大型软件系统开发过程中面临的若干问题

本文深入分析大型软件系统开发过程中开发人员所面临的几个问题，提出了管理级问题来源于大型软件系统的“大”所带来了项目管理的难度大，表现误解、信息不能及时交流、发生在“同时”进行修改所造成的冲突；编有程有问题指的是如何构造一个程序的问题，问题集中表现在输入程序代修改程序、编译程序、程序的连接和装配、运行和调试４人方面，提出了标准工具环的解决方法；系统合成级问题主要是：一方面在型软件系统由一交小的子系统     

基于场景规约的系统行为建模

提出一种基于场景规约的系统行为建模方法. 采用消息序列图描述场景,把场景规约中构件实例之间消息传递的事件序列作为一种显式的场景提取物并给出语义表示,通过场景正样本构造前缀树接受器. 此前缀树接受器是一个能接受正样本的最大确定有限自动机,通过合并状态得到商自动机,给出一个状态合并算法. 该算法支持交互式增量的场景产生.