基于原子任务构建职业教育“微”教学资源

在我国数字化教学资源建设领域,建设微型教学资源受到了广泛的关注。建设职业教育微型教学资源时,因工作过程知识类别多、情境多样、注重实践等特点,使资源建设存在一定的难度。分析工作任务的关联逻辑,借助工作流技术对工作流程建模,划分最小粒度的原子任务,并通过分析原子任务工作过程知识的要素组织逻辑,设计资源的框架结构,为职业教育＂微＂资源建设提供了更具操作性的方法。     

基于加权语义网和有效信息的个性化用户兴趣建模*

为了提高个性化用户兴趣建模的准确率,对用户建模过程进行了优化。在计算文档相似度时,综合考虑特征词的语义关系以及在文档中的分布情况,引入加权语义网,提高了文档相似度计算精度;在计算兴趣度权值时,引入有效信息的概念及量化方法,以解决用户兴趣类权值计算过于主观的问题,并提出具体权值算法,提高了权值计算的准确性。实验结果表明,改进的方法在用户兴趣聚类和兴趣类别权值计算的准确率上都较以往方法有较大提高。     

基于Petri网的信息流安全属性的分析与验证*

信息流安全属性的定义均基于不同的语义模型,很难作出比较,以Petri网作为描述安全系统的统一模型,在Petri网上定义四种常见的安全属性,并分析它们之间的逻辑关系。在信息流安全属性验证方面,传统的方法称为展开方法,该方法适用于确定型系统,而对于非确定型系统,该方法是可靠的,但不完备。进一步对Petri网上已经定义的四种属性给出可靠完备的验证算法,并开发出相应的验证工具。最后通过实例说明了验证方法在搜索隐通道方面的应用。     

基于倒排列表的网流索引检索与压缩方法

随着计算机的广泛应用以及互联网的飞速发展,互联网流量呈现爆炸式增长的态势。为了应对日益严重的网络滥用以及网络安全事件,出于安全取证的需要,必须对互联网流量进行收集、存储和分析。互联网流量的监控需要及时统计网络流量的源地址、目的地址、源端口、目的端口、协议、时间戳等信息,以便进行流量统计和综合分析。但是网络流量信息是海量的,如何快速检索相关流量是一个挑战性问题。在搜索引擎中,为了处理海量数据检索,倒排索引是快速搜索技术的关键方法。文章把搜索引擎中的倒排索引方法和索引压缩算法应用到互联网网流信息检索中。通过实验测试和验证,在网流信息检索中,倒排索引以及索引压缩算法能够有效提高检索速度。     

基于有色Petri网的1553B总线建模及分析

针对1553B总线的实时性评估问题,提出一种基于有色Petri网(Colored Petri Net,CPN)的1553B总线模型;该模型基于分层建模的思想,分别建立了1553B总线的拓扑模型、总线控制器模型、远程终端模型和总线信道模型,有效刻画了1553B总线的拓扑结构和动态行为;仿真实验验证了所建模型的正确性和有效性,该模型可为构建满足特定实时性要求的1553B总线系统提供理论依据。     

Method to compute the reachability set of S3PR

This paper proposes a novel approach to computing the reachability set by using place invariants and strict minimal siphons for S³PR with specific resource places. First, the set of invariant markings is enumerated. Then a necessary and sufficient condition is developed to decide whether a marking is spurious by analyzing the relationship between the number of tokens in the corresponding places of any strict minimal siphon and their bounds. In addition, the spurious markings are calculated. Finally, the reachability set of the net is generated by removing all the spurious markings from the set of invariant markings. Experimental results show the efficiency of the proposed method.     

基于日志分析的增量数据捕获方法研究

通过扫描数据库日志文件可以捕获变化数据,但已有研究仅适应某种特定类型的数据库管理系统并且缺乏对冗余信息的消除。针对上述不足,提出一个基于日志分析的增量数据检测及其净效应处理通用模型,描述增量检测过程中的通用处理步骤,即日志抽取、日志分析和净效应处理3个模块。通过实验对净效应处理速度、冗余数据压缩率、网络传输速度等因素进行分析,结果表明,净效应处理可以有效地减少数据的网络传输时间和更新时间,提高运行效率。     

基于对称三层架构的Petri网仿真工具开发

设计了一种Petri网建模工具.针对该工具的特点定义了一种新的分层体系结构—对称三层架构,采用该架构设计了该工具的体系结构和核心类;对该工具进行了验证.结果表明:通过该工具,可以以图形化的方式建立、分析和仿真Petri网模型.     

智能仓库出入库系统优化研究

针对智能仓库出入库系统作业过程中出现的货物拥堵和设备利用率低等问题,对智能仓库出入库作业特点进行了研究,构建了智能仓库的出入库作业周期模型,采用面向对象赋时 Petri 网的方法建立智能仓库出入库系统的 OOTPN（object oriented timed Petri net）模型,并对模型进行了死锁分析,同时也分析了模型有效性和可靠性。运用 Flexsim 仿真软件对建立的 OOTPN 模型进行仿真优化,实验结果表明,出入库工作能力直接影响堆垛机和处理器的利用率,增加出入库工作组可以有效地提高智能仓库的工作效率。