|
搜索
搜 索
高等教育领域数字化综合服务平台
基于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
基于 RFID 新型安全公交 IC 卡消费系统
针对问题：当前公交 IC 卡均为不记名、离线消费方式，一旦卡 片丢失，拾卡者可继续持此卡消费，即使挂失，卡内余额无法追回。解决方案：增加可随身携带的小型射频身份识别（RFID）标签， 与公交 IC 卡绑定，刷卡时两卡必须同时被识别，才能消费，因此提 高了安全性。 特色：该模式亦思路新颖，结构简单，可推广到其它小额、快捷 的消费场合，安全性好，成本可控，具有很广阔的应用前景。此技术 还可以根据需要设计应用于智能暖气系统和智能家居、智能节能系统
南开大学
2021-04-11
基于射频识别卡的车辆交通监控系统
成果与项目的背景及主要用途：智能交通在国民经济可持续发展中的作用已不言而喻。在车辆牌照中嵌入射频识别卡（Radio Frequency Identification，RFID），结合由所有路口和主要路段地下铺设的读卡器、手持终端、监控中心构成车辆交通监控系统，可以实现一个城市（地区）的完整、严密的交通管理，大幅度提高道路交通的效率，并具有以下有突出的效果：
（1）统计该路口的交通流量及其时间、车型分布，为正确引导和调度车辆行驶、道路改造提供依据。
（2）追踪被盗车辆和特定车辆。
（3）跟踪肇事逃逸车辆。
（4）跟踪报废车辆和逃避规费的车辆。
（5）跟踪套牌、伪造（RFID）车牌车辆。
（6）配合车辆传感器、摄像头和专用 PDA，可以准确甄别无合法 RFID 车牌的车辆。
（7）对在路口的车辆交通违章可以实现自动判断、自动记录和自动通知相关人员等功能。
（8）统计车辆运行的种类、时刻与时间等，为社会发展提供宝贵的基本数据。
（9）为各种智能交通子系统提供基础条件。如在此系统的基础上可以建立：
（一）城市道路交通控制与管理系统及其子系统：
(a)静态交通管理及停车诱导系统；
(b)城市道路停车收费管理系统；
(c)公共交通自动监控及通信调度系统；
(d)城市交通一卡通智能支付、结算系统。
（二）城市交通综合管理系统
（三）城市对外交通综合管理系统及其子系统：
(a)不停车收费系统；
(b)出入口交通信息采集系统。
技术原理与工艺流程简介：系统构成如图所示。
技术水平及专利与获奖情况：该机采用了当今最先进的 RFID(射频识别卡)、
微处理器技术和网络技术。已申请国家发明专利：基于射频识别的车辆交通监控系统（专利申请号：200510013229.X）。并正在申请国际专利。
应用前景分析及效益预测：基于 RFID 的车辆交通管理系统具有原始创新性，该系统可望解决车辆交通中多数的管理问题，而且易于实施和低成本，具有重大的社会效益和经济效益。
应用领域： 车辆交通管理。
技术转化条件（包括：原料、设备、厂房面积的要求及投资规模）：生产不需特殊条件，但投资需要千万元以上。
合作方式及条件：专利许可（费用＝实施地车辆总数×5 元×年数）。
天津大学
2021-04-11
上海卡帕体育用品有限公司
Kappa品牌于1916年在意大利诞生，20世纪六七十年代开始在欧洲崭露头角，逐步发展成为欧洲盛名的运动休闲服装品牌。品牌和产品所代表的的生活方式，也随着极具识别度的品牌标识OMINI——两名背靠背而坐的男女享誉世界。在为热衷于流行文化，注重生活品质，对于新事物充满探索精神，乐于展现自我的年轻消费群体带来品质较好的运动生活产品。
上海卡帕体育用品有限公司
2021-02-01
供应红外激光显示卡（尺寸可定制）
产品详细介绍| 激光系列产品 >> 红外激光显示卡 >> 红外激光显示卡红外激光卡用于红外激光器的显示与测量，波长范围800-1550nm最小可测功率2mW 产品名称： 可定制红外激光显示卡产品类别： 激光系列产品 → 红外激光显示卡产品编号： 51313151216产品信息： 产品名称： UV紫外显示卡产品类别： 激光系列产品 → 红外激光显示卡产品编号： 51313103516产品信息： 产品名称： 红外激光成像卡产品类别： 激光系列产品 → 红外激光显示卡产品编号： 3139162216产品信息： 产品名称： 红外激光显示卡产品类别： 激光系列产品 → 红外激光显示卡产品编号： 3181033516产品信息：
长春博盛量子科技有限公司
2021-08-23
串口ID卡读卡器ID-05
产品详细介绍商品说明：
电源功率
小于0.2（W）
感应方式
非接触式读卡
工作频率
125（Khz）
感应距离
8-15（cm）
读卡时间
小于0.08（s）
适用卡类
EM4100系列
类型
感应式读卡器
型号
ID-05
品牌
荣士
技术参数
1． 双向串口通讯，波特率9600，数据位8位，无效验位，停止位1位；另外，可根据客户需求调整波特率。
2． 由电脑USB接口提供稳定的电源，无需外接电源，并内置电源保护。
3． 一个LED指示灯和一个蜂鸣器，刷卡时蜂鸣器响一声，指示灯闪一下。
4． 支持μEM4001、4100或及其兼容的RFID，频率：125kHz，感应距离为80mm-150mm。
5． 被动读卡或刷卡时主动发出标准十位卡号，测试时可在开始菜单>>程序>>附件 中打开超级终端进行接收，其他格式可定制。
6． 功耗<0.2W、低功耗造就零故障。
7． 支持Windows95/98/2000/XP。
8． 目前国内读卡器流行的外形，(尺寸:长×宽×高）10.8cm×7.8cm×2.8cm。
广州荣士电子有限公司
2021-08-23