张忠秋
- 作品数：7 被引量：11H指数：2
- 供职机构：西北工业大学更多>>
- 发文基金：国家自然科学基金中国航空科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 基于Coq的微内核操作系统程序验证方法研究被引量：3
- 2011年
- 机载嵌入式程序的可信属性验证是新一代飞机研制最关注的软件质量保障问题;基于定理证明的程序形式化验证方法是一种可靠和严格的软件正确性验证技术;文中在深入分析微内核操作系统的基础上,应用霍尔逻辑针对机载嵌入式软件核心代码开展程序验证技术研究,根据霍尔逻辑的相关推理规则进行程序验证,并在定理证明辅助工具Coq中形式化表示霍尔逻辑的推理规则,针对机载操作系统的部分程序代码实例进行验证;实验结果表明基于定理证明的程序验证方法可以对软件程序代码的正确性进行验证,从而帮助软件提供商开发高可信的机载嵌入式软件。
- 张忠秋董云卫张雨张凡
- 关键词：定理证明
- 用于任意旋转角度景象匹配的圆投影算法被引量：5
- 2011年
- 在分析、研究传统圆投影算法的基础上,提出一种扩展的圆投影算法用以解决传统圆投影算法引入的任意旋转角度景象匹配问题。该算法通过对匹配模版添加辅助点加以约束,可以实现旋转中心的准确定位,并且能快速准确地计算出旋转角度。实验表明,扩展的圆投影算法均能获得精确的匹配结果。
- 于辉张忠秋何周灿
- 关键词：景象匹配圆投影
- 2000年以来我国高校党建研究现状、热点与前沿——基于《学校党建与思想教育》期刊载文的可视化分析
- 2022年
- 文章以CNKI数据库中2000-2020年《学校党建与思想教育》刊载的高校党建研究文献为数据基础,利用CiteSpace软件,对我国高校党建研究现状及热点前沿进行可视化分析。研究发现,高校党建研究一直是学术界和高校党务工作者研究的热点;高校党建工作、学生党建工作、全面从严治党等为研究热点;新时代、政治建设等主题为前沿研究领域。
- 于辉张忠秋韩冬
- 关键词：高校党建可视化分析
- 一种有效的无序多图像分组及其拓扑有序化的算法
- 2011年
- 针对大规模三维重建应用中多幅无序图像的分组及其有序化问题,提出一种鲁棒的无序图像分组方法。首先,对大量无序图像提取SIFT(scale invariant feature transform)特征,接着采用DBH(dichotomy based hash)算法对图像特征集合进行快速匹配,最后应用一种新的基于图像内容的图像相似度度量准则,将无序图像分组并采用视图生成树拓扑化组内图像。实验结果表明,该算法能快速有效地对无序图像分类并拓扑化。
- 于辉张忠秋王丽芳
- 高校隐性思想政治教育模式的探索与实践被引量：2
- 2014年
- 随着改革开放的不断深入,西方的思想观念、意识形态不断涌入,对青年大学生世界观、人生观、价值观的形成带来了不少负面影响。因此,在受到外来文化影响的大学生中开展"灌输式"显性思想政治教育,已经显得单薄和苍白,而隐性教育作为显性教育的有益补充,能很好地减弱青年大学生的逆反心理,以一种"随风潜入夜,润物细无声"的教育方式,满足学生的内心需求,从而提高高校思想政治教育的针对性和实效性。本文旨在研究和探索出基于隐性教育理念的思想政治教育新模式。
- 于辉张忠秋
- 关键词：显性教育隐性教育思想政治教育
- 网络信息安全领域高被引论文特征分析
- 2022年
- 研究表明,高被引论文载文期刊广泛,被引频次和下载次数成正相关联系,项目资助和高被引论文没有必然联系,高被引论文研究热点主要聚焦在安全理论、安全技术、安全管理等方面。
- 张忠秋
- 关键词：网络信息安全数据分析
- 我国研究生教育研究的现状、热点及趋势——基于《学位与研究生教育》《研究生教育研究》2000年以来刊载文献分析被引量：1
- 2022年
- 研究生教育是我国高校人才培养中重要的组成部分,文章通过CiteSpace对《学位与研究生教育》《研究生教育研究》2000年至2020年刊载文献进行可视化分析,以此得到我国研究生教育的研究现状、研究热点和研究趋势。研究发现,关于研究生教育的研究一直是学术界的研究热点;专业学位研究生、研究生培养、研究生培养质量、研究生导师等为研究热点;研究生教育学和“双一流”建设框架下研究生培养质量提升等主题代表未来研究方向。
- 于辉张忠秋
- 关键词：研究生教育CITESPACE
