|
搜索
搜 索
高等教育领域数字化综合服务平台
j2106金属钩码20g*2
产品的详细介绍，请直接咨询我们。电话：13285746781
宁波浪力仪器有限公司（余姚市朗海科教仪器厂）
2021-08-23
我国成功实现51比特超导量子簇态制备和验证
中国科学家继2017年起先后完成10比特、12比特、18比特的真纠缠态制备之后，在量子科技领域又一次刷新世界纪录——成功实现51比特超导量子簇态制备和验证。
科创中国
2023-07-17
一种基于模型转换的CPS建模与验证方法
本发明提出了一种基于模型转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，本发明涉及到的关键操作包括：(1)采用HybridUML对CPS进行建模，并将所建HybridUML模型转换为微分动态逻辑方法的操作模型混合程序Hybrid？Programs。(2)将得到的Hybrid？Programs根据定理证明器KeYmaera的输入格式，生成输入代码，在KeYmaera中进行推理验证。
东南大学
2021-04-10
GEOSAR地面成像验证系统与卫星信号处理仿真系统（技术）
成果简介：GEOSAR卫星运行在高轨道，长合成孔径时间使得目标回波具有距离徙动量大、空变性剧烈的特点，因而成像处理难度大。同时电离层对信号传播的影响也是影响卫星成像性能的重要因素。 GEOSAR地面成像验证系统利用导航卫星作为照射源、在地面配置多通道接收机分别接收直达波和回波信号，其中直达波信号用于实现卫星与接收机间的时频同步和分析电离层的影响，回波信号可用于实现成像处理。通过研究此模式下回波信号特性和成像算法，因此利用该验证体制可实现对GEOSAR成像机理的等效地面成像验证；同时，
北京理工大学
2021-04-14
非连续可用子载波CI-OFDM码添加方法
本发明相对于传统的OFDM系统发射机模型，添加了一个N点IDFT运算，不需要太多额外的复杂度和硬件开销。相对于传统的OFDM，本发明大大降低了发送信号的PAPR，使发送信号功率分配更加均匀，降低了发射机功放的设计难度。本发明提出对添加Nzero个0后的N维信号进行CI扩展，相对于现有技术直接对N-Nzero调制符号进行CI扩展，保持了子载波的正交性，使得发射信号的PAPR获得了进一步的降低。
电子科技大学
2021-04-10
基于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
基于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