交互式多媒体板的研究与设计

针对在IP网络环境下开展大规模用户实时多媒体交互协作的需求,提出多媒体板的概念,给出了多媒体板系统的定义,并用Petri两描述了该系统的会话模型,提出了一种适合于多媒体板及其他CSCW应用系统的并发控制机制和算法,最后给出了一种基于该机制的Browser／Server结构多媒体板设计思路,并分析了多媒体板的应用场合与前景。     

ARTs-CS数据字典的并发控制技术

提出了通过将事务划分为不同的数据字典事务类型,分别采用不同的事务并发控制策略的并发控制技术。减少了事务因为对数据字典进行操作而需要进行全网络封锁的概率。在ARTs-CS原型系统上实现了该并发控制技术。模拟实现表明,并发控制技术能有效地提高整个系统的效率。     

共享信息机制及应用方法

简要论述了MTS中共享属性管理器（SPM）在分布式计算环境中解决并发问题时所起的作用,并以一个实例详细说明了SPM的使用方法。     

基于Lotus R5的OA系统的安全策略研究

讨论了Lotus Notes的安全设计策略,分析了办公自动化系统OA(Office Automation)信息流的两种流动方式:上下级之间的信息流和横向的信息流,提出了一个为构建OA系统的基于Notes安全策略和非结构化信息的快速安全的设计方案.     

企业的内信息流流量研究

介绍了企业内信息流的内容和信息载体形式,分析了企业的内信息流流动的途径和成本,阐述了部门间信息流量表的构建及其功能。     

关系数据库并发控制机制研究

随着数据处理和信息提取成为现今计算环境的焦点,在现实应用中如何实现数据库并发控制出现了许多问题需要解决。基于此现状,文中以并发控制在目前主流关系数据库Oracle中的应用为例,对关系数据库的并发控制的实现进行了讨论和研究,初步分析了并发控制中存在的问题和解决方案。     

XML数据库技术研究进展

综述XML数据存储方法,并发控制技术和数据保护技术等方面的最新研究进展．提出进一步研究的展望．     

多线程程序数据竞争随机森林指令级检测模型

数据竞争是典型的多线程程序并发缺陷。由于多线程程序中存在不确定性的交织,数据竞争很难被检测出来。该文以多线程数据竞争的5个相关属性作为特征,构建了多线程程序数据竞争随机森林指令级检测模型。首先基于happens-before关系与lockset算法指令级检测数据竞争,同时用汇编源码信息来剔除隐形同步对,然后利用happens-before关系与lockset算法的分析结果训练多线程程序数据竞争随机森林检测模型。在Pin上实现了多线程程序数据竞争检测工具AIRaceTest。利用GitHub中多线程程序的插桩结果作为样本集来训练随机森林模型,模型精度可达92.1%。对Google data-race-test、 Parsec基准程序3.1中的经典多线程程序的检测结果表明:AIRaceTest与Eraser、 Djit+以及Thread Sanitizer这3种目前常用的数据竞争检测工具相比,数据竞争的误报和漏报分别降低了约10.6%和12.3%,在线程数较多的情况下,时间和内存开销分别降低了41.8%和22.4%。     

我国财务系统软件在ERP发展中的演进

人、财、物、信息和时间是企业最主要的5项生产资源(又称生产要素)，这些资源构成企业系统，它们之间通过企业的物流、资金流和信息流发生相互联系。企业要创造价值并获得竞争优势，就必须系统化地管理这些生产资源，由此，物流、资金流和信息流成为企业管理的核心．而从本质上来说，     

反射的结构基础讨论

本文指出,反射弧是对神经系统的结构构筑的割裂与拼凑,神经系统中不存在能对应反射完成的“中枢”结构。认为视网膜内层是由多种神经组织有序构筑的更高一级结构层次结构,它具有信息处理能力而非简单的感受器。初步论证了神经节、神经核及其他神经组织有序构筑结构都具有信息处理能力。提出,神经系统的工作方式是以神经元兴奋[1]和静止[0]有序空间组合变化为形式的信息流的连续处理。神经冲动不是神经系统对刺激作出的唯一反应形式,只包含部分刺激信息内容。反射不是神经系统中某一结构的功能表现,而是许多神经组织构筑结构间相互联系及与非神经组织相联系的外部表现。