|
搜索
搜 索
高等教育领域数字化综合服务平台
软件可信性自动验证系统
软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果，自主研发了高效的自动推理工具；借鉴目前世界上最先进的程序形式化技术，形成了C程序自动验证系统和PLC程序自动验证系统，对指针安全、数组越界、溢出等常见复杂问题可实现自动验证或根据用户需要验证特殊性质，具有验证速度快、发现缺陷能力强、成本低的特点，从技术上突破了程序分析、程序测试的一些瓶颈，对提高软件质量具有不可替代的作用。目前，本自动验证系统已验证了涉及航空航天、武器装备、铁路、通讯等多种系统，显现出了明显效果，得到了认可。 该成果具有国际先进水平，自主可控，填补了国内程序可信性自动验证的空白，获得省部级和学会级三等以上奖励，有着有广阔的应用领域。。
西南交通大学
2016-06-27
智能模糊图像处理软件系统
为提升拍摄的视频图像分辨率，增强图像对比度和清晰度，改善图像的画面质量，本项目综合考虑在设备进行拍摄过程中所遇到的器件性能、拍摄抖动、复杂天气影响等各种因素，以多帧超分辨率重建技术为核心，研发一种智能模糊图像处理软件系统。该系统针对不同的因素，自适应地实现相对应的图像优化处理，主要包括图像去雾、去噪、去模糊等图像增强处理，并结合多帧图像超分辨率重建和单帧图像超分辨率重建技术、稳定化等提升分辨率处理，以便获取更多细节信息。本软件所包含的主要功能详细介绍如下： 1、图像去雾功能
西安电子科技大学
2021-04-14
通用锅炉水动力计算软件 HYDROSYS
基于复杂流动网络计算理论，将电站锅炉蒸发受热面抽象为以节点、受热回路和连接管等元件组成的流动网络系统，根据遵循的质量守恒方程、动量守恒方程、能量守恒方程及流动传热试验关联式，建立流量分配的非线性计算数学模型，采用Fortran和Visual Basic混合编程技术，开发出具有自主知识产权的通用电站锅炉水动力计算软件HYDROSYS。
软件根据系统部件以及实际功能划分为不同的设备和功能模块，各个模块间相互结合，可以对各种容量等级、各种蒸汽参数、各种炉型（П型、塔式、T型）、各种管圈型式（螺旋管圈水冷壁、垂直水冷壁）和燃烧技术（切向燃烧方式、墙式燃烧方式、W火焰方式、循环流化床燃烧方式）的亚临界汽包锅炉、超（超）临界直流锅炉水动力和壁温特性进行计算分析。
西安交通大学
2021-04-11
上海学伴软件有限公司
上海学伴软件有限公司成立于2012年，是一家专注于为各类院校、培训机构和企业客户提供一站式在线教育服务和运营支撑平台的专业研发机构，业务内容涉及大规模开放在线课程Moocs教学平台解决方案、课程制作和课件录制、实时直播互动课堂解决方案、教学教务管理平台解决方案、数字化校园解决方案等的新型教育技术和服务提供商。
上海学伴软件有限公司
2021-02-01
北京天演融智软件有限公司
北京天演融智软件有限公司（亦称：融智软件）前身是北京世纪天演科技有限公司，成立于2001年。成立之初，公司与教育部高教司联合面向国内高校推广CAI教学。2005年，随着互联网发展，公司成立中国高等学校教学资源网，向高校教学一线老师提供一个开放的教学资源共享平台，得到全国高校教师的认可。2006年，公司把握先机，成立中国科学软件网，为国内用户提供优秀的科学软件和服务，并于当年与国内最大的药物研发企业上海药明康德签订三年的软件服务协议，全面为药明康德提供药物研发软件chemoffice。之后，公司又先后涉足移动教学和虚拟仿真产品的研发和推广。公司旗下现有中国科学软件网（www.sciencesoftware.com.cn)、中国高等学校教育资源网(www.cctr.net.cn)、科学软件学习网(www.ssstudy.com)三大网站平台。
截止目前，公司自主研发产品有高等学校中央试题库、CCTR考试与评测系统、CCTR题库管理系统、CCTR题库应用软件、SYNC教学资源库等，并且代理销售国外科学软件1000余种，产品涵盖教育、医疗、交通、通信、金融、保险、电力等行业，并且为诸如北京大学、清华大学、中国人民大学、中科院、农科院、社科院、环科院、国家统计局、交通部、南方电网、国家电网、许继、南瑞等国内大型企事业单位、部委和科研机构长期提供相关产品。
北京天演融智软件有限公司
2021-01-15
54305地球历史教学软件
宁波华茂文教股份有限公司
2021-08-23
广州翰智软件有限公司
广州翰智软件有限公司是业内领先的数字化综合服务商，专注于IT咨询与服务，提供智能数字化的软件产品、解决方案和专业服务。公司总部设在广州，分别在广州、深圳、东莞、中山、佛山等多个城市设立区域子公司，翰智集团成员企业包括广州翰智软件有限公司、广州市朗恒信息科技有限公司、广东凯联网络科技有限公司、深圳翰智软件有限公司、佛山市达创信息科技有限公司、中山市博达软件有限公司、东莞翰智软件有限公司，累计服务客户超过上万家。
翰智在数字化领域积极探索创新应用，基于RPA、AI、大数据等创新应用技术，目前在自有产品体系研发方面累计开发成果达100多项。公司以创造客户价值为导向，依托于多年以来丰富的信息化建设经验及行业专业优势，联合阿里云、用友、UiPath、中国联通、致远等战略合作伙伴，为客户提供智慧财税、业财税共享、RPA智能机器人、智能制造、协同办公、数字营销、人力共享、智能数据分析、智慧教育等一体化解决方案。
翰智坚持 “以专业服务为本，为客户创造价值”的服务理念，目前集团人员规模900多人，汇集了一批专业的实施、开发、运维服务团队，拥有一支懂业务的复合型团队，团队成员具有资深的从业经验，其中从业经验达5-10年的占35%，10年以上占25%，通过专业服务水平赋能企业转型升级，实现价值共赢。
广州翰智软件有限公司
2021-02-01
珠海沃比软件有限公司
珠海沃比软件有限公司，成立于2013年1月15日，是国内领先的综合型企业管理平台运营商，其开发及运营的FRIS（Flexibleandreliableinformationsystem）平台，深受广大用户好评。沃比软件专注服务于开发软件、企业信息化建设与维护，在帮助中国中小企业应用互联网络开展国际营销、产品推广、企业资源整合、业务流程规范、信息追溯等方面拥有丰富的成功经验。
珠海沃比软件有限公司
2021-02-01
山东华码软件有限公司
山东华码软件有限公司成立于2013年，是一家专业从事医疗行业软件开发、服务、运营的科技型中小企业。公司自成立以来秉承为客户创造价值的理念，坚持自主研发，截止至2020年10月，拥有国家版权局认证的软件著作权25件，山海互联注册商标1件，山东省软件产品登记2件，产品质量通过了ISO9001国际质量体系统认证，被山东省软件行业协会评选为”双软认证“企业。公司为客户提供华码软件智慧医疗系列管理信息系统，主要有：医院管理信息系统、实验室信息管理系统、医学影像管理系统、体检中心管理系统及在线诊疗管理系统等。被临沂市工业和信息化局评选为：临沂市软件工程技术中心、临沂市大数据骨干企业和临沂市优秀软件企业。
山东华码软件注册资金300万，在职员工30人，核心成员拥有10多年行业经验。公司自成立以来，时刻关注着中国医疗软件市场的需求，以医疗服务的规范化、科学化、现代化为己任，把开发适合中国国情的医疗管理软件当做自己的使命。公司由运营团队、销售团队、开发团队、测试团队及售后团队等30名以上具丰富行业的精英组成，到目前为止，全国范围内拥有客户数2000+。
山东华码软件有限公司
2021-06-15
3D地理教学软件系统
中教启星3D 地理教学软件系统利用计算机三维动画技术和3D 显示技术，以虚拟、动态、立体的资源呈现方式将辅助学习内容与真实世界完美结合，使呈现内容突破时间和空间、宏观和微观、历史和现实的限制。系统软件将地理过程模拟转化为3D 立体动画跨时空过程，具有极佳的可视性和直观性，帮助学生深入观察和充分理解抽象的地理过程。
中教启星3D 地理教学软件配套丰富的3D 地理教学资源，涵盖自然地理和人文地理，如自然地理中《板块构造地貌》、《丹霞地貌》、《等高线模型》和人文地理的《聚落的形成条件》、《商品谷物农业》、《秘鲁渔场成因》等多种3D 教学资源，可在裸眼3D 电视/3D 电视/3D 投影机等设备使用，并广泛应用于中小学地理与科学等学科教学和科学素养拓展教育，生动的3D 呈现效果能有效激发学生的地理学习兴趣，充分满足多元化和个性化的教学需求。
配套资源
北京中教启星科技股份有限公司
2021-08-23