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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,007 篇 专利
376 篇 期刊文献
49 篇 会议
35 件 标准
2 篇 成果

馆藏范围

2,469 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

360 篇 工学
- 190 篇 计算机科学与技术...
- 95 篇 软件工程
- 74 篇 网络空间安全
- 43 篇 控制科学与工程
- 38 篇 电子科学与技术（可...
- 34 篇 机械工程
- 32 篇 仪器科学与技术
- 28 篇 航空宇航科学与技...
- 23 篇 信息与通信工程
- 16 篇 兵器科学与技术
- 10 篇 动力工程及工程热...
- 7 篇 材料科学与工程（可...
- 5 篇 交通运输工程
- 3 篇 公安技术
- 2 篇 光学工程
- 2 篇 电气工程
- 2 篇 土木工程
- 2 篇 船舶与海洋工程
69 篇 管理学
- 51 篇 管理科学与工程(可...
- 20 篇 工商管理
- 2 篇 图书情报与档案管...
14 篇 军事学
- 8 篇 军队指挥学
- 4 篇 军事装备学
- 2 篇 战术学
- 2 篇 军制学
13 篇 经济学
- 12 篇 应用经济学
12 篇 理学
- 11 篇 系统科学
7 篇 艺术学
- 7 篇 设计学（可授艺术学...
6 篇 法学
- 4 篇 法学
3 篇 教育学
- 3 篇 教育学
1 篇 医学

主题

11 篇 网络安全
10 篇 区块链
8 篇 深度学习
8 篇 物联网
7 篇 计算机
7 篇 身份认证
7 篇 fpga
6 篇 人工智能
6 篇 射频识别
6 篇 神经网络
5 篇 嵌入式系统
5 篇 功能模块
4 篇 知识图谱
4 篇 捷联惯导
4 篇 计算机病毒
4 篇 系统设计
4 篇 相变
4 篇 软件测试
4 篇 云计算
4 篇 功能验证

机构

2,424 篇 北京计算机技术及...
179 篇 北京航天爱威电子...
22 篇 中国电子技术标准...
19 篇 北京计算机技术与...
16 篇 国家无线电监测中...
16 篇 国家密码管理局商...
16 篇 北京理工大学
16 篇 西安西电捷通无线...
15 篇 国家信息技术安全...
14 篇 中关村无线网络安...
14 篇 中国通用技术研究...
13 篇 中国科学院大学
12 篇 航天科工网络信息...
11 篇 华中科技大学
11 篇 航天科工智慧产业...
11 篇 西安电子科技大学
10 篇 重庆邮电大学
10 篇 华为技术有限公司
10 篇 北京航空航天大学
9 篇 北京交通大学

作者

98 篇 曾颖明
86 篇 蒋遂平
68 篇 郭敏
66 篇 王斌
65 篇 贾张涛
64 篇 张杨
64 篇 温泉
59 篇 安恒
58 篇 张力
58 篇 陈志浩
58 篇 李雅斯
58 篇 石波
57 篇 张丹
57 篇 王浩枫
55 篇 冯志华
51 篇 王颖
50 篇 冯大成
48 篇 孔祥炳
48 篇 陕振
48 篇 贾琼

语言

2,469 篇 中文

检索条件"机构=北京计算机技术及应用研究所　北京　100854"

共 2469 条记录，以下是581-590 订阅

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

详细简洁

排序：

基于扩展Lustre语言的模型形式化验证方法

基于扩展Lustre语言的模型形式化验证方法

引用

作者：张霄霄冯大成贾张涛李浩宇张建伟王磊陶金龙安恒李雅斯王云则庞皓明金玉川孔祥炳邵飒 100854 北京市海淀区永定路51号

本发明涉及一种基于扩展Lustre语言的模型形式化验证方法，属于代码溯源领域。本发明通过构建抽象语法树，遍历语法树提取数据模型同时完成语言转换，根据数据模型规则检查通过后，将转换后的模型和属性输入Kind2工具进行属性的形式化... 详细信息

标准号: CN116150005A

本发明涉及一种基于扩展Lustre语言的模型形式化验证方法，属于代码溯源领域。本发明通过构建抽象语法树，遍历语法树提取数据模型同时完成语言转换，根据数据模型规则检查通过后，将转换后的模型和属性输入Kind2工具进行属性的形式化验证；通过构建抽象语法树，可将扩展Lustre模型和属性转换为易访问的树型结构，同时完成扩展Lustre模型和属性的语法语义检查；遍历抽象语法树抽取中间模型的同时可完成语言转换；通过语言转换模块可将扩展Lustre语言模型转换为Kind2工具识别的语言格式，从而复用现有成熟的Kind2模型检测器实现形式化验证。该方法主要是利用模型转换方法完成扩展Lustre模型的规则检查和语言转换，从而将扩展Lustre语言的模型形式化验证方法应用于自研OnModel工具。

关键词：形式化验证抽象语法树语言转换规则检查遍历构建语言转换模块模型检测器工具识别模型转换属性转换树型结构数据模型提取数据语法语义语言格式语言模型中间模型语法树转换复用语言溯源抽取成熟访问检查

来源：评论

学校读者我要写书评

暂无评论

一种适用于网络靶场构建的异步函数流程控制方法

一种适用于网络靶场构建的异步函数流程控制方法

引用

作者：杨亦松李昆刑元单联强温泉刘康涛夏旸唐舸轩 100854 北京市海淀区永定路51号

本发明涉及一种适用于网络靶场构建的异步函数流程控制方法，属于信息安全技术领域。本发明严格遵守Promise/A+规范中的函数命名规则，并对Promise/A+规范进行扩展封装。该方法基于PHP语言实现，依靠PHP语言中“接口”特性实现，抛弃了... 详细信息

标准号: CN111399815B

本发明涉及一种适用于网络靶场构建的异步函数流程控制方法，属于信息安全技术领域。本发明严格遵守Promise/A+规范中的函数命名规则，并对Promise/A+规范进行扩展封装。该方法基于PHP语言实现，依靠PHP语言中“接口”特性实现，抛弃了将Promise/A+规则作为父类的实现方法，从而保证可靠性，并根据网络靶场构建的实际需求，设计了应对异步环境中大规模链式请求和大规模并发请求的流程控制机制，提高了网络靶场的构建效率及可靠性，最终实现了一套完善的适用于网络靶场构建的异步函数流程控制方法。

关键词：靶场构建函数流程网络流程控制机制信息安全技术命名规则实际需求异步环境父类链式封装并发抛弃保证

来源：评论

学校读者我要写书评

暂无评论

一种基于XML文件的国产化设备监测信息可视化方法

一种基于XML文件的国产化设备监测信息可视化方法

引用

作者：侯祖贵庄博阳林秀春王春野毕胜 100854 北京市海淀区永定路51号

本发明涉及一种基于XML文件的国产化设备监测信息可视化方法，属于硬件监测领域。本发明XML文件中将各种需要显示的监测信息类型进行模块化分类，使同类信息有效聚合，同时可增加或删除XML文件的节点，灵活增减需要显示的内容。使用Qt的... 详细信息

标准号: CN116955073A

本发明涉及一种基于XML文件的国产化设备监测信息可视化方法，属于硬件监测领域。本发明XML文件中将各种需要显示的监测信息类型进行模块化分类，使同类信息有效聚合，同时可增加或删除XML文件的节点，灵活增减需要显示的内容。使用Qt的QDom模块进行XML文件解析，根据读取的内容自动生成界面。本发明根据项目实际情况增减XML内节点内容，自动生成监测信息显示界面，无需对界面每个控件位置重新进行手动调整。

关键词：监测信息自动生成读取监测信息显示国产化设备节点内容控件位置手动调整同类信息硬件监测有效聚合可视化模块化解析删除分类灵活

来源：评论

学校读者我要写书评

暂无评论

一种堆叠式的七层网络数据交换系统

一种堆叠式的七层网络数据交换系统

引用

作者：邹昀辛王晓光 100854 北京市海淀区永定路51号

本发明涉及一种堆叠式的七层网络数据交换系统，属于集群和云计算交换技术领域。本发明通过将一个交换主板和多个计算主板相连，在交换主板上采用等价路由的方式构建集群式的2‑7层数据交换网络。通过交换主板实现2‑3层的网络数据交换，... 详细信息

标准号: CN115658236A

本发明涉及一种堆叠式的七层网络数据交换系统，属于集群和云计算交换技术领域。本发明通过将一个交换主板和多个计算主板相连，在交换主板上采用等价路由的方式构建集群式的2‑7层数据交换网络。通过交换主板实现2‑3层的网络数据交换，通过多个计算主板完成4‑7层的应用数据交换，与现有负载均衡技术相比，该方案能同时提升2‑3层的网络数据交换性能和4‑7层应用数据交换性能，从而实现了2‑7层网络交换性能的整体提升。

关键词：主板网络数据交换应用数据交换网络数据交换系统交换负载均衡技术数据交换网络等价路由方式构建交换技术网络交换整体提升堆叠式集群式云计算集群

来源：评论

学校读者我要写书评

暂无评论

一种基于ADRC的HMM故障预测系统

一种基于ADRC的HMM故障预测系统

引用

作者：李墈婧王泊涵戴志明李佳珍韩涛谢德鹏杨飞 100854 北京市海淀区永定路51号

本发明涉及一种基于ADRC的HMM故障预测系统，其中，包括：跟踪微分器、扩张状态观测器、非线性误差反馈控制器以及被控对象，系统输入信号v(t)作为跟踪微分器输入，扩张状态观测器输入为被控对象输出量y以及b0u，非线性误差反馈控制器采... 详细信息

标准号: CN109583124B

本发明涉及一种基于ADRC的HMM故障预测系统，其中，包括：跟踪微分器、扩张状态观测器、非线性误差反馈控制器以及被控对象，系统输入信号v(t)作为跟踪微分器输入，扩张状态观测器输入为被控对象输出量y以及b₀u，非线性误差反馈控制器采用PID反馈控制，非线性误差反馈控制器利用跟踪微分器和扩张状态观测器的输出，以得到系统的状态误差，被控对象确定的加速度部分f₀(x₁,x₂)以及系统未知部分，包括系统未建模部分和扰动部分w(t)，u为控制输入。本发明在于当系统模型存在未知部分的情况下，也能根据已知部分设计完整的扩张状态观测器(ESO)控制参数。充分利用已有的系统模型原理，提取出更精确的特征进行故障预测。

关键词：扩张状态观测器反馈控制器非线性误差跟踪微分器被控对象系统模型故障预测系统系统输入信号反馈控制故障预测控制参数状态误差扰动输出量建模输出

来源：评论

学校读者我要写书评

暂无评论

基于龙芯2K处理器的Linux系统串口数据包可靠传输方法

基于龙芯2K处理器的Linux系统串口数据包可靠传输方法

引用

作者：马帅黄聿澍张明庆姜有田 100854 北京市海淀区永定路51号

本发明涉及一种基于龙芯2K处理器的Linux系统串口数据包可靠传输方法，属于串口通信技术领域。本发明可以在不更改Linux系统内核串口驱动以及串口子系统的前提下，在非实时、批处理的Linux系统中实现串口数据包可靠传输。而且本发明可... 详细信息

标准号: CN115794236A

本发明涉及一种基于龙芯2K处理器的Linux系统串口数据包可靠传输方法，属于串口通信技术领域。本发明可以在不更改Linux系统内核串口驱动以及串口子系统的前提下，在非实时、批处理的Linux系统中实现串口数据包可靠传输。而且本发明可以在仅仅更改串口接口函数的情况下，使用户程序接收到的串口数据包不间断，保证了用户程序对于数据的完整性判断正确。另外，本发明充分利用了Glibc库中的串口发送、接收数据接口函数。因此，本发明的方法具有良好的代码可移植性。相比现有技术的方案，本发明的方法对于串口通信的性能有极小影响。

关键词：串口数据包可靠传输用户程序批处理串口通信技术代码可移植性接收数据接口完整性判断串口发送串口接口串口驱动串口通信非实时处理器龙芯保证

来源：评论

学校读者我要写书评

暂无评论

一种二进制应用程序安全加固方法和系统

一种二进制应用程序安全加固方法和系统

引用

作者：张记强金玉川张广申蒋萧猛王辉 100854 北京市海淀区永定路51号

本发明涉及一种二进制应用程序安全加固方法和系统，属于程序加固技术领域。本发明将二进制应用程序作为一个整体，通过对其压缩与加密等处理进行多态加固，并将解压与解密等处理流程的多态转换程序放入新的二进制应用程序中，在用户执... 详细信息

标准号: CN115952512A

本发明涉及一种二进制应用程序安全加固方法和系统，属于程序加固技术领域。本发明将二进制应用程序作为一个整体，通过对其压缩与加密等处理进行多态加固，并将解压与解密等处理流程的多态转换程序放入新的二进制应用程序中，在用户执行二进制应用程序时，本系统自动对加固后的二进制应用程序进行解压与解密处理，将用户的二进制应用程序从加固后二进制应用程序中恢复出来。本发明安全加固后二进制应用程序体积可控，不会影响程序的执行效率；未添加花指令，与处理器架构无关；可为每个应用程序单独设计密码，提高程序安全性。

关键词：二进制应用程序解压应用程序安全程序安全性处理器架构程序加固处理流程多态转换解密处理影响程序用户执行解密多态放入可控加密指令压缩恢复安全

来源：评论

学校读者我要写书评

暂无评论

一种军事领域标注数据修正与事件检测方法

一种军事领域标注数据修正与事件检测方法

引用

作者：宋颖毅张杭杨雨婷王又辰田宗凯范昕煜栾真邹烨葛志杜田沣 100854 北京市海淀区永定路51号

本发明涉及一种军事领域标注数据修正与事件检测方法，属于信息抽取技术领域。本发明使用原始数据集训练模型，并对原始标注数据进行预测，对于预测得分大于一定阈值的样本，将原始数据集的标注结果修改为模型预测结果，从而修正数据集... 详细信息

标准号: CN117217222A

本发明涉及一种军事领域标注数据修正与事件检测方法，属于信息抽取技术领域。本发明使用原始数据集训练模型，并对原始标注数据进行预测，对于预测得分大于一定阈值的样本，将原始数据集的标注结果修改为模型预测结果，从而修正数据集中的错误标注数据和污染数据，提高训练集的质量。本发明在模型训练时引入了分层学习率策略，为靠近下游任务的模型层参数设置更大的学习率，提高预训练模型对于下游任务的适配能力；在模型推理时采用基于投票修正的模型融合方法，通过模型集成的方式提升少样本类别事件的召回率和准确率，融合多个模型的投票结果确定最终预测结果，从而提升模型的鲁棒性。

关键词：标注原始数据集训练模型模型预测结果信息抽取技术参数设置错误标注结果修改军事领域模型集成模型融合模型训练事件检测数据修正投票结果污染数据修正数据样本类别预测结果鲁棒性模型层训练集预测准确率分层适配推理样本修正学习融合引入投票

来源：评论

学校读者我要写书评

暂无评论

基于双控设备的触发式管理系统

基于双控设备的触发式管理系统

引用

作者：刘彬彬王振帅杨祥举徐晗田鹏赵彬 100854 北京市海淀区永定路51号

本发明涉及一种基于双控设备的触发式管理系统，属于数据存储技术领域。该系统逻辑上分为接口层模块、数据层模块和处理层模块，在收到请求时增量更新系统状态数据，并提供了数据全量同步的接口，实现了完整的双控系统管理方案。本发明... 详细信息

标准号: CN116450718A

本发明涉及一种基于双控设备的触发式管理系统，属于数据存储技术领域。该系统逻辑上分为接口层模块、数据层模块和处理层模块，在收到请求时增量更新系统状态数据，并提供了数据全量同步的接口，实现了完整的双控系统管理方案。本发明中，一个控制器会通过RPC获取并整合另一个控制器的数据，保障了数据的同步；读操作直接从数据库获取数据，无需遍历所有外设，降低了读操作延时；写操作触发式更新相关的数据，无需全量重写数据库，降低了写操作的延时。

关键词：控制器读操作写操作延时数据库数据存储技术系统状态数据触发式更新接口层模块数据层模块管理系统获取数据双控设备双控系统系统逻辑增量更新触发式处理层同步的遍历整合重写外设管理

来源：评论

学校读者我要写书评

暂无评论

一种基于国产化显控台健康状态评估方法

一种基于国产化显控台健康状态评估方法

引用

作者：毕胜庄博阳刘更陈玮商进 100854 北京市海淀区永定路51号

本发明涉及一种基于国产化显控台健康状态评估方法，属于健康状态评估领域。本发明的方法包括：显控台评估状态量的标记；计算单一状态量所占常权系数；计算当前时刻状态量实测值分值；计算各板卡异常时的变权重系数；计算国产化显控台... 详细信息

标准号: CN116932973A

本发明涉及一种基于国产化显控台健康状态评估方法，属于健康状态评估领域。本发明的方法包括：显控台评估状态量的标记；计算单一状态量所占常权系数；计算当前时刻状态量实测值分值；计算各板卡异常时的变权重系数；计算国产化显控台整机的评估分值；划分国产化显控台健康状态评估等级；得出最终的健康状态评估结果。本发明提高了国产化显控台健康评估的效率，其结果准确、可靠，为国产化显控台持续稳定运行提供了有力保障。

关键词：健康状态评估单一状态健康评估评估状态权重系数时刻状态稳定运行权系数板卡实测整机评估

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共247页 << < 55 56 57 58 59 60 61 62 63 64 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：