为了提高安全关键实时嵌入式软件系统的质量，降低开发成本与周期，并使得软件系统具有可重用、可移植和互操作等特性，基于目前国际标准体系结构描述语言AADL（ Architecture Analysis and Design Language）和同步语言Signal，研发了辅助配套软件工具集，可进行系统的可靠性、可调度性、安全性分析，以及自动代码生成，从全生命周期的角度保证系统的可信性质。 本项目主要特点如下。 1．可以插件的形式集成在AADL开发平台OSATE上，支持高可靠性实时系统的软件设计建模； 2．可以提供集成开发环境，将AADL模型转换为TASM模型和UPPAL模型，然后采用相关的模型分析和检测工具进行验证分析，包括可靠性、可调度性、时间属性等分析； 3．可以支持基本的AADL到C，Signal到OpenMP的自动代码生成技术。 目前该成果已指导多个关键实时系统的建模和验证应用，获得国家专利1项。

本发明提供一种引水式漩涡水流发电系统，包括相互连接的引流部和发电部，所述引流部主要由分 水锥、回水堰、引水渠依次连接构成;其中分水锥设于河流弯道处中部，用于将河流分为两股;回水堰 设于分水锥的下游，并与分水锥相连接，用于对水量进行二次调节;所述发电部包括造涡漏斗、机电设 备和尾水管，其中机电设备设于造涡漏斗上侧，尾水管设于造涡漏斗下侧;引水渠用于将河水引入造涡 漏斗产生漩涡，作用于机电设备进行发电

产品详细介绍

        VSM（也叫做M-H磁滞曲线测量系统）测量磁性材料的基本磁性能(如磁化曲线，磁滞回线，退磁曲线，升温曲线、升/降温曲线、降温曲线、温度随时间的变化等)，得到相应的各种磁学参数(如饱和磁化强度，剩余磁化强度，矫顽力，最大磁能积，居里温度，磁导率(包括初始磁导率)等)，可测量粉末、颗粒、片状、块状等磁性材料，VSM可以测量从-196℃到900℃的温度变化的磁性变化。   主要参数： 测量磁矩范围：10-3emu-300emu（灵敏度：5*10-5emu） 相对精度（30emu）：优于±1% 重复性（30emu）：优于±1% 稳定性（30emu）：预热24小时，24小时连续工作优于±1% 温度范围：从-196℃到900℃ 固定磁极间距35mm，极面直径60mm 磁场：由电磁铁提供，从0-3.5T   主要参数： 抗磁，顺磁，铁磁，亚铁磁，反铁磁材料和各向异性材料 颗粒状和连续磁记录材料以及GMR，CMR，交换偏置和旋转阀材料 磁光材料 容易容纳散装材料，粉末，薄膜，单晶和液体     VSM的组成：   型号 DXV-550 电磁铁 √ 稳流电源 √ 振动头，振动架 √ 振动杆，样品室 √ 振动源 √ 锁定放大器 √ 高斯计 √ 探测线圈 √ 电脑 √ 打印机 √ VSM可以单独准备高温和低温设备。     主要设备：   电磁铁 电磁铁应为可调式双共轭或固定间隙的。 45°放置 型号 高低温磁场，磁极间距：35mm（T） 冷水方式 DXV-550 3.4 水冷 DXV-400 3.0 水冷 DXV-380 2.7 水冷 DXV-300 2.4 水冷 DXV-250 2.2 水冷 DXV-220 2.0 水冷 DXV-175 1.6 水冷 DXV-130 1.2 自然冷却 DXV-100 0.8 自然冷却 DXV-60 0.5 自然冷却   稳流源 电源为可调式高稳定度稳压稳流自动转换直流电源，功率为2～30KW 。在稳流状态时，稳流输出电流能在额定范围内连续可调 (一)主要功能 　　(1)输出功率：额定功率从1-12kw。 　　(2)保护：缺相保护、过流保护、短路自动保护。 　　(二)技术指标 　　(1)电源为稳流输出：电流值可从0-额定值连续可调。 　　(2)显示方式： 电流表4位半LCD数字显示。 　　(3)显示精度：±(1%+2个字) 　　(4)当负载为电磁铁，且输出电流大于最大电流一半时，电源输出的电流稳定度优于5*10-4 　　(5)工作时间：连续8小时工作(环境温度20±5℃) 　　(6)输入电压：单相220V/三相380V±10%        (7)输入频率：50Hz   振动系统 包括振动杆、机械振动头支架、样品室及探测线圈   磁测单元 (1)量程分300emu、150emu、80emu、40emu、30emu、15emu、8emu、4emu、3emu、1.5emu、800memu、400memu、300memu、150memu、80memu、40memu、30memu和15memu (2)磁场量程：0.5kOe”、“1kOe”、“2kOe”、“4kOe”、“8kOe”、“16kOe” 和 “32 kOe” 显示在4位半LCD数字表头。.分辩率0.1mT，相对精度优于±1%。 (3)振动源输出频率180Hz,频率稳定度优于10-5，输出功率大于50W。   联想电脑 打印机：hp-1018 高温炉和温度控制设备: 加热功率是100W. 炉子的温度范围是室温到900℃ 通过4位半LED数字控制。分辨率：0.1℃ 低温杜瓦和温度控制装置 样品室的温度与控制范围是 77K-273K 通过4位半LED数字控制，分辨率：0.1K  

