|
搜索
搜 索
高等教育领域数字化综合服务平台
软件可信性自动验证系统
软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果，自主研发了高效的自动推理工具；借鉴目前世界上最先进的程序形式化技术，形成了C程序自动验证系统和PLC程序自动验证系统，对指针安全、数组越界、溢出等常见复杂问题可实现自动验证或根据用户需要验证特殊性质，具有验证速度快、发现缺陷能力强、成本低的特点，从技术上突破了程序分析、程序测试的一些瓶颈，对提高软件质量具有不可替代的作用。目前，本自动验证系统已验证了涉及航空航天、武器装备、铁路、通讯等多种系统，显现出了明显效果，得到了认可。 该成果具有国际先进水平，自主可控，填补了国内程序可信性自动验证的空白，获得省部级和学会级三等以上奖励，有着有广阔的应用领域。。
西南交通大学
2016-06-27
一种面向多云架构的网络性能提升方法
一种面向多云架构的网络性能提升方法，属于云计算领域，解 决传统多云架构系统未考虑不同云存储服务器之间性能差异的问题， 以提升网络性能。本发明采用多云架构，将用户文件通过纠删码编码 后冗余地储存在多个云存储服务器中，每个云存储服务器都只能获得 文件的部分数据，在进行文件传输时能根据实际的网络环境尽可能多 地利用性能好的云存储服务器，同时避免被性能差的云存储服务器拖 累，使得系统的网络性能比传统的多云架构系统以及任一云存
华中科技大学
2021-04-14
列车牵引计算、车站分布、运营费计算辅助设计系统
本成果来自有重大应用前景的横向项目。该成果是一个集车站分布方案比选、运营费计算、列车牵引计算系统于一体的计算机辅助设计系统，它解决了轨道线路运输组织设计过程中因为设计和计算工作量大、过程复杂、各环节之间数据孤立而严重影响项目设计进度的问题，实现了自动列车牵引计算、运营费自动计算，大幅提高了工作效率、设计精度、为设计工作提供辅助决策功能。该成果已在铁一院部分线路设计项目中应用。
西南交通大学
2016-06-27
性能与可靠性维修性保障性一体化综合设计技术
性能与可靠性维修性保障性（RMS）一体化综合设计技术是以可靠性系统工程理论为基础，解决复杂装备研制过程RMS工作项目的控制问题和性能方法与RMS方法融合的问题，实现RMS工作与性能工作同步开展，统一建模、综合分析、权衡优化。进而充分发挥RMS技术的效果与效益。 一体化设计专业围绕可靠性系统工程的基础理论与方法、复杂装备研制过程性能与RMS一体化过程控制、先进集成平台和软件工具、考虑可靠性的多学科设计优化技术、基于POF的可靠性与寿命分析技术等方向，实验室拥有“一体化集成平台及开发环境”，“可靠性维修性保障性基础数据库”，“考虑可靠性的多学科设计优化平台”，“基于POF的可靠性预计平台”等自主研发的先进设备，同时还采购了“多主体仿真环境Anylogic”、“多学科设计优化环境Fiper”等进口先进设备。同时实验室拥有一支专业化的软件开发队伍，可根据不同型号的需求，定制开发一体化集成平台。
北京航空航天大学
2021-04-13
一种异构存储介质下嵌入式数据库的管理方法
本发明公开了一种异构存储介质下嵌入式数据库的管理方法，具体为：将数据文件分为小数据块和大数据块，将大数据块和优先级低的小数据块存入外存，将优先级高的小数据块存入内存；嵌入式处理器查询到待访问数据的索引块，若该数据块存在于内存，则直接访问数据，若该数据块存在于外存，则访问外存中的数据；在系统空闲期，数据库根据访问情况将部分数据块降级释放到外存，加载部分急需的数据块到内存，以实现动态调度。本发明综合两种存储介质的优
华中科技大学
2021-04-14
人才需求：VR相关的技术人员
目前在VR领域的普遍存在的技术问题在于硬件设备成本过高，相关技术发展落后于软件的发展速度。需要VR相关的技术人员
临沂域图数码科技有限公司
2021-06-15
人才需求：企业总工、技术中心主任
企业总工、技术中心主任
山东正宇铝业有限公司
2021-06-23
人才需求：机械设计；电子技术
机械设计、电子类相关专业，本科以上学历，全职引进
威海市科博乐汽车电子有限公司
2021-06-25
人才需求，液压和电气控制技术
产品主要以发动机带动液压泵、液压马达、管路等，通过液压系统驱动，电气控制各液压，目前主要靠外包，需要实现自主技术，培养相关人才
青州市巨龙环保科技有限公司
2021-06-17
人才需求：技术需求方面的博士
邀请聊城市政府相关人员参与指导，打造校企合作典范，取得政府支持，赢得社会效益。技术需求方面的博士
中通新能源汽车有限公司
2021-08-27