产品详细介绍成像系统　　SOC-730VS可见光/近红外成像光谱仪是一款高质量、商品化的成像光谱仪，光谱范围为400nm～1000nm。和MIDIS™ 处理器（为可选件）连接后，SOC-730VS可以提供最苛刻的实时分析，质量控制和探测应用。 实时处理　　实时处理数据的应用，如机械视觉、生物影像、颜色质量评估、和需要即时反馈的目标探测等。可选的SOC MIDIS™处理器以最优的电脑速度快速执行光谱处理，克服了大部分成像光谱仪在实时数据处理方面的瓶颈。　　MIDIS处理器具有多个相关通道同时监测测量数据和三光谱积分，使得MIDIS处理器有能力克服当今数据处理的难题。配备了一个独立的偏振分光光度计，高灵敏度的，12bit兆像素数列和积分扫描仪，SOC-730VS通过高速Camera-Link接口，可以记录400nm到1000nm光谱范围内、2nm分辨率的高质量光谱成像数据。　　SOC的HS分析软件可以用来进行标定和数据分析。记录的数据格式为开放式的二进制数据，可以很容易的用第三方分析软件打开，如ENVI软件。 技术参数光谱范围： 400-1000 nm光谱分辨率： 2 nmSMILE： <1.5 μ数字光圈： F/2.4TFOV (35MM)： 10°IFOV (35MM)： 0.17 mrad分辨率 (像素)： 1024x1024帧频： 15 fps数字分辨率： 12-bit三脚架： 3/8”-16计算机接口： Cameral-Link扫描： 内置供电： AC/12DV 应用领域：机械视觉　　连接处和表面检查　　农业视察　　化学分析　　农业领域精准农业　　土地分类　　水份胁迫　　作物健康 科学领域　　显微镜　　生物分析军事领域　　目标识别　　敌友分辨遥感领域 　　地表真实　　分类制图 

产品详细介绍　　SOC720SW 短波红外成像光谱仪是一款高质量、高性能的仪器，光谱范围为900nm～1700nm。　　SOC720SW具有高光谱分辨率 (6.25 nm), 轻度光谱失真 (<1.5 nm)成像分光计和高灵敏度的InGaAs 探测器 (D* = 1.5e13  √cm-Hz/W)，使得SOC720SW可以14-bit同时收集640像素、128个波段的光谱信息。这保证了所有应用里，获得的是最高质量数据。 使用简单和实时处理　　SOC720SW是一个完整的系统，开箱之后即可使用。　　系统采用SOC的HyperSpect™ 操作软件和HSAnalysis™校准和分析工具进行标定和使用前设置。　　数据以开放的BIL二进制格式保存，可以兼容第三方分析软件。无需额外的扫描仪或软件。　　可选的SOC MIDIS™处理器以最优的电脑速度快速执行光谱处理，克服了大部分成像光谱仪在实时数据处理方面的瓶颈。　　MIDIS处理器具有多个相关通道同时监测测量数据和三光谱积分，使得MIDIS处理器有能力克服当今数据处理的难题。　　配备了一个高质量的成像分光计、标定和分析软件、高速低噪InGaAs线列和完整的扫描系统，SOC-720SW通过高速Camera-Link接口可以记录900nm到1700nm光谱范围内、6.25nm分辨率的高质量光谱成像数据。灵敏度高于1.5x1013cmHz/W（1550nm）。　　SOC的HS分析软件可以用来进行标定和数据分析。记录的数据格式为开放式的二进制数据，可以很容易的用第三方分析软件打开，如ENVI软件。无须数据格式转换。技术参数：光谱范围： 900-1700 nm光谱分辨率： 6.25 nm光谱通道： 128光谱失真： <1.5 microns  (smile)数字光圈： F/2.4TFOV/IFOV (35MM)： 10°/0.015625°分辨率(像素)： 640x640 (nominal)LINE RATE： 30 Spatial Lines/SecondCUBE RATE： 20 Seconds/Cube数字分辨率： 14-bit三脚架： 3/8”-16计算机接口： Cameral-Link扫描： 内置供电： AC/12DV重量： 30 lbs.尺寸： 7”x14”x22”  应用领域： 机械视觉　　电子学和塑胶　　晶片检查　　农业品质　　化学过程控制农业领域　　精准农业　　土地分类　　水份胁迫　　作物健康 温度记录　　火点监测　　玻璃检测　　金属纯度军事　　ISR　　边境安全　　导弹跟踪医学领域　　血糖分析　　X线断层摄影术

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

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

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

【师生办事可信应用服务平台】赋能可信电子凭证应用(“1+X”凭证)、可信电子证照应用(涵盖:“录取-毕业”整个学业历程)、在线签署应用(申请审批、项目课题、合同协议)、电子签章集成应用(OA、网办、财务报销)、可信身份验证(新生入学复查、学籍注册)等应用场景。 利用数字化、集成化、可信化的手段，依托PKI身份认证体系，以数字证书为基础，以数字签名、数字水印为核心技术，建立标准师生办事服务体系，实现统一标准的电子签章制作、发放、管理、审计、查询、验证等服务，解决师生办事自助服务过程中所遇到的关键问题，包括电子文件安全、电子公文交换的权威性、电子签章、电子签名合法性等问题。 ■ 应用场景一:可信电子凭证应用 可信电子凭证平台依托PKI身份认证体系，以标准电子签章服务体系为核心，将数字证书与学生校内基础数据整合，为师生提供可信电子凭证的申请、生成、派发、验证等全在线自助服务，解决全流程线上业务办理“最后一公里”问题，三步申请、一秒送达、一次搞定。 “1+X”赋能:1个核心凭证生成输出能力“赋能”X个业务部门多种凭证需求 ■ 应用场景二:可信电子证照应用 围绕可信电子证照全生命周期赋能，为师生提供在线申请、缴费、生成、预览、派发、授权、吊销及使用核验等可信电子证照应用功能。贯彻学生整个学习历程(从新生录取到毕业审核后发放可信电子毕业证书),支撑可信电子录取通知书、电子学生证、电子准考证、荣誉证书、获奖证书等各类可信电子证照的全面应用。 颁发的电子证照文件支持上架省政务平台实现“亮证”，融入省级可信互认体系。师生/校友用户可通过社会身份体系登录省政务平台查询并使用个人电子证照，有效打通校内外证照互认壁垒，显著提升电子证照的权威性与含金量。 ■ 应用场景三:在线签署应用(申请审批、项目课题、合同协议) 在线签署应用将身份认证、数字签名与电子签章技术深度融入校园管理全流程，实现申请审批、项目课题、合同协议三大场景全流程数字化管控: 申请审批:满足学籍异动、毕业离校办理、停调课等日常申请审批事项的发起、流转、审批、签名、盖章全流程线上办理，实现“师生跑签”到“线上秒签”，大幅缩短业务处理周期。 项目课题:大学生创新创业项目、横向课题协议、社科规划项目申请书等项目课题的立项申请、审批与评审环节，实现项目材料全流程无纸化管理，确保数据存证、防丢失防篡改。 合同协议:支持校内外人员自由签署三方就业协议、货物采购合同、技术服务合同等合同协议(数字签名、单位盖章)，签署过程合法合规、防抵赖、可追溯，签署文档实现数字化归档管理。

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