|
搜索
搜 索
高等教育领域数字化综合服务平台
软件可信性自动验证系统
软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果，自主研发了高效的自动推理工具；借鉴目前世界上最先进的程序形式化技术，形成了C程序自动验证系统和PLC程序自动验证系统，对指针安全、数组越界、溢出等常见复杂问题可实现自动验证或根据用户需要验证特殊性质，具有验证速度快、发现缺陷能力强、成本低的特点，从技术上突破了程序分析、程序测试的一些瓶颈，对提高软件质量具有不可替代的作用。目前，本自动验证系统已验证了涉及航空航天、武器装备、铁路、通讯等多种系统，显现出了明显效果，得到了认可。 该成果具有国际先进水平，自主可控，填补了国内程序可信性自动验证的空白，获得省部级和学会级三等以上奖励，有着有广阔的应用领域。。
西南交通大学
2016-06-27
智能模糊图像处理软件系统
为提升拍摄的视频图像分辨率，增强图像对比度和清晰度，改善图像的画面质量，本项目综合考虑在设备进行拍摄过程中所遇到的器件性能、拍摄抖动、复杂天气影响等各种因素，以多帧超分辨率重建技术为核心，研发一种智能模糊图像处理软件系统。该系统针对不同的因素，自适应地实现相对应的图像优化处理，主要包括图像去雾、去噪、去模糊等图像增强处理，并结合多帧图像超分辨率重建和单帧图像超分辨率重建技术、稳定化等提升分辨率处理，以便获取更多细节信息。本软件所包含的主要功能详细介绍如下： 1、图像去雾功能
西安电子科技大学
2021-04-14
语音转写软件系统（慧言会听）
1.支持转写已有音频文件，便于二次编辑整理，一小时音频5分钟出稿。
2.支持根据自身行业特点，自定义个性化热词、敏感词等，提升准确率。
3.会议期间对语音信号进行实时转写和翻译，支持全屏、字幕多种展示样式。
4.支持网页和Windows客户端同步使用，满足不同场景的使用需求。
慧言科技（天津）有限公司
2022-06-01
3D地理教学软件系统
中教启星3D 地理教学软件系统利用计算机三维动画技术和3D 显示技术，以虚拟、动态、立体的资源呈现方式将辅助学习内容与真实世界完美结合，使呈现内容突破时间和空间、宏观和微观、历史和现实的限制。系统软件将地理过程模拟转化为3D 立体动画跨时空过程，具有极佳的可视性和直观性，帮助学生深入观察和充分理解抽象的地理过程。
中教启星3D 地理教学软件配套丰富的3D 地理教学资源，涵盖自然地理和人文地理，如自然地理中《板块构造地貌》、《丹霞地貌》、《等高线模型》和人文地理的《聚落的形成条件》、《商品谷物农业》、《秘鲁渔场成因》等多种3D 教学资源，可在裸眼3D 电视/3D 电视/3D 投影机等设备使用，并广泛应用于中小学地理与科学等学科教学和科学素养拓展教育，生动的3D 呈现效果能有效激发学生的地理学习兴趣，充分满足多元化和个性化的教学需求。
配套资源
北京中教启星科技股份有限公司
2021-08-23
全自动高清录播系统软件
1. 视频源支持VGA/DVI/HDMI、HD-SDI、3G-SDI等摄像机号，还可以支持图片、MP4媒体文件、IP串流、拼接组合画面等。
2. 系统支持8个原始信号通道，并且任意一个通道都可做高清软拼接和叠加高清视频画面以及抠像画面。
3. 每个视频通道都可以添加媒体文件播放、图片播放并且可以设定通道序号和通道名称等功能。
4. 视频拼接与叠加支持课件与视频、视频与视频、图片与视频等任意信号源拼接与叠加，生成单流多画面视频流，全部采用软件实现无需硬件支持。
5. 最终录制好的导播合成视频（电影模式），具备高清与标清格式同时录制功能。即：1920*1080分辨率和1280*720分辨率的视频文件可以同时录制。
6. 录制好的高清原始素材为可编辑格式，支持常用非编系统及编辑软件。
7. 支持8通道1080p原始素材和1路1080P导播合成素材同时采集压缩存储。
8. 系统支持与校园监控系统的摄像头连接，通过录播系统可查看校园所有摄像头的图像。
9. 系统支持多种视频格式选择，可录制MP4格式、ASF格式、FLV格式、TS格式、AVI格式、WMV格式（支持常用非编系统及软件）。
10. 系统可同时录制8通道的原始视频素材（用于后期深度编辑使用）。
11. 系统同时录制1路导播输出视频信号即电影模式。
12. 系统可同时录制1路组合拼接视频，支持双屏，三屏，四屏等多种组合拼接方式。（主要用于课后的教研分析，课后研讨等方面）
13. 系统可同时对实时视频信号与原有视频文件及图片进行抠像操作，支持蓝色，绿色背景，并具有前景坐标位置调整功能，且支持通道拼接画面作为抠像背景。
14. 录像的开始、暂停、停止功能可以支持录播软件控制、专用导播键盘控制、网络控制、无线设备控制、多媒体中控设备控制、录播控制面板控制。
15. 系统可将实时视频信号与原有视频文件或图片，进行多种形式拼接组合支持三种以上组合方式。
16. 系统支持手动与自动增加片头片尾功能，自动模式下系统停止录像后可将片头片尾文件与录制的视频文件自动合成为一个完成的视频文件。
17. 系统支持20种台标、角标等功能同时使用，且对位置、大小、颜色、底色等参数进行任意调整。
18. 系统支持8种字幕同时显示功能，可导入TXT字幕文件，也可实时输入字幕内容，可对字幕颜色、大小、位置及底色进行任意调整。
19. 系统支持16种转场特效选择，及4种画中画组合方式。
20. 系统支持网络与视频同时直播模式，网络直播时可根据网络带宽情况，对直播视频的分辨率及码率进行多种组合形式的调整。
21. 软件在手动操作时必须支持预置位操作功能，每通道预置位数量为5个。
22. 抠像功能支持多通道同时抠像，且支持通道拼接画面作为抠像背景。
23. 录像控制支持一键启动、暂停、停止所有节目录制，暂停后重新恢复录制时，不产生新的视频文件。
24. 系统支持音视频录制失败自动修复功能，当录制过程中发生断电或死机等意外事件时，正在录制的视频文件不会丢失且能自动修复正常播放。
25. 系统支持网络导播控制功能，教师通过IP网络进行控制录播系统，具备录像与直播的开始、暂停、继续、停止功能，并且支持通道之间的导播切换功能。
26. 系统支持外接专用导播键盘与录播控制面板同时使用。
27. 系统支持录像时长显示功能，暂停录制后时间不清零，继续录制后时间延续记录。
28. 系统支持独立控制功能，在进行录像和直播工作时能够单独停止录像功能保留直播功能，也可单独停止直播功能保留录像功能。
29. 系统在录像的同时支持自动抓取视频第一针画面截图功能，作为上传到资源管理平台后的课件封面使用。
30. 系统支持专业云台及广播级摄像机的扩展使用功能。
31. 录播软件具备对会议摄像机进行一键还原初始位置的操作，并且每台会议摄像机均可以进行此项操作。
32. 录播软件支持2种格式同时录制功能，即资源录像（原始信号）与导播录像（电影模式）分别录制不同的视频格式。
33. 系统支持自定义外接控制面板功能，用户可根据需要任意对接串口控制设备，如录播控制面板多媒体录播中控等控制设备。
*软件可以支持以下信号同时进行录制：
1. 4路高清摄像机信号同时录制
2. 1路高清课件HDMI/DVI/VGA信号同时录制
3. 1路三屏拼接视频信号同时录制
4. 1路虚拟抠像信号同时录制
5. 1路画中画视频信号同时录制
6. 1路高清导播合成视频信号同时录制
7. 1路标清导播合成视频信号同时录制
*音视频信号录制标准：
1. 视频编码：标准H.264
2. 音频编码：AAC
3. 录像格式：MP4、ASF、FLV、TS、WMV、AVI可选
4. 录像分辨率：支持1080P/60fps、1080P/50fps、1080P/30fps、1080P/25fps7、20P/60fps、720P/50fps、720P/30fps、720P/25fps，720×576/25fps可选。
5. 录像码率：支持2M-32M任意设置。
*网络直播与视频流推送模块支持以下功能：
1. 流媒体协议采用标准RTMP协议、HLS视频流、RTSP流，同时支持WINDOWS、android、IOS，跨平台WEB无插件直播。
2. 录播软件内建WEB服务与流媒体服务功能，在没有外接WEB服务器与流媒体直播服务器的情况下可支持小范围的直播与点播活动，直播时可支持100个以内的客户端同时观看。
3. 系统在支持本地直播的同时，还支持向第三方的FMS直播服务器推送直播流，最多可支持向四个第三方FMS平台同时进行推流。
4. 系统支持网页收看直播，客户机无需安装任何软件及插件即可直接观看直播视频。
5. 录播软件支持内外网同时进行网络直播，并且可针对内外网带宽情况分别设置码率功能。即内网直播使用高分辨率与高码率进行传输，外网直播使用底分辨率与底码率进行传输。
*导播及跟踪模块支持以下形式：
1. 支持讲台单机位、双机位、多机位跟踪导播，多机位跟踪导播时用户可编程。
2. 支持学生单机位、双机位跟踪导播。
3. 支持教师三种机位跟踪导播与学生两机位跟踪导播任意组合。
4. 支持可视化自动定位跟踪功能，在自动导播的同时看到讲台和学生的定位情况。
5. 支持延时切换功能，根据用户需求可自行设置老师与学生画面之间的切换延时。
*老师自动跟踪模块需支持以下模式：
1. 采用算法支持智能图像分析算法、老师无需佩戴任何辅助设备，真正做到常态化。
2. 跟踪模式与定位需支持点定位、区域定位、立体定位、移动侦测。
3. 图像跟踪与切换支持智能识别自动调度功能，系统自动识别摄像机机位，自动调度。
4. 跟踪切换方式支持可编程，可根据不同老师的授课行为习惯，进行编程，实现个性化跟踪策略。
5. 同时支持教师单机位随动跟踪、双机位切换场景与随动跟踪、多机位画面切换跟踪方式。
6. 在没有板书定位摄像机时，支持板书特写拍摄功能。
*学生自动跟踪模块支持以下模式：
1. 系统跟踪模式需支持图像分析与人脸识别双重技术。
2. 系统同时支持双摄像机定位与单摄像机定位的两种图像分析算法，以适用不同的课程与跟踪需求。
3. 系统支持自动捕捉单人站起、坐下，单人到多人，多人到单人的起立坐下等复杂课堂场景的变化。
4. 系统具备内嵌人脸自动识别技术，避免光线变化产生图像误报。
5. 系统支持教师走下讲台后，在学生区走动时摄像机随动跟踪功能。
6. 系统在手动导播情况下，支持点图智能自动定位分析功能，即可通过点击教室模拟平面图快速定位拍摄到起立的学生。
7. 支持多种跟踪模式，单机位随动跟踪、双机位切换跟踪模式。
*课件信息的采集与侦测模块支持以下功能：
1. 支持一通道以上DVI/VGA/HDMI的计算机信号采集。
2. 系统可自动识别内容变化、光标、鼠标行为等信息。
3. 当系统侦测到只有鼠标小范围移动操作时，系统不会自动导播切换画面。
4. 当课件计算机的屏幕发生内容变化后，系统进行侦测分析判断后进行导播切换画面。
5. 当播放内容切换到课件演讲时，系统自动识别内容变化、光标、鼠标行为等，系统自动判断鼠标行为和画面内容变化为有效演讲状态，光标闪烁为无效演讲状态。
6. 系统支持工具栏独立侦测屏蔽功能，避免网络连接或其它活动及广告图标干扰误报，导致系统进行无效的画面导播切换。
北京时代新维测控设备有限公司
2021-08-23
一种迭代空间模糊聚类的大脑磁共振图像超体素生成方法
本发明公开了一种迭代空间模糊聚类的大脑磁共振图像超体素生成方法，包括以下步骤：首先，由于人类大脑具有相同的拓扑结构，从基于群体的大脑MRI模板获得一组种子模板；其次，为了排除部分容积效应的影响，提出了一种迭代空间模糊聚类算法，将体素分配给每个种子生成超体素。本发明能较好地应用于大脑磁共振图像，生成有效的大脑磁共振图像超体素。
东南大学
2021-04-11
猪肌肉和肾组织中磺胺类残留微生物学快速筛选方法
研发阶段/n本成果针对猪肌肉和肾组织中磺胺类药物残留问题，建立了检测猪肌肉和肾组织中磺胺类残留的微生物学快速筛选方法。各项技术指标符合国家有关要求。在上述方法的基础上研制出的微生物学快速检测试剂盒，经稳定性、交叉反应和动物残留等试验研究，该试剂盒的灵敏度、假阴性率、假阳性率等性能指标达到设计要求。与仪器分析法具有良好的相关性。经相关单位复核和应用，该试剂盒的灵敏度、特异性和假阳性率等指标能满足磺胺类药物残留的检测要求。该成果总体达到国际领先水平。应用前景：本成果研制的试剂盒日处理量大，检测结果重现性
华中农业大学
2021-01-12
一种类奔德斯分解的下垂控制孤岛微电网潮流计算方法
本发明公开一种类奔德斯分解的孤岛微电网潮流计算方法，将孤岛微电网潮流计算分解成通过传统潮流计算子问题和下垂节点更新子问题，对下垂节点进行等效后进行初始化；基于系统角频率，更新负荷和线路阻抗参数；通过传统潮流计算子问题，求解作为平衡节点的下垂节点和作为PV节点的下垂节点的相关变量参数；然后通过系统前后两次迭代状态变量之差来判断算法是否收敛：若收敛，停止迭代获得最终潮流解；若不收敛，通过下垂节点更新子问题，修正或求解作为平衡节点的下垂节点和作为PV节点的下垂节点相关变更参数；以此方式交替迭代，获得最终的
东南大学
2021-04-14
有机磷、磺酰脲类农药高效分子印迹材料的制备技术及 其检测应用
针对我国茶叶、粮谷、蔬菜、水果等具有复杂基质的农产品中有机磷和磺酰脲类农药残留，发展新型预处理方法和材料。应用组合分子印迹技术和溶胶-凝胶分子印迹技术，制备并筛选出高吸附容量、高选择性的分子印迹聚合物材料，包括固相萃取吸附剂和分子印迹整体柱。建立快速、灵敏、准确地从复杂基质茶叶、粮谷、蔬菜、水果中测定有机磷和磺酰脲类农药残留的新方法、新体系。有利于提高我国食品安全检测技术，更好地促进经济发展。
南开大学
2021-04-13
有机磷、磺酰脲类农药高效分子印迹材料的制备技术及 其检测应用
针对我国茶叶、粮谷、蔬菜、水果等具有复杂基质的农产品中有机磷和磺酰脲类农药残留，发展新型预处理方法和材料。应用组合分子印迹技术和溶胶-凝胶分子印迹技术，制备并筛选出高吸附容量、高选择性的分子印迹聚合物材料，包括固相萃取吸附剂和分子印迹整体柱。建立快速、灵敏、准确地从复杂基质茶叶、粮谷、蔬菜、水果中测定有机磷和磺酰脲类农药残留的新方法、新体系。有利于提高我国食品安全检测技术，更好地促进经济发展。
南开大学
2021-04-13