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

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

基于复杂流动网络计算理论，将电站锅炉蒸发受热面抽象为以节点、受热回路和连接管等元件组成的流动网络系统，根据遵循的质量守恒方程、动量守恒方程、能量守恒方程及流动传热试验关联式，建立流量分配的非线性计算数学模型，采用Fortran和Visual Basic混合编程技术，开发出具有自主知识产权的通用电站锅炉水动力计算软件HYDROSYS。 软件根据系统部件以及实际功能划分为不同的设备和功能模块，各个模块间相互结合，可以对各种容量等级、各种蒸汽参数、各种炉型（П型、塔式、T型）、各种管圈型式（螺旋管圈水冷壁、垂直水冷壁）和燃烧技术（切向燃烧方式、墙式燃烧方式、W火焰方式、循环流化床燃烧方式）的亚临界汽包锅炉、超（超）临界直流锅炉水动力和壁温特性进行计算分析。

珠海沃比软件有限公司，成立于2013年1月15日，是国内领先的综合型企业管理平台运营商，其开发及运营的FRIS（Flexibleandreliableinformationsystem）平台，深受广大用户好评。沃比软件专注服务于开发软件、企业信息化建设与维护，在帮助中国中小企业应用互联网络开展国际营销、产品推广、企业资源整合、业务流程规范、信息追溯等方面拥有丰富的成功经验。

山东华码软件有限公司成立于2013年，是一家专业从事医疗行业软件开发、服务、运营的科技型中小企业。公司自成立以来秉承为客户创造价值的理念，坚持自主研发，截止至2020年10月，拥有国家版权局认证的软件著作权25件，山海互联注册商标1件，山东省软件产品登记2件，产品质量通过了ISO9001国际质量体系统认证，被山东省软件行业协会评选为”双软认证“企业。公司为客户提供华码软件智慧医疗系列管理信息系统，主要有：医院管理信息系统、实验室信息管理系统、医学影像管理系统、体检中心管理系统及在线诊疗管理系统等。被临沂市工业和信息化局评选为：临沂市软件工程技术中心、临沂市大数据骨干企业和临沂市优秀软件企业。 山东华码软件注册资金300万，在职员工30人，核心成员拥有10多年行业经验。公司自成立以来，时刻关注着中国医疗软件市场的需求，以医疗服务的规范化、科学化、现代化为己任，把开发适合中国国情的医疗管理软件当做自己的使命。公司由运营团队、销售团队、开发团队、测试团队及售后团队等30名以上具丰富行业的精英组成，到目前为止，全国范围内拥有客户数2000+。

易盼软件（上海）有限公司成立于2017-10-13，法定代表人为THOMAS WANDRES，注册资本为320万元人民币，统一社会信用代码为91310000MA1J2FWQ4K，企业地址位于上海市松江工业区民益路1658号7幢2层201室，所属行业为批发业，经营范围包含：计算机软件及相关产品的开发、设计、制作（音像制品、电子出版物除外），自有技术的转让，销售自产计算机软件及相关产品，并提供相关的技术咨询和技术服务；计算机软件及相关产品的批发、佣金代理（拍卖除外）、进出口，提供相关的配套服务；商务信息咨询、企业管理咨询、市场营销策划（广告除外）。

珠海纵横创新软件有限公司成立于2003年，总部坐落于广东省珠海市香洲区深发展大厦。 纵横软件以“胜算多一点 加班少一点”为追求，专业从事工程软件、工程培训、工程造价三大领域相关业务。面向政府行政机关、行业主管部门、项目投资业主、设计、施工、建设、管理、养护、审计、审核、财审、监理、咨询、学校等客户提供优质的产品和服务。产品广泛应用于市政、轨道、管廊、公路、建筑、安装、园林、装饰等行业领域。 纵横软件相关产品有大司空云计价、纵横计量支付结算决算一体化云版软件、纵横农村公路建设管理系统、纵横工程造价管理软件、纵横工程设计数量表算量软件、纵横材料调差软件、纵横固化清单管理软件、纵横造价编审软件、纵横养护造价管理软件、纵横文库网、呆瓜职业培训和呆瓜工程专业培训。 纵横软件自成立以来，以教育为本，先后与同济大学、长安大学、北京交通大学、西南交通大学、重庆交通大学、长沙理工大学、山东大学、兰州交通大学、内蒙古大学、华东交通大学、广东工业大学、华南理工大学、广西大学及各省交通职业技术学院等近百所院校签订校企合作协议，为在校师生提供软件产品和技术支持。 纵横软件的营销和服务网络遍布全国32个省市自治区，建立了东北、华北、西北、华东、华南、华中、西南七大营销服务中心，并开通7*24小时服务热线，竭诚为全国客户提供面对面、心贴心、零距离的优质服务。

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

　　金碟图书管理软件（Kingdisc Library Information System）是金碟公司专门针对中小学、大中专院校及企事业单位图书馆的自动化管理需要而开发的信息管理系统，已成为行业领先的软件品牌。该系统1998年开始开发，2001年上市，采用了国内通用的标准著录CNMARC条例，实现了国内图书目录数据的共享，能直接或自动生成和利用CNMARC数据；实现了根据《中图法第四版》自动分类和条形码打印等功能；符合教育部最新颁布的《教育管理信息化标准》规范。 　　系统运行为C/S+B/S模式，包括图书的采访、编目、流通、查询、期刊管理、系统管理、字典管理、WEB检索与发布等八个子系统，内含操作员权限管理、读者管理、著者管理、出版社管理、图书分类管理、书商管理、订单管理，附带在线帮助系统和多媒体功效，具有技术先进、功能完备、用户友好、可靠性强、安全性高、扩展性强、适用于多操作系统和经济实用等特点。系统同时支持Client/Server和Internet两种环境，能够适应图书馆自动化、网络化管理的需求。 　　《金碟图书馆管理系统》已成功在全国上千家中小学、大中专院校、医院及企事业单位得到应用。产品性能稳定，功能实用可靠，且具有良好的扩展性以及常用的IC卡、条形码等应用接口。 　　《金碟图书馆管理系统》有单机版、网络版和增强网络版三个版本，请根据实际需要选择。