软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果，自主研发了高效的自动推理工具；借鉴目前世界上最先进的程序形式化技术，形成了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+。

成都泰盟软件有限公司是中国的一家科技公司，总部位于四川省成都市成龙大道888号经开区总部经济港A9。成都泰盟软件有限公司主要产品有BL系列生物信号采集与分析系统（生物机能实验系统）、行为学实验分析系统、无创血压测量系统、神经电生理系统、医学图像分析系统、微循环观测分析系统、医学机能虚拟实验系统、医学虚拟仿真实验教学中心、动物跑步机、动物呼吸机、恒温平滑肌槽、加热兔/鼠台、脑立体定位仪、超级抗干扰电生理实验系统；传感器、神经屏蔽盒、刺激电极等配套实验附件。成都泰盟软件有限公司自成立至今，自主研发多项专利产品。 成都泰盟软件有限公司，自1998年推出国内第一套基于Windows的生物信号采集系统以来，一直致力于生命科学教学科研系统的软硬件研发。二十余年来，成都泰盟深耕医学教学领域，通过不断的微创新，提升医学实验教学的效率和质量，帮助学校培养一批又一批各类医学人才。我们怀着对生命科学的敬畏之心，以严谨的工作态度，通过不断的努力，为生命科学的发展贡献绵薄之力。 科学技术在飞速发展，与之对应的是新的先进教学技术的不断涌现。为提高实验教学的效率，实验设备的信息化、集成化、网络化的发展已是必然趋势，公司的实验室完整解决方案为学校提供专业的一站式服务，高效地解决实验室建设一系列问题；另一方面，虚拟仿真技术在实验教学上应用越来越广泛，公司从2007年开始布局虚拟教学系统，目前，虚拟管理系统、虚拟课件、VR等都已成熟应用，满足广大院校建设虚拟仿真实验教学的迫切需求。 公司坚持自主研发的同时，也把目光投向全球，引进国外的先进技术，以更好地服务科研团队。我们与国外 神 经 科 学 仪 器 知 名 品 牌Sutter、Mightex、A-M Systems、Neurolabware等建立良好的合作关系，将他们的先进设备引入国内，以帮助国内科研水平的更好发展。 公司秉承诚信、协作、创新、卓越的文化理念，将尽最大努力为广大新老合作伙伴提供更好的服务，为促进生命科学的发展贡献力量！

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

中科软件测评（广州）有限公司承接广州中国科学院软件所测评实验室和数据智能实验室的技术积累和管理体系，主要从事软件功能、性能、安全性、可靠性和交互设计的技术服务。 面向政府部门、科研单位、智能制造生产线提供软件系统测试、测评等公共技术服务。 团队拥有一批高水平的科研和测评技术人员，其中：教授博导1名，副教授硕导2名，拥有博士学位人员5名，硕士学位人员3名。 公司团队近年先后承担了国家科技重大专项（核心电子器件、高端通用芯片及基础软件产品国家科技重大专项课题）、国家重点研发计划课题和省部级重点或重大课题的测试，以及省、市级财政信息化和金融、电力、交通、港口行业项目验收测评任务。

青岛艾德软件有限公司于2018年08月31日成立。法定代表人石增永，公司经营范围包括：计算机软硬件领域内的技术开发、技术转让、技术咨询、技术服务；人工智能软件领域内的技术开发、技术服务；大数据服务；云计算服务；计算机系统集成服务、网络工程施工；销售：计算机、通讯器材、电子产品等。

产品详细介绍奥龙数字化校园软件解决方案1.1数字化校园建设意义1.1.1解决学校信息孤岛数字化校园将学校内部的相对独立分散的业务系统，进行统一整合和有效的集成，通过“谁产生谁维护”的原则对集成数据按标准进行验证，然后把正确的信息同步给需要这些信息的部门到达所有部门相同的信息一致。同时消除对数据的重复管理，避免多部门的重复劳动，节约人力成本，保证信息标准统一。1.1.2规范业务流程数字化校园集成学校内各种业务流程，通过建立规范的、合理的、高效的业务流程可以约束工作的随意性，避免一边“省事”多处“费事”情况。而且通过合理的业务规则，不但可以提高本部门的工作效率，减轻工作压力，同时也为其它门户带来快捷和方便。1.1.3提高工作效率数字化校园使集成学校各种业务流程实现了自动化，不需或极少需要人工干预。集成的业务流程工作一旦建立好以后自动工作，工作人员只需要通过任务完成状态进行监控即可。数字化校园将人员从繁杂、简单重复的数据输入、传送、管理、检索等工作中解脱出来，信息的检索及统计报表的生成功能交给平台来完成。用户可以随时随地从信息门户获取相关授权信息。无纸化办公使学校各项行政管理工作更加便利快捷。1.1.4为师生员工提供“一站式”服务教职员工、学生和办事者可通过网络可以及时了解办事流程、学习安排、学校资源、各种申请状态等信息，免去不必要的东奔西走，减少盲目性、提高办事效率、减轻工作量，是学校为教职员工、学生和办事者提供的服务窗口。1.1.5创建虚拟大学空间，实现跨地域管理数字化校园建设以信息资源与信息服务为核心内容，实现数字化、网络化的学习、教学、科研和管理，对于学校今后创建数字化的生活空间，创建虚拟大学空间，实现教育信息化和现代化。虚拟大学空间可为学校今后的跨地域业务管理提供坚实的基础保障。1.1.6体现决策管理水平，及整体综合实力在教育行业信息化的大背景下，数字化校园的建设水平不仅体现了职教教育信息化的程度，也反映了决策者的对现代教育发展趋势高瞻远瞩的水平；更是衡量学校办学能力和教学科研水平的重要标准之一的知名度，吸引更好的生源和优秀的科研、教学人才。1.1.7有助于教学模式和观念的转变在教学中，教师们可以充分利用网络教学资源，开展网上多媒体教学实践，建立学科教学网站和教学资源库。学生可以利用数字化图书馆以及各种教学资源库进行研究性学习，同时利用互联网与其它学习者进行广泛的合作探索和讨论交流，并将学校以外的信息资源和智力资源引入到教学中。1.1.8辅助学校领导决策数字化校园还包括各级管理与决策部门，使各级领导在决策上实现数字化，利用决策支持系统结合学校数字资源、个人智力资源和计算机的计算能力，辅助改进领导决策的质量。为各级领导提供决策所需的数据、信息和背景材料，帮助他们进行问题的识别，并明确决策目标，通过人机交互功能进行分析、比较和判断，为正确决策提供有力的辅助支持。第 2 章奥龙数字化校园平台软件系列数据门户产品列表：1、奥龙-统一信息门户平台2、奥龙-统一身份认证平台3、奥龙-数据交换平台4、奥龙-数据综合分析平台5、奥龙-一站式网上办事大厅平台应用系统产品列表：1、奥龙-教务管理系统2、奥龙-学生综合信息管理系统3、奥龙-OA办公自动化管理系统4、奥龙-数字迎新管理系统5、奥龙-招生管理系统6、奥龙-就业管理系统7、奥龙-网络学习平台8、奥龙-宿舍管理系统9、奥龙-站群管理系统10、奥龙-三维地图信息管理系统11、奥龙-成绩自助打印管理系统12、奥龙-移动信息平台13、奥龙-图书馆自动化管理系统14、奥龙-在线考试题库管理系统15、科研管理系统16、人事管理系统17、资产管理系统