|
搜索
搜 索
高等教育领域数字化综合服务平台
SoundAlarm纯软件智能语言报警系统
项目概况 SoundAlarm能为应用于各行业的计算机监控系统（DCS、PLC等控制系统）扩展真人发声的语音报警信息管理和报警功能。SoundAlarm通过计算机监控系统的公用数据接口获取实时信息，根据组态结果对报警信息进行报警状态、报警级别管理，结合操作人员的操作结果进行语音报警。 主要特点 1、不影响数据源系统的安全运行：以只读方式获取数据源系统（如DCS、PLC、MIS等系统）的实时数据；对数据源系统不存在任何操作。 2、对硬件要求低：只需一台低档通用多媒体计算机就可实现语音报警；当SoundAlarm与信息源运行在同一站点时，则只需对原站点计算机加一块普通声卡和多媒体音箱即可。 3、可实现分布式语音报警：SoundAlarm可以利用企业原有的局域网，利用网络上的信息资源实现分布式报警。 4、配置灵活：报警点和控制界面可灵活配置和修改；语音报警的级别分紧急、正常、一次三种优先级；监控的报警点分模拟量（分>、>=、一、>、=>五种方式）、开关量（分正向、反向两种方式）。 5、后台运行：正常运行时处于后台运行；只有在调试和修改配置时才调出其控制界面，进行育关配置和控制操作。 6、无需专门的维护：正常运行时其维护工作量近似为零。 技术指标 报警迟延：<ls。 CPU占用率：没有报警，平均低于0.5%，瞬态低于1%;有报警，平均低于1%，瞬态低于5%。 内存管理：占用2～2. 5M的内存，进行独立的内存管理。市场前景 成功应用于多台300MW机组DCS系统、热电厂全厂DCS系统、输煤程控系统、化学水处理车间控制系统等控制系统。可以为对语音报警有较高要求的DCS、PLC、FCS、MIS、SIS等计算机测控和信息系统实现语言报警功能扩展。
南京工程学院
2021-04-13
软件可信性自动验证系统
软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果，自主研发了高效的自动推理工具；借鉴目前世界上最先进的程序形式化技术，形成了C程序自动验证系统和PLC程序自动验证系统，对指针安全、数组越界、溢出等常见复杂问题可实现自动验证或根据用户需要验证特殊性质，具有验证速度快、发现缺陷能力强、成本低的特点，从技术上突破了程序分析、程序测试的一些瓶颈，对提高软件质量具有不可替代的作用。目前，本自动验证系统已验证了涉及航空航天、武器装备、铁路、通讯等多种系统，显现出了明显效果，得到了认可。 该成果具有国际先进水平，自主可控，填补了国内程序可信性自动验证的空白，获得省部级和学会级三等以上奖励，有着有广阔的应用领域。。
西南交通大学
2016-06-27
智能模糊图像处理软件系统
为提升拍摄的视频图像分辨率，增强图像对比度和清晰度，改善图像的画面质量，本项目综合考虑在设备进行拍摄过程中所遇到的器件性能、拍摄抖动、复杂天气影响等各种因素，以多帧超分辨率重建技术为核心，研发一种智能模糊图像处理软件系统。该系统针对不同的因素，自适应地实现相对应的图像优化处理，主要包括图像去雾、去噪、去模糊等图像增强处理，并结合多帧图像超分辨率重建和单帧图像超分辨率重建技术、稳定化等提升分辨率处理，以便获取更多细节信息。本软件所包含的主要功能详细介绍如下： 1、图像去雾功能
西安电子科技大学
2021-04-14
3D地理教学软件系统
中教启星3D 地理教学软件系统利用计算机三维动画技术和3D 显示技术，以虚拟、动态、立体的资源呈现方式将辅助学习内容与真实世界完美结合，使呈现内容突破时间和空间、宏观和微观、历史和现实的限制。系统软件将地理过程模拟转化为3D 立体动画跨时空过程，具有极佳的可视性和直观性，帮助学生深入观察和充分理解抽象的地理过程。
中教启星3D 地理教学软件配套丰富的3D 地理教学资源，涵盖自然地理和人文地理，如自然地理中《板块构造地貌》、《丹霞地貌》、《等高线模型》和人文地理的《聚落的形成条件》、《商品谷物农业》、《秘鲁渔场成因》等多种3D 教学资源，可在裸眼3D 电视/3D 电视/3D 投影机等设备使用，并广泛应用于中小学地理与科学等学科教学和科学素养拓展教育，生动的3D 呈现效果能有效激发学生的地理学习兴趣，充分满足多元化和个性化的教学需求。
配套资源
北京中教启星科技股份有限公司
2021-08-23
语音转写软件系统（慧言会听）
1.支持转写已有音频文件，便于二次编辑整理，一小时音频5分钟出稿。
2.支持根据自身行业特点，自定义个性化热词、敏感词等，提升准确率。
3.会议期间对语音信号进行实时转写和翻译，支持全屏、字幕多种展示样式。
4.支持网页和Windows客户端同步使用，满足不同场景的使用需求。
慧言科技（天津）有限公司
2022-06-01
青汉客户评价系统 电子评价器 LED窗口显示屏触摸查询系统 青汉发号机 北京排队机壁挂式排队机 排队机系统软件
产品详细介绍青汉排队机发号机功能
· 青汉排队机系统可支持百种业务
· 青汉排队机系统支持多台以上联机统一发号
· 青汉排队机系统支持多个等候区提示等候信息，各等候区语音及显示可独立
· 个性化语音可呼叫客户所办理的业务名称（医院版可呼叫病人姓名）等信息
· 青汉排队机发号机界面的图片客户完全可以按个性化自主设计更换
· 各项业务的按键客户完全可以按个性化自主设计更换
· 各项业务队列客户完全可以自主按需任意增减
· 各项业务的等待人数客户完全可以自主设定在界面上显示并可任意排版
· 各项业务的工作时段及暂停时段客户完全可以自主设定
· 操作员工的增减及登陆账号客户完全可以自主更改
· 语音呼叫的信息客户完全可以自主按个性化更改
· 显示屏的任何显示信息客户完全可以自主按个性化更改
· 顾客办理各项业务的序号客户完全可以自主设置，如：贵宾业务或理财金业务可
· 设为1-200号内、外币业务可设为201-500号内、人民币业务设501-9999号内
· 工作员工所办理的业务队列客户完全可以自主任意设置优先级
· 号票上的文字内容、图案、业务名称、时间格式、更改字体及大小、纸张长短等
· 客户完全可以自主按个性化设置
· 青汉排队机系统支持播放背景音乐，音乐曲目完全由客户自主选择
· 青汉排队机系统支持在值班经理处增设监控软件，处理各种特殊状况
· 青汉排队机系统支持高清晰度等离子显示器、大屏幕、电视墙等多种显示设备，显示丰富的排队信息
· 青汉排队机系统具有强大的统计管理功能，并可实现远程监控
· 青汉排队机系统可根据需要配置客户评价器及排队信息（短信）提示功能
"青汉排队"现诚挚邀您合作!!!!!! 全国统一免费热线： 4006-222-119 青汉排队机第三代超薄壁挂式排队机全国招商
招商热线:13488858092 联系人：肖霞 QQ:352616191 http://www.qhkjbj.com
青汉顺达（北京）科技有限公司
2021-08-23
钢铁企业营销管理软件系统
本项目从钢铁企业销售业务的特殊需求出发，采用当今最流行的技术手段，是完全为钢铁企业量身定做的销售业务信息管理平台。它能够促进销售各环节紧密配合，对物流、资金流和信息流进行综合管理。本软件系统的主要功能如下： 业务管理功能：包括客户管理、合同管理、提单管理、货款管理、价格管理、结算管理、仓储管理、发运管理等； 信息管理和决策分析功能：包括市场信息管理、计划管理、信息查询、报表生成和决策分析等； 企业分销网络管理功能：对包括代（分）销点的企业分销网络进行实时管理； 与外部系统接口功能：与生产系统、质量系统和财务系统的业务衔接管理。应用范围 钢铁企业的营销及分销网络管理。
北京科技大学
2021-04-11
大型供应链优化计算软件系统
1.项目简介：本项目开发出了一种大型供应链优化计算软件系统，软件系统包括互相连接的两大功能部分：结合供应链建模的数据库及管理系统和微机大型供应链0-1整数规划计算软件系统。前者为针对供应链建模和计算结果汇总和分析的信息管理系统，它构成了与企业管理的电子商务系统的有机连接；它可实时运行和显示，运行速度很快。后者则是解决大型供应链问题的计算软件，使用当前的一般微机系统，可解决具有50万个有效变量（其中2000个0-1整数变量），和一万个约束方程（包括2000个主问题约束方程和其他称为“广义上界”的约束方程）之内的大型问题；计算时间一般视问题大小在1-3小时之内。这两大功能可连接运行，亦可分开单独运行。 2.技术特点：本项目采用一种基于广义上界的有界变量混合型0-1整数规划算法，它无需大型计算机来解决问题，使用微机即可，方法可靠、实用而有效。
武汉工程大学
2021-04-11
Point动态软件漏洞检测与回溯系统
Ø “Pointer”团队开发了自动化程度较高的“Point”自动化软件漏洞检测系统。以黑盒测试为主，主要检测方式首先是基于AC自动机的API序列树构建与基于显露模式的漏洞特征库匹配，其次是对可疑API参数HOOK检测，旨在准确检测出已知漏洞。同时，引入的模糊测试理念与智能离散化模拟数据大大提高了软件检测的自动化程度，能够脱离特征库检测出更多未知问题，并且系统中也加入了漏洞回溯模块，重现漏洞发生过程。本项目由学生自主开发并且参加2010年全国第三届大学生信息安全大赛获得全国二等奖。
北京理工大学
2021-01-12
Point动态软件漏洞检测与回溯系统*
成果完成年份：2010年7月 成果简介：“Pointer”团队开发了自动化程度较高的“Point”自动化软件漏洞检测系统。以黑盒测试为主，主要检测方式首先是基于AC自动机的API序列树构建与基于显露模式的漏洞特征库匹配，其次是对可疑API参数HOOK检测，旨在准确检测出已知漏洞。同时，引入的模糊测试理念与智能离散化模拟数据大大提高了软件检测的自动化程度，能够脱离特征库检测出更多未知问题，并且系统中也加入了漏洞回溯模块，重现漏洞发生过程。本项目由学生自主开发并且参加2010年全国
北京理工大学
2021-04-14