束德勤
- 作品数:16 被引量:17H指数:2
- 供职机构:山东农业大学信息科学与工程学院更多>>
- 发文基金:山东省高等学校科技计划项目中华农业科教基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术文化科学更多>>
- 基于Petri网进程的协议测试例生成方法及其实例
- 提出了一种基于Petri网进程的协议最小测试例集合生成方法,该方法可以得到覆盖协议行位的最小测试例集合,即用尽可能少的测试例覆盖尽可能多的协议行为,每个具体测试例都可以用Petri网进程给出图形化的直观表示。本方法还可以...
- 范昊束德勤
- 关键词:PETRI网
- 文献传递
- 移动平台的定制化位置隐私保护方案及实现
- 2014年
- 提出在为不同类别的用户提供个性化位置服务时兼顾位置服务与隐私保护的目的,当用户好友对用户进行定位时,系统将在服务器中查找用户对其好友的隐私策略分组,并得到对应的隐私开放类别,对用户的位置信息进行处理,从而实现个性化位置隐私保护的目标。方案已在IOS和Java环境下实现。
- 范昊束德勤张亮
- 关键词:无线网络隐私保护
- 《数据结构》教学方法研究被引量:2
- 2019年
- 数据结构是计算机科学与技术专业的核心基础课程。该课程知识和方法对编程能力的提高以及后续课程的学习起着至关重要的作用。教师以培养学生分析问题能力和实践能力为目标,练好过硬的实践本领。现结合该课程的教学内容,提出教学改进措施,对于提高本科生的创新能力与实践能力具有重要的现实意义。
- 范昊束德勤
- 关键词:数据结构实践教学教学管理
- 浅谈CSCW技术在虚拟医院中的应用被引量:1
- 2004年
- 网络的发展,计算机支持的协同工作的发展(CSCW)以及虚拟现实技术相结合产生出一种新型的医院—虚拟医院。本文主要介绍了虚拟医院的功能、表现形式及CSCW技术在其中的应用及发展趋势。
- 薛慧束德勤
- 关键词:CSCW技术协同工作虚拟现实技术
- 基于系统行为序列的Petri网自动建模方法
- 2014年
- 要想用Petri网对系统进行有效的模拟和分析,就必须先建立起可靠准确的Petri网模型,目前很少有文献专门研究Petri网对系统的建模问题。对此,提出了基于系统行为序列的Petri网自动建模方法。该方法将系统所有行为序列组合为正规语言表达式,对于不同的系统,给出标注函数(即变迁和系统行为的映射关系),就可以建立起系统的Petri网模型。给出了电话呼叫业务建立用户Petri网模型的一个实例。该方法形式化强、通用性好,建立的模型标准规范,并且可实现机器自动建模,在目前的系统建模研究方面取得了进展。
- 束德勤范昊
- 算法设计与分析课程教学方法研究被引量:1
- 2019年
- 算法设计与分析是计算机相关专业的核心课程之一,具有较强的理论深度和实践应用特点。本文根据该课程的教学经验,对教学内容的设置进行了探讨,并提出了可应用于该课程的几种教学方法,使教学效果更好。在分析了在课程设计与教学中存在的问题的基础上,对学生的教学内容、教学方法、实践教学等进行了描述,并提出了一些方法和建议,如互动教学的结合、板书与多媒体的结合、重视上机实习与考试方式的结合。
- 束德勤范昊
- 关键词:计算机算法设计与分析教学方法研究性学习
- 基于Petri网进程的协议测试例生成方法及其实例被引量:2
- 2008年
- 提出了一种基于Petri网进程的协议最小测试例集合生成方法,该方法可以得到覆盖协议行位的最小测试例集合,即用尽可能少的测试例覆盖尽可能多的协议行为,每个具体测试例都可以用Petri网进程给出图形化的直观表示。本方法还可以利用Petri网基本进程段的链接、并、闭包运算,将简单的测试例进行组合,从而得到测试协议复杂行为的测试例。结合一个实例,给出LAPD协议的Petri网模型和该协议的最小测试例集合。基于Petri网进程的协议测试例生成方法,使得协议的分析更加准确直观。
- 范昊束德勤
- 关键词:PETRI网
- 正规表达式到无空标注Petri网的构造方法
- 已知一个语言表达式或语言的集合,如何直接构造产生该语言的petri网模型是Petri网语言理论中的一个重要问题。语言表达式到Petri网(无ε-空标注)的转换算法更有难度。研究了恰当终结的标准Petri网语言(无ε-空标...
- 束德勤范昊
- 关键词:PETRI网语言表达
- 文献传递
- 正规表达式到无空标注Petri网的构造方法
- 2008年
- 已知一个语言表达式或语言的集合,如何直接构造产生该语言的Petri网模型是Petri网语言理论中的一个重要问题。语言表达式到Petri网(无ε-空标注)的转换算法更有难度。研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算、选择(并)运算、闭包运算、并行运算的性质,在此基础上给出正规表达式到无ε-空标注的恰当终结的标准Petri网的转换算法。作为对传统形式语言的有益补充,还给出了带并发算子"//"的正规表达式到恰当终结的标准Petri网(无ε-空标注)的转换算法。
- 束德勤范昊
- 关键词:PETRI网正规语言语言
- 正规语言闭包运算的Petri网构造方法
- 2010年
- Petri网语言与Chomsky文法体系之间的关系已有了一些结论,已经证明正规语言是Petri网语言的一个子类。相关文献中给出了一种Petri网子类——恰当终结的标准Petri网,并且已经证明恰当终结的标准Petri网语言与正规语言的等价性。在此基础上,研究了正规表达式中Kleene闭包运算"*"的Petri网构造方法,分别给出了Kleene闭包运算"*"的ε-空标注和无ε-空标注Petri网模型的构造方法。该构造方法可由产生正规语言L的网模型直接得到产生正规语言L*的网模型。证明了对于恰当终结的标准Petri网,正规语言闭包运算"*"的构造是封闭的。
- 苏平束德勤范昊
- 关键词:PETRI网正规语言