检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

101 篇 专利
3 篇 期刊文献

馆藏范围

104 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

3 篇 工学
- 1 篇 机械工程
- 1 篇 动力工程及工程热...
- 1 篇 纺织科学与工程

主题

3 篇 模块模型
2 篇 方案设计
1 篇 三维设计
1 篇 可适应模块
1 篇 数控机床
1 篇 参数化设计系统
1 篇 粗纱机
1 篇 工业锅炉

机构

3 篇 西南石油大学
3 篇 中国电力科学研究...
2 篇 广东世纪达建设集...
2 篇 许昌许继软件技术...
2 篇 特变电工西安柔性...
2 篇 苏州工业职业技术...
2 篇 大连理工大学
2 篇 国家电网有限公司
2 篇 中国人民解放军国...
2 篇 中国科学院沈阳自...
2 篇 国网辽宁省电力有...
2 篇 福建龙净环保股份...
2 篇 湖南科技大学
2 篇 国家电网公司
2 篇 上海理工大学
2 篇 苏州同元软控信息...
2 篇 光驰科技有限公司
2 篇 澳大利亚颗粒技术...
2 篇 中国广核电力股份...
2 篇 南京大学

作者

3 篇 周阳
3 篇 郑志伟
3 篇 孙华东
3 篇 敬爽
3 篇 王琦
3 篇 高兆鑫
3 篇 陈振
3 篇 黄志强
3 篇 付春丽
3 篇 兰天楷
3 篇 裘微江
3 篇 陈言
3 篇 李峰
3 篇 郭强
3 篇 李琴
3 篇 赵兵
2 篇 宫健
2 篇 杨远松
2 篇 n.克拉斯贝格
2 篇 王增辉

语言

104 篇 中文

检索条件"主题词=模块模型"

共 104 条记录，以下是61-70 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

一种应用软件形式化模型验证方法及装置

一种应用软件形式化模型验证方法及装置

引用

作者：贺飞王沁煜 100089 北京市海淀区清华园1号

本发明实施例公开一种应用软件形式化模型验证方法及装置。该方法包括：获取待验证的应用软件形式化模型；基于自动化的模型转换工具Beagle Translator，将应用软件形式化模型中的各进程模型转换为对应的模块模型，将应用软件形式化模... 详细信息

标准号: CN112269737A

本发明实施例公开一种应用软件形式化模型验证方法及装置。该方法包括：获取待验证的应用软件形式化模型；基于自动化的模型转换工具Beagle Translator，将应用软件形式化模型中的各进程模型转换为对应的模块模型，将应用软件形式化模型中的功能安全性质转换为对应的待验证属性，得到扩展标签迁移模型，并对扩展标签迁移模型进行功能安全性质验证；基于自动化的模型转换验证工具Proverif Translator，对应用软件形式化模型进行模型预定义、初始化信息转换、状态机模型转换、以及信息安全性质转换，得到基于π演算的进程代数模型，并对进程代数模型进行信息安全性质验证。应用本发明实施例提供的方案，能够提高模型验证效率。

关键词：应用软件标签迁移功能安全进程代数模型验证模型转换信息安全性质验证性质转换转换自动化验证初始化信息状态机模型进程模型模块模型验证工具预定义演算应用

来源：评论

学校读者我要写书评

暂无评论

一种智能手机合并转发延迟时间评估方法

一种智能手机合并转发延迟时间评估方法

引用

作者：朱晨阳薛普俊朱正伟诸燕平谢云欣 213164 江苏省常州市武进区滆湖路1号

本发明公开了一种智能手机合并转发延迟时间评估方法，包括以下步骤：建立智能手机Wi‑Fi模块模型、用户请求模型、阻塞控制器模型、唤醒控制器模型，进而由四个模型构成智能手机进行网络请求的PTA模板；对网络请求获取和释放唤醒锁概率... 详细信息

标准号: CN113645638A

