建立师生交流机制 提高高校学生学习兴趣

基于师生共同参与的交流是促进教学相长的主要途径之一。针对教学中存在和出现的一系列欠缺交流问题,和对90后高校学生思想性格特征的分析,我们建立了集"学术讲座"、"访谈交流"、"多媒体平台"等多方交流方式构建灵活的沟通机制,以提高大学生对学习的兴趣。

单功能非线性流水线的Petri网调度方法

在非线性流水线的调度中须找出一种合适的时间间隔,避免流水线各功能段的使用冲突并使流水线有较高的吞吐率和效率,为此提出一种基于Petri网的单功能非线性流水线的建模及调度方法。对流水线的工作过程建立直观清楚的Petri网模型,直接利用网结构求出禁止启动距离和初始可调度向量;根据网模型的一步并发和冲突检测缩小Petri网可达图的状态空间,得到流水线的可调度图;由可调度图的闭合回路,得到最优调度方案。结合一个流水线调度实例,验证了该方法的正确性。

以学科竞赛为依托 促进学生动手能力培养——高等农林院校对教学改革的探索与实践

针对第六届"蓝桥杯"全国软件大赛我校取得的优异成绩及对学生动手能力的提高,研究在"互联网+"的科技发展背景下,高等农业院校应如何把握前沿科技动态、理解就业需求,以学科竞赛为依托,培养学生实践动手能力,配合企业用人需求,推进信息技术人才培养。

正规表达式到无空标注Petri网的构造方法

已知一个语言表达式或语言的集合,如何直接构造产生该语言的Petri网模型是Petri网语言理论中的一个重要问题。语言表达式到Petri网(无ε-空标注)的转换算法更有难度。研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算、选择(并)运算、闭包运算、并行运算的性质,在此基础上给出正规表达式到无ε-空标注的恰当终结的标准Petri网的转换算法。作为对传统形式语言的有益补充,还给出了带并发算子"//"的正规表达式到恰当终结的标准Petri网(无ε-空标注)的转换算法。

基于系统行为序列的Petri网自动建模方法

要想用Petri网对系统进行有效的模拟和分析,就必须先建立起可靠准确的Petri网模型,目前很少有文献专门研究Petri网对系统的建模问题。对此,提出了基于系统行为序列的Petri网自动建模方法。该方法将系统所有行为序列组合为正规语言表达式,对于不同的系统,给出标注函数(即变迁和系统行为的映射关系),就可以建立起系统的Petri网模型。给出了电话呼叫业务建立用户Petri网模型的一个实例。该方法形式化强、通用性好,建立的模型标准规范,并且可实现机器自动建模,在目前的系统建模研究方面取得了进展。

基于Petri网进程的协议测试例生成方法及其实例

提出了一种基于Petri网进程的协议最小测试例集合生成方法,该方法可以得到覆盖协议行位的最小测试例集合,即用尽可能少的测试例覆盖尽可能多的协议行为,每个具体测试例都可以用Petri网进程给出图形化的直观表示。本方法还可以利用Petri网基本进程段的链接、并、闭包运算,将简单的测试例进行组合,从而得到测试协议复杂行为的测试例。结合一个实例,给出LAPD协议的Petri网模型和该协议的最小测试例集合。基于Petri网进程的协议测试例生成方法,使得协议的分析更加准确直观。

《数据结构》教学方法研究

数据结构是计算机科学与技术专业的核心基础课程。该课程知识和方法对编程能力的提高以及后续课程的学习起着至关重要的作用。教师以培养学生分析问题能力和实践能力为目标,练好过硬的实践本领。现结合该课程的教学内容,提出教学改进措施,对于提高本科生的创新能力与实践能力具有重要的现实意义。

正规语言闭包运算的Petri网构造方法

Petri网语言与Chomsky文法体系之间的关系已有了一些结论,已经证明正规语言是Petri网语言的一个子类。相关文献中给出了一种Petri网子类——恰当终结的标准Petri网,并且已经证明恰当终结的标准Petri网语言与正规语言的等价性。在此基础上,研究了正规表达式中Kleene闭包运算"*"的Petri网构造方法,分别给出了Kleene闭包运算"*"的ε-空标注和无ε-空标注Petri网模型的构造方法。该构造方法可由产生正规语言L的网模型直接得到产生正规语言L*的网模型。证明了对于恰当终结的标准Petri网,正规语言闭包运算"*"的构造是封闭的。

浅谈CSCW技术在虚拟医院中的应用

网络的发展,计算机支持的协同工作的发展(CSCW)以及虚拟现实技术相结合产生出一种新型的医院—虚拟医院。本文主要介绍了虚拟医院的功能、表现形式及CSCW技术在其中的应用及发展趋势。

移动平台的定制化位置隐私保护方案及实现

提出在为不同类别的用户提供个性化位置服务时兼顾位置服务与隐私保护的目的,当用户好友对用户进行定位时,系统将在服务器中查找用户对其好友的隐私策略分组,并得到对应的隐私开放类别,对用户的位置信息进行处理,从而实现个性化位置隐私保护的目标。方案已在IOS和Java环境下实现。

对递归算法进行“分类探讨”的教学方法研究

递归算法或者递归程序是计算机及相关专业高校学生,在大学学习阶段必须掌握的一种程序设计方法。文章首先分析了高校学生在学习递归算法时遇到的难点,然后将递归算法进行不同角度的分类,由易到难详细剖析递归算法的设计思路,最后对递归程序的设计过程进行讲解和总结。文中还结合了实际教学案例,给出了递归算法的讲解和设计过程。

配置ICS的实验设计与实现

介绍了ICS的工作原理,ICS的拓扑结构、特点,用Windows操作系统为ICS主机时Internet连接共享的设置。

算法设计与分析课程教学方法研究

算法设计与分析是计算机相关专业的核心课程之一,具有较强的理论深度和实践应用特点。本文根据该课程的教学经验,对教学内容的设置进行了探讨,并提出了可应用于该课程的几种教学方法,使教学效果更好。在分析了在课程设计与教学中存在的问题的基础上,对学生的教学内容、教学方法、实践教学等进行了描述,并提出了一些方法和建议,如互动教学的结合、板书与多媒体的结合、重视上机实习与考试方式的结合。

基于Android的移动学习系统的设计与实现

针对大学校园的学习自主性的特点,本文应用Android技术对大学校园移动学习系统进行了设计与开发,用户能够根据自己的学习能力制定属于自己的学习计划进度,满足了大学校园快捷、方便、移动的学习需求,引领了一种全新的学习方式。

协议一致性测试的Petri网方法

协议的一致性测试时判别协议的实现与所对应的协议标准是否相一致。本文给出了用Petri网理论对协议一致性测试的总体方案,重点解决了两个难点问题,测试集合测试例的表示和成效,被测实现的实际响应序列和预期响应序列的比对。为协议测试提供了一套完整的形式化方法。