多级计算机控制系统可行性方案探讨

该文提出了一种应用于煤码头的计算机多级分布式控制系统的模式,论述了系统各级功能、软件配置、系统联连方式及数据通信。方案是可行的。     

A Novel Multi-Level Trust Algorithm for Mobile Ad Hoc Networks

Firstly, a multilevel trust algorithm for MANET （mobile ad hoe networks） is presented in this paper and the trust level is defined as a three-tuple type in this multilevel trust algorithm. The paper introduces the multilevel trust into MANET, thereby controlling restricted classified information flows among nodes that have different trust levels. Secondly, the infrastructure of MANET that suit to our multi-level trust is presented, Some conclusions are given at lastly.     

AOP及其在状态机工作流中的应用

面向切面编程(Aspect-Oriented Programming,简称AOP)作为一种新的编程技术正日益引起人们的关注.文章介绍了AOP产生背景和理论价值,并结合作者所设计的状态机工作流框架,详细讨论了如何通过在该框架中引入AOP机制来克服纯面向对象编程的不足,从中分析了AOP的优势和应用价值,最后对AOP和OOP的关系进行了讨论.     

防火墙与入侵检测系统及其发展

简述了防火墙及入侵监测系统的原理及分类,分析了这两类技术最近发展趋势,对保证网络安全给出了有益的参考.     

Model Checking Workflow Net Based on Petri Net

The soundness is a very important criterion for the correctness of the workflow. Specifying the soundness with Computation Tree Logic （CTL） allows us to verify the soundness with symbolic model checkers. Therefore the state explosion problem in verifying soundness can be overcome efficiently. When the property is not satisfied by the system, model checking can give a counter-example, which can guide us to correct the workflow. In addition, relaxed soundness is another important criterion for the workflow. We also prove that Computation Tree Logic ＊ （CTL ＊ ） can be used to character the relaxed soundness of the workflow.     

The refinement algorithm consideration in text clustering scheme based on multilevel graph

To construct a high efficient text clustering algorithm, the multilevel graph model and the refinement algorithm used in the uncoarsening phase is discussed, The model is applied to text clustering. The performance of clustering algorithm has to be improved with the refinement algorithm application, The experiment result demonstrated that the muhilevel graph text clustering algorithm is available,     

一种备件多级库存系统的仿真优化模型

针对备件多级库存问题，分析了备件需求的特点，建立了多级库存问题模型．在模型的基础上对备件订购量、安全库存量，订购策略，率存模式等进行了研究．研究发现：库存模式、订购策略和相关参数都会影响库存策略和最小总费用；一般情况下，较优订购策略为“库存量降到安全库存水平以下时订购，订购使得备件总量达到某一常数”．因此，备件采用多级库存模式还是单极库存模式应根据具体参数和订购策略确定．由于备件库存问题的特殊性，论文提出了一种求解该问题的仿真优化方法．实验结果表明：是一种有效的求解备件库存优化问题的方法。     

一种基于着色赋时Petri网的Web服务组合建模方法

为了满足日益复杂的Web服务需求,提出了一种扩展的petri网模型,即着色赋时Petri网模型。该模型通过引入时间集合来表示Web服务的触发及运行时间,通过引入颜色集合来区别不同种类的Web服务,使得对Web服务组合的描述更为准确。针对该模型还详细给出了该组合模型的基本运算规则及图形表示。     

基于工作流的粮库管理系统研究与开发

一、引言 近年来,我国建立了一批现代化的粮库,这批粮库的建成为确保国家粮食安全提供重要的基础设施保障.     

基于UML的储备粮库管理系统工作流分析

分析了储备粮库管理系统的业务需求,提出通过工作流技术、以系统化的管理思想构建适合粮食仓储的新系统,其中重点讨论了基于UML的系统分析下的储备粮库管理系统的具体建模过程.