本发明公开了一种智能手机合并转发延迟时间评估方法，包括以下步骤：建立智能手机Wi‑Fi模块模型、用户请求模型、阻塞控制器模型、唤醒控制器模型，进而由四个模型构成智能手机进行网络请求的PTA模板；对网络请求获取和释放唤醒锁概率分布进行配置，对用户请求参数进行配置；对智能手机网络请求进行蒙特卡洛模拟并得到不同网络请求概率分布下的智能手机Wi‑Fi模块能耗数据和用户不适感数据；根据步骤三所生成数据的显著性计算不同场景下通用的合并转发延迟时间。本发明准确反映不同合并转发延迟时间在不同使用场景下对智能手机能耗以及用户不适感方面的影响，帮助程序员定量分析通用的最优合并转发延迟时间，在满足用户需求的情况下最小化网络请求能耗。

关键词：智能手机网络请求延迟转发合并控制器模型概率分布通用的能耗唤醒用户请求参数显著性计算定量分析模块模型能耗数据生成数据时间评估使用场景用户请求用户需求最小化配置阻塞场景释放帮助

来源：评论

学校读者我要写书评

暂无评论

一种应用软件形式化模型验证方法及装置

一种应用软件形式化模型验证方法及装置

引用

作者：贺飞王沁煜 100089 北京市海淀区清华园1号

标准号: CN112269737B

来源：评论

学校读者我要写书评

暂无评论

Hammerstein非线性动态系统的建模及其连续搅拌反应器浓度控制

Hammerstein非线性动态系统的建模及其连续搅拌反应器浓度控制

引用

作者：李峰郑天王翔陶为戈王田虎 213001 江苏省常州市中吴大道1801号

本发明提供一种Hammerstein非线性动态系统的建模及其连续搅拌反应器浓度控制，利用Hammerstein非线性动态系统建立连续搅拌反应器模型，利用三层BP神经网络逼近静态非线性模块，利用传递函数模型建立线性动态模块模型，在该方法中，首... 详细信息

标准号: CN113050710A

本发明提供一种Hammerstein非线性动态系统的建模及其连续搅拌反应器浓度控制，利用Hammerstein非线性动态系统建立连续搅拌反应器模型，利用三层BP神经网络逼近静态非线性模块，利用传递函数模型建立线性动态模块模型，在该方法中，首先根据二进制信号的输入输出数据，采用最小二乘方法估计模型中动态线性模块的参数；其次，基于随机信号的输入输出数据，通过含有动量因子的随机梯度下降寻优算法估计模型中静态非线性模块的参数；最后，利用Hammerstein非线性系统的特殊结构将连续搅拌反应器系统的反应物浓度控制问题转化为线性系统控制问题，简化了控制系统的设计，取得到较好的控制效果。

关键词：连续搅拌反应器非线性动态系统输入输出数据非线性模块反应物浓度控制三层BP神经网络传递函数模型二进制信号非线性系统动量因子动态线性估计模型控制系统控制效果模块模型浓度控制算法估计随机梯度随机信号问题转化线性动态线性系统最小二乘建模寻优逼近

来源：评论

学校读者我要写书评

暂无评论

一种模型运行方法及相关装置

一种模型运行方法及相关装置

引用

作者：罗佳张忠立 201203 上海市浦东新区中国(上海)自由贸易试验区祖冲之路2288弄展讯中心1号楼

本申请实施例公开一种模型运行方法及相关装置。其中，模型运行方法包括：接收模型调用指令，该模型调用指令用于调用目标模型执行目标任务；基于该模型调用指令，确定目标模型对应的至少一个模块模型，并从内存中获取各个模块模型的第... 详细信息

标准号: CN112783506A

本申请实施例公开一种模型运行方法及相关装置。其中，模型运行方法包括：接收模型调用指令，该模型调用指令用于调用目标模型执行目标任务；基于该模型调用指令，确定目标模型对应的至少一个模块模型，并从内存中获取各个模块模型的第一控制指令和第一模型参数；基于各个模块模型对应的第一控制指令和第一模型参数，执行该目标任务。通过这样的方式，终端设备在调用模型执行目标任务时，可以直接从内存中获取模型的编译结果，从而缩短调用模型执行目标任务的时间，提升模型执行目标任务的效率。

