本发明公开了一种关于模板库编程约定的检查方法，属于计算 机并行程序设计技术领域。本发明首先将编程约定描述为状态，以及 将状态的迁移描述为编程约定中对指定方法的调用；然后将状态实现 为类，并在类中编写符合编程约定的方法来供编程人员调用，以保证 当编程人员违反编程约定的时候让编译器会停止编译并给出相应提 示；预测编程人员可能会出现哪些错误，并在相应的表示状态的类中 添加方法，使得当编程人员违反编程约定时能给出相应的提示信

产品详细介绍    中小学生成长档案信息管理系统是根据教育教学目标，有意识地将学生有关表现及其他佐证材料以信息化的方式管理起来， 通过智能地分析与解析，反映学生在学习与发展过程中的优势与不足，并通过学生的反思与改进， 家校互动激励学生取得更好发展，同时帮助学校应对第三方教育评价提供教育教学质量数据。     系统主要由“学籍管理”、“素质报告”、“选课系统”、“成长轨迹”、“家校互动”五个部分组成。“学籍管理”部分主要记录学生的基本信息，此功能模块将取代现有“中小学生学籍管理系统”，包含了现行学籍管理系统中所有功能，并提供和上级学籍管理系统的数据共享功能。此数据库也将作为家校互动模块中家长登录的帐号数据库。“素质报告”部分主要记录学生的综合素质发展及评定情况，数据来源于学生平时学业成绩、身心健康、综合评价等数据，并可生成打印素质报告单。“选课系统”部分主要记录学生校本课程选修情况及学分管理。“成长轨迹”部分主要记录学生兴趣、爱好、特长发展情况，教师通过此模块能方便地录入学生的兴趣、爱好、特长方面的数据，其中既可以输入每个学生的爱好、特长项目的内容，又可以上传学生获得的各种荣誉的证书扫描件及电子文档，还可以上传学生参加各级各类活动的图片及视频。“家校互动”部分主要记录家长与学校互动交流情况。  “中国学生成长动力档案库”七大模块： 第一模块【学生成长档案】 学校教师、学生注册为会员后才可登录。里面设有 “教师管理”：里面设有各年级组长、各班班主任、各班各科目教师等信息。 “学生管理”：里面设有学生基本信息、成绩情况、选修课成绩情况、各科老师评语、在校奖惩情况、德智体养劳成长轨迹、身心健康、综合素质评价等。 “学校报告”：学校每学期的教育质量、教学水平自评报告。 “选修课程”：各科教师发布选修课题，学生自选老师课堂。 “家校互动”：校内老师、学生、家长互动交流。 第二模块【家校互动】 “家校互动”：整合全国各地教育专家、教师、家长、学生互动，彰显全面素质教育大氛围，构建“全员、全方位、全过程、全环境”育人新格局的素质教育；是教育家长的大课堂，是家长、学校、社会共同教育学生的第二课堂。 “视频会议”：手机视频家长会、远程视频家访、视频课堂。 “问卷调查”：学校教育质量意见调查，老师教学水平意见调查，中国学生成长动力档案库读者意见调查。 第三模块【新闻公告】 “青少年活动”：汇集全国德、智、体、美、劳综合素质教育、视频教练、全国及国际竞赛活动信息。 “政策方针”：转载教育部、教育厅、教委、教育局相关文件。 “助力教育”：转载、发布各地教育专家论坛，助推教育健康发展。 “新闻资讯”：转载、发布各地学校有关教育新闻。 第四模块【学校介绍】 全国高校、中职技校、中小学校，链接院校网址，展现真实的校风校貌。 第五模块【网络教育】 学生自学（部编版教材同步课程名师讲课）、双师教学、家长教育、安全教育、感恩教育、教师内训、教育考试评测系统、学生综合素质管理评价系统等软件及远程网络视频的链接。 第六模块【中国教育人才档案】 免费发布：教职工招聘信息、教职工求职信息。 第七模块【档案库介绍】 “视频欣赏”：各地学校特色表演、娱乐活动等共享同呜。 “档案库PPT简介”：全面描述“中国学生成长动力档案库”。 请常关注我们的网站  www.zgxsczdldak.com  （中国学生成长动力档案库）

成果介绍研究方向为：（1）智能化软件工程(Intelligent Software Engineering,ISE)，旨在把人工智能技术、大数据技术和新型计算技术与传统的软件工程技术结合起来，运用到软件开发和管理过程中，以便提高软件开发的效率、降低软件开发成本，提升最终软件产品的质量等。具体包含智能化软件开发方法与技术、智能化软件调试和测试技术、智能化软件架构和演化技术等等。（2）软件全方位缺陷检测(Software Defects Detection from All Aspects, SDD)，研究各种类型的软件缺陷检测和定位技术，保障开发出少缺陷、高质量、高可靠性、高安全性和可信的软件产品。技术创新点及参数相关技术达到国内领先水平，有不少核心技术是国内首创。主要创新点包括：（1）全方位的缺陷类型分析；（2）全方位的缺陷分布检测；（3）全方位的缺陷检测视角；（4）全方位的缺陷检测技术；（5）全方位缺陷定位技术。

