谢红梅
- 作品数：14 被引量：9H指数：1
- 供职机构：南京航空航天大学更多>>
- 发文基金：教育部人文社会科学研究专项任务项目国家重点基础研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 含有文字序逻辑程序的一种辩论语义
- 2005年
- 有序逻辑程序的语义研究是常识推理的重要研究内容。文中对 Dung的辩论框架进行了扩充 ,针对含有文字序的逻辑程序提出了一种优先辩论框架 ,加入了对文字之间优先序的处理 ,进而定义了相应的优先回答集语义和优先扩充语义。证明了文中的优先回答集是 Sakama回答集的特例 ,而优先扩充语义可以处理没有回答集的优先逻辑程序。
- 谢红梅王建东周勇
- 关键词：逻辑程序优先序
- 基于Prolog的AADL行为模型时间一致性验证方法
- 本发明公开了基于Prolog的AADL行为模型时间一致性验证方法，属于软件工程的技术领域。本发明在AADL行为附件的基础上进行扩展以建立带有时间约束的AADL行为模型，AADL行为模型描述了节点状态信息、时间约束信息，节...
- 周勇刘骁谢红梅
- 文献传递
- 成人高等教育教学中微课的设计与应用研究——以“数据结构”课程为例被引量：1
- 2019年
- 在当今计算机及各种移动设备日渐普及,互联网技术高速发展的时代,微课教学在当前教育领域中已发展成为一种受到人们追捧和重视的教学手段,在我国高等院校的成人教育中引入微课教学已经成为一种历史的必然。本文以《数据结构》课程为例作一个典型分析,将微课在成人高等教育课程教学中适当应用。探讨并解析微课的特点、数据结构课程微课选题、教学设计和制作管理,并着重探讨了微课的发布应用,说明微课教学对培养学生学习兴趣,提高学生课堂的参与度,及时掌握课程内容,培养实用型人才等方面起到的良好作用。
- 陆荣谢红梅洪方
- 关键词：成人教育数据结构
- AADL端对端数据流一致性验证方法
- 本发明公开了一种AADL端对端数据流一致性验证方法，解决了实时系统的时延验证问题。本发明基于实时系统的时延问题提出了实时系统的AADL模型端对端数据流路径一致性的定义，在此基础上讨论带有时延的两种端对端数据流，即单一型端...
- 周勇刘骁谢红梅
- 文献传递
- 一种面向负载均衡的多核IMA可预测性调度方法
- 本发明公开了一种面向负载均衡的多核IMA可预测性调度方法，通过将IMA系统模型形式化后，给出描述分区模型和任务模型的参数；并设计一个资源回收机制，追踪较为关键分区的资源预算情况，若其实际执行时间小于其最坏执行时间，那么便...
- 杨志斌刘晨谢宛玲谢红梅郭鹏周勇
- AADL行为模型时间一致性验证方法被引量：1
- 2017年
- 任务关键的实时系统对时序及安全要求的特殊性,在实时系统开发的早期阶段进行体系结构的时间一致性分析,能够尽早发现系统设计时出现的有关时序的潜在问题,为此提出了基于时间约束的AADL行为模型的验证方法。针对带有时间约束的AADL行为模型时序验证问题,提出了一种基于节点转换规则的AADL行为模型分解规则,将实时系统的行为模型转换成运行时的路径集合;设计了路径集合到Prolog事实的转换算法;将实时系统的隐式时间约束和显式时间约束转换成Prolog规则,支持实时系统对两种时间约束进行验证。最后应用AADL行为模型时间一致性验证方法对船舶指控系统进行实例验证,验证了实时系统的隐式时间约束和显式时间约束,为实时系统的时序分析提供了一种新的有效途径。
- 刘骁谢红梅
- 关键词：实时系统PROLOG
- 工程化课程教学探索研究——以“C语言程序设计”课程为例被引量：5
- 2021年
- “新工科”建设推动着高等院校不断探索工程教育的新模式,促进信息技术教学和工程技术教学的深度融合。针对传统“C语言程序设计”课程教学重视语法细节而轻视工程应用的问题,提出工程问题驱动的“C语言程序设计”课程教学法。以复杂工程应用为背景,结合学生的专业方向,选取典型工程问题,设计教学案例,覆盖“C语言程序设计”课程核心知识点,将问题分析、算法设计、编程求解贯穿教学过程,提高学生的学习兴趣和工程实践能力。
- 谢红梅周勇陆荣
- 关键词：C语言程序设计工程教育教学研究工程化
- 一种面向负载均衡的多核IMA可预测性调度方法
- 本发明公开了一种面向负载均衡的多核IMA可预测性调度方法，通过将IMA系统模型形式化后，给出描述分区模型和任务模型的参数；并设计一个资源回收机制，追踪较为关键分区的资源预算情况，若其实际执行时间小于其最坏执行时间，那么便...
- 杨志斌刘晨谢宛玲谢红梅郭鹏周勇
- 基于Coq的航空电子模式控制一致性验证方法
- 本发明公开了一种基于Coq的航空电子模式控制一致性验证方法，解决了航空电子系统的状态转移一致性验证问题。补充了航空电子模式控制系统中应用Coq语言形式化验证的空白。利用Coq语言对航空电子系统进行形式化建模，描述相应状态...
- 周勇张天瑞刘骁谢红梅周洲程仕杰
- 文献传递
- 基于PQN的无人机航路规划方法
- 本发明公开了一种基于PQN算法的无人机航路规划方法，其特征在于，包括如下步骤：步骤1，输入起始点坐标以及终点坐标；步骤2，计算环境引力场与势力场；步骤3，进行Q表的初始化；步骤4，定义迭代次数n；步骤5，通过PQN算法进...
- 苏朔谢红梅刘启航郭钰锟周勇
