|
搜索
搜 索
高等教育领域数字化综合服务平台
网络空间安全可信性测评关键技术研发与应用
提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。
一、项目分类
重大科学前沿创新
二、成果简介
以具有国际先进水平的原创自动推理体系为核心支撑，立足通信系统安全检测、评定与防护，在网络空间安全可信性测评关键技术的研发与应用上实现以下重要创新:(1)提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。获得命题逻辑求解器国际竞赛第二名和一阶逻辑证明器国际竞赛第二名，发表论文(JCRQ1)3篇，登记软件著作权3项。(2)提出了基于自动推理的形式化验证技术、基于交互式应用安全测试技术的检测方法，提升了网络空间安全软件系统在开发过程中软件代码层和业务逻辑层安全缺陷检测过程有效性和检测结果准确性。目前已形成拥有自主知识产权的商业工具，支撑了软件系统在关键信息基础设施中的安全应用，并辅助了国家相关信息安全标准的建设，测试工具是唯一一家被OWASPBenchmark工作组收录的中国厂商自研工具。获批国家标准2项(GB/T30279-2020 GB/T38628-2020)，获得发明专利4(ZL201910498983.9ZL2019108553424 ZL2020100476371 ZL20201175663.9)登记软件著作权11项。
(3)提出了一种网络空间非正常无线电信号的电磁干扰识别与自组织处理的方法，实现了及时发现与处理电磁威胁，提高了电磁信息的安全性。获得发明专利2项(ZL2012104380941、ZL2012104380937)，获得实用新型专利1项，发表论文1(JCRQ2）篇。
西南交通大学
2022-09-13
低温空间温度场数据可视化与模拟分析系统项目
项目简介 “低温空间温度场数据可视化与模拟分析系统”项目由泰州市沪江特种设备有限公 司委托开展。运用空间温度在线监测和计算机数据处理及可视化技术，实时分析空间的 温度场变化，实现空间温度场的优化，达到节能运行的目的。 系统根据空间需要，布置多层、多处测点，依靠传感器及相关仪表，通过 485 通信 方式实现本地数据与计算机之间的传输。自主研发的数据采集与处理程序实时监测空间 各处的温度分布，并以三维彩色视图显示，可直观观测空间的温度场的动态变化特征， 指
江苏大学
2021-04-14
吉林省智教软件有限责任公司
吉林省智教软件有限责任公司成立于2022年，是一家集高校学工一体化服务平台、高校人事平台、高校科研平台等高校业务管理系统产品研发、销售、服务为一体的高科技企业。自成立以来，“智教软件”坚持自主创新，以用户需求为导向，结合创始团队多年来在高校学工系统、人事系统、科研系统产品等领域的技术优势、以及对产品的深入理解，紧跟市场步伐，研制开发出多款具有自主知识产权的创新性系列产品，适合了教育行业不同需求用户的需要！“智教软件”凭借着对产品不断创新的研发投入，建设过硬的产品质量，强大的技术服务能力、优质的客户售后服务体系。全体“智教软件”人秉承着“客户至上、创新进步、感恩社会、优于行业”的企业经营理念，正在朝着成为高校业务管理系统类产品第一品牌的企业目标，披荆斩棘，奋勇前行！ “智教软件”给客户带来了什么：为高校教学改革及发展带来高品质的运行体验；让学生“最多跑一次”、让教师“最多审一次”、让领导“最多问一次”；为高校教学前言探路者提供优质的成长平台。谁影响了“智教软件”：对外坚持以高校客户为中心，通过创新型软件平台为高校客户创造价值；对内以努力钻研奋斗的员工为本，让真正贡献者得到行业最好的回报；对生态链遵从行业规范及政策法规，与合作伙伴、产业机构保持开放沟通。“智教软件”坚持的是什么：“创新、诚信、专业、服务”。踏踏实实的以高校为中心做好业务系统，长期研发投入；以高校客户业务需求为中心，长期艰苦奋斗，坚持自我批判并与时俱进。
吉林省智教软件有限责任公司
2025-05-16
新兽药泰地罗新的合成
泰地罗新是目前最新的动物专用大环内酯类半合成抗生素，它以泰乐菌素 为原料，经过多步转化而成。 动物呼吸系统疾病具有高发病率和高死亡率的特点，严重困扰着养殖业的 发展。目前我国用于治疗和预防猪牛呼吸道疾病的大环内酯类药物是泰乐菌素 和替米考星，这两种药物都取得不错的效果，但随着长时间的使用，各地都出 现了不同程度的抗药性问题；同时这两种产品都需要多次给药才能见效，用量 大，残留多。 泰地罗新作为全新的大环内酯类抗生素产品，不仅药效强于泰乐菌素和替 米考星，治疗效果非常明显。而且用量少，半衰期长，生物利用度高，低残留， 单次给药即可全程治疗，具有很大的生产推广价值。
山东大学
2021-04-13
第四届教创赛同期活动② | 创新为要，共绘教育数字化新图景！
7月27-31日，全国赛现场赛即将在电子科技大学举办。届时有1700余位教师提交的近500门课程进入现场比拼。大赛期间还将举办6场同期活动、开展成果展览和教学观摩等，共同推进高校教学创新改革走深走实。
中国高等教育博览会
2024-07-25
2024产教融合与高素质人才培养论坛在重庆举办
与会嘉宾从多维视角深入探讨教育链、人才链与产业链的深度衔接机制，呈现了从政策引领、理论创新到实践探索的全面途径，产教融合合作为教育现代化和人才培养体系改革的重要路径。
云上高博会
2024-11-28
环幕示教系统
环幕示教系统比普通投影系统具备更大的显示尺寸、更宽的视野、更多的显示内容、更高的显示分辨率，以及更具冲击力和沉浸感的视觉效果。用于播放宇宙和地球、自然环境和人类社会、区域地理环境和可持续发展、海洋地理、旅游地理、城乡规划、自然灾害与环境保护等，给学生良好的视觉冲击力和沉浸感。
环幕示教系统既可以用于Stellarium软件的演示平台，也可以作为GIS、RS、GPS等地理信息系统软件的播放平台以及地理知识抢答系统。
无锡羿飞教育科技有限公司
2021-08-23
接生示教模型
XM-JS接生示教模型适用于高等医学院校、妇产科、中等卫校、护士学校妇产专业讲解胎儿分娩过程、学习接产形式时作示教直观教具之用。
示教内容：
1、模型主体为分娩孕妇躯干，打开腹盖可示腹腔、盆腔。
2、模型内放置足月胎儿（布娃娃），胎儿可作任意姿势。
3、演示接产形式，通过盆腔可演示胎儿分娩。
上海欣曼科教设备有限公司
2021-08-23
华东师大与华西医院发现慢性疼痛治疗新靶标
为了进一步验证Hv1参与了慢性炎症及疼痛的发展，在动物水平实验中，研究人员联合药理、Hv1全基因敲除及DRG神经元Hv1特异性敲减的手段，发现抑制Hv1可以有效缓解病理性疼痛，改善炎症状况。
华东师范大学
2022-05-27
徐州新晨数码科技有限公司
自成立以来，我们始终深耕教育信息化领域，专注于为高等院校提供全方位数字化教学解决方案，助力教育创新与质量提升。
公司被评为江苏省民营科技企业、科技型中小企业和企业知识产权管理贯标备案单位，通过ISO9001质量管理体系认证，拥有多项自主研发的软件著作权，构建了从课程设计、技术开发到后期服务的全链条质控体系。
作为教育科技服务的先行者，我们核心业务涵盖：智慧课程体系开发与全流程建设、微专业建设与跨学科课程融合、虚拟仿真实验室定制开发、会议服务、数字课程资源建设（含慕课、宣传片、微课、说课、课堂实录等等）。
徐州新晨数码科技有限公司
2025-05-23