|
搜索
搜 索
高等教育领域数字化综合服务平台
基于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
Entrust CR805证卡打印机
Entrust CR805证卡打印机 • 优质颜料墨水造就经久耐用、色彩明亮的图像 • 600 dpi 高清晰度打印，支持打印缩微文本、条形码和其他元素 • 边到边全版打印，搭配再转印技术，支持多种证卡打印类型，包括工艺卡 • 可覆盖两层再转印膜，进一步增强证卡耐用性 • 可选择添加联机覆膜模块和触感特征模块，提高耐用性和安全性
凸版资讯信息系统（上海）有限公司
2021-12-08
XI006AE6路采集卡
产品详细介绍功能优势：
l 画质好：采用10bit采样精度 的4倍过采样AD转化器，5线自适应梳状滤波器等技术，保障了画面细节丰富，信噪比高，并最大程度的减少了色边的出现。
l 音质好：采用96KHz采样率，24bit采样精度AD转换器，实测信噪比在90db以上。
l 高性能：采用高速PCI-Express接口，高速大容量图像缓存技术，有效避免了画面拉丝现象的产生。
l 硬件去隔行：提供运动自适应去隔行效果优异去隔行处理接口，运动画面不会发生明显拖尾现象，使运动画面更清晰。
l 体积小：符合Low-Profile接口卡标准，集成度高，体积小，可方便的插入2U机箱内。
规格参数：
l 输入通道：6 路 CVBS 标清视频、2个6路立体声线路音频
l CVBS 输入标准：PAL/NTSC
l CVBS 采集输出格式：
n 画面大小：176x144 至 720x576像素
n 每秒帧数：1-30帧/秒
n 色彩格式：UYVY/YUY2/I420/RGB24/RGB32
l 音频参数：
n 声道数: 12 Channel
n 采样频率: 8/16/22.05/32/44.1/48/96 Khz
n 采样精度: 24 bit
n 信噪比: >= 90 db
l 视频处理功能：RGB/YUV转换，5-Tap 画面缩放，运动自适应去隔行
l 板载内存：128MB；DDR2/32bit/166MHz
l 插槽接口：Low-Profile PCI-Express x1
l 主体外观尺寸：123mmx69mm
l 标配附件：1根6路视频引出线，2根3路立体声音频引出线，1个半高PCI挡板
迈斯威尔
2021-08-23