|
搜索
搜 索
高等教育领域数字化综合服务平台
基于HybridUML向微分代数程序转换的CPS建模与验证方法
本发明提出了一种基于HybridUML向微分代数程序转换的CPS建模与验证方法，实现了由HybridUML模型向DAP的转换，并依据微分代数动态逻辑(Differential-AlgebraicDynamicLogic，DAL)推理规则对CPS实例进行验证。该方法使用HybridUML对CPS进行建模，将其转换成DAL的操作模型DAP，并且基于DAL对CPS属性进行验证。
东南大学
2021-04-10
动态频谱资源共享宽带无线通信系统验证网络
项目“动态频谱资源共享宽带无线通信系统验证网络开发”属于国家863重点项目“频谱资源共享无线通信系统”的子课题。该项目目标是开发与现有系统共存的宽带无线通信系统验证网络，并在694～806MHz频段进行演示验证。在不影响现有系统业务的前提下，为固定和移动用户提供语音和其它宽带业务。
电子科技大学
2021-04-10
华中科技大学模数转换接口ADC和数模转换接口DAC设计验证及芯片测试实验平台公开招标公告
华中科技大学模数转换接口ADC和数模转换接口DAC设计验证及芯片测试实验平台招标项目的潜在投标人应在网上获取（请将获取招标文件需提供的资料扫描件（PDF版）发送电子邮件至luxiaofei@hbzwlx.cn）或现场获取(湖北省武汉市武昌区群星城K3-2-1801)获取招标文件，并于2022年06月17日09点30分（北京时间）前递交投标文件。
华中科技大学
2022-05-27
基于HybridUML和定理证明的CPS自适应性验证方法
本发明提出一种基于HybridUML和定理证明的CPS自适应性验证方法，本发明步骤包括：首先利用HybridUML视图对CPS建模；然后将HybridUML规约转换为定理证明器KeYmaera的输入-量化混合程序QHP；结合生成的QHP，以量化微分动态逻辑QdL公式的形式对待验证的属性进行规约，然后利用KeYmaera进行自动验证。
东南大学
2021-04-10
一种基于双线性的联合CNN的人脸验证方法
利用液晶电视制作不用配戴特殊眼镜就可以观看到立体图像的显示装置，观看者可以自由移动，从不 本技术成果提供了一种基于双线性的联合CNN的人脸验证方法。该方法将获得的人脸正面图像作为输 同的方向上可以看到立体图像的不同侧面，不会引起眼睛生理性疲劳和损害。通过研究裸眼可视全息立体 入，进行人脸图像特征提取和识别，与参考集人脸进行两两对比，最后输出此人是否与参考人脸属于同一 图像显示技术和相关理论，本研究开发了具有自主专利技术的、具有高精度、大景深的立体显示器产品 个人的分类结果。包括下述步骤：1)使用预先准备的人脸图像进行卷积神经网络（下简称CNN）的训练； S3DD-4及基于具体应用的系列产品，让观众可以在大范围内自由移动裸眼观看到高质量的全息立体图像 2）使用训练集中的人脸图片，进行双线性CNN的微调；3)输入待验证的人脸图片，将两张图片进行切分， 和视频。 提取双线性CNN输出的联合特征。4)得到的向量经过一个自编码网络训练，得到最终的验证结果。 本技术成果的应用范围包括：1．各领域、各行业的各种型号尺寸（包括手机、游戏机、笔记本、显 本技术成果基于双线性的CNN的方法，并且通过将原
中山大学
2021-04-10
基于IP库的通用MEMS器件可视化仿真与验证工具
“虚拟工艺”软件可由标准工艺流程文件和掩膜版图文件，模拟出所要加工的MEMS器件的真实三维结构，具有良好的通用性和精度。下图为自主开发的“虚拟工艺”软件生成的微夹钳三维结构。 “虚拟运行”软件对器件的运动情况进行仿真，并与最初设计方案比较来指导和修正实际加工。下图显示了微夹钳的虚拟运行结果，图中的器件颜色表示了器件运动时的剧烈程度，红色表示变形最剧烈的部分，淡蓝色表示变形较小的部分。
南开大学
2021-04-14
基于IP库的通用MEMS器件可视化仿真与验证工具
项目的背景及目的 迄今为止，集成电路的模拟、仿真直至评测已有了非常完善的工具软件；并已成为设计过程的重要组成部分；对设计的成功、可靠、高效都已起到决定性作用。而对MEMS而言，还相差甚远，这和MEMS发展的成熟程度有着直接关系。当然，这并不意味着MEMS不需要这样的工具和系统。相反，由于MEMS的功能多样、加工复杂、分析困难、设计周期长、成本高等。特别需要一个能包括运动仿真、评测在内的设计工具和系统。这是当前推动MEMS发展的当务之急。
南开大学
2021-04-14
关于印发《江苏省概念验证中心建设工作指引（试行）》的通知
关于印发《江苏省概念验证中心建设工作指引（试行）》的通知
江苏省科技厅
2023-11-30
浙江省《关于加快建设概念验证中心的实施方案》印发
到2027年，实现省实验室和“315”科技创新体系全覆盖；到2030年，概念验证服务能力国内领先，建成一批标杆性概念验证中心，我省成为具有国际影响力的科技成果转移转化首选地。
创新浙江
2025-07-17
MOOC平台
产品详细介绍
山大鲁能MOOC平台是以知识点为中心、能力测试为手段，提供一个集教、学、练、考、评等功能于一体的自主补救平台，该平台颠覆了以往以课堂教学为主的课程教学形式，学生通过现代化的网络手段可以随时随地方便地登陆到学习平台进行某门课程的学习，过程是以学生从登录网络学习平台→学习课程知识点→完成作业→课程测试和综合测试→结束课程学习进行评价分析。
产品特点：
（1）辅助性：MOOC自主补救平台的使用应该作为常规课堂教学的辅助和延伸，而不能完全替代课堂学习。教师将课程相关资料上传到教学平台，可以帮助学生课前预习和课后巩固学习，同时拓展课程内容和传统教学相辅相成。
（2）自主性：学习对学生缺乏有效的学习过程控制机制，学生的学与不学，学习时间的长短、学习效果的好坏从短期是很难监控的，学生学习的自主性显得尤其重要。MOOC自主补救平台培养学生自主学习的能力，是发挥网络学习平台效果的关键所在。
（3）可重复性：传统课堂教学要求学生课堂注意力高度集中，往往很难做到，而且课堂内容的难点也很难通过课堂的教学一次性掌握。MOOC自主补救平台给学生重复学习提供了技术支撑，教师可以通过录制课程视频、整理课程相关资料上传网络学习平台，可以使课堂再现，提供学生二次甚至多次重复学习的机会。
（4）异步性：传统的教学是课堂教与学的同步，学生必须和教师在时间上同步，思路上同步，才会取得较好的学习效果，而自主学习平台可以实现教与学的异步，教师只要安排好学习任务并进行适当的，学生可以合理地安排自己的时间在给定期限内完成学习。
（5）开放性：传统的教学主要围绕教材展开教学，同时由于课堂时间的约束，教学内容受到很大的限制，而MOOC自主补救平台可以提供学生开放性的学习环境，通过教师的引导，可以有效地对课程内容进行扩展和延伸，尤其和现实世界的结合，内容不再抽象和教条，让学生认识到课程的有用性，激发起学生的学习兴趣。
（6）交互性：传统课堂教学的交流与沟通是非常有限的，MOOC自主补救平台可以利用各种交流工具提升交流的空间和时间，让教师可以充分掌握学生的学习状态和效果，更好地把握教学的难点，同时对学生的自主学习能力起到促进作用，而且匿名交互可以很大程度上减轻学生交流时的心理压力。
华特数字科技有限公司
2021-08-23