舒新峰
- 作品数：34 被引量：36H指数：4
- 供职机构：西安邮电大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划陕西高等教育教学改革研究项目更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 一种xUML4MC模型到MSVL语言程序的转换方法、计算机程序
- 本发明属于计算机软件技术领域，公开了一种xUML4MC模型到MSVL语言程序的转换方法、计算机程序，所述xUML4MC模型到MSVL语言的转换方法包括：建立类图模型和活动图模型描述系统；将类图和活动图转换为面向对象抽象语...
- 舒新峰王曙燕王梦楠
- 文献传递
- 投影时序逻辑的公理系统与形式验证被引量：4
- 2009年
- 为了采用定理证明的方法对并发及交互式系统进行验证,提出了一阶投影时序逻辑的公理系统.利用投影时序逻辑既可描述待验证系统性质和规范,又可描述其实现模型的特点,在同一投影时序逻辑框架可以方便地对待验证系统进行建模和性质描述,并使用公理系统完成系统性质的证明.最后通过一个实例来展示投影时序逻辑及公理系统在系统验证中的应用.
- 舒新峰段振华
- 关键词：投影时序逻辑公理系统形式化方法
- “数据结构”课程中Floyd算法教学方法研究
- 2008年
- Floyd算法是“数据结构”课程里的一个经典算法，但其原理却难以掌握，影响到该算法的教学效果。本文从求最短路径的基本思想出发，对Floyd算法的原理进行了剖析，并给出了该算法的正确性证明，有助于学生理解和掌握该算法。
- 舒新峰
- 关键词：最短路径FLOYD教学方法数据结构
- 公交网络的分层数据模型与智能查询算法
- 2009年
- 为解决当前公交查询系统普遍存在的查询效率低且仅能进行同城公交换乘查询等问题,提出了基于分层模式的公共交通网络模型,可对全国范围内的交通网络进行统一管理,并设计了新型的交通查询算法,实现了任意两地间的最佳乘车方案查询.和现有系统相比,新方案具有良好的可扩充性和较低的时间复杂度,可用于各类型公交查询系统开发.
- 舒新峰
- 关键词：交通网络公交查询数据结构
- pthread库多线程C程序到MSVL程序的转换方法、计算机程序
- 本发明属于计算机软件技术领域，公开了一种pthread库多线程C程序到MSVL程序的转换方法、计算机程序；所述pthread库多线程C程序到MSVL程序的转换方法包括：对pthread库多线程C程序进行静态分析，得到程序...
- 舒新峰王振宇高巍然黄茹王昌太史婉玉
- “数据结构”课程中Floyd算法教学方法研究
- Floyd算法是“数据结构”课程里的一个经典算法，但其原理却难以掌握，影响到该算法的教学效果。本文从求最短路径的基本思想出发，对Floyd算法的原理进行了剖析，并给出了该算法的正确性证明，有助于学生理解和掌握该算法。
- 舒新峰
- 关键词：计算机专业《数据结构》课程设计
- 文献传递
- 一种自适应轻量级动态混合数据竞争检测方法
- 本发明针对并发程序动态数据竞争检测问题，公开了一种自适应轻量级动态混合数据竞争检测方法，属于并发程序测试领域。该方法首先过滤掉线程本地数据访问和只读数据访问，进而只分析共享内存位置，然后为每个共享内存维护两个历史访问信息...
- 孙家泽杨彦漫舒新峰
- 文献传递
- C语言中指针的探讨
- 2004年
- 本文对指针及指针变量的本质进行了剖析，并对指针的使用原则与学习方法进行了深入讨论.
- 舒新峰
- 关键词：C语言内存地址初始化
- 一种基于GAN的医学诊断模型对抗攻击方法
- 本发明针对人工智能医疗影像诊断模型的安全性问题，公开了一种基于GAN的医学诊断模型对抗攻击方法。首先是对采集到的医学病理影像搭建基于ResNet‑101的高精度残差神经网络诊断模型，然后构建基于GAN的对抗攻击网络模型，...
- 王小银吕硕王曙燕孙家泽舒新峰候东海王春梅
- 基于Spin的地铁门控制系统建模与验证被引量：1
- 2015年
- 针对地铁门控制系统(MDCS)安全问题,提出一种MDCS检测方法。通过分析MDCS的控制逻辑,使用Promela建立了基于Spin的MDCS系统模型,将MDCS中的地铁控制系统、地铁门控制系统及屏蔽门控制系统抽象为三个进程,并用线性时态逻辑公式描述待验证性质,运行Spin后即可判断MDCS是否存在安全隐患。实验结果表明,该检测方法可有效验证MDCS的安全性。
- 舒新峰张炎龙孙林泽
- 关键词：SPINPROMELA
