高等教育领域数字化综合服务平台
云上高博会服务平台 高校科技成果转化对接服务平台 大学生创新创业服务平台 登录 | 注册
|
搜索
搜 索
  • 综合
  • 项目
  • 产品
日期筛选: 一周内 一月内 一年内 不限
软件可信性自动验证系统
软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果,自主研发了高效的自动推理工具;借鉴目前世界上最先进的程序形式化技术,形成了C程序自动验证系统和PLC程序自动验证系统,对指针安全、数组越界、溢出等常见复杂问题可实现自动验证或根据用户需要验证特殊性质,具有验证速度快、发现缺陷能力强、成本低的特点,从技术上突破了程序分析、程序测试的一些瓶颈,对提高软件质量具有不可替代的作用。目前,本自动验证系统已验证了涉及航空航天、武器装备、铁路、通讯等多种系统,显现出了明显效果,得到了认可。 该成果具有国际先进水平,自主可控,填补了国内程序可信性自动验证的空白,获得省部级和学会级三等以上奖励,有着有广阔的应用领域。。
西南交通大学 2016-06-27
柑橘大实蝇性诱剂
该性诱剂在田间对柑橘大实蝇雄虫具有专一引诱特性,且引诱效果显著,能准确的对柑橘大实蝇雄性成虫进行引诱消灭,阻断其繁殖,从源头上治理柑橘大实蝇虫害。本发明对天敌、益虫、人畜及作物不会造成危害,靶标害虫不会产生抗性,具有天然、环保等优点。 该性诱剂用量少、效果显著、覆盖面广,在柑橘大实蝇的发生产区均可应用,防治成本低,收益高。 转化条件:需要饵剂制备的生产线 成果完成时间:2015年
华中农业大学 2021-04-11
诊断性刮宫监测考核指导模型
XM-TMA诊断性刮宫监测考核指导模型   功能特点: 1、诊断性刮宫监测考核指导模型采用优质材料制成,腹腔内有早期妊娠子宫,解剖位臵准确,皮肤柔软有弹性,手感逼真。 2、早期妊娠子宫内设有模拟病变,供操作者训练,可客观地评价操作者实施诊断性刮宫的质量是否达标。
上海欣曼科教设备有限公司 2021-08-23
29022物体导电性实验材料
宁波华茂文教股份有限公司 2021-08-23
科学探究性实验室
  科学探究室能充分满足演示试验和分组实验需要,在这里,教师为学生做演示实验或者指导学生做分组实验,学生通过活动,提高了动手操作能力,更有助于创造性思维的开发。而好奇、好动、好探究、充满幻想又是孩子们的天性,实验教学的开展正是迎合了学生的这一身心特征。在实验过程中,孩子们的好奇心、好动性得到了充分的发挥,他们的奇思异想会象泉水一样喷涌出来,渴望知识,对未知事物的探索,达到了刨根深究的程度。这样,实验教学的开展为每一个学生提供科学探究的动力,使学生真正做到了“爱科学,学科学,用科学”的目的,提高了学生素质。
广东厚吉教育科技有限公司 2021-08-23
沙发耐久性试验机
产品详细介绍  沙发耐久性试验机,沙发耐冲击试验机,沙发强度测试仪,沙发的力学性能试验主要是试验沙发的座,背和扶手的耐久性。试验时将一定形状,质量的加载模块,以规定的加载形式,频率,分别对座,背和扶手表面重复加载。这一试验方法是模拟日常使用条件下,检验沙发对长期重复性载荷的承受能力。 沙发耐久性试验机执行标准:QB 1952.1-6.8         机器名称:沙发耐久性试验机 沙发耐久性试验机机器介绍: 座面加载模块:50kg,直径200mm,冲击面R341mm 背面加载模块:200mmx100mm 扶手加载模块:直径50mm 配   重   块:70kg,直径350mm 加 载 频 率:0.33Hz~0.42Hz(20~25次/min) 背部加载块间距:300mm 扶手加载角度:45度 辅助设备:配重板,高度测量装置 沙发耐久性试验机使用触摸屏和PLC控制。
东莞美和检测仪器有限公司 2021-08-23
织物透湿性测试仪
产品详细介绍  织物透湿性测试仪測試工位:8工位。 測試方法:蒸發法。 轉動速度:2r/min. 织物透湿性测试仪使用電源:220V/50Hz,3A. 织物透湿性测试仪計時器控制,1~9999999分鐘內可任意設定並自動停機。 织物透湿性测试仪外形尺寸:350mm×380mm×310mm. 织物透湿性测试仪重量:25Kg. 织物透湿性测试仪需放置在恒溫恒濕房或是恒溫恒濕機內使用。 织物透湿性测试仪配置不同測試杯可做不同標準的試驗。
东莞美和检测仪器有限公司 2021-08-23
基于有功功率波动性和周期性的洗衣机非侵入辨识方法
本发明公开了一种基于有功功率波动性和周期性的洗衣机非侵入辨识方法,包括在一定的采样频率范围内,对总电源进线的电压和电流进行采样,形成电压信号采样序列u和电流信号采样序列i,并计算平均功率序列P;构造长度为N的滑动窗Wn,并计算滑动窗内有功功率序列的标准差Sn;求取序列Sn的子区间的最小值位置序列Mt,记录最小值所在位置;计算序列Mt差分序列ΔMt,根据ΔMt的周期性来判别是否为洗衣机运行,并计算启停时间。本发明提综合利用洗衣机的周期性以及波动性这两个特性,提出了有效的洗衣机辨识方法,将平均有功功率序列转换成标准差序列,避免了偶尔情况下现实工况带来的功率波动而会被误辨成洗衣机的情况。
东南大学 2021-04-11
一种医用植入体表面非均相层状的矿化涂层及其制备方法
本发明公开的医用植入体表面非均相层状的矿化涂层,在医用植入体表面自下而上依次有致密壳聚糖层、多孔矿化壳聚糖层和矿化胶原/壳聚糖交联体层。本发明以胶原、壳聚糖、含钙化合物和含磷化合物为原料,在水溶液中下通过电化学反应,在医用金属基体表面一次性组装非均相层状矿化涂层,通过调节电沉积参数,可以调整各相的沉积状态,从而实现非均向层状涂层的制备。本发明方法简单,易行,可控性高,制得的医用材料涂层能够促进细胞在其表面的附着及增殖,具有承载药物的功能,且具有强化的生物活性性能。涂层与金属基板的结合强度高,稳定性好。
浙江大学 2021-04-11
西北工业大学防氧化涂层激光熔覆设备项目公开招标公告
西北工业大学防氧化涂层激光熔覆设备项目招标项目的潜在投标人应在详见附件获取招标文件,并于2022年07月04日14点00分(北京时间)前递交投标文件。
西北工业大学 2022-06-09
首页 上一页 1 2
  • ...
  • 59 60 61
  • ...
  • 214 215 下一页 尾页
    热搜推荐:
    1
    云上高博会企业会员招募
    2
    64届高博会于2026年5月在南昌举办
    3
    征集科技创新成果
    中国高等教育学会版权所有
    北京市海淀区学院路35号世宁大厦二层 京ICP备20026207号-1