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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

278 篇 会议
201 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

332 篇 工学
- 253 篇 计算机科学与技术...
- 206 篇 软件工程
- 69 篇 信息与通信工程
- 37 篇 控制科学与工程
- 27 篇 生物工程
- 24 篇 机械工程
- 22 篇 光学工程
- 18 篇 电子科学与技术（可...
- 17 篇 仪器科学与技术
- 16 篇 交通运输工程
- 13 篇 电气工程
- 12 篇 动力工程及工程热...
- 12 篇 建筑学
- 12 篇 生物医学工程（可授...
- 11 篇 材料科学与工程（可...
- 10 篇 安全科学与工程
- 9 篇 土木工程
- 8 篇 化学工程与技术
- 6 篇 网络空间安全
122 篇 理学
- 71 篇 数学
- 27 篇 生物学
- 21 篇 统计学（可授理学、...
- 19 篇 物理学
- 15 篇 系统科学
- 14 篇 化学
81 篇 管理学
- 52 篇 管理科学与工程(可...
- 39 篇 图书情报与档案管...
- 17 篇 工商管理
8 篇 法学
- 5 篇 社会学
8 篇 医学
- 7 篇 临床医学
4 篇 哲学
4 篇 经济学
3 篇 农学
2 篇 教育学
2 篇 文学
1 篇 艺术学

主题

14 篇 semantics
10 篇 object detection
10 篇 servers
9 篇 feature extracti...
9 篇 software
9 篇 heuristic algori...
7 篇 computational mo...
7 篇 machine learning
7 篇 computer vision
7 篇 training
6 篇 semantic segment...
6 篇 deep learning
6 篇 programming
6 篇 safety
6 篇 educational inst...
6 篇 optimization
6 篇 graph neural net...
6 篇 resource allocat...
6 篇 blockchain
6 篇 satellites

机构

180 篇 school of comput...
158 篇 state key labora...
112 篇 state key labora...
47 篇 state key labora...
23 篇 state key lab of...
20 篇 institute of art...
13 篇 zhongguancun lab...
12 篇 beijing advanced...
12 篇 hangzhou innovat...
11 篇 school of comput...
7 篇 state key labora...
7 篇 sino-french engi...
6 篇 school of mechan...
5 篇 shen yuan honors...
5 篇 school of artifi...
5 篇 beihang universi...
5 篇 beihang universi...
5 篇 school of comput...
5 篇 ping an technolo...
5 篇 state key labora...

作者

41 篇 xiao limin
31 篇 huang di
30 篇 ruan li
29 篇 limin xiao
20 篇 li ruan
18 篇 zhang xiong
17 篇 hao sheng
14 篇 bai xiao
14 篇 di huang
11 篇 wang yunhong
10 篇 li zhoujun
10 篇 chen jiaxin
10 篇 zhu mingfa
9 篇 liu xianglong
8 篇 wenge rong
8 篇 yang hongyu
8 篇 li yongnan
8 篇 xu ke
8 篇 luo jie
7 篇 peng hao

语言

416 篇 英文
57 篇 其他
9 篇 中文

检索条件"机构=State Key Lab.Of Software Development Environment School of Computer Science & Engineering"

共 480 条记录，以下是421-430 订阅

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

详细简洁

排序：

Location-based IP Addressing in IP-enable Wireless Sensor Networks

Location-based IP Addressing in IP-enable Wireless Sensor Ne...

引用

2011 International Conference on Control, Automation and Systems engineering(CASE)

作者： Rong DING Haiying DU State Key Laboratory of Software Development Environment Beihang University School of Computer Science and Engineering Beihang University

Network addressing is a traditional problem in communications *** addressing which can fully reflect the characteristics of Wireless Sensor Network will provide good support for the design of network routing and management *** location information which is important in most of WSN application can be used to simplify routing policy,and is also supported by *** this paper,we propose a location-based IP addressing *** assume that nodes in Wireless Sensor Network know their current physical location;thus,this location information can be exploited to facilitate the generation of Location-based IP *** paper describes Location-based IP addressing architecture for WSNs multicast and unicast within a local or metropolitan environment using two-dimensional address structures and analyzes the implementation in 6Lo WPAN.

关键词： wireless sensor network IP 6LoWPAN

来源：评论

学校读者我要写书评

暂无评论

Safety mechanism of RTOS on multi-core processor

Safety mechanism of RTOS on multi-core processor

引用

International Conference on System science, engineering Design and Manufacturing Informatization (ICSEM)

作者： Jiangtao Wu Xiang Long Lei Wang State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing China

In safety critical area, even the slightest error of the operating system could lead to a significant property damage or casualties. As a result, the safety of the RTOS (Real Time Operating System) must be improved. Rushby etc. have done lots of research on safety kernel. Multi-core processor is developing rapidly. This paper presents that the safety of real time system can be improved with a multi-core processor running a main operating system and a separated safety kernel. In addition, this paper gives a simple implementation and verifies its feasibility on MPC8641D.

关键词： Safety laboratories Monitoring Servers Educational institutions Kernel

来源：评论

学校读者我要写书评

暂无评论

Volume construction from surface model base on spatial topology

Volume construction from surface model base on spatial topol...

引用

IEEE International Conference on computer science and Automation engineering (CSAE)

作者： Jigang Li Yanbo Liang Xianhai Meng Qin Yang State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing China

Building a 3D geological model from field and subsurface data is a typical task in geological studies involving natural resource study. Constructing volume from surface model is an important step of the whole modeling process. In this paper, we present an efficient and robust approach based on the spatial topology to construct volume from surface model even with non-manifold boundary representation. This algorithm finds the surrounding surface of the volume by traversing the stratigraphic binary tree which indicating the spatial topology relation. Our algorithm meets the demanding requirements of interactive model editing and also can be used at numerical simulation. Results from field data modeling illustrate that the proposal method is effective and efficient.

关键词： Geology Solid modeling Surface treatment Binary trees Three dimensional displays Topology Robustness

来源：评论

学校读者我要写书评

暂无评论

Location-based IP Addressing in IP-enable Wireless Sensor Networks

Location-based IP Addressing in IP-enable Wireless Sensor Ne...

引用

2011 2nd Asia-Pacific Conference on Wearable Computing Systems

作者： Rong DING Haiying DU State Key Laboratory of Software Development Environment Beihang University School of Computer Science and Engineering Beihang University

Network addressing is a traditional problem in communications network. IP addressing which can fully reflect the characteristics of Wireless Sensor Network will provide good support for the design of network routing and management protocols. The location information which is important in most of WSN application can be used to simplify routing policy, and is also supported by IPv6. In this paper, we propose a location-based IP addressing protocol. We assume that nodes in Wireless Sensor Network know their current physical location;thus, this location information can be exploited to facilitate the generation of Location-based IP address. This paper describes Location-based IP addressing architecture for WSNs multicast and unicast within a local or metropolitan environment using two-dimensional address structures and analyzes the implementation in 6LoWPAN.

关键词： wireless sensor network IP 6Lo WPAN

来源：评论

学校读者我要写书评

暂无评论

Multiobjective optizition shuffled frog-leaping biclustering

Multiobjective optizition shuffled frog-leaping biclustering

引用

2011 IEEE International Conference onBioinformatics and Biomedicine Workshops, BIBMW 2011

作者： Liu, Junwan Hu, Xiaohua Li, Zhoujun Chen, Yiming School of Computer and Information Engineering Central South University of Forestry and Technology Changsha China College of Information Science and Technology Drexel University Philadelphia PA United States State Key Laboratory of Software Development Environment Beihang University Beijing China School of Computer National University of Defense Technology Changsha China

ISBN: (纸本)9781457716133

Biclustering of DNA microarray data that can mine significant patterns to help in understanding gene regulation and interactions. This is a classical multi-objective optimization problem (MOP). Recently, many researchers have developed stochastic search methods that mimic the efficient behavior of species such as ants, bees, birds and frogs, as a means to seek faster and more robust solutions to complex optimization problems. The particle swarm optimization(PSO) is a heuristics-based optimization approach simulating the movements of a bird flock finding food. The shuffled frog leaping algorithm (SFLA) is a population-based cooperative search metaphor combining the benefits of the local search of PSO and the global shuffled of information of the complex evolution technique. This paper introduces SFL algorithm to solve biclustering of microarray data, and proposes a novel multi-objective shuffled frog leaping biclustering(MOSFLB) algorithm to mine coherent patterns from microarray data. Experimental results on two real datasets show that our approach can effectively find significant biclusters of high quality. © 2011 IEEE.

关键词： Birds

来源：评论

学校读者我要写书评

暂无评论

Research on the accuracy of single precision on graphics processing unit

Research on the accuracy of single precision on graphics pro...

引用

International Conference on Multimedia and Signal Processing

作者： Yuan, Tao Mingfa, Zhu Limin, Xiao Li, Ruan Guan, Dongyi Chen, Siming Yi, Ding State Key Laboratory of Software Development Environment Beihang University China State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University China School of Computer Science and Engineering Beihang University Beijing China College of Mathematics Jilin Normal University Jilin China Lenovo Corporation Beijing China

ISBN: (纸本)9780769543567

The single precision in the computer is composed of two parts: the mantissa and the exponent. which are expressed by the limited binary bits. During adding on the single precision, the smaller one should shift to line up the decimal points, If the mantissa of the smaller one exceeds the range of registers, truncating or rounding off will be executed and cause losing precision. As far as the serials of GTX200 is concerned, the length of the register storing intermediate results is the same as the one for the final results. The accuracy problem is very prominent while the length of the mantissa exceeds the range of register after lining up the decimal points during the single precision adding. In this paper, we use the partial sum algorithm to improve the accuracy of single precision adding, and verify the correctness of the algorithm from the perspective of experiment by means of the matrix multiplication. Finally, we analyze the effect of partial sum algorithm on compute peak of the GPU and come to the conclusion that the partial sum algorithm has little influence on the compute peak of the GPU. © 2011 IEEE.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

Research on test executing system of spacecraft

Research on test executing system of spacecraft

引用

2011 International Conference on Mechatronic science, Electric engineering and computer, MEC 2011

作者： Li, Zhongwen Huang, Jia Ma, Shilong Wang, Ping State Key Laboratory of Software Development Environment Beihang University Beijing 100191 China School of Computer Science and Engineering Beihang University Beijing 100191 China Department of Power Distribution and Utilization and Rural Electrification China Electric Power Research Institute Beijing 100192 China

ISBN: (纸本)9781612847221

To meet the complex and variable characteristics of spacecraft testing business, and to increase the expandability of automated testing system, this paper proposed an architecture of spacecraft test executing system which is composed of test executing engine, business component library and registration center based on workflow. And discussed the key issues involved by the three parts of the architecture. Finally, this paper showed a typical application scenario under the architecture. © 2011 IEEE.

关键词： Engines

来源：评论

学校读者我要写书评

暂无评论

龙芯3号处理器多核虚拟化技术研究

龙芯3号处理器多核虚拟化技术研究

引用

2012全国高性能计算学术年会

作者： WANG Huixiang 王慧祥 RUAN Li 阮利 ZHU Mingfa 祝明发 XIAO Limin 肖利民 TANG Haofu 唐浩夫 State Key Laboratory of Software Development Environment Beijing 100191China 软件开发环境国家重点实验室北京 100191 School of Computer Science and Engineering Beihang UniversityBeijing 100191China 北京航空航天大学计算机学院北京 100191

MIPS处理器是精简指令集(RISC)处理器中的一个重要代表，通常应用于嵌入式系统中。近年来，随着MIPS处理器性能的大幅度提升，其应用渐渐的扩展到了高性能服务器领域。龙芯3号处理器是MIPS架构的典型代表。在目前的服务器研究领域中，... 详细信息

MIPS处理器是精简指令集(RISC)处理器中的一个重要代表，通常应用于嵌入式系统中。近年来，随着MIPS处理器性能的大幅度提升，其应用渐渐的扩展到了高性能服务器领域。龙芯3号处理器是MIPS架构的典型代表。在目前的服务器研究领域中，多核技术是一项重要的技术指标，而虚拟化技术是另一项重要的技术指标。当前，虽然虚拟化技术得到了快速发展，但是龙芯3号处理器上的虚拟化技术却鲜有成果。基于龙芯3号处理器的多核虚拟化技术面临许多问题，虚拟多核架构结构复杂，核间通信方式难以模拟等都会为龙芯3号处理器上的多核虚拟化带来困难。本文分析了多核龙芯3号处理器的硬件结构以及物理多核的核间中断通信方式，在此基础上介绍了龙芯3号处理器上多核虚拟化关键技术。主要在多核处理器虚拟化总体架构设计、虚拟多核结构设计以及虚拟多核的核间通信方式等方面进行了讨论。最后实验的结果表明在龙芯3号处理器上，多核虚拟化方法具有良好的效果。

关键词：处理器多核虚拟化技术精简指令集

来源：评论

学校读者我要写书评

暂无评论

Exploring Storage Optimizations to Accelerate Parallel Out-of-core Matrix Product

Exploring Storage Optimizations to Accelerate Parallel Out-o...

引用

The Fourth International Joint Conference on Computational science and Optimization(第四届计算科学与优化国际大会 CSO 2011)

作者： Bin Dong Xiuqiao Li Limin Xiao Li Ruan State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing 100191 P.R.China

The separate development between the storage system and scientific application has hidden most of internal implementation strategies of the storage system from the scientific application designers. This would worsen the existing I/O bottleneck problem of most scientific applications to some extent To address this problem, this study chooses the matrix and its parallel out-of-core product algorithm to study the interactions between the applications and the parallel storage system. Especially, the data distribution and access interfaces of the matrix are analyzed and optimized firstly. Then, the communication among processes are incorporated into the parallel out-of-core matrix multiplication algorithm to reduce its disk access times. Experiments show that the proposed optimizations can reduce the time spent in accessing data from disk and accelerate the parallel out-of-core matrix product.

关键词： Parallel out-of-core matrix product Parallel storage system Acceleration

来源：评论

学校读者我要写书评

暂无评论

Model Checking of Adaptive Programs with Mode-extended Linear Temporal Logic

Model Checking of Adaptive Programs with Mode-extended Linea...

引用

IEEE Workshop on engineering of Autonomic and Autonomous Systems (EASE)

作者： Yongwang Zhao Dianfu Ma Jing Li Zhuqing Li State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing China Institute of Advanced Computing Technology School of Computer Science and Engineering Beihang University Beijing China

Increasingly, software needs to dynamically adapt its structure and behavior at runtime in response to changing conditions in the supporting computing, network infrastructure, and in the surrounding physical environments. By high complexity, adaptive programs are generally difficult to specify, verify, and validate. Assurance of high dependability of these programs is a great challenge. Efficiently and precisely specifying requirements and flexible model checking for adaptation are the key issues for developing dependably adaptive software. This paper introduces a formal model for adaptive programs which have different behavioral modes. We consider that adaptive programs have two behavioral level, functional behavior and adaptation. state machine is used to describe functional behavior in different modes and mode automata is proposed for adaptations. Specifications of adaptive programs are classified into three categories, local, adaptation and global properties from their different scope of dynamic adaptation. To specify and verify specifications on our model, We propose the Mode-extended Linear Temporal Logic (mLTL) and its model checking approach. mLTL extends Linear Temporal Logic (LTL) by adding mode related element and enables describing properties on different modes. Our formal model and mLTL formulae are translated to SMV language and verified in NuSMV model checker.

关键词： Automata Adaptation models Receivers software Semantics Encryption Computational modeling

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共48页 << < 39 40 41 42 43 44 45 46 47 48 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：