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

近日，生物科学与医学工程学院脑与学习科学系、儿童发展与学习科学教育部重点实验室王海贤教授课题组在数学超常青少年动态脑功能网络研究中取得新成果，发现了数学超常大脑特有的源空间同步态转换规律。相关研究成果以“EEG source-space synchrostate transitions and Mark

传统荧光指示剂以有机染料和量子点晶体等下转换发光材料为主，而本项目申报的上转换荧光纳米材料是一 种全新的荧光材料。现有基于荧光的成像、检测技术所使用的都是下转换发光材料，与其相比，上转换荧光材料和技术有显著优势：光学性能独特、背景噪音低、灵敏度高、 光学稳定性好。目前对此新型材料的关注越来越多，可在很多领域取代传统发光材料设计新的产品，具有很大的市场发展空间。 

本发明公开了一种基于碳材料蒸发发电的热电转换装置，该装 置包括壳体、绝热层、导水结构、循环工质、蒸发发电层和电极；其 中，壳体与上密封结构、下密封结构一起构成密闭腔体，密闭腔体的 顶端作为冷端，底端作为热端；循环工质与蒸发发电层设置在腔体内， 循环工质与蒸发发电层接触；蒸发发电层竖直设置，两个电极分别设 置在蒸发发电层的上下端面；下端面的电极与密闭腔体的热端之间存 在间隙；导水结构位于密闭腔体内，用于引导冷凝后的循环

本发明提供了一种 GNSS 接收机中 A/D 量化位数转换系统及方法，包括同时工作的比较模块和门限 调整模块，高位量化信号输入比较模块的第一输入端，比较模块根据门限值将输入的高位量化信号转换 为低位量化信号，并从比较模块的第一低位输出端输出；比较模块的第二低位输出端连接门限调整模块 输入端，第二输入端连接门限调整模块输出端；门限调整模块用来调整门限值以使比较模块输出的低位 量化信号符合对应的最佳概率分布。使用本发明，在不增加现有 GNSS 接收

产品详细介绍SDI转HDMI，SDI转DVI高清转换器Kylines Convert SDI  ￥9800一、产品介绍此款高清转换器支持广播级质量的带嵌入音频的高标清兼容的SDI 信号转为HDMI信号输出，可以将广播级质量的高清或标清SDI信号转为标准的带音频的HDMI信号和独立的模拟音频通道进行输出。二、应用领域广泛用于使用SDI信号的各级电视台的播出机房和非编制作领域，也广泛用于各种使用HDMI接口的光端传输领域。三、规格参数1.SDI格式输入:　SD SDI　HD SDI　3G SDI　270M b/s, 625/25 PAL, 525/30 NTSC　1.485G b/s, 720P 23.98/24/25/29.97/30/50/59.94/60Hz　1.485G b/s, 1080i50Hz,1080i59.94,1080i60Hz　3G b/s, 1080p 23.98/24/25/29.97/30/50/602.SDI 格式兼容：　SD, HD, 3G 输入自动检测 　兼容SMPTE-259/274/296/372/424/425/2923.HDMI输出：　HDMI 1.2/1.3　HDMI 带宽24bit, 30bit.　480i, 576i, 720P, 1080i, 1080P　标准的HDMI-A 接口4.SDI输出：　SDI 旁通输出　BNC接口5.音频输出：　HDMI 内嵌8通道伴音　24 bit 位宽　2通道模拟音频差分输出（可选）6.信号指标：　阻抗75欧姆　直流电平偏移为 0V±500mv　信号电平为800mv±10%　反射损耗 　SD-SDI为13db以下　HD-SDI为10db以下　上升下降时间　SD-SDI为 400ps 到1500ps　HD-SDI小于270ps　上升下降时间差小于10% 　抖动小于0.2UI p-p7.电源规格：　5-12V直流电源　最大电流2000MA8.工作温度：　0℃- 50℃　也可在更苛刻工作温度下工作，但无法保持7*24小时工作9.工作湿度：　20%-80%　也可在更苛刻工作湿度下工作，但无法保持7*24小时工作10.大气压力：　85kPa -110kPa　也可在更苛刻大气压力下工作，但无法保持7*24小时工作11.方案参考质量：　0.5Kg左右　根据用户模具，材质的不同会有稍许出入12.方案参考尺寸：　尺寸为127*76*25mm(PCB长宽高，高度为参考值)　根据用户模具的不同可以提供定制尺寸。四、功能特点性能非常先进，支持目前业内最高端的3G SDI信号及1.485G SDI高清信号，并同时兼容各类SD-SDI信号，输出端支持目前应用最广泛的HDMI1.3版本，并同时向下兼容HDMI1.2及HDMI1.1及以下版本。画质输出效果一流，能完全满足广电播出机房及非编系统的专业要求。针对广电播出机房24小时不间断运营环境，方案从设计到元器件选型及生产工艺等环节都特别强调稳定性，能满足7天*24小时运行的要求。　

本发明提出了一种基于交通状态识别的交通干线双向动态绿波控制方法，该方法将基于K均值聚类分析法的交通状态识别方法和基于数解法的双向绿波控制模型相结合，能够根据路网交通状态的变化动态地调整双向绿波控制方案。该方法的具体步骤为：交通参数获取、交通状态判别、计算各假定的理想信号间距、确定实际信号相对于各理想信号的挪移量、确定合适的理想信号位置、连续行驶通过带的设计、确定系统带速。该方法能够显著减少城市道路交通流的延误和停车率，提高城市道路的运行效率，为城市道路绿波控制提供有力的技术支撑。

1、成果简介 调制（又称锁相，Lock-in）红外热像 (热波)无损检测设备以频率可调的简谐波或阶跃函数方式对检测对象进行连续光热激励，以红外热像的相位、幅值等信息检测物体的内部缺陷，具有单次检测面积大、非接触、可单面检测、不必拆下总装后的部件、可在外场使用等优点。是一种适合于大型复合材料和多层胶接结构内部缺陷检测的可视化检测设备。与脉冲热像法相比检测设备简单、检测深度更深，但检测时间较长。主要检测对象有：航空航天复合材料结构的内部分层、脱粘；蜂窝结构和夹层结构的内部分层、脱粘、积水；各类多层胶接结构的脱粘；固体发动机绝热层和包覆层脱粘；壁画空鼓等。该设备和技术是2001年以来4.5次国家自然科学基金、3次航空科学基金、2次航天支撑技术基金共同资助下的自主创新研究成果，具有自主知识产权，有广阔的应用前景。 典型技术指标： 加热功率：1000～4000W； 图像分辨率：320*240～620*480； 检测时间：20-300s； 单次检测面积：500mm*375mm及以上。 具体指标可根据实际需要的技术、经济性能合理调整。2、应用说明 用于各类材料、结构内部缺陷的无损检测，如航空、航天复合材料结构的内部分层、脱粘、异物和撞击损伤，蜂窝结构和夹层结构的内部分层、脱粘、积水，铝蒙皮和金属板背面的腐蚀，热障涂层的内部脱粘、裂纹，固体发动机绝热层和包覆层脱粘。应用单位有航天二院201所、北京卫星制造厂，技术合作单位有航天6院389厂、北京航空材料研究院。3、效益分析 该设备和技术是自2001年以来4.5次国家自然科学基金、3次航空科学基金、2次航天支撑技术基金共同资助下积累的自主创新研究成果，具有国际先进的技术水平，有台式、移动、便携形式，有广阔的应用前景。

1、成果简介 脉冲红外热像（热波）无损检测设备以闪光灯为热激励源，以红外热成像方式检测物体的内部缺陷，具有单次检测面积大、速度快、非接触、可单面检测、不必拆下总装后的部件、可在外场使用等优点。是一种适合于大型复合材料和金属板壳结构内部缺陷检测的可视化、数字化、定量化的检测设备。主要检测对象有：航空航天复合材料结构的内部分层、脱粘、异物和撞击缺陷；蜂窝结构和夹层结构的内部分层、脱粘、积水；各类多层胶接结构的脱胶；铝蒙皮和金属板背面的腐蚀；热障涂层的内部脱粘、厚度不均；固体发动机绝热层和包覆层脱粘；壁画空鼓，等等。该设备和技术是自2001年以来4.5次国家自然科学基金、3次航空科学基金、2次航天支撑技术基金共同资助下积累的自主创新研究成果，有广阔的应用前景。 典型技术指标： 脉冲能量：3000～6000J； 图像分辨率：320*240～640*480； 检测时间：10～20s； 单次检测面积：500mm*375mm及以上。 具体指标可根据实际需要的技术、经济性能合理调整。2、应用说明 用于各类材料、结构内部缺陷的无损检测，如航空、航天复合材料结构的内部分层、脱粘、异物和撞击损伤，蜂窝结构和夹层结构的内部分层、脱粘、积水，铝蒙皮和金属板背面的腐蚀，热障涂层的内部脱粘、裂纹，固体发动机绝热层和包覆层脱粘。应用单位有航天二院201所、北京卫星制造厂，技术合作单位有航天6院389厂、北京航空材料研究院。3、效益分析 该设备和技术是自2001年以来4.5次国家自然科学基金、3次航空科学基金、2次航天支撑技术基金共同资助下积累的自主创新研究成果，具有国际先进的技术水平，有台式、移动、便携形式，有广阔的应用前景。