本发明提出了一种基于模型转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，本发明涉及到的关键操作包括：(1)采用HybridUML对CPS进行建模，并将所建HybridUML模型转换为微分动态逻辑方法的操作模型混合程序Hybrid？Programs。(2)将得到的Hybrid？Programs根据定理证明器KeYmaera的输入格式，生成输入代码，在KeYmaera中进行推理验证。

成果简介：GEOSAR卫星运行在高轨道，长合成孔径时间使得目标回波具有距离徙动量大、空变性剧烈的特点，因而成像处理难度大。同时电离层对信号传播的影响也是影响卫星成像性能的重要因素。 GEOSAR地面成像验证系统利用导航卫星作为照射源、在地面配置多通道接收机分别接收直达波和回波信号，其中直达波信号用于实现卫星与接收机间的时频同步和分析电离层的影响，回波信号可用于实现成像处理。通过研究此模式下回波信号特性和成像算法，因此利用该验证体制可实现对GEOSAR成像机理的等效地面成像验证；同时，

本发明提供了一种提取网页中验证码图片的方法。由于验证码图片在网页中并没有一个固定的网址链接，并且图片随机生成，对其进行刷新或者保存操作会改变图片内容，因此提取验证码图片是很多需要验证码图片的软件应用的一个关键难题。在该方法中，利用光标位置、验证码输入框位置、图片位置、图片大小、图片视觉与内容特征、图片关键字、图片长宽比例等信息将网页中的验证码图片提取出来。

小分子代谢物和蛋白的相互作用在各种生物学过程中都发挥着至关重要的作用，发展 化学蛋白质组学技术 系统分析蛋白-代谢物相互作用网络可以促进对其生物学意义的理解。衣康酸是近年来在巨噬细胞中发现的一类具有显著抗炎活性的代谢小分子 ,   但其抗炎机制尚不明确 。由于衣康酸具有一个α,β不饱和羧酸的结构，理论上它可以通过迈克尔加成反应共价修饰到蛋白质的半胱氨酸残基上。 此前，两个课题组 合作发现，用于非天然糖代谢标记的全乙酰 化叠氮糖 探针，在细胞中可以通过 无酶催化形式标记蛋白质组中大量的半胱氨酸位点 (Qin W., et al. Angew. Chem. Int. Ed. 2018.) 。 基于该反应，两个课题组在本工作中合作 开发了 新一代 特异性 半胱氨酸标记 糖 探针1-OH-Az ，并结合定量化学蛋白质组学技 术， 成功 地在 巨噬细胞蛋白质组中 鉴定到 260个衣康酸修饰的半胱氨酸位点 。作者进一步分析 发现糖酵解中的三个关键酶ALODA，GAPDH和LDHA 都 可以被衣康 酸修饰，其中 最 上游的ALDOA 蛋白中两个半胱氨酸（ Cys73和Cys339 ） 上 在被脂多糖刺激的巨噬细胞中发生了 内源的衣康酸修饰。 生化 和细胞 实验表明 衣康酸可以 通过修饰这两个半胱氨酸残基 显著地抑制ALDOA的催化活性， 进而 抑制巨噬细胞 内 的糖酵解通路， 从而 发挥抗炎活性。

产品详细介绍  公安部第一研究所证件技术事业部是我国第二代居民身份证换发工作的技术保障单位，多年来致力于我国第一个非接触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模型向DAP的转换，并依据微分代数动态逻辑(Differential-AlgebraicDynamicLogic，DAL)推理规则对CPS实例进行验证。该方法使用HybridUML对CPS进行建模，将其转换成DAL的操作模型DAP，并且基于DAL对CPS属性进行验证。

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