一、主要功能和应用领域 通用飞行仿真软件主要包括：气动数据加载模块，飞行管理模拟模块，飞行控制模拟模块，飞行器六自由度运动规律模拟等功能模块。可提供动态的飞机飞行仿真参数，为开发人员在地面条件下全面综合和评估飞行管理、飞行控制和闭环系统性能提供支持。其主要功能包括 ？ 飞行仿真软件能实时模拟并输出飞机的飞行参数，飞行曲线能完整覆盖飞机的飞行包线； ？ 飞行仿真软件能模拟飞机的各种典型飞行剖面； ？ 飞行仿真软件能够实现基本的飞行控制和飞行管理功能； ？ 飞行仿真软件能够模拟风、大气等外部环境对飞机飞行的影响。 图1 系统架构 二、特色及先进性： 1、使用基于模型的实现方式，把Matlab设计的模型文件自动生成C或C++软件代码，代码规范，避免了人为编码可能引入的缺陷。 2、生成的代码可以进一步转化为一个可执行的独立文件，便于其他系统对该仿真软件的访问和调用。 三、能为产业解决的关键问题和实施后可取得的效果 通过模拟无人机的飞行过程，实时输出飞行器的经纬高、姿态，以及目标环境等信息。除了可以支持飞行管理、飞行控制等系统功能模块的性能评估，也可以为航电系统的验证和评估提供外围模拟数据，降低了航电系统仿真验证对铰链硬件环境的依赖。

通用飞行仿真软件主要包括：气动数据加载模块，飞行管理模拟模块，飞行控制模拟模块，飞行器六自由度运动规律模拟等功能模块。可提供动态的飞机飞行仿真参数，为开发人员在地面条件下全面综合和评估飞行管理、飞行控制和闭环系统性能提供支持。

通用飞行仿真软件主要包括：气动数据加载模块，飞行管理模拟模块，飞行控制模拟模块，飞行器六自由度运动规律模拟等功能模块。可提供动态的飞机飞行仿真参数，为开发人员在地面条件下全面综合和评估飞行管理、飞行控制和闭环系统性能提供支持。

变流器HMI（Human Machine Interface）监控软件主要用于变流器产品的维护。HMI软件通过特定的通信接口（CAN/RS232/以太网）与单台或多台变流器设备建立连接，实现多路参数的实时数据采集、故障录播、历史事件记录下载，并予以显示和文件存档。软件提供友好的可视化界面，用户可基于图形和列表两种方式对变流器设备的状态进行监控、分析，以及对变流器进行参数设置等操作。基于CAN接口的HMI软件提供虚拟示波器的功能，具有强大的实时数据分析检测能力（获授权发明专利1项）。变流器HMI监控软件适用于企业技术人员的生产测试及调试、设备现场的故障排查等，其使用人员主要为技术支持人员，变流器客户、内部设计人员及生产测试人员。

一、主要功能和应用领域 通用飞行仿真软件主要包括：气动数据加载模块，飞行管理模拟模块，飞行控制模拟模块，飞行器六自由度运动规律模拟等功能模块。可提供动态的飞机飞行仿真参数，为开发人员在地面条件下全面综合和评估飞行管理、飞行控制和闭环系统性能提供支持。其主要功能包括 ？ 飞行仿真软件能实时模拟并输出飞机的飞行参数，飞行曲线能完整覆盖飞机的飞行包线； ？ 飞行仿真软件能模拟飞机的各种典型飞行剖面； ？ 飞行仿真软件能够实现基本的飞行控制和飞行管理功能； ？ 飞行仿真软件能够模拟风、大气等外部环境对飞机飞行的影响。 图1 系统架构 二、特色及先进性： 1、使用基于模型的实现方式，把Matlab设计的模型文件自动生成C或C++软件代码，代码规范，避免了人为编码可能引入的缺陷。 2、生成的代码可以进一步转化为一个可执行的独立文件，便于其他系统对该仿真软件的访问和调用。 三、能为产业解决的关键问题和实施后可取得的效果 通过模拟无人机的飞行过程，实时输出飞行器的经纬高、姿态，以及目标环境等信息。除了可以支持飞行管理、飞行控制等系统功能模块的性能评估，也可以为航电系统的验证和评估提供外围模拟数据，降低了航电系统仿真验证对铰链硬件环境的依赖。