本发明提出一种基于HybridUML和定理证明的CPS自适应性验证方法，本发明步骤包括：首先利用HybridUML视图对CPS建模；然后将HybridUML规约转换为定理证明器KeYmaera的输入-量化混合程序QHP；结合生成的QHP，以量化微分动态逻辑QdL公式的形式对待验证的属性进行规约，然后利用KeYmaera进行自动验证。

利用液晶电视制作不用配戴特殊眼镜就可以观看到立体图像的显示装置，观看者可以自由移动，从不 本技术成果提供了一种基于双线性的联合CNN的人脸验证方法。该方法将获得的人脸正面图像作为输 同的方向上可以看到立体图像的不同侧面，不会引起眼睛生理性疲劳和损害。通过研究裸眼可视全息立体 入，进行人脸图像特征提取和识别，与参考集人脸进行两两对比，最后输出此人是否与参考人脸属于同一 图像显示技术和相关理论，本研究开发了具有自主专利技术的、具有高精度、大景深的立体显示器产品 个人的分类结果。包括下述步骤：1)使用预先准备的人脸图像进行卷积神经网络（下简称CNN）的训练； S3DD-4及基于具体应用的系列产品，让观众可以在大范围内自由移动裸眼观看到高质量的全息立体图像 2）使用训练集中的人脸图片，进行双线性CNN的微调；3)输入待验证的人脸图片，将两张图片进行切分， 和视频。 提取双线性CNN输出的联合特征。4)得到的向量经过一个自编码网络训练，得到最终的验证结果。 本技术成果的应用范围包括：1．各领域、各行业的各种型号尺寸（包括手机、游戏机、笔记本、显 本技术成果基于双线性的CNN的方法，并且通过将原

“虚拟工艺”软件可由标准工艺流程文件和掩膜版图文件，模拟出所要加工的MEMS器件的真实三维结构，具有良好的通用性和精度。下图为自主开发的“虚拟工艺”软件生成的微夹钳三维结构。 “虚拟运行”软件对器件的运动情况进行仿真，并与最初设计方案比较来指导和修正实际加工。下图显示了微夹钳的虚拟运行结果，图中的器件颜色表示了器件运动时的剧烈程度，红色表示变形最剧烈的部分，淡蓝色表示变形较小的部分。

项目的背景及目的 迄今为止，集成电路的模拟、仿真直至评测已有了非常完善的工具软件；并已成为设计过程的重要组成部分；对设计的成功、可靠、高效都已起到决定性作用。而对MEMS而言，还相差甚远，这和MEMS发展的成熟程度有着直接关系。当然，这并不意味着MEMS不需要这样的工具和系统。相反，由于MEMS的功能多样、加工复杂、分析困难、设计周期长、成本高等。特别需要一个能包括运动仿真、评测在内的设计工具和系统。这是当前推动MEMS发展的当务之急。

本项目从改变居民消费习惯出发，引导居民接受付费购买服务的观念，为客户提供及时有效的环保解决方案。 一、项目进展 已注册公司运营 二、企业信息 企业名称 武汉市幸福嘉禾科技有限责任公司 企业法人 梁汉乾 注册时间 2020年12月1日 注册所在省市 湖北省武汉市 组织机构代码 91420115MA49M89874 经营范围 软件外包服务；网络与信息安全软件开发；软件销售；软件开发；食品销售（仅销售预包装食品）；农副产品销售；日用百货销售；针纺织品及原料销售；家用电器销售；林业产品销售；豆及薯类销售；保健食品（预包装）销售；食用农产品零售；新鲜水果零售；新鲜蔬菜零售；鲜肉零售；鲜蛋零售；厨具卫具及日用杂品零售；日用品销售；母婴用品销售；文具用品零售；二手日用百货销售；新能源汽车废旧动力蓄电池回收及梯次利用（不含危险废物经营）；再生资源销售；图书出租；图书管理服务；专业保洁、清洗、消毒服务；5家政服务；网络技术服务；物联网技术服务；信息技术咨询服务；农产品的生产、销售、加工、运输、贮藏及其他相关服务；运输货物打包服务；总质量4.5吨及以下普通货运车辆道路货物运输（除网络货运和危险货物）；停车场服务；互联网销售（除销售需要许可的商品）；初级农产品收购；再生资源回收（除生产性废旧金属）；生产性废旧金属回收；能量回收系统研发；珠宝首饰回收修理服务；农林牧渔业废弃物综合利用；林业专业及辅助性活动；农林牧副渔业专业机械的安装、维修；非金属废料和碎屑加工处理 企业地址 湖北省武汉市洪山区关山街道南湖大道182号中南财经政法大学大学生素质教育中心创业学院 获投资情况 无 三、负责人及成员 姓名 学院/所学专业 入学/毕业时间 梁汉乾 哲学院 2016年/2020年 欧仁婕 MBA 2020年 四、指导教师 姓名 学院/所学专业 职务/职称 研究方向 喻良涛 公管 教授 劳动与社会保障 五、项目简介 本项目主要解决垃圾分类回收问题，大学生创业问题，以及就业问题。 本项目从改变居民消费习惯出发，引导居民接受付费购买服务的观念，为客户提供及时有效的环保解决方案。同时公司拿出80%的利润分配给一线工作人员，创造收入可观的工作岗位，从而达到双赢。 本项目有系统自主研发团队，使用的是MetLife的管理模式，校园市场开拓和社区市场开拓同时进行，有较好的客户基础。 本项目的服务特色：一个纸盒也上门回收，可以为客户环保的回收处理大部分生活垃圾。

面向教育数字化转型，提供从数字化转型顶层规划、智慧教育应用、教育数字平台、数字基础设施、产教融合、科研创新等众多服务。

墙面一体化，超窄侧边设计扩展书写面积。全贴合电容屏，课件演示更清晰。搭配4096级压感的主动电容笔，书写延迟低，还原真实板书体验。采用2.1声道设计，带来沉浸式听课体验；配备全功能Type-C接口，传输更兼容。

融合30多项教学功能 无线接口、教学管理、教学辅助 教室扩音、交互模块、录播模块 可视化触摸操作 Windows、Android、Linux三系统 高速USB3.0接口 1T超大存储空间 4路千兆以太网接口 11-24寸全触控电容屏