|
搜索
搜 索
高等教育领域数字化综合服务平台
高速铁路设计运营仿真系统
本成果是获得省部级和学会级三等以上奖励的重点纵向成果。该成果是集列车运行计划编制、牵引计算、列车运行仿真于一体的高速铁路设计运营仿真系统，可应用于辅助工程设计，对项目建成后的运营情况进行全方位模拟仿真，验证线路、站场、电分相、信号等设计方案、运输组织方案的可行性，检验运输设备对运输需求的适应性。该成果已在中铁工程设计咨询集团有限公司设计线路中得到运用。
西南交通大学
2016-06-27
软件可信性自动验证系统
软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果，自主研发了高效的自动推理工具；借鉴目前世界上最先进的程序形式化技术，形成了C程序自动验证系统和PLC程序自动验证系统，对指针安全、数组越界、溢出等常见复杂问题可实现自动验证或根据用户需要验证特殊性质，具有验证速度快、发现缺陷能力强、成本低的特点，从技术上突破了程序分析、程序测试的一些瓶颈，对提高软件质量具有不可替代的作用。目前，本自动验证系统已验证了涉及航空航天、武器装备、铁路、通讯等多种系统，显现出了明显效果，得到了认可。 该成果具有国际先进水平，自主可控，填补了国内程序可信性自动验证的空白，获得省部级和学会级三等以上奖励，有着有广阔的应用领域。。
西南交通大学
2016-06-27
高速列车轮对动态检测系统
本新技术成果提供了一种高速列车轮对动态检测系统：通过安装在两个相对钢轨内侧的轨上检测装置采集轮对踏面状况的检测信号，并通过与其相连的轨边转接装置将该检测信号发送给现场处理设备，从而由该现场处理设备中的微型计算机对该检测信号进行处理，以确定列车轮对的当前检测结果，并显示出来，现场工作人员即可根据显示内容及时对列车的运行情况进行调整，以保证该列车的行车安全。其中，由于本成果中的轨上检测装置设置在两条相对的钢轨内侧，在安装时，无需对钢轨进行破坏性改造，而且，该轨上检测装置内部相关器件抗震性好，能够在列车高速运行时获取得到列车的相关信息，此外，该检测系统对列车轮对在线检测过程完全是自动实现的，提高了检测效率。
西南交通大学
2016-06-27
整车多能源控制系统（技术）
成果简介：采用了由局部管理层、整车信息管理层、人机接口与通讯扩展接口层组成的三层综合网络系统结构，在国内首先实现了电动车整车网络布线，自主定义了电动车辆CAN总线通讯协议，成功地实现了整个电动车的综合控制，将电动车的各个部分组成为一个完整的有机整体。该技术主要解决了两大问题：一是如何最有效地管理电动车辆有限的能量，实现电动车辆效率最大化，估计电池组的剩余电量及车辆续驶里程、单体电池及成组电池的检测与电池组温度控制、电机及空调等耗能部件的功率分配等内容；二是如何解决电动车辆运营过程中的故障诊断、高压
北京理工大学
2021-04-14
农用高效发电系统控制方案
本成果主要瞄准农村家用发电系统中存在的工况复杂，小型化等问题，以及影响永磁同步风力发电机系统控制精度提升的关键问题——干扰和不确定性， 在确保风力发电系统在所有运行风速范围内能够稳定运行以及捕获最大风能的前提下，通过对风机特性和受扰特性进行机理研究，设计新型的、 可行有效的抗干扰复合预测优化控制理论方法和应用技术。
扬州大学
2021-04-14
无线多媒体环境监测系统
本项目研制了一种结合传统无线传感器网络技术与无线多媒体传感器网络技术的环境监测系统，它能够采集、感知环境中的温度、音频、视频、图像等多种信息，可以进行数据处理、上传与存储，为用户提供数据查询和分析功能。本系统主要由普通传感器网络、多媒体传感器网络、汇聚节点、无线多媒体环境监测软件等部分构成。其中，传统无线传感器节点（以CC2430为核心器件，TinyOS操作系统）基于Zigbee协议构成传感器网络，实现对环境中温度的采集；无线多媒体传感器节点（ARM9处理器，Linux操作系统）基于802.11b
南京航空航天大学
2021-04-14
一种智能凹版印刷系统
本发明公开了一种智能凹版印刷系统，包括承印物、输卷装置、刮墨装置、墨槽、凹印版辊、压印 滚筒、干燥装置、连接线、上位机、收卷装置;所述的印刷装置中凹印版辊采用智能凹印版辊;本发明 根据原稿明暗层次的不同，通过计算机对每个网穴内部的压电陶瓷进行控制，使其发生形变，从而使每 个网穴满足不同色调的深度要求，省去了制版的步骤;当印刷滚筒浸入墨槽时，通过压电陶瓷的形变产 生真空，使油墨在大气压的作用下进入网
武汉大学
2021-04-14
动态网络链路模拟系统
动态网络链路模拟系统模拟天地一体化网络的时变网络拓扑及时变链路特征，支持网络层及上层协议在网络环境中的测试。动态网络链路模拟系统由网络控制器和链路模拟器构成。网络控制器支持星座设定、收发信机参数设定、通信节点随时加入与退出。链路模拟器配置了标准以太网接口，每个接口模拟一个收发信机端口。链路模拟器负责模拟空间链路的时变特征，支持一对一、一对多、多对一链路的时延、误码率、冲突、带宽等链路属性的模拟。
主要技术指标
动态网络链路模拟系统主要技术指标：
（1）动态网络链路模拟系统提供的以太网接口数量不小于 144 个；
（2）支持一对一、一对多、多对一等拓扑的模拟；
（3）模拟链路速率不小于 8Gbps；
（4）模拟的时延范围为 [0ms, 300ms] ，时延精度为 1ms；
（5）误码添加范围为整个 MAC 帧；
西安电子科技大学
2023-03-08
天车防摆智能控制系统
成果为一套可用于工业现场的防摆控制器，主要包括：基于速度控制的开环防摆控制，研究了非零速连续转向控制方法，实现了起重机开环防摆控制中多路径运行时非零速连续转向；基于摆角和位置反馈的闭环防摆控制，实现天车精确高效的主动防摆控制；基于主动标志物标定和机器视觉检测，建立了吊钩/吊物摆角检测、旋角检测以及误差消除、吊钩/吊物绳长自动检测方法，设计了一套摆角旋角检测仪。
成果在天车实验台进行了实验验证，并在工业现场得到应用，天车运行的平稳性和防摆的效果好，提升了工作效率。
中南大学
2023-04-28
无人机安全组网系统
针对无人机面临的网络与系统层面的安全威胁，在 GF 基础科研、装备预研项目等重大项目支撑下，研发了具有完全自主知识产权的无人机安全防护系统，从无人机系统安全、无人机通信安全、无人机应用安全三大安全需求出发，突破了飞控形式化建模及代码自动生成、安全形式化验证、可信计算、区块链等关键技术，发明了满足安全与安保需求的飞控系统代码自动化生成技术，实现了符合实时性要求的无人机飞控系统安全性验证与运行监控，实现构建了“开发 - 运行 - 维护”的飞控系统全生命周期的一体化一体化无人系统安全防御体系。
截止目前，无人机安全防护系统已经历技术研发、原理样机开发两个阶段，技术成熟度达到 4 级，相关技术已应用于国产大飞机 C919、国产嵌入式操作系统“天脉”，持续深入推进军民融合协同发展。
主要技术指标
在无人机飞行控制系统开发阶段，从安全与安保需求出发，支持对无人机飞控模块进行形式化建模及关键软件组件的代码自动化生成，并且对自动生成的飞控核心代码进行自动化及组合验证，覆盖率不小于 90%；在运行阶段，基于可信计算及分区隔离技术，无人机安全防护系统的动态安全事件响应速度小于 500ms；并且，针对无人机集群以、无人机与地面站通信两种应用场景，支持机 - 站接入认证及批量认证、机群群组密钥管理，安全性至少达到 80bit 安全。
西安电子科技大学
2023-05-04