主要功能：双行显示，具有修改、插入、删除功能 重现功能 快速上下翻转 快速左右翻转 240种计算功能 10位数+2位指数显示 错误提示 9个变量 分数计算 百分数计算 答案存储 六十进制与十进制的换算 双曲/反双曲函数 常用及自然对数、指数、倒数、阶乘 随机数、π、小数位数、有效位数、舍入 平方根、立方根、根、平方、立方 极坐标/直角坐标变换/双曲/反双曲函数 分数计算、百分数计算、度分秒计算 排列、组合 统计、回归计算 规格尺寸： 重量：135g(含电池) 机身尺寸：160mm*84mm*16mm 耗电：0.0002W 电源：一节AAA（7号/SUM-4） 电池寿命：约有2年（每天使用一小时） 操作温度：0℃-40℃ 包装尺寸：163mm*88mm*24mm 此款计算器为10+2显示函数计算器，符合国标、行标JY/T0382-2007,适合中学生使用，塑料按键，有保护盖

软土在我国有广泛的分布，为保证列车的高速、平稳运行，高速铁路对路基的沉降 变形控制要求很严，然而由于没有成熟可靠的软土路基沉降计算理论，致使目前我国已 修建运营的多条高速铁路软土路基出现沉降变形过大的情况，严重威胁到高速铁路的运 营安全。 本课题组近年来结合铁道部“CFG 桩复合地基沉降计算理论和设计方法”、“低矮路 堤复合地基沉降变形规律和设计方法”和 863 计划项目“高频重载条件下铁路路基不均 匀沉降设计理论和方法”等多项课题，对软土路基沉降计算理论开展了较为深入的研究， 在软土地基、路基本体及列车动荷载作用下沉降变形规律研究基础上，提出了一套较为 系统的软土路基沉降计算方法，尤其是对高速铁路无砟轨道路基广泛采用的桩网结构、 桩筏结构，建立了基于 Mindlin-Boussinesq 联合应力的沉降计算方法；针对列车动荷载 长期作用下易产生过大附加变形的软土地基低矮路堤，提出了可考虑高循环动荷载次数 的动力隐式与静力蠕变相结合的长期变形计算方法。 研究成果在多条高速铁路建设中得到应用。 

一、行人再识别研究研究背景：行人再识别（Person Re-Identification，简称 Re-ID）研究跨视域跨摄像头情况下对行人进行连续跟踪，是目前计算机视觉研究的热门方向，在智能安防领域有巨大的市场和广阔的发展前景。研究成果：基于特征级有监督背景消除的行人再识别方法、基于激活引导属性分类模型（AGAC）的行人再识别方法。二、面向智能终端的隐式身份认证不同用户的触摸智能手机的习惯具有独特性，不易被模仿。利用用户触摸智能手机的习惯作为生物识别符，“隐形地” 完成对用户身份的合法性认证。三、利用双通道建模的鬼影抑制算法研究背景：检测中的鬼影经常造成误检测，该算法可以抑制在检测时产生鬼影