本发明提出一种基于HybridUML和定理证明的CPS自适应性验证方法，本发明步骤包括：首先利用HybridUML视图对CPS建模；然后将HybridUML规约转换为定理证明器KeYmaera的输入-量化混合程序QHP；结合生成的QHP，以量化微分动态逻辑QdL公式的形式对待验证的属性进行规约，然后利用KeYmaera进行自动验证。

利用液晶电视制作不用配戴特殊眼镜就可以观看到立体图像的显示装置，观看者可以自由移动，从不 本技术成果提供了一种基于双线性的联合CNN的人脸验证方法。该方法将获得的人脸正面图像作为输 同的方向上可以看到立体图像的不同侧面，不会引起眼睛生理性疲劳和损害。通过研究裸眼可视全息立体 入，进行人脸图像特征提取和识别，与参考集人脸进行两两对比，最后输出此人是否与参考人脸属于同一 图像显示技术和相关理论，本研究开发了具有自主专利技术的、具有高精度、大景深的立体显示器产品 个人的分类结果。包括下述步骤：1)使用预先准备的人脸图像进行卷积神经网络（下简称CNN）的训练； S3DD-4及基于具体应用的系列产品，让观众可以在大范围内自由移动裸眼观看到高质量的全息立体图像 2）使用训练集中的人脸图片，进行双线性CNN的微调；3)输入待验证的人脸图片，将两张图片进行切分， 和视频。 提取双线性CNN输出的联合特征。4)得到的向量经过一个自编码网络训练，得到最终的验证结果。 本技术成果的应用范围包括：1．各领域、各行业的各种型号尺寸（包括手机、游戏机、笔记本、显 本技术成果基于双线性的CNN的方法，并且通过将原

“虚拟工艺”软件可由标准工艺流程文件和掩膜版图文件，模拟出所要加工的MEMS器件的真实三维结构，具有良好的通用性和精度。下图为自主开发的“虚拟工艺”软件生成的微夹钳三维结构。 “虚拟运行”软件对器件的运动情况进行仿真，并与最初设计方案比较来指导和修正实际加工。下图显示了微夹钳的虚拟运行结果，图中的器件颜色表示了器件运动时的剧烈程度，红色表示变形最剧烈的部分，淡蓝色表示变形较小的部分。

项目的背景及目的 迄今为止，集成电路的模拟、仿真直至评测已有了非常完善的工具软件；并已成为设计过程的重要组成部分；对设计的成功、可靠、高效都已起到决定性作用。而对MEMS而言，还相差甚远，这和MEMS发展的成熟程度有着直接关系。当然，这并不意味着MEMS不需要这样的工具和系统。相反，由于MEMS的功能多样、加工复杂、分析困难、设计周期长、成本高等。特别需要一个能包括运动仿真、评测在内的设计工具和系统。这是当前推动MEMS发展的当务之急。

针对问题：当前公交 IC 卡均为不记名、离线消费方式，一旦卡 片丢失，拾卡者可继续持此卡消费，即使挂失，卡内余额无法追回。解决方案：增加可随身携带的小型射频身份识别（RFID）标签， 与公交 IC 卡绑定，刷卡时两卡必须同时被识别，才能消费，因此提 高了安全性。 特色：该模式亦思路新颖，结构简单，可推广到其它小额、快捷 的消费场合，安全性好，成本可控，具有很广阔的应用前景。此技术 还可以根据需要设计应用于智能暖气系统和智能家居、智能节能系统

成果与项目的背景及主要用途：智能交通在国民经济可持续发展中的作用已不言而喻。在车辆牌照中嵌入射频识别卡（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 元×年数）。

