|
搜索
搜 索
高等教育领域数字化综合服务平台
超大面积混凝土地面无缝施工技术
随着我国国家经济的发展，人民生活水平的改善，对建筑物功能的要求 正逐步提高。平面尺寸超长、超宽的建筑物迅速涌现，且多用于大型公共建筑、 工业厂房、商业中心、机场停机及跑道等工程。鉴于建筑与结构的整体性、使 用功能和建设工期的要求，此类建筑的地面（或楼面）大多要求不设伸缩缝和 后浇带，或伸缩缝间距超过现行规范要求。超大面积混凝土地面无缝施工技术, 是将超大面积混凝土地面按一定尺寸分为若干小块体，相邻块体间隔施工， 过短期应力释放，先浇筑混凝土经过收缩变形后，再将地面连接浇筑成一个整体, 依靠混凝土抗拉强度抵抗后期浇筑混凝土收缩、温度应力的施工技术。
重庆大学
2021-04-11
我国成功实现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
一种提取网页中验证码图片的方法
本发明提供了一种提取网页中验证码图片的方法。由于验证码图片在网页中并没有一个固定的网址链接，并且图片随机生成，对其进行刷新或者保存操作会改变图片内容，因此提取验证码图片是很多需要验证码图片的软件应用的一个关键难题。在该方法中，利用光标位置、验证码输入框位置、图片位置、图片大小、图片视觉与内容特征、图片关键字、图片长宽比例等信息将网页中的验证码图片提取出来。
浙江大学
2021-04-13
自走式甘蓝收获机的地面自适应装置、方法及应用
本发明公开了一种自走式甘蓝收获机的地面自适应装置、方法及应用。收获台总成装配于动力底盘上，限位地轮架固定于收获台总成上，螺纹调节杆套固定于限位地轮架上，限位地轮与螺纹调节杆连接，螺纹调节杆与螺纹调节杆套、调节手轮相配合；通过转动调节手轮对限位地轮高度进行调整，使收获台总成引拔铲部分紧贴地面并与地面平行，锁紧自锁手柄；泄压状态的液压缸处于活动状态，自走式甘蓝收获机以限位地轮为支撑，自适应地面，进行收获作业。本发明能够实现甘蓝的机械化收获，解决了因作业地面不平整而造成的作业不稳定问题，响应灵敏、改善效果明显、作业稳定，提高了自走式甘蓝收获机的收获效率和稳定性。
浙江大学
2021-04-13
一种公路地标约束下的地面运动目标检测方法
本发明公开了一种公路地标约束的动平台动目标检测方法，包括：从卫星图片中选取形状特征明显的公路地标，根据公路地标所在的卫星图片生成公路参考图，将生成的公路参考图中直道部分的中心作为选取地标约束中心点，并以该地标约束中心点为中心在公路地标上选取一矩形区域，其宽度和公路地标的宽度相同，长度为出现在视场范围内公路地标直道部分的长度，获取实时图，根据实时图的实时成像行数和实时成像列数、以及动平台的飞行保障参数对公路参考图
华中科技大学
2021-04-14
基于HybridUML向微分代数程序转换的CPS建模与验证方法
本发明提出了一种基于HybridUML向微分代数程序转换的CPS建模与验证方法，实现了由HybridUML模型向DAP的转换，并依据微分代数动态逻辑(Differential-AlgebraicDynamicLogic，DAL)推理规则对CPS实例进行验证。该方法使用HybridUML对CPS进行建模，将其转换成DAL的操作模型DAP，并且基于DAL对CPS属性进行验证。
东南大学
2021-04-10
一种激光红外复合的地面建筑物识别及导航方法
本发明提供一种地面建筑物识别方法，包括以下步骤：(1)航拍地面红外图像；(2)在红外图像中进行检测定位确定疑似目标；(3)对准疑似目标进行激光成像；(4)对激光成像进行距离选通以滤除前景和背景干扰；(5)在滤除干扰后的激光成像中提取疑似目标的形状特征，将其作为目标匹配要素与目标形状特征模板进行匹配，从而识别目标。本发明方法将激光成像融入到红外成像目标定位中，既利用红外成像范围大的优点，又利用激光成像的三维距离信息，有
华中科技大学
2021-04-14
基于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