本发明提出了一种基于HybridUML向微分代数程序转换的CPS建模与验证方法，实现了由HybridUML模型向DAP的转换，并依据微分代数动态逻辑(Differential-AlgebraicDynamicLogic，DAL)推理规则对CPS实例进行验证。该方法使用HybridUML对CPS进行建模，将其转换成DAL的操作模型DAP，并且基于DAL对CPS属性进行验证。

项目“动态频谱资源共享宽带无线通信系统验证网络开发”属于国家863重点项目“频谱资源共享无线通信系统”的子课题。该项目目标是开发与现有系统共存的宽带无线通信系统验证网络，并在694～806MHz频段进行演示验证。在不影响现有系统业务的前提下，为固定和移动用户提供语音和其它宽带业务。

产品详细介绍  公安部第一研究所证件技术事业部是我国第二代居民身份证换发工作的技术保障单位，多年来致力于我国第一个非接触IC卡身份证阅读设备标准的研究、制定，为配合标准制定和身份证试验，先后研制了多种非接触IC卡阅读设备。ICR-100M智能接口身份证阅读器是联机使用的身份证专用阅读设备，采用拥有国家专利（实用新型专利号Z? 200620000992.9，发明专利号2006100010348）的智能识别技术，能自动识别计算机通讯端口、自动设置通讯参数、自动读卡。  感兴趣者可以联系电话13333860381，或者QQ 1002940471~492221547     该设备采用国际上先进的TypeB非接触IC卡阅读技术，以无线传输方式与第二代居民身份证内的专用芯片进行数据交换，可以将芯片内的个人信息资料读出，再通过计算机通讯接口，将此信息上传至计算机。      随机提供的安装软件通过ICR-100M可以完成读取身份证芯片内个人信息资料操作，并且该随机软件还可以将这些信息解码成文字和相片进行显示和存储，进行“人证同一性”认定。      该设备兼容ISO14443（TypeB）标准，可根据用户需要读取其他符合ISO14443（TypeB）标准的非接触IC卡。      同时，该产品还可提供开放的应用程序接口（API）函数，供系统集成商进行二次开发。      该设备可采用计算机端口取电，体积小巧，既支持RS-232C通讯又支持USB通讯，操作灵活简便，可应用于公安、民政、银行、宾馆、邮局、证券等场所进行身份核验。  产品性能特点   通用性强：采用标准计算机通讯接口，支持WIN2000/XP/NT/LINUX等操作系统。  开放性好：提供SDK供系统集成商进行二次开发。  操作简便：随机阅读软件自动设置通讯口和通讯参数，自动找卡和阅读。  体积小巧：内置式天线，电源直流插孔巧妙地设计在通讯插头上。  外形美观：专业的造型设计和模具制作技术打造。  主要技术指标  符合公安部行业标准（GA 450-2003）、国家标准(GB/T 18239-2000)以及国际标准(ISO 14443)  通讯接口：智能型，同时支持RS-232C和USB     注意：实际使用时用户要选择其中一种通讯方式  读卡时间：<1s  提供身份证阅读系统及开发套件  应用平台：WINDOWS/LINUX/UNIX  开发工具：API支持VC/DEPHI/VB/PB等  供电方式：计算机端口取电或外接电源适配器（DC 5V，功率≥2.5W）  使用环境： 温度：0oC～50oC   湿度：20%～90%RH  主机重量：约250g  外形尺寸：160(L)X106(W)X31(H) mm  注：产品重量和外形尺寸可能发生变化，实际使用请以实物为准。   应用领域  公安：身份证申领、户口登记迁移、人口管理等。  民政：求学、就业、参军、婚姻登记等。  民航：机票购买、登机等。  银行：开户、信用卡交易、大额取款等。  旅馆：住宿登记等。  邮局：领取邮件汇款等。  证券：股票、期货交易等。  成功应用 1、公安系统部分用户 2、银行系统部分用户 3、其他行业部分用户

本发明提出一种基于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发展的当务之急。