赵俊峰
- 作品数：8 被引量：30H指数：4
- 供职机构：内蒙古大学计算机学院更多>>
- 发文基金：国家自然科学基金内蒙古自治区自然科学基金教育部科学技术研究重点项目更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- UML时序图向PNML转换的研究与实现被引量：4
- 2011年
- 对已有行为模型向Petri网的转换机制进行对比分析,提出改进的UML2时序图到Petri网的转换规则,实现了时序图向Petri网标记语言转换的工具.实验结果表明,本文提出的工具能有效地将时序图转化为Petri网模型并生成相应PNML文件,进而更好地对UML模型进行分析和验证.
- 赵俊峰周建涛
- 关键词：UML时序图PNMLPETRI网
- UML活动图到Petri网的转换方法及实现研究
- 统一建模语言UML缺乏形式化语义,由其描述的模型难以进行动态的分析和验证.而Petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法.综合运用Petri网和UML能够提高软件描述的全面性、一致性、精确性和完整性.研...
- 赵俊峰周建涛邢冠男
- 关键词：PETRI网
- 文献传递
- 计算机相关课程的“五阶段”递进式线上教学被引量：3
- 2020年
- 为更好地落实疫情期间的教学任务,提出计算机相关课程进行"五阶段"递进式线上教学,即以线上资源和平台选择为起点,完成教学内容和教学组织方式调整,进行练习、测验和作业设计,融入思政元素实现课程思政,改革考核方式和教学评价,具体阐述5个阶段如何递进式推进,并说明实践效果。
- 卢慧巩政赵俊峰
- 关键词：递进式计算机课程线上教学
- UML时序图向PNML转换的研究与实现
- L行为模型对于描述软件系统的动态特征起着重要作用,但问题是缺乏形式化语义无法对模型进行形式化分析和验证.Petri网是一种形式化建模语言,具有严格的形式化语义及丰富的分析和验证工具.
- 赵俊峰周建涛
- 基于区块链的云存储数据完整性验证方案被引量：9
- 2021年
- 针对云存储服务数据完整性存在的问题,借鉴目前远程数据完整性验证方案,提出基于区块链的云存储数据完整性验证方案。首先,将完整性证明存储在具有防篡改特性的区块链上,构建了可问责的数据完整性证明;同时以区块链上的智能合约代替第3方审计者对数据进行完整性验证。在验证阶段加入了对数据副本的完整性验证,并强制要求云存储服务存储至少一份数据副本。此外,首次引入第3方仲裁机构,利用可问责的数据完整性证明对恶意的云存储提供商和用户的非法请求进行完整性仲裁。最后经过分析和实验证明该方案是安全的,可行的。
- 刘峰赵俊峰
- 关键词：数据完整性区块链多副本
- 学生为中心的大学计算机混合式一流课程建设被引量：4
- 2022年
- 针对面向文科专业学生的大学计算机课程教学,提出以学生为中心的大学计算机混合式课程教学方案,结合内蒙古大学实际情况,从课程育人、教学内容、教学计划、教学形式、评价方式等方面介绍开展一流课程建设的方法,探讨适应新时代特色和当代大学生特点的通识教育必修课大学计算机课程的教学改革路径,形成以学生为中心的大学计算机课程建设模式。
- 卢慧巩政赵俊峰
- 关键词：大学计算机混合式
- UML活动图到Petri网的转换方法及实现研究被引量：10
- 2014年
- 统一建模语言UML缺乏形式化语义,由其描述的模型难以进行动态的分析和验证。而Petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法。综合运用Petri网和UML能够提高软件描述的全面性、一致性、精确性和完整性。研究了UML活动图向Petri网的转换规则,并依据转换规则实现了模型转换工具APConverter。此工具能有效地将活动图转换为Petri网模型并生成PNML文件,进而更好地对UML模型进行分析和验证。
- 赵俊峰周建涛邢冠男
- 关键词：UML活动图PETRI网PNML
- 地方院校软件工程专业建设的思考与实践——以内蒙古大学为例被引量：1
- 2013年
- 随着信息技术的发展、产业结构的调整,社会对软件人才不断提出新的需求。地方院校如何建设软件工程专业,培养符合社会需求的软件人才是值得关注的问题。地方院校应依据学校自身优势及地方经济发展需要制定切实可行的培养方案,改革传统教育教学方法强化学生实践能力,注重培养学生英语应用、团队协作、创新意识等多方面素质,采取引进来与送出去相结合的方案优化师资队伍配置。通过这些关键任务的综合实施,有效提高软件人才培养质量。
- 赵俊峰周建涛
- 关键词：软件工程专业实践教学
