网上考试系统试题成卷的研究

本文介绍了网上学生考试系统的设计,重点介绍了试题组卷模块的设计思想和实现方法,并在试题的覆盖面,合适的试题量,避免试题的重复性等方面进行了较详细的阐述。     

基于扩展Petri网的控制器设计与分析

定义了一类扩展Ｐｅｔｒｉ网及其引发规划，标志矩阵和关联矩阵，并基于矩阵－状态方程，构造了一种适于该网模型分析的启发式算法，提出了一种由表征系统的期望动态行为的令牌流构造系统控制器的设计方法，并用上述启发式算法对其进行了分析，验证，最后给出了实例。     

基于WEB的考试系统研究与实现

基于Web的考试系统是远程教育的一个重要组成部分，它包括考试子系统和试题库子系统，采用B／S模型。分析了系统模型及功能，研究了考试系统实现的关键技术。提出的抽题策略和系统安全解决方案在考试系统实现中有较高的应用价值。     

基于WEB的考试模型探讨

基于Web的考试系统是考试的发展方向，是远程教育的一个重要组成部分，它采用B/S模型，分析了基于Web系统的考试模型及功能，研究了考试系统实现的关键技术，并在具体系统中做了实现。     

一个面向应用的随机抽题考试系统

介绍了一个面向应用的,适合大、中专院校学生上机考试的考试系统的设计思想,实现方法及其特色.     

基于Petri网的多智能体制造系统建模

针对多智能体系统建模困难、不易推广应用的问题,根据其技术特点,提出了多智能体制造系统体系结构,并利用Petri理论对系统进行了建模分析,不但使制造系统的智能化模型得以图形化地体现,而且降低了系统的复杂性,使系统的可扩展性和智能化水平得到了增强．     

网上考试系统中随机抽题算法的实现

网上考试是一种通过互联网进行的新的教育考核形式。随机抽题算法是确保网上考试系统实现其主要功能的基础性保障，在随机性、快速性和不可重复性等方面有严格的要求。文中通过对各方面需求的分析，结合网上考试系统的实现技术，详细说明了随机抽题算法的具体流程。     

基于网络的计算机考试系统的研究

概述了计算机网络考试系统优势,分析了基于网络的计算机考试系统的体系结构,在此基础上设计了基于网络的计算机考试系统的总体结构和主要功能模块,并阐明了对其中的关键性问题的解决思路.     

基于Petri Nets的数据流结构设计与模拟

数据流结构被广泛应用于数据流信号处理算法的硬件实现中 .通过建立数据流结构的PetriNets模型 ,动态模拟各个硬件处理单元在不同数据率输入信号下的状态 ,以此确定数据流结构中最佳的设计参数 ,实现数据流结构的优化设计     

基于Petri网的数字图书馆系统建模

Petri网是具有形象直观的图形描述以及严格的数学定义的建模工具。通过对数字图书馆书刊流通系统建模,探讨了Petri网在数字图书馆建模中的运用。     

混合随机Petri网

二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓展,其中,流体跳跃弧作为建模原语被赋予瞬时清空与之相联接的连续库的功能.给出了混合随机Petri网随机标识过程的动态方程,在该方程的推导中,首次将同时伴有流体跳跃发生的离散状态转移考虑在内.最后对流体流动速度随连续标识变化的情况下的边界条件进行了分析,使得可直接用数值方法对动态方程进行求解.     

基于着色Petri网实现A星算法的生产调度优化研究

基于着色Petri网对A星算法进行建模,研究生产调度优化问题.利用着色Petri网的理论优势,简化了大规模复杂工艺生产过程的调度模型过于复杂的问题.直接建立A星算法的着色Petri网模型,对于生产调度研究中的跨平台问题给出了一种解决方法.通过着色Petri网仿真模拟软件CPN Tools构建了基于着色Petri网的A星算法实例和生产调度实例.     

基于Petri网的规范说明语言

对规范说明的研究是当前计算机科学领域的一个重要的课题,现已提出多种语言系统。本文从petri网的特点出发,提出了一种基于petri网的规范说明语言。首先介绍了它的数据类型,控制过程及实现方法,详细说明了网类型及其运算。最后还给出了一个具有实用价值的例子。     

计算Petri网S不变量和T不变量算法

以Petri网的关联矩阵为基础,提出了求解Petri网的S不变量和T不变量的算法。以关联矩阵为基础构造求解矩阵,对所构造的求解矩阵进行初等线性行变换和列变换将相应的行元素和列元素变为零,并在变换后的矩阵中提取S不变量和T不变量。算法实现了在一个矩阵中通过初等线性变换就可以得到Petri网的S不变量和T不变量。     

基于Petri网的应用软件开发及其关键技术

讨论了设计基于Petri网的应用软件中的几个关键技术及相应的解决方法,类似与中间件技术,将Petri网结构文件存储为XML也格式文件,系统能够导入和导出基于PNML(Petri Net Markup Language)交换格式的Petri网模型,并简要介绍了基于Petri网的多主体运行环境PNAE(Petri Nets based Agents Environment)．     

基于面向对象Petri网的软件体系结构描述语言

以面向对象Petri网为形式化理论基础 ,提出了一种基于面向对象Petri网的体系结构描述语言 (OP NADL) .与传统的体系结构描述语言相比 ,OPNADL能描述系统的静态和动态语义 ,可利用Petri网的数学分析方法对系统进行动态分析 ,能形象、直观地刻画系统的整体和个体特性 ,同时可以利用相应的Petri网支持工具对软件体系结构进行模拟、分析和验证 .通过OPNADL在公安地理信息系统和柔性制造教学系统开发中的实践证明 ,OPNADL可以有效地辅助软件设计人员在体系结构层次上对系统进行分析和设计 ,从而提高了系统的开发效率 ,具有良好的应用前景     

基于Petri网的ECA规则集终止性分析

对于ECA(event-condition-action)规则集,由于其行为特性较为复杂,终止性分析比较困难.在Petri网理论的基础上,提出了一种扩展Petri网系统,建立了ECA规则集模型,能够较好地表示ECA规则的行为特性;利用Petri网分析方法,对ECA规则行为进行了分析,并利用可达图和T_不变量方法对ECA规则集的终止性进行了分析.经过实例验证,该方法效果良好.     

基于Petri网的哲学家就餐问题多线程设计与实现

为了解决操作系统中的进程间同步互斥问题,以Petri网为系统描述工具分析了经典的哲学家进餐问题,讨论了1：1的轮流固定使用的Petri网模型,给出了使用（串行）的管理模型的程序实现,且可以实现2：3的轮流固定使用（并行）和不固定的动态管理．此法简洁高效,在操作系统的其他类型进程调度中可进行类似推广．     

基于时间Petri网的渗透测试攻击模型研究

针对攻击模型会因为描述的攻击参数不完备,导致实际应用价值降低的问题,提出一种以漏洞为基本粒度,基于时间Petri网的渗透测试攻击模型及构建方法. 该方法对已知漏洞列表构建单漏洞利用模型,通过整合形成渗透测试攻击模型,并提供快速和稳定的漏洞利用方案选择算法,获得相应攻击方案,以及完成一次渗透攻击所需最短时间. 实验结果表明,该模型及算法可以有效地描述攻击时间和攻击稳定性,可实际应用于渗透测试.      

一个新的基于时间Petri网的多媒体同步模型

多媒体同步是多媒体应用的一个重要需求。本文提出了一种基于时间Ｐｅｔｒｉ网的多媒体同步模型,以对具有时间约束关系的多媒体合成进行抽象和形式化描述,并给出了处理异步用户交互的算法