高等教育领域数字化综合服务平台
云上高博会服务平台 高校科技成果转化对接服务平台 大学生创新创业服务平台 登录 | 注册
|
搜索
搜 索
  • 综合
  • 项目
  • 产品
日期筛选: 一周内 一月内 一年内 不限
肉羊高效育种关键技术—肉用型种羊生产管理计算机软件
一、成果简介 该软件以Access为开发平台,已VB为开发语言。软件包括数据录入、数据管理、选育管理、信息查询、报表、管理提示、参数设置、权限设置等9个功能模块。该软件是在国家“十一五”课题支持下取得的成果。 该软件将羊的选育与日常管理相结合,针对我国引进肉羊品种繁育中存在的只繁不育、近交严重等关键问题,软件开发了选育提示和羊群近交估计模块;针对羊场选育数据量大,纸质或电子表格式积累数据
中国农业大学 2021-04-14
基于知识发现创新技术的专家系统新构造及 在铝电解等领域中的应用
本项目是新兴的自动化系统与计算机技术等多学科交叉领域前沿重大问题的研究,属人工智能、知识工程技术领域。早期专家系统中知识的自动获取与知识匮乏成为其瓶颈问题,一直制约着专家系统的发展。本项目找到了解决这一瓶颈问题的有效途径与方法,即用知识发现创新技术来实现知识的自动获取与解决知识匮乏这一难题;有望将专家系统的发展推向新阶段。 本项目提出了一种基于知识发现创新技术的专家系统,简记作ESKD,它采用了自主研发的知识发现创新技术,实现了ESKD的全新总体架构:第一,把知识发现系统视为认知系统,研究其自身的内在认知机理(涵盖4个机制),由机理的研究导致7个新模型与11种新技法;第二,以知识发现创新技术作成专家系统新的知识自动获取构件,并形成了全新的动态知识库系统;第三,其推理机中集成了多种不确定性推理形式与方法;第四,它以多个知识源、多种知识融合、多抽象级与多知识层次结构为特征形成了具有丰富内涵的专家系统总体构架,提高了实用化功能,推动其向新一代专家系统的发展;第五,通过在铝电解生产等领域中的应用,解决了过去凭经验与简单技法难于解决的控制过程与参数等优化问题。 ESKD突显其技术先进与学科领域促进作用的根源,就是作为其理论基础的KDTICM(我们独立提出的基于内在认知机理的知识发现理论)及其载体(软件系统ICCKDSS)是原创性的与自主的。这一点由2项国际获奖及其评价书、国际著名科学家与国内5院士评价、8项国家发明专利(详见附件)、教育部鉴定、国内外著名刊物发表的论著等证实。
北京科技大学 2021-04-11
基于知识发现创新技术的专家系统新构造及在铝电解等领域中的应用
本项目是新兴的自动化系统与计算机技术等多学科交叉领域前沿重大问题的研究,属人工智能、知识工程技术领域。早期专家系统中知识的自动获取与知识匮乏成为其瓶颈问题,一直制约着专家系统的发展。本项目找到了解决这一瓶颈问题的有效途径与方法,即用知识发现创新技术来实现知识的自动获取与解决知识匮乏这一难题;有望将专家系统的发展推向新阶段。 本项目提出了一种基于知识发现创新技术的专家系统,简记作ESKD, ESKD是将KDTICM与传统的专家系统相融合的结果,它以原创性理论KDTICM为贯穿,以动态知识库为主线,以全新的知识表示和获取方法为依托,构成了多层递阶的独特结构,很好地解决了传统专家系统中极为重要的“知识自动获取”与“知识匮乏”的瓶颈问题;成为新一代专家系统的基本概型(新分支学科)。 它具有多知识源、多知识融合、多抽象级等特征的全新总体架构、全新知识自动获取构件、全新动态知识库系统、全新推理机。(见图5)“科技时报”就“中国科学”发表的此文与产生的重要影响作了报道。ESKD促进与影响着基于KDTICM的其它智能系统新构造的形成。 ESKD全新的构造要素:1)知识获取源除书本知识、专家知识与经验、推理机制外,增加了数据库与知识库的知识源;并利用KDTICM自动获取知识,拓展了知识自动获取的新途径。2)构造了独特的基础知识库--衍生知识库--合成知识库--综合知识库--扩展知识库的动态知识库系统。3)集成了模糊、综合归纳、定性、基于案例等多种推理形式和方法。4)采用我们独立提出的基于语言场的知识表示方法,能够深层次的综合表达具有不确定性与定性描述特征的知识。5)结合了KDD*和KDK*的多项相关专利技术。 ESKD突显其技术先进与学科领域促进作用的根源,就是作为其理论基础的KDTICM(我们独立提出的基于内在认知机理的知识发现理论)及其载体(软件系统ICCKDSS)是原创性的与自主的。这一点由3项国际获奖及其评价书、国际著名科学家与国内5院士评价、10项国家发明专利(详见附件)、教育部鉴定、国内外著名刊物发表的论著等证实。
北京科技大学 2021-04-11
关于督促开展高新技术领域2023年青海省级到期项目验收工作的通知
按照《青海省重大科技专项管理办法》(青科发规〔2021〕31号)和《青海省重点研发与转化计划管理办法》(青科发规〔2021〕30号)有关要求,2023年12月底到期项目须进行验收工作。请你单位高度重视,尽快完成科技管理信息系统线上验收材料提交工作,并做好验收准备,于2023年10月30日前完成项目验收工作。
青海省科学技术厅 2023-08-08
双功能光信号微阵列传感器构建及 痕量农药残留可视化快速检测新技术
以配合物与被检测物(农残等有害物)间形成人工配体受体关系从而实现对被检测物的分子识别,同时它们具有很好的光学性能即与被测物分子间相互作用会产生特异的光谱响应,通过纳米与酶的复合物构建微芯片可建立对被检测物的“指纹图谱”,因此,可实现农药残留快速检测。检测结果具有特异性识别的“分子指纹图谱”效果。系统由微阵列芯片、微分析系统、光学信号采集、转化系统、信号的分析处理与显示系统、嵌入式系统、微控制系统及数据库的集成。该系统选择具有特异性分子识别作用的卟啉分子,构建微传感阵列,以微传感阵列与被测物分子相互
重庆大学 2021-04-14
磁遗传学及其用途
本发明涉及磁遗传学领域。具体而言,本发明涉及响应于外部磁刺激的磁感应受体(magnetoreceptor),和调节神经元活动、扰动生物过程和治疗疾病的非侵入性方法。本发明提供了调节细胞活性的非侵入性方法,其包括将MAR基因递送至所述细胞中的步骤并向所述细胞施加磁刺激的步骤。本发明还提供了磁遗传学用于治疗疾病的医疗用途。
清华大学 2021-04-10
“栖学”智慧在线教学平台
覆盖教学和实验全流程的线上教学平台,包含在线教学的学、练、考、评、管环节,支持点播、直播、互动教学。
成都华栖云科技有限公司 2021-02-01
学霸君1对1
学霸君1对1应用先进技术,实现真人在线互动,塑造真实教学场景。采用国际优质的智能硬件技术——智能笔和智能本,不仅实现了师生可视化同步书写、批改,让教学突破时空限制;还可保存电子课堂笔记,形成学情分析报告,有效管理学情,并据此定制针对性学习方案。
上海谦问万答吧云计算科技有限公司 2021-02-01
2022考研寒假学霸营
好的开始是考研成功的一半 “考研需要学生认清形势,知己知彼,备考不怕早” 不了解考研形势,刚有想法; 对于院校专业迷茫, 不知如何选择; 对于公共课的学科特点还不清晰, 不知道如何规划后期复习安排; 寒假学霸营 开设热门专业辅导课 “跨专业不能轻易决定,适合自己的专业才是好专业” 专业咨询及教辅团队 帮助学员解决专业选择问题, 熟悉各专业特点、发展前景、考试内容、 报考信息及录取情况,拒绝盲目报考; 更有热门专业课基础课程学习。
北京爱启航网络科技有限公司 2021-02-01
LinGo 16.0运筹学软件
产品详细介绍请登录 中国科学软件网 了解更多Lingo软件信息和报价。Lingo和 Lindo 是美国 Lindo 系统公司开发的一套专门用于求解最优化问题的软件包。Lindo 用于求解线性规划和二次规划问题,Lingo 除了具有 Lindo 的全部功能外,还可以用于求解非线性规划问题,也可以用于一些线性和非线性方程(组)的求解,等等。Lingo 实际上还是最优化问题的一种建模语言,包括许多常用的函数可供使用者建立优化模型时调用,并提供与其他数据文件(如文本文件、Excel电子表格文件、数据库文件等)的接口,易于方便地输入、求解和分析大规模最优化问题。 由于这些特点,Lindo系统公司的线性、非线性和整数规划求解程序已经被全世界数千万的公司用来做最大化利润和最小化成本的分析。应用的范围包含生产线规划、运输、财务金融、投资分配、资本预算、混合排程、库存管理、资源配置等等... Lingo/Lindo 软件作为著名的专业优化软件,其功能比较强、计算效果比较好,与那些包含部分优化功能的非专业软件相比,通常具有明显的优势。Lingo和 Lindo 软件的最大特色在于可以允许优化模型中的决策变量是整数(即整数规划),而且执行速度很快。此外,Lindo/Lingo 软件使用起来非常简便,很容易学会,在优化软件(尤其是运行于个人电脑上的优化软件)市场占有很大份额,在国外运筹学类的教科书中也被广泛用做教学软件。 Lingo Lingo 是使建立和求解线性、非线性和整数最佳化模型更快更简单更有效率的综合工具。Lingo 提供强大的语言和快速的求解引擎来阐述和求解最佳化模型。 简单的模型表示 Lingo 可以将线性、非线性和整数问题迅速得予以公式表示,并且容易阅读、了解和修改。 方便的数据输入和输出选择 Lingo 建立的模型可以直接从数据库或工作表获取资料。同样地,Lingo 可以将求解结果直接输出到数据库或工作表。 强大的求解引擎 Lingo 内建的求解引擎有线性、非线性(convex and nonconvex)、二次、二次限制和整数最佳化。 Model Interactively or Create Turn-key Applications Lingo 提供完全互动的环境供您建立、求解和分析模型。Lingo 也提供 DLL 和 OLE 界面可供使用者由撰写的程序中呼叫。 广泛的文件和 HELP 功能 Lingo 提供的所有工具和文件可使你迅速入门和上手。Lingo 使用者手册有详细的功能定义。 LINGO版本及说明 名词解释 1. Barrier:内生法优化的选项,主要用于线性优化中,解决大规模运算的问题。比常用的单纯形算法的运算速度要快得多。同时也可用于求解二次规划约束的优化。 2.Non-linear:基于广义既约梯度算法的非线性优化的选项。主要用于非线性优化,比常用的顺序逼近线性规划算法的速度要快得多。 3.Global:提供全局最优解的选项。主要用于非线性优化的求解。一般的算法只能获得局部最优解。这个选项可以通过多起始点的方式,通过划分凸规划,调用分支定界管理程序,从多个局部最优解中确定全局最优解。 (不能单独使用,必须与Non-linear 选项同时使用。) LINGO 单机版 说明:单机版仅限单机使用。以约束数、总变量数、整数变量数的不同分为Hyper、Industrial、Extended 3个版本。可应用于小型科学研究和数学建模,版本不同,计算变量数限制不同。如需计算非线性规划运算,提高运算速度(提高300%以上),我们建议配备Barrier(解决大规模运算)、Nonlinear(解决非线性规划运算)、Global(解决非线性全局优化运算)三个选项。Global选项需要与Nonlinear选项同时安装。 LINGO 单机版 (单机版产品只被允许安装在1台电脑上使用) 版本 Constraints Variables Integers Nonlinear Global 约束数 总变量数 整数变量数 变量 变量 Hyper 4000 8000 800 800 20 Industrial 16000 32000 3200 3200 50 Extended unlimited unlimited unlimited unlimited unlimited LINGO 网络版 (网络版产品无用户端口数限制。) 版本 Constraints Variables Integers Nonlinear Global 约束数 总变量数 整数变量数 变量 变量 Super 1000 2000 200 200 10 Hyper 4000 8000 800 800 20 Industrial 16000 32000 3200 3200 50 Extended unlimited unlimited unlimited unlimited unlimited 说明:需安装在网络环境下,对用户数无限制。以约束数、总变量数、整数变量数的不同分为Super、Hyper、Industrial、Extended 4个版本。
北京天演融智软件有限公司 2021-08-23
首页 上一页 1 2
  • ...
  • 33 34 35
  • ...
  • 737 738 下一页 尾页
    热搜推荐:
    1
    云上高博会企业会员招募
    2
    64届高博会于2026年5月在南昌举办
    3
    征集科技创新成果
    中国高等教育学会版权所有
    北京市海淀区学院路35号世宁大厦二层 京ICP备20026207号-1