Petri网系统并行化方法的研究

对Petri网系统并行化一般方法的研究.给出了使用P/T网作为研究对象的原因以及基于P-不变量的Petri网系统分割技术和并行进程创建的条件;提出了非负库所和共享库所进程的并行化条件和方法,并对它们进行证明和实例验证;对不存在P-不变量的Petri网并行化问题进行讨论,确定其不存在并行进程,Petri网不能并行化;提出Petri网系统并行化的一般方法和实现步骤,使其成为各应用领域Petri网系统并行化过程中一种通用的、有效的方法.     

OLE技术在Visual Foxpro中的应用

该文介绍OLE技术、OLE容器控件、OLE绑定型容器控件及其特点，实现OLE术在VFP中的应用。     

满秩Petri网可达性判定算法的设计与实现

通过对Petri网可达性的分析，给出满秩Petrl网可达性算法及其实现过程，在VC＋＋平台上对算法进行验算，并对算法运行结果进行可达性讨论；该算法为满秩Petri网可达性的判定提供了一种快速有效的求解方法．     

信息技术类专业的离散数学课程教学探讨

信息技术类专业数学课程教学模式的单一性和平面性是该类课程教学中存在的主要问题.在教学手段上仍以“一本教案、一支粉笔”的老手段,单一的、传统的教学方法很难适应要求,需要探索适合该类课程特点的教学方法,教学过程要联系计算机学科、信息管理、通信工程等信息技术类专业的相关问题;教学评价体系要反映学生初步利用数学解决信息技术类及其相关学科问题的能力等.     

编译原理课程教学中计算思维能力的培养方法

针对编译原理课程的教学目标及该门课程教学中普遍存在的问题,从选择合适的方式陈述问题、模块化方法、等价转化方法、形式化方法等计算思维方法探讨如何运用计算思维提高编译原理课程教学质量及如何在教学中培养学生的计算思维能力。     

提高计算机基础课教学质量的几点做法

该文根据计算机基础课的特点．结合几年教学实践，提出提高计算机基础课教学质量几点办法。     

基于色彩统计信息的图像语义检索模型的研究

探讨语义网图像搜索的一般模型及其算法,提出色彩统计信息的图像语义网检索模型和检索算法,利用半监督学习方法来实现算法,并对算法进行分析.实验结果表明,在小样本情况下对色彩统计信息进行图像检索,提高了检索的查准查全率.