关键词：模块模型模型调用控制指令模型参数指令调用内存调用目标目标模型相关装置终端设备编译申请

来源：评论

学校读者我要写书评

暂无评论

一种用于深度学习的多层递阶式神经网络架构系统

一种用于深度学习的多层递阶式神经网络架构系统

引用

作者：黄西士吕越峰张剑 215000 江苏省苏州市工业园区金鸡湖大道99号苏州纳米城16幢501室

本发明涉及深度学习技术的技术领域，特别是涉及一种用于深度学习的多层递阶式神经网络架构系统，其在更深的维度，也就是针对检测领域的特点，在深度学习的模型改进方面提出了有效的办法，发明了创新性的整体神经网路架构系统来应对具... 详细信息

标准号: CN111860620A

本发明涉及深度学习技术的技术领域，特别是涉及一种用于深度学习的多层递阶式神经网络架构系统，其在更深的维度，也就是针对检测领域的特点，在深度学习的模型改进方面提出了有效的办法，发明了创新性的整体神经网路架构系统来应对具有复杂特征和相似特征的各种不同类型的复杂缺陷，并能进行检测分类，同时降低了各个模块的设计需求，简化了模块模型，因此极大地降低了学习训练难度，并且易于优化和选取超参数；一种用于深度学习的多层递阶式神经网络架构系统包括三个模块：上层模块、下层模块和聚合模块。

关键词：架构系统神经网络阶式学习复杂特征检测领域聚合模块模块模型模型改进上层模块神经网路下层模块相似特征学习训练创新性维度分类检测优化

来源：评论

学校读者我要写书评

暂无评论

一种永磁推进系统仿真方法及平台

一种永磁推进系统仿真方法及平台

引用

作者：刘乐邵俊波肖烨然谢鹏飞徐晓康 430064 湖北省武汉市洪山区南湖汽校大院

本发明公开了一种永磁推进系统仿真方法及平台，综合考虑永磁推进系统仿真所需要实现的功能，建立三个相互关联的功能模块并集成：基于MATLAB/Simulink建立模块化的永磁推进系统仿真模型并建立可调用模型库；基于MATLAB/GUI建立可视化... 详细信息

标准号: CN112001028A

本发明公开了一种永磁推进系统仿真方法及平台，综合考虑永磁推进系统仿真所需要实现的功能，建立三个相互关联的功能模块并集成：基于MATLAB/Simulink建立模块化的永磁推进系统仿真模型并建立可调用模型库；基于MATLAB/GUI建立可视化的仿真界面；基于EXCEL建立仿真数据库；仿真界面采用图形化系统集成技术调用模型库的模块模型来集成相应的系统模型，为调用的每个模块模型配置仿真数据库中对应的设备参数，得到一套永磁推进系统方案，设置仿真模式，实现对系统方案的仿真，这样就可以在降低永磁推进系统建模复杂性和使用者对建模环境的认知要求的同时保证仿真模型的精确性，也提高了仿真模型的复用性，实现了仿真验证过程与结果的可视化。

关键词：推进系统永磁仿真模型调用模型库仿真数据库仿真界面模块模型可视化图形化系统仿真模式仿真验证集成技术建立模块建模环境设备参数系统模型综合考虑复用性建模调用认知关联配置保证

来源：评论

学校读者我要写书评

暂无评论

测试环境模型生成方法、装置、计算机设备和存储介质

测试环境模型生成方法、装置、计算机设备和存储介质

引用

作者：马东辉马强 100102 北京市朝阳区望京街10号院3号楼8层801室

本发明提供了一种测试环境模型生成方法、装置、计算机设备和存储介质，测试环境模型生成方法，包括：根据测试环境模型中每一子模块的配置参数，按照第一预设脚本文件调用可视化仿真工具模型库中的对应的元器件模型；根据每一子模块的... 详细信息

标准号: CN108241357B

