软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果，自主研发了高效的自动推理工具；借鉴目前世界上最先进的程序形式化技术，形成了C程序自动验证系统和PLC程序自动验证系统，对指针安全、数组越界、溢出等常见复杂问题可实现自动验证或根据用户需要验证特殊性质，具有验证速度快、发现缺陷能力强、成本低的特点，从技术上突破了程序分析、程序测试的一些瓶颈，对提高软件质量具有不可替代的作用。目前，本自动验证系统已验证了涉及航空航天、武器装备、铁路、通讯等多种系统，显现出了明显效果，得到了认可。 该成果具有国际先进水平，自主可控，填补了国内程序可信性自动验证的空白，获得省部级和学会级三等以上奖励，有着有广阔的应用领域。。

为提升拍摄的视频图像分辨率，增强图像对比度和清晰度，改善图像的画面质量，本项目综合考虑在设备进行拍摄过程中所遇到的器件性能、拍摄抖动、复杂天气影响等各种因素，以多帧超分辨率重建技术为核心，研发一种智能模糊图像处理软件系统。该系统针对不同的因素，自适应地实现相对应的图像优化处理，主要包括图像去雾、去噪、去模糊等图像增强处理，并结合多帧图像超分辨率重建和单帧图像超分辨率重建技术、稳定化等提升分辨率处理，以便获取更多细节信息。本软件所包含的主要功能详细介绍如下： 1、图像去雾功能

  中教启星3D 地理教学软件系统利用计算机三维动画技术和3D 显示技术，以虚拟、动态、立体的资源呈现方式将辅助学习内容与真实世界完美结合，使呈现内容突破时间和空间、宏观和微观、历史和现实的限制。系统软件将地理过程模拟转化为3D 立体动画跨时空过程，具有极佳的可视性和直观性，帮助学生深入观察和充分理解抽象的地理过程。   中教启星3D 地理教学软件配套丰富的3D 地理教学资源，涵盖自然地理和人文地理，如自然地理中《板块构造地貌》、《丹霞地貌》、《等高线模型》和人文地理的《聚落的形成条件》、《商品谷物农业》、《秘鲁渔场成因》等多种3D 教学资源，可在裸眼3D 电视/3D 电视/3D 投影机等设备使用，并广泛应用于中小学地理与科学等学科教学和科学素养拓展教育，生动的3D 呈现效果能有效激发学生的地理学习兴趣，充分满足多元化和个性化的教学需求。 配套资源

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. 系统支持工具栏独立侦测屏蔽功能，避免网络连接或其它活动及广告图标干扰误报，导致系统进行无效的画面导播切换。

1.支持转写已有音频文件，便于二次编辑整理，一小时音频5分钟出稿。 2.支持根据自身行业特点，自定义个性化热词、敏感词等，提升准确率。 3.会议期间对语音信号进行实时转写和翻译，支持全屏、字幕多种展示样式。 4.支持网页和Windows客户端同步使用，满足不同场景的使用需求。

        技术成熟度：技术突破         领域存在着景深影响效率的突出问题，本产品以高性能异构处理器为核心运算单元，以嵌入式手段通过视觉流与控制流的严格对位，高性能实时完成视频控制信息的结算，并直接输出电机驱动信号控制相关执行机构完成闭环控制。         本产品主要面向高性能伺服闭环控制的视频应用领域，能够显著提升显微工业自动化领域的视频对焦及对位处理的效率及精度，亦可实现宏观领域的视觉嵌入化控制闭环应用。         意向开展成果转化的前提条件：中试放大及产业化工艺开发资金支持

本成果围绕光伏并网系统电能质量展开。基于深度学习算法，研究谐波等电能质量指标变化规律，运用特征提取技术处理时序数据，实现电能质量预测。研发基于态势感知的电能质量调控装置，总谐波补偿率不小于 90%，补偿次数 2 - 50 次。成果形式包括研究报告、调控装置示范应用，申请发明专利 3 项，发表论文 3 篇。应用场景涵盖光伏电站、配电网等，可提升电网可靠性与经济性，减少设备损耗、优化调控策略、降低弃光率，为新能源消纳提供支撑。

成果描述：该系统基于B/S模式开发，采用了工业界普遍采用的实时通信与数据采集技术，结合后台大型分布式数据库，通过Web发布的形式，使得学校各级管理人员不管身处何时何地，都可以轻松地对学校各部门各建筑的用能情况进行监控和管理。软件的主要功能包括：（1）能耗监测资源整合，支持不同能耗采集硬件设备、采集系统、以及现有能源系统的数据集成和归一化处理；（2）对分类分项能耗数据和相关参数的采集，实现对能耗量的动态实时监测；（3）对能耗数据进行分析、处理，提供报表、图形、公告公示等多种展示形式；（4）为管理者能源审计、节能管理、开展有计划分步骤的节能改造提供数据依据。市场前景分析：随着全国高校节约型校园建设项目的全面铺开，该平台功能完整，架构清晰，设计具有很强的兼容性和可移植性。而且平台从2013年已经在电子科技大学部署并稳定运行，电子科技大学作为建设标杆和示范性单位，已经接待了多次高校参观，具有很好的市场推广效果，预计将有很好的市场前景。与同类成果相比的优势分析：与同类成果相比，该系统具有以下特色和优势：（1）系统设计与管理紧密结合，大大提高管理效率；（2）开放式软件接口，兼容多厂家计量表计和能耗采集系统，扩展性强，用户可独立采购硬件；（3）可集成接入其他已建成的多个现有能源管理系统；（4）模块化系统架构，易于功能修改、扩展以及定制；（5）全方位多角度能耗统计对比分析，辅助管理决策，实现科学节能。

本项目从钢铁企业销售业务的特殊需求出发，采用当今最流行的技术手段，是完全为钢铁企业量身定做的销售业务信息管理平台。它能够促进销售各环节紧密配合，对物流、资金流和信息流进行综合管理。本软件系统的主要功能如下： 业务管理功能：包括客户管理、合同管理、提单管理、货款管理、价格管理、结算管理、仓储管理、发运管理等； 信息管理和决策分析功能：包括市场信息管理、计划管理、信息查询、报表生成和决策分析等； 企业分销网络管理功能：对包括代（分）销点的企业分销网络进行实时管理； 与外部系统接口功能：与生产系统、质量系统和财务系统的业务衔接管理。应用范围 钢铁企业的营销及分销网络管理。

1.项目简介：本项目开发出了一种大型供应链优化计算软件系统，软件系统包括互相连接的两大功能部分：结合供应链建模的数据库及管理系统和微机大型供应链0-1整数规划计算软件系统。前者为针对供应链建模和计算结果汇总和分析的信息管理系统，它构成了与企业管理的电子商务系统的有机连接；它可实时运行和显示，运行速度很快。后者则是解决大型供应链问题的计算软件，使用当前的一般微机系统，可解决具有50万个有效变量（其中2000个0-1整数变量），和一万个约束方程（包括2000个主问题约束方程和其他称为“广义上界”的约束方程）之内的大型问题；计算时间一般视问题大小在1-3小时之内。这两大功能可连接运行，亦可分开单独运行。 2.技术特点：本项目采用一种基于广义上界的有界变量混合型0-1整数规划算法，它无需大型计算机来解决问题，使用微机即可，方法可靠、实用而有效。