CIMS软件开发工具：Petri网编辑器的语法分析及其实现

本文给出并发表达式语言的文法，并描述了Petri网编辑器的语法分析过程和中间代码的产生过程。解决了Petri网在计算机中的存贮结构问题，处理了可能会出现的重名变量，实现了从井发表达式语言到安全标号的Petri网的转换工作。     

适用于实时协同编著系统的并发控制研究

实时协同编著系统是最受欢迎的实时ＣＳＣＷ应用系统之一，适用于实时协同编著系统的并发控制用于解决参与协同工作用户对共享对象操作时存在的冲突问题。本文对这种新的并发控制与适用于分布式数据库系统等的传统并发控制进行了比较，讨论了一些适用于实时协同编著系统并发控制方法的新评价参数，分析了传统并发控制方法应用到实时协同编著系统时所遇到的问题。最后，我们介绍了一些文献中已有原型系统所使用的并发控制方法。     

基于时间印的乐观并发控制算法

本文给出了一用于分布式数据库的并发控制算法，其原理是基于时间印的乐观控制法，算法产生了一等价于进入检验段顺序的可串行化局部日志和一等价于时间印的可串行化全局日志。     

一种面向应用的操作系统实验设置

实验设置一直是困扰操作系统课程教学的问题之一。文章归纳国内高校主要的实验设置方法,分析教学中遇到的问题,提出面向应用的操作系统实验开设目标,介绍操作系统实验专题设置,总结近几年的实践情况。     

线程池技术在并发服务器中的应用

线程池技术能有效减少多线程环境中资源的消耗,可以提高系统的处理能力。因此现在的服务器程序中大量应用该技术,可以最大程度的利用系统的资源,消除系统因频繁创建、销毁线程而带来的系统开销。文章就利用线程池技术来解决并发服务器中客户端频繁对服务器端请求服务这一应用场景,分析了线程池的工作原理,并做了仿真测试,证明了线程池在应用中确实有比较好的效果。     

NCS中实时数据库的多版本并发控制研究

实时数据库是网络控制系统(NCS)的重要组成部分,是整个控制系统中数据交换的平台。本文在原有的两段锁机制的基础上,提出一种适用于多版本的两段锁并发控制方法。简述数据多版本给现场控制带来的不利影响。分析在数据多版本的情况下,现场事务的可串行性,用多版本并发控制协议MV2PL解决多版本并发控制问题。用简化的多版本并发协议2V2PL说明它的正确性,并通过实例表明该协议是可行的。     

采集系统中存储技术的研究

随着光纤技术在嵌入式领域中的应用,通信数据量不断增加,高速采集网络上的数据并正确地存储到磁盘上已成为整个系统的瓶颈。本文从系统基本功能模块出发结合生产者/消费者(Producer-Consumer)模型,对多线程并发、直接读写扇区、异步I/O等技术在系统中的应用进行分析;对系统模型进行抽象,用数学方法对系统进行可行性分析。实验表明,数据采集系统中采用多线程多缓冲的方式在性能上有一定的提高。     

基于SaaS的矿震远程预警系统关键技术初探

现有的矿震预警系统都是以独立形式运行于各矿区,相互之间没有关联,重复投资严重,且矿震数据海量繁杂,仅依靠现场分析无法满足实时预警需求。文章基于感知矿山物联网示范工程(夹河矿),对采用云计算SaaS模式构建的矿震远程预警系统关键技术进行了相关研究:首先给出了系统整体框架,然后重点探讨了该系统所涉及的三个关键技术,包括基于SaaS的矿震预警专家分析软件架构、多源SaaS数据库构建技术以及基于MapReduce的并发数据过滤接收技术。现场应用表明,所构建的系统已基本具备全国统一远程矿震预警系统的架构,能满足多矿区远程矿震预警的基本要求。     

工作流技术在ASP公共服务平台中的应用研究*

根据项目特点,建立了适合ASP平台的基于协调理论和反馈机制的扩展活动网络模型,采用XML模式的XPDL规范实现过程定义;然后通过DOM解析XML数据文档和J2EE的技术支持实现了系统的轻量级工作流引擎.详细介绍了系统实现中解决的两个关键问题:事务型操作的处理和并发控制,并提出了基于优先级的锁绑定机制.     

Coremail邮件系统稳定获厦门航空青睐

正项目背景厦门航空计划搭建一套支持内、外网功能的邮件系统,经过多方比较和反复测试,Coremail凭借15年的技术积累,以及与蓝凌OA系统实现完美对接,获得厦门航空信息部门的肯定。解决方案Coremail邮件系统为大型分布式系统,包含多个服务模块。同一邮件服务器可以运行多个模块,充分发挥硬件性能。同一模块也可分布到不同服务器上,并发处理。