|
搜索
搜 索
高等教育领域数字化综合服务平台
一种基于模型转换的CPS建模与验证方法
本发明提出了一种基于模型转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，本发明涉及到的关键操作包括：(1)采用HybridUML对CPS进行建模，并将所建HybridUML模型转换为微分动态逻辑方法的操作模型混合程序Hybrid？Programs。(2)将得到的Hybrid？Programs根据定理证明器KeYmaera的输入格式，生成输入代码，在KeYmaera中进行推理验证。
东南大学
2021-04-10
GEOSAR地面成像验证系统与卫星信号处理仿真系统（技术）
成果简介：GEOSAR卫星运行在高轨道，长合成孔径时间使得目标回波具有距离徙动量大、空变性剧烈的特点，因而成像处理难度大。同时电离层对信号传播的影响也是影响卫星成像性能的重要因素。 GEOSAR地面成像验证系统利用导航卫星作为照射源、在地面配置多通道接收机分别接收直达波和回波信号，其中直达波信号用于实现卫星与接收机间的时频同步和分析电离层的影响，回波信号可用于实现成像处理。通过研究此模式下回波信号特性和成像算法，因此利用该验证体制可实现对GEOSAR成像机理的等效地面成像验证；同时，
北京理工大学
2021-04-14
一种提取网页中验证码图片的方法
本发明提供了一种提取网页中验证码图片的方法。由于验证码图片在网页中并没有一个固定的网址链接，并且图片随机生成，对其进行刷新或者保存操作会改变图片内容，因此提取验证码图片是很多需要验证码图片的软件应用的一个关键难题。在该方法中，利用光标位置、验证码输入框位置、图片位置、图片大小、图片视觉与内容特征、图片关键字、图片长宽比例等信息将网页中的验证码图片提取出来。
浙江大学
2021-04-13
全国高校科技成果对接服务平台-人才服务
充分发挥中国高等教育学会高校专家、人才及创新资源的优势，助推地方产业升级、人才快速聚集。
云上高博会
2021-07-22
供水服务热线系统
本成果是一款应用于供水客户服务管理的软件，产品由话务板卡程序、话务数据服 务、B/S 主体程序、C/S 综合客户端、大屏信息展示六大部分组成，核心业务操作部分 由业务受理、业务分析、话务分析、资料信息、系统管理五大功能模块组成。特点如下： 1.自动语音应答（IVR），CTI 电话全程录音，自动业务代理； 2.智能选择人工坐席（ACD）交谈，可进行三方通话与电话会议； 3.实现信息登录、信息处理、信息跟踪、信息回访业务处理流程； 4.提供快捷查询、组合查询、快捷统计、组合统计数据服务； 具有站点配置、用户管理、地名管理、词语管理、资料信息等系统管理功能。
同济大学
2021-04-13
服务机器人
在智能服务机器人研究方面，南京理工大学先后研制出“聪明贝贝”和“导游机器人”，具有智能语音功能，能完成导游讲解及设定模式下的人机对话功能，已应用于江苏省科技宫和广州市科技宫的导游服务讲解工作。 为解决残障人士方便、自由、舒适地生活，南京理工大学运用一体化电机技术和系统稳定控制技术，创造性地推出一种平地楼梯两用助行机器人。该产品既解决了国内轮椅几乎没有爬楼功能的问题，又比国外同类产品15万到30万的价格要低廉很多，因此，平地、楼梯两用助行机器人将具有很高的市场价值和巨大的市场前景。该项
南京理工大学
2021-04-14
智慧医疗服务系统
南京邮电大学
2021-04-14
服务机器人
Ø 成果简介：伴随着我国逐步进入老龄化社会，如何提高老年人生活自理能力和生活质量已成为整个社会不得不认真面对并努力去解决的一个重大社会问题，而服务机器人正是满足这一需求的最佳选择。服务机器人具有人类外形特征，更容易适应人类生活环境，可以和人类进行友好的沟通与交流，可以帮助人类完成一定的工作，是未来与人类友好共处的先进机器人的重要代表，具有广阔的应用前景。由北京理工大学研制的服务机器人在机构设计、控制系统、语音交互、多媒体娱乐、舞蹈动作设计与规划等多个技术领域取得创新性成果，在工
北京理工大学
2021-04-14
服务机器人
具有人机交互功能，可以进行服务，陪伴，疾病预诊断等功能。 运动控制、定位和导航，开展了基于激光雷达，UWB，视觉等技术的运动定位，导航及运动控制技术的研究。目前处于科研开发阶段。1、实现了基于视觉为主的多传感器信息感知系统 2、障碍的自动检测和路况识别 3、实现了自主避障和导航等功
上海理工大学
2021-01-12
软件服务器
产品特点
视频点播
1. 无插件点播: 支持客户通过浏览器，在无需安装专用播放插件的情况下，直接点播视频资源。
2. 二维码分享: 支持点播视频通过微博、微信二维码分享，可通过扫描二维码在手机端观看。
视频直播
1. 无插件直播观看, 用户可以通过浏览器，无需安装专用播放插件的情况下直接进行直播观看。
2. 直播互动：观看直播时可以做笔记，在线用户互相之间可以参加讨论，也可以将好的直播分享出去。
微课点播
1. 通过切片获取的精彩视频可推送到微课，用户可直接搜索观看具体视频，可通过关键字搜索目标视频。
2. 可以通过视频切片搜索到原视频和相关的微课，方便关联学习。
网络教研
1. 活动发起：支持教师自主发起优秀课评选；教师在参加活动时可直接从自己的课程资料选择参与，设置评估标准。后台管理员也可以发起评课，邀请老师参加。
2. 评估标准：教师可以自定义评估标准，根据评课活动实际情况进行使用。
教学资料
资源搜索：用户上传的公开资料如课程、视频、文档直接在平台汇集，可按年级、科目、关键字搜索，获取有用的资源。
后台管理
1. 组织架构：用户可根据需要设置组织架构，对用户进行归属分类，便于用户管理。
2. 用户管理：管理员可以在后台对用户进行单个新增、删除、禁用，也可以批量导入、批量导出，可以设置用户所属的组织。
3. 角色权限：管理员可以设置用户角色，根据角色分配给用户对应的权限。
广州市保伦电子有限公司
2021-08-23