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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

718 篇 会议
380 篇 期刊文献

馆藏范围

1,098 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

708 篇 工学
- 516 篇 计算机科学与技术...
- 417 篇 软件工程
- 108 篇 信息与通信工程
- 71 篇 网络空间安全
- 70 篇 电子科学与技术（可...
- 63 篇 控制科学与工程
- 62 篇 生物工程
- 54 篇 电气工程
- 39 篇 仪器科学与技术
- 36 篇 化学工程与技术
- 31 篇 机械工程
- 29 篇 光学工程
- 22 篇 航空宇航科学与技...
- 19 篇 安全科学与工程
- 17 篇 动力工程及工程热...
- 17 篇 核科学与技术
- 16 篇 生物医学工程（可授...
- 15 篇 材料科学与工程（可...
452 篇 理学
- 212 篇 物理学
- 181 篇 数学
- 72 篇 生物学
- 69 篇 地球物理学
- 56 篇 统计学（可授理学、...
- 39 篇 化学
- 31 篇 系统科学
151 篇 管理学
- 92 篇 管理科学与工程(可...
- 64 篇 图书情报与档案管...
- 18 篇 工商管理
27 篇 法学
- 20 篇 社会学
14 篇 军事学
- 14 篇 军队指挥学
10 篇 经济学
10 篇 医学
7 篇 农学
6 篇 教育学
2 篇 文学
1 篇 艺术学

主题

31 篇 feature extracti...
28 篇 network security
26 篇 cosmic rays
26 篇 security
25 篇 semantics
23 篇 deep learning
21 篇 software
20 篇 malware
20 篇 gamma rays
19 篇 machine learning
17 篇 cryptography
15 篇 training
14 篇 algorithm design...
13 篇 optimization
13 篇 data mining
13 篇 data models
12 篇 network topology
12 篇 computational mo...
11 篇 computer archite...
11 篇 gravitational wa...

机构

635 篇 state key labora...
97 篇 university of sc...
96 篇 hebei normal uni...
95 篇 state key labora...
95 篇 yunnan observato...
94 篇 tianfu cosmic ra...
94 篇 school of physic...
93 篇 university of ch...
90 篇 center for astro...
89 篇 institute of fro...
89 篇 college of physi...
89 篇 school of physic...
89 篇 moscow institute...
89 篇 school of astron...
88 篇 national space s...
87 篇 key laboratory f...
87 篇 school of physic...
85 篇 department of ph...
78 篇 department of en...
75 篇 national astrono...

作者

91 篇 danzengluobu
90 篇 axikegu
77 篇 fang j.
77 篇 feng c.f.
77 篇 liu d.
76 篇 bastieri d.
76 篇 jiang k.
76 篇 kuleshov d.
75 篇 liu s.m.
75 篇 huang d.h.
75 篇 dai h.l.
74 篇 chen m.j.
73 篇 liu b.
72 篇 guo y.q.
72 篇 bao y.w.
72 篇 hu h.b.
70 篇 li xin
70 篇 chen y.
69 篇 li cheng
68 篇 min z.

语言

1,057 篇 英文
22 篇 中文
19 篇 其他

检索条件"机构=State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou"

共 1098 条记录，以下是91-100 订阅

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

详细简洁

排序：

Software library functions implementation of a customized High-Level Synthesis environment

Software library functions implementation of a customized Hi...

引用

2013 2nd International Conference on Frontiers of Energy and Environment engineering, ICFEEE 2013

作者： Dang, Lin-Yu Pang, Jian-Min Yu, Jin-Tao Yang, Jin State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781138000513

Compared with traditional Hardware Design Languages (HDL) programming, High-Level Synthesis (HLS) can reduce the design difficulty of reconfigurable system. Most HLS tools target for systems on programmable chips, and do not support loosely coupled reconfigurable computers. This paper presents a method for using HLS results in some loosely coupled systems with Ethernet as means of communication. Software processes run on general purpose processors instead of embedded CPUs, and there are only hardware processes on the FPGAs. Software and hardware processes communicate over Ethernet with a self-designed reliable protocol. This paper mainly discusses the software part of this method. Finally, we present some primary experiment results on the PRCA (Proactive Reconfigurable computing Architecture) prototype platform created by our research group. The results indicate that the method is feasible. © 2014 Taylor & Francis Group, London.

关键词： General purpose computers

来源：评论

学校读者我要写书评

暂无评论

An Intrusion Detection Feature Selection Method Based on Improved Mutual Information 6

An Intrusion Detection Feature Selection Method Based on Imp...

引用

6th IEEE Information Technology, Networking, Electronic and Automation Control Conference, ITNEC 2023

作者： Qi, Zan Fei, Jinlong Wang, Jue Li, Xue State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781665460033

Feature selection methods for classification are crucial for intrusion detection techniques using machine learning. High-dimensional features in intrusion detection data affect computational complexity, consume more used resources and more time for data analysis, and the irrelevant and redundant features among them often hinder the performance of classifiers and mislead the classification task. Therefore, it is challenging to select more relevant features from intrusion detection data containing many such features. In this paper, we propose an efficient feature selection algorithm that first considers the correlation between features and the redundancy of pairs of features with respect to class labels based on an improved Pearson correlation coefficient, and later improves the evaluation function based on conditional mutual information to obtain a final subset of features with the goal of improving the classification rate and accuracy. The proposed feature selection method based on improved conditional mutual information is compared with three existing feature selection methods on the frequently studied public benchmark intrusion detection dataset NSL-KDD. The experimental results show that the features selected by the proposed method in this paper lead to a significant reduction in execution time while resulting in higher classification accuracy. © 2023 IEEE.

关键词： Feature Selection

来源：评论

学校读者我要写书评

暂无评论

Moving Target Defense Decision-Making Method: A Dynamic Markov Differential Game Model 7

Moving Target Defense Decision-Making Method: A Dynamic Mark...

引用

7th ACM Workshop on Moving Target Defense, MTD 2020

作者： Zhang, Hengwei Tan, Jinglei Liu, Xiaohu Wang, Jindong State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781450380850

Today most of the moving target defense decision-making methods are based on models of a discrete dynamic game. To more accurately study network attack-defense strategies against continuous confrontations, we analyze offensive and defensive behavior from a dynamic perspective. We propose a moving target defense decision-making method based on a model of a dynamic Markov differential game. We implement dynamic analysis and deduction of multi-stage continuous attack and defense confrontations for scenarios of continuous real-Time network attack-defense. We take into account the influence of random factors and changes of the network system in the gaming process, combine differential gaming with the Markov decision-making method, and construct models of attack-defense games. We propose a solution for game equilibrium based on an objective function designed according to the total discounted payoff of the offensive and defensive game and the analysis of the characteristics of multi-staged game equilibrium. On this basis an optimal strategy selection method is designed. We apply and verify the game model and the defense strategy selection algorithm by using the moving target defense technique. We conduct simulations to verify the effectiveness and feasibility of the model and algorithm. © 2020 ACM.

关键词： Decision making

来源：评论

学校读者我要写书评

暂无评论

Semantic Understanding of Source and Binary Code based on Natural Language Processing 4

Semantic Understanding of Source and Binary Code based on Na...

引用

4th IEEE advanced Information Management, Communicates, Electronic and Automation Control Conference, IMCEC 2021

作者： Zhang, Zhongtang Liu, Shengli Yang, Qichao Guo, Shichen State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781728185347

With the development of open source projects, a large number of open source codes will be reused in binary software, and bugs in source codes will also be introduced into binary codes. In order to detect the reused open source codes in binary codes, it is sometimes necessary to compare and analyze the similarity between source codes and binary codes. One of the main challenge is that the compilation process can generate different binary code representations for the same source code, such as different compiler versions, compilation optimization options and target architectures, which greatly increases the difficulty of semantic similarity detection between source code and binary code. In order to solve the influence of the compilation process on the comparison of semantic similarity of codes, this paper transforms the source code and binary code into LLVM intermediate representation (LLVM IR), which is a universal intermediate representation independent of source code and binary code. We carry out semantic feature extraction and embedding training on LLVM IR based on natural language processing model. Experimental results show that LLVM IR eliminates the influence of compilation on the syntax differences between source code and binary code, and the semantic features of code are well represented and preserved. © 2021 IEEE.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

Inter-domain Link Inference with Confidence Using Naïve Bayes Classifier 2021

Inter-domain Link Inference with Confidence Using Naïve Bay...

引用

2021 13th International Conference on Machine Learning and computing, ICMLC 2021

作者： Zhao, Yi Liu, Yan Guo, XiaoYu Sui, ZhongHang State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781450389310

Inter-domain link inference is not only important for network security and fault diagnosis, but also helps to conduct research on inter-domain congestion detection and network resilience assessment. Current researches on this issue lack confidence analysis of the inferred results. In this paper, the IP link types (i.e., intra-domain link and inter-domain link) are considered as the latent variable in probability model, while the parameters are probabilities of different link types with particular features. The expectation maximization algorithm is applied to estimate parameters of the model. In each iteration of EM algorithm, Naïve Bayes is used for classification. The final result is determined according to the probability, and the probability is the confidence of the result. The experimental results show that our method can achieve better precision and recall on the validation set than two existing general methods. © 2021 ACM.

关键词： Network security

来源：评论

学校读者我要写书评

暂无评论

RSM-PA:Research on Route Selection Method of Inter-domain Routing System Based on Path Availability 23

RSM-PA:Research on Route Selection Method of Inter-domain Ro...

引用

23rd IEEE International Conference on High Performance computing and Communications, 7th IEEE International Conference on Data Science and Systems, 19th IEEE International Conference on Smart City and 7th IEEE International Conference on Dependability in Sensor, Cloud and Big Data Systems and Applications, HPCC-DSS-SmartCity-DependSys 2021

作者： Zhu, Huihu Qiu, Han Zhu, Junhu Wang, Qingxian State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781665494571

The inter-domain routing system is the key infrastructure of the Internet. However, BGP does not consider the link state in the routing selection process. As a result, when the inter-domain routing system faces security incidents such as disasters and attacks, it is easy to cause the continuous propagation of link failures, resulting in a large-scale network disconnection and posing a considerable threat to the security of the Internet. The previous research mainly aims to enhance the protocol's safety, cannot change the original failure propagation mechanism, and cannot fundamentally solve cascading failure propagation. In response to this problem, this paper introduces SDN and proposes RSM-PA. This method perceives the available path topology by sharing the link state information in the region, provides a verification mechanism for the availability of the route in the routing process to avoid the link failure in the region due to overload. The comparison of routing results before and after the link state changes under the same experimental conditions shows that RSM-PA can effectively adjust the routing strategy according to the path availability, and lay a solid foundation for suppressing the propagation of cascading failures. © 2021 IEEE.

关键词： Network topology Heuristic algorithms Power system protection Routing Real-time systems Routing protocols Internet

来源：评论

学校读者我要写书评

暂无评论

Memory Error Detection Based on Dynamic Binary Translation 20

Memory Error Detection Based on Dynamic Binary Translation

引用

20th IEEE International Conference on Communication Technology, ICCT 2020

作者： Xu, Hang Ren, Wei Liu, Zimian Chen, Jiajun Zhu, Junhu State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781728181417

Dynamic memory error detection technology is widely utilized in locating and mitigating memory-corruption vulnerabilities. High false negative in existing technologies impairs the effectiveness of detection, especially when the detector has no source code. We proposed a dynamic memory error detection method based on dynamic binary translation. It realized the detection by combining a call stack tracing method and an IR language level memory error detection method. Experiments show that the detection success rate of this method in the heap and stack memory destruction is more than 80%. © 2020 IEEE.

关键词： Error detection

来源：评论

学校读者我要写书评

暂无评论

Stability Analysis of a Rumor Propagation Model in Complex Networks with Holling II Type Functional Response 6

Stability Analysis of a Rumor Propagation Model in Complex N...

引用

6th International Conference on Big Data and Information Analytics, BigDIA 2020

作者： Yu, Ze Zhou, Gang Luo, Junyong Zhang, Mengli Huang, Ningbo State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

In this paper, we propose a SH2I2 rumor propagation model considering self-learning mechanism and echo chamber situation with Holling type II functional response in homogeneous and heterogeneous networks. Firstly, we obtain the basic reproduction number through Jacobian Matrix method and calculate the equilibrium points. Secondly, we prove the existence of rumor-prevailing equilibrium point as well as the local and globally stabilities by Routh-Huiwitz judgment and Lyapunov function. Finally, we use theoretical analysis and numerical simulations to investigate the effect of parameters for suppressing the prevalence of rumors. © 2020 IEEE.

关键词： Heterogeneous networks

来源：评论

学校读者我要写书评

暂无评论

ALEmu: A Framework for Application-layer Programs Emulation of Embedded Devices 4

ALEmu: A Framework for Application-layer Programs Emulation ...

引用

4th International Conference on Computer engineering and Application, ICCEA 2023

作者： He, Heng Xiong, Xiaobing Zhao, Yuntian State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9798350347548

The difference between real devices and virtual environments causes a low success rate of application-layer program emulation when the firmware is operating in full-system emulation during the dynamic analysis of the firmware of embedded devices. In this paper, we propose ALEmu, an emulation framework for application-layer programs, which can effectively improve the emulation success rate of application-layer programs in embedded device firmware through automatic preprocessing of target programs, building configuration libraries, and hooking external program calls. When we test ALEmu on a variety of real-world devices, including routers and IP cameras, we find that it performs more successfully and accurately than the current state-of-the-art full-system emulation frameworks like Firmadyne and FirmAE. © 2023 IEEE.

关键词： Firmware

来源：评论

学校读者我要写书评

暂无评论

Vulnerability Model and Evaluation of the UEFI Platform Firmware Based on Improved Attack Graphs 9

Vulnerability Model and Evaluation of the UEFI Platform Firm...

引用

9th IEEE International Conference on Software engineering and Service Science, ICSESS 2018

作者： Cao, Fei Li, Qingbao Chen, Zhifeng State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781538665640

Targeted at the situation of rampant attack on UEFI Platform Firmware, this paper summarizes the UEFI platform firmware framework structure as well as its potential security problems. Then the vulnerability factors of UEFI platform firmware are described using the modeling language. This paper proposes an improved Attack Graphs model based on Finite state Machine (AGFSM), which can be used to evaluate the reliability of UEFI, as well as calculate the expected exploitation cost and expected attack loss. Finally, based on the AGFSM model, we realize the evaluation of a set of attack strategies for the UEFI platform firmware and verify the rationality of the model and the validity of the evaluation. The research is conducive to the rapid detection of the vulnerability of UEFI Platform Firmware, predict the attack paths and deploy the security strategy targeted to safeguard the firmware. © 2018 IEEE.

关键词： Firmware

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共110页 << < 6 7 8 9 10 11 12 13 14 15 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：