一种关于模板库编程约定的检查方法

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

华中科技大学 2021-04-14

编程猫

编程猫专注于4-16岁中国孩子在线编程教育，是深圳点猫科技有限公司自主研发的一款图形化编程工具平台。通过学习编程猫自主研发的图形化编程课，学员可在平台上创作出游戏、软件、动画、故事等，以有趣的方式玩转STEAM学科。

深圳点猫科技有限公司 2021-02-01

人才需求、GO语言编程、AVA语言编程

GO语言编程工程师、JAVA语言编程工程师

临沂呆马区块链网络科技有限公司 2021-06-16

Kiode少儿编程

一、项目进展 创意计划阶段 二、负责人及成员 姓名 学院/所学专业 入学/毕业时间 钱智勇 统计与数学学院数理统计 2021.9/2024.6 三、项目简介 1.少儿编程教育+steam（提供在线的公益性质网课+收费线下兴趣培训）范围：python/C++/R/java/matlab 2.亲子互动：在课程学习过程中，家长可以与孩子共同完成任务，以提高家长对编程教育的认可。如，家长和孩子一起，在老师的指导下，共同完成一个完整的Scratch作品，并且可以与老师在线互动。 3.针对大学生：进行建模、量化等的培训与交流，支持技能互换。Spss/stata，提升论文科研能力。 4.举办学术讲座：邀请不同学院的老师来讲授相关领域的知识，即把所学的编程运用到本专业当中去，有针对性地提高自己的专业技能和学术水平。如，金融方面的量化投资分析，即可用到python和R语言。 5.开办学习经验交流会：定期（一个月）开展一次线下的学习交流分享会，提供一个平台供大家交流。成员可以将近期学到的知识与大家分享；也可以聚在一起答疑解惑并作以总结。

中南财经政法大学 2022-08-02

风变编程

交互式课堂+在线作业实操+老师跟踪辅导答疑。

风变科技(深圳)有限公司 2021-02-01

编程启蒙小火车

　　这一乐高得宝解决方案基于深受儿童喜爱的火车主题，能够帮助孩子们探索早期编程概念，如排序、循环和条件式。同时，还可以培养孩子们的问题解决技能、审辩式思维、协作能力和社会情感技能。 　　套装内还包含学龄前儿童可操作的免费App软件，共分为四个领域供他们探索：旅行、角色、音乐和数学。不同的主题活动会改变感应积木的交互方式及其对火车的影响。这些活动都是开放性的，学龄前儿童可以借此锻炼各种与幼儿发展相关的技能。 　　旅行：标记为目的地，探索排序和语言概念。 　　角色：标记为情感反应，探索动作/反应与社会情感培养概念。 　　音乐：标记为曲调/乐器，探索排序和声音循环概念。 　　数学：为移动赋值，探索动作/重复动作概念。 　　乐高教育编程启蒙小火车，能够借助乐高得宝积木，通过趣味无穷的动手实践，使得学龄前儿童学习早期编程概念和21世纪关键技能。21世纪关键技能的核心学习目标为：早期编程技能;排序;循环;条件式编程;语言;合作;解决问题;借助数字元素表达思想。 　　• 拥有234块乐高®得宝®积木 。 　　• 主要特色包括：带有灯光和声音的Push & Go火车、电机、可与5块彩色感应积木进行交互的颜色传感器、2块轨道岔道积木。 　　• 随箱简易入门材料包括：入门活动、入门指南、大海报、可用于拼搭12个独特模型的6张搭建灵感启发卡片。 　　• 教师指南包括：8个在线课程，其中4节课程使用实体套装，另4节课程配合数字App软件使用。 　　• 包含8个简短的在线视频教程。 　　• 包含适用于iOS和安卓系统的免费App软件。App软件包括4个主题活动，分别为：旅行、角色、音乐和数学，能够让学龄前儿童通过玩乐数字媒介控制的实体玩具火车，进行合作和互动。 　　• 面对面培训可以帮助您深入了解，如何将编程启蒙小火车教学解决方案成功引入您的教学实践。

乐高教育 2021-08-23

aiXcoder——智能编程机器人

aiXcoder是一款全新的智能编程机器人产品，它采用与程序员一起“结对编程”的方式为程序员提供服务，从而提高程序员的编程效率。在aiXcoder的辅助下，程序将摆脱传统的编程模式，不再需要“逐字逐句”编写程序。

北京大学 2021-02-01

PLC可编程控制实验室，可编程控制实训桌

产品详细介绍 详细内容可登录本公司网站（www.ogsysb.com/plc.html)查看或拨打0571-86267868进行咨询。杭州欧格实验设备有限公司,欢迎您的致电！  PLC可编程实验室设备适合高职院校、职业学校的机电设备安装与维修、机电技术应用、电气运行与控制、电气技术应用、电子电器应用与维修等专业和非机电类专业的《可编程控制器技术》、《电气及PLC控制技术》、《PLC及其应用》的实训教学。也适合技工学校、职业培训学校、职教中心、鉴定站的PLC实操、技能鉴定考核。   

杭州欧格实验设备有限公司 2021-08-23

化学小分子诱导细胞重编程

邓宏魁研究团队开创性地建立了化学小分子诱导细胞重编程的新体系，提供了细胞命运调控的新手段，突破了功能细胞制备的关键瓶颈，为再生医学治疗重大疾病开辟了新的理想途径，是我国在该领域前沿的标志性重大成果。

北京大学 2021-02-22

机器人离线编程系统（RobotCAX）

RobotCAX利用计算机图形学，在计算机上建立机器人及其工作环境的模型，开发规划算法，通过对模型的控制和操作，对机器人进行轨迹规划，生成机器人控制程序。 RobotCAX使用通用CAD/CAM系统（如CATIA、MasterCAM等）生成的G代码或APT代码作为加工轨迹进行输入。获取加工轨迹之后，RobotCAX进行运动仿真、碰撞检查、代码优化等操作，以校验出机器人加工的正确性和可达性。在这个工作程序中，省略了示教过程，机器人无需停工，因此可以节省大量的加工时间。同时，该系统还可以自由定义末端执行器、工装、导轨、旋转台等其他外围设备。仿真优化完成后，RobotCAX直接输出优化后的机器人控制代码，进而控制机器人进行实际加工。 可实现机器人及外围环境的三维可视化仿真，三维环境的运动路径仿真，机器人的运动学和动力学仿真，运动路径的友好人机交互，机器人关节轴超限检查，利用机器人冗余自由度进行运动优化，奇异点自动回避，基于B样条的运动路径插值技术，G代码、APT与机器人语言之间的转换，兼容多种工业机器人，兼容多种CAD/CAM系统。 RobotCAX软件集成了完全自主知识产权的三维内核，是一个独立于特定CAD/CAM系统的软件程序。因此，用户并不受制于具体CAD/CAM系统或其版本，可以根据具体情况，配套使用任意的CAD/CAM系统。

北京航空航天大学 2021-04-13