本发明提供了一种测试环境模型生成方法、装置、计算机设备和存储介质，测试环境模型生成方法，包括：根据测试环境模型中每一子模块的配置参数，按照第一预设脚本文件调用可视化仿真工具模型库中的对应的元器件模型；根据每一子模块的配置参数，分类生成多个第一配置文件portconfig；根据第一配置文件portconfig，一次性关联对应的多个类型相同的元器件模型的接口，并封装生成对应的模块模型；根据模块模型和元器件模型，生成测试环境模型。通过本发明的技术方案，实现利用脚本文件快速自动生成测试环境模型，提高了测试效率。

关键词：测试环境元器件环境模型模块模型模型生成配置参数配置文件生成测试子模块脚本文件调用计算机设备可视化仿真测试效率存储介质工具模型脚本文件快速自动一次性预设封装关联分类

来源：评论

学校读者我要写书评

暂无评论

一种基于移动边缘计算的多用户多任务卸载方法

一种基于移动边缘计算的多用户多任务卸载方法

引用

作者：季荣华申富饶赵健 210046 江苏省南京市栖霞区仙林大道163号

本发明公开了一种基于移动边缘计算的多用户多任务卸载方法，所述方法包括：步骤1，构建基于移动边缘计算的多用户多任务场景模型，所述多用户多任务场景模型包括系统模型和模块模型；所述模块模型包括：任务模型、信道模型、任务卸载... 详细信息

标准号: CN111148134A

本发明公开了一种基于移动边缘计算的多用户多任务卸载方法，所述方法包括：步骤1，构建基于移动边缘计算的多用户多任务场景模型，所述多用户多任务场景模型包括系统模型和模块模型；所述模块模型包括：任务模型、信道模型、任务卸载模型和移动设备本地及边缘服务器的计算模型；步骤2，根据任务类别和任务卸载策略对任务进行卸载，所述任务类别包括个人任务和共享任务，所述任务卸载策略以最优的任务处理时延为目标求解获得。采用前述方法，能够在带共享任务的多用户多任务，且任务不可分的情况下，通过移动边缘计算实现用户和边缘服务器联合处理的时延优化。

关键词：任务卸载多用户边缘服务器模块模型任务场景任务类别移动计算模型联合处理任务处理任务模型时延优化系统模型信道模型移动设备共享求解构建时延卸载

来源：评论

学校读者我要写书评

暂无评论

动态物体的烘焙方法、装置、计算机设备和存储介质

动态物体的烘焙方法、装置、计算机设备和存储介质

引用

作者：王世安查雁南 510000 广东省广州市环市东路465号

本申请公开了一种动态物体的烘焙方法、装置、计算机设备和存储介质，其方法包括获取待烘焙的目标动态物体模型和场景信息；对目标动态物体模型进行模块划分，得到多个目标模块模型；将每个目标模块模型与烘焙数据集中的标准模块模型进... 详细信息

标准号: CN111445567A

本申请公开了一种动态物体的烘焙方法、装置、计算机设备和存储介质，其方法包括获取待烘焙的目标动态物体模型和场景信息；对目标动态物体模型进行模块划分，得到多个目标模块模型；将每个目标模块模型与烘焙数据集中的标准模块模型进行比对，找出每个目标模块模型对应的标准模块模型；基于标准模块模型和场景信息，从烘焙数据集中确定每个与标准模块模型和场景信息对应的标准贴图；采用每个标准贴图对各目标模块模型进行烘焙，并将烘焙后的各目标模块模型进行组合，得到烘焙目标动态物体模型。该方法对动态物体的阴影进行静态烘焙，将烘焙后可以作为资源存储下来以便后续动态调用，大幅提高了效率，避免了实时烘焙占用资源大和系统卡顿。

关键词：烘焙标准模块目标模块场景信息目标动态物体模型动态物体数据集中贴图计算机设备存储介质动态调用多个目标模块模型占用资源资源存储系统卡比对阴影申请

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共11页 << < 2 3 4 5 6 7 8 9 10 11 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：