高校体育教师素质结构调查分析

通过对部分学生和高校教师的问卷调查,并查阅各种有关文献资料,从高校体育素质教育的需求以及社会体育的需求角度出发,对高校体育教师素质结构进行分析,即高校体育教师应该具备全面的体育理论知识,较强的体育能力,科学的教学方法,丰富的教学手段以及组织、指导大众体育的能力和服务社会的意识.     

Petri网中亚公平关系与亚公平网

Petri网中的弱公平但不公平的关系称为亚公平公系,由此可引伸出亚公平Petri网和亚公平网等概念。本文证明了一个重要性质：亚公平Petri网中一定存在着公平关系,并在此基础上讨论了亚公平网中的公平分支划分。此外,本文通过网的本原可重复向量集化简了一个网为亚公平网的一组充分必须条件。     

Petri网的对偶运算及性质

给出了对偶Petri网的加法、笛卡尔积、并运算及有关性质 ,得到了对偶Petri网运算的一些结果     

形式化面向对象方法与并发系统的建模

将统一建模语言（UML）的面向对象可视化技术与代数规范语言CafeOBJ的形式描述相结合,对冗余磁盘阵列（RAID）系统中的并发特性进行建模、分析和规范。提供了RAID系统的清晰结构,以此来弥补形式化规范语言的不足,规范软件设计过程,保证程序的正确性。     

等值线图形的扫描线法

一般的等值线图形采用函数值跟踪算法,该法对内部封闭等值线的起点确定比较麻烦。笔者采用面向对象的程序设计方法给出适用于任意形状单元的等值线图的通用扫描线生成方法,采用VC6.0中的MFC实现了三点三角形、六点三角形、四点四边形、八点四边形和九点四边形的计算结果图形显示。并给出了算例。     

电子电路故障诊断的模糊Petri网模型

提出了一种适用于电子电路故障诊断系统的模糊Petri网模型,用模糊Petri网表示故障诊断的模糊知识与推理机.     

基于ObjectARX开发轴类零件的参数化绘图方法

基于ObjectARX二次开发工具的特性 ,通过对现有的参数化设计方法的分析 ,给出了轴类零件一种切实可行的参数化绘图设计方法。该方法设计界面友好 ,能简洁高效地实现交互式参数输入 ,由结构构建零件图形等功能。     

高校思想品德课中的创新教育

对高校思想品德课中培养学生创新素质进行了探讨。高校思想品德课应发挥学科优势 ,开展创新教育 ;激发创新动力 ,培养创新意识 ;磨炼创新意志 ;引导创新学习 ,培养创新能力     

基于Petri网的多机器人协作任务分配与导航研究

研究了基于Petri网理论的多移动机器人任务分配和导航策略问题.针对有限空间环境下的物科收集协作任务,提出了一种机器人路径选择方法,并建立了基本路口单元和工作空间的Petri网模型.通过任务分配模型实时规划物科仓库内的机器人,并对具有拐角特征的多机器人路径冲突给出了消解方法,建立了机器人冲突协调模型.通过分析任务冲突协调模型,避免了多机器人运动路径冲突.最后仿真实验验证了提出的多机器人任务规划方法的有效性.     

异构时空数据的转换机制研究

目前时空模型难以兼顾时空语义表达与计算机实现困难的现状,形成不同部门、不同应用、不同时期的时空数据在语义、模型、结构等方面的差异,阻碍了时空数据之间的相互转换,限制了历史数据在预测预报等领域重要作用的发挥.在总结时空数据模型特点的基础上,试图以一个崭新的视角分析时空模型的发展历程;在此基础上,采用图论这一通用数据结构与数学描述方法.构建具有完备性的时空数据描述模型;探讨由此引发的异构时空数据的转换机制.最后,在异构时空模型之间的转换机制中分析了该模型的特点.