产品详细介绍  北京韦斯达通科技有限公司新品推出： 业内唯一支持同时支持LINUX系统和WINDOWS系统的WIS-HDCAP1.0高清采集卡 业内唯一支持Drictshow真正的1080P质量的WIS-HDCAP1.0高清采集卡 业内唯一同时可以支持分量、VGA、DVI、HDMI四种标准的WIS-HDCAP1.0高清采集卡                                                                                                产品描述： 1.         PCI-E 1x接口，单卡实现1路VGA信号、DVI、分量、HDMI复用 2.         采集VGA、DVI、分量、HDMI信号分辨率可达逐行高清效果(1920×1080或1920x1200)。 3.         支持Windows系列操作系统，同时还提供LINUX的驱动支持。 4.         支持所有视频采集、编辑、直播软件。支持标准的DIRECTSHOW进行开发，无需二次开发;根据不同客户的需求，同时提供二次开发SDK。 5.         支持一机多卡。 6.         画面大小可高质量缩放和切边功能 7.         自动检测源的分辨率。和刷新率，且能够自动匹配 8.         对地某些专业设备输出的特殊信号提供多种参数可自定义配置 9.         并提供特殊信号源的开发支持 10.     支持目前市面上现有的准高清摄像机（720P）和高清摄像机（1080P）如SONY新出的HD7V、HD3V和国产的最高1080I和最高1080P的摄像机 适用行业： l         电脑主机信号采集; l         教育、医疗、雷达信号采集 l         大屏幕，电视墙行业应用 l         工控机、游戏机主板、嵌入式设备 l         视频会议，远程教育培训 l         高清安防，门禁 l         运输安检 l         军事模拟 l         虚拟现实等 技术参数：   板卡格式: PCI-e x1 半长卡, 93mm x 135mm. PCI-e 总线主板，具有scatter gather DMA ，提供数据传输率最大为 480MB/s. 接口: 一个 DVI-I类型的接口，可以转接VGA、分量YPbPr、HDMI、DVI 最大采样率: 每秒200M像素. 视频采样: RGB:  每像素24 比特/8-8-8 格式. 视频采集内存: 32 MB (实时更新).  三倍缓存. 支持RGB 模式: 640 x 480,720 x 400, 800 x 600, 1024 x 768, 1280 x 800,1280 x 1024, 1440 x 900,1600 x 1200, 1920 x 1080, 1920 x 1200,自定义模式. 支持DVI模式: 640 x 480, 800 x 600, 1024 x 768, 1280 x 1024，1920x1080，自定义模式。 支持HDMI 模式: 1080p（最高60）,1080i, 720p, 576p, 480p ，使用的接口是一个分量-DVI 接口. 支持高清分量（YPbPr） 1080p（最高60）,1080i, 720p, 576p, 480p 输入模式监测: 激活源信号模式改变的跟踪，自动监测硬件的输入模式. 采集帧率: 0fps—120fps（因分辨率而定） 其中： 1024X768 60fps 1280x1024 40fps 1920x1080 30fps 720P      40fps 1080P     30fps 视频格式选项: 模拟 RGB HSync 和VSync  模拟 RGB Sync on Green    component    Sync on Y DVI single link HDMI 支持的操作系统: Windows® XP Professional (x86 and x64), Windows® Server 2003 (x86 and x64), Windows Vista® (x86 and x64) and Windows® Server 2008 (x86 and x64) 电源要求: +3.3V最大电流0.5A. +12V 最大电流1.0A. 最大电量 – 13.5 Watts. 操作温度: 0 到 35 摄氏度 存储温度: -20 到 70摄氏度 相对湿度: 5% 到 90% 不结露 模拟输入范围: Min 0.5Vpp  Max 1.0Vpp Hsync: 15kHz - 110kHz Vsync: 无硬件限制, 实时信号一般为 25Hz - 200Hz  分离同步极性: 正极或负极.  (Separate H & V sync, Composite Sync) 同步随绿极性: 负极 模拟输入阻抗 75 欧姆  

产品详细介绍商品说明： 电源功率 小于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。

产品详细介绍★2.0声道全频音箱放大器、麦克风音量与音乐音量独立调节、一路音频输入、一路录音输出、安装调试简单、扩音清晰、性能稳定。