本发明提出了一种基于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 接收

本项目属于电子信息技术领域，更进一步属于电视和专用集成电路技术领域。本项目主要内容是设计实现了一种具有自主知识产权可广泛应用于网络数字视频、数字化电视和高清晰度电视后处理的先进单片数字视频扫描格式转换与处理专用集成电路，芯片中的嵌入式DSP处理器提供了高质量的各种视频滤波与增强处理算法，可实现隔行-逐行扫描格式变换、帧频提升、视频降噪、运动补偿、边缘增强、

产品详细介绍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小时运行的要求。　

风电能源是一种可再生清洁新能源，加快风电新能源推广应用符合国家能源 战略需求。在风电能源开发中，提升塔筒结构和基础结构的性能和经济性是提高 风电能源市场竞争力的重要保障。重庆大学风电新能源新型结构体系研究团队研 发了适用于不同轮毂高度的三种新型风电塔筒结构体系：中空夹层钢管混凝土组 合塔筒、预应力钢管混凝土格构式塔架、基于斜拉索体系的风电组合塔筒，以及 装配式组合基础结构，并揭示了新型风电塔筒结构体系和装配式组合基础结构的 破坏机制，建立了精细化设计理论。研发了多机平台浮式基础结构体系和格构式 浮式基础组合结构体系，有望在深海、远海风能资源开发中得到应用，突破我国 浮式风电场建设零的突破。目前重庆大学已形成性能高、综合成本低、市场竞争 力强的新型风电结构标准化成套体系。