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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,624 篇 会议
57 册 图书
49 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

1,197 篇 工学
- 1,029 篇 计算机科学与技术...
- 560 篇 软件工程
- 263 篇 电气工程
- 151 篇 电子科学与技术（可...
- 147 篇 控制科学与工程
- 133 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 动力工程及工程热...
- 19 篇 仪器科学与技术
- 18 篇 材料科学与工程（可...
- 17 篇 建筑学
- 17 篇 土木工程
- 17 篇 安全科学与工程
- 16 篇 生物医学工程（可授...
- 14 篇 交通运输工程
- 14 篇 航空宇航科学与技...
- 13 篇 力学（可授工学、理...
- 11 篇 光学工程
- 11 篇 化学工程与技术
264 篇 理学
- 166 篇 数学
- 79 篇 系统科学
- 38 篇 物理学
- 32 篇 统计学（可授理学、...
- 13 篇 化学
- 12 篇 生物学
135 篇 管理学
- 114 篇 管理科学与工程(可...
- 51 篇 工商管理
- 28 篇 图书情报与档案管...
20 篇 经济学
- 20 篇 应用经济学
19 篇 法学
- 19 篇 社会学
11 篇 医学
6 篇 教育学
5 篇 农学
3 篇 军事学
1 篇 文学
1 篇 艺术学

主题

763 篇 computational mo...
616 篇 computer archite...
358 篇 hardware
222 篇 embedded systems
144 篇 analytical model...
142 篇 embedded system
134 篇 computer simulat...
128 篇 application soft...
123 篇 mathematical mod...
115 篇 field programmab...
112 篇 real time system...
100 篇 program processo...
90 篇 embedded computi...
87 篇 kernel
84 篇 software
83 篇 computer science
80 篇 parallel process...
79 篇 registers
73 篇 control systems
71 篇 timing

机构

10 篇 school of electr...
9 篇 rhein westfal th...
8 篇 institute for co...
8 篇 center for embed...
7 篇 center for embed...
7 篇 department of co...
6 篇 computer systems...
6 篇 computer systems...
6 篇 institute for co...
6 篇 fraunhofer iese ...
5 篇 school of automa...
5 篇 school of electr...
5 篇 university of za...
5 篇 embedded systems...
5 篇 university of te...
5 篇 eindhoven univer...
5 篇 national cims en...
5 篇 the university o...
5 篇 eindhoven univer...
5 篇 shanghai key lab...

作者

19 篇 leupers rainer
16 篇 ascheid gerd
15 篇 soudris dimitrio...
14 篇 dimitrios soudri...
13 篇 rainer leupers
12 篇 gerd ascheid
12 篇 pimentel andy d.
10 篇 andy d. pimentel
10 篇 jung matthias
10 篇 holger blume
9 篇 fornaciari willi...
9 篇 kostas siozios
9 篇 christian haubel...
9 篇 blume holger
9 篇 andreas gerstlau...
9 篇 takala jarmo
8 篇 mohamed abid
8 篇 f. fummi
8 篇 george economako...
8 篇 wehn norbert

语言

2,717 篇 英文
8 篇 中文
5 篇 其他

检索条件"任意字段=International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation"

共 2730 条记录，以下是2661-2670 订阅

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

详细简洁

排序：

A modular simulation framework for architectural exploration of on-chip interconnection networks 03

A modular simulation framework for architectural exploration...

引用

international conference on Hardware/Software Codesign and System Synthesis (CODES)

作者： T. Kogel M. Doerper A. Wieferink R. Leupers G. Ascheid H. Meyr S. Goossens Integrated Signal Processing Systems RWTH Aachen University of Technology Germany Toware Inc. Leuven Belgium

ISBN: (纸本)9781581137422

Ever increasing complexity and heterogeneity of SoC platforms require on-chip communication schemes beyond the currently omnipresent shared bus architectures. To prevent time consuming design changes late in the design flow, we propose the early exploration of the on-chip communication architecture to meet performance and cost requirements. Based on SystemC 2.0.1 we have defined a modular exploration framework, which is able to capture the effect on performance for different on-chip networks like dedicated point-to-point, shared bus, and crossbar topologies. Monitoring of performance parameters like utilization, latency and throughput drives the mapping of the intermodule traffic to an efficient communication architecture. The effectiveness of our approach is demonstrated by the exemplary design of a high performance Network Processing Unit (NPU), which is compared against a commercial NPU device.

关键词： Network-on-a-chip Multiprocessor interconnection networks System-on-a-chip Quality of service Costs Network topology computer architecture Telecommunication network reliability Computational modeling Signal processing

来源：评论

学校读者我要写书评

暂无评论

Configurable Heterogeneous MPSoC Architecture Exploration Using Abstraction Levels

Configurable Heterogeneous MPSoC Architecture Exploration Us...

引用

international Workshop on Rapid System Prototyping (RSP)

作者： Hao Shen Patrice Gerin Frédéric Pétrot System Level Synthesis Group TIMA Laboratory I. N. P. Grenoble France System Level Synthesis Group INP Grenoble France

Configurable processors are adopted by several latest embedded system projects to make use of application specific custom instructions for instruction level parallelism. Meanwhile, designers also use multiple processors for thread level parallelism. Configurable heterogeneous multi-processor system-on-chip (CH-MPSoC) has both parallelism advantages and seems to be a good solution for future embedded systems. Because CH-MPSoC has lots of architectural parameters, new design methodologies are required to help exploring this huge design space and finding a suitable solution for all user-defined constraints. We propose a new exploration flow using a budget based problem partitioning approach integrated with multiple abstraction levels. By using several abstraction levels, global budgets of speed, power and cost can be decomposed into detailed ones which are mapped onto each component. One special abstraction level called transaction accurate level is used in our flow to model both multi-processor architectures and configurable processors. At this level, hardware tasks and peripherals use transaction level modeling to achieve high simulation speed. Statistic information of configurable processors is abstracted and annotated to each software tasks. The execution results are used to adjust budgets and guide automatic extended instructions generation. With the Motion-JPEG case study, we illustrate detailed advantages of our CH-MPSoC exploration flow.

关键词： Parallel processing Costs embedded system Yarn System-on-a-chip computer architecture Application software Timing Prototypes Legged locomotion

来源：评论

学校读者我要写书评

暂无评论

Distributed parallel computing architecture design philosophy for TTC evaluation with transient stability constraints

Distributed parallel computing architecture design philosoph...

引用

international conference on Electric Utility Deregulation and Restructuring and Power Technologies (DRPT)

作者： Z. J. Guo L. B. Shi Z. X. Yao National Key Laboratory of Power Systems Shenzhen Graduate School Shenzhen Tsinghua University Shenzhen China Jiangxi Electric Power Dispatch Center Nanchang China

This paper presents a novel calculation framework for TTC evaluation with transient stability (TS) constraints with respect to an usual or a critical contingency set. The basic solution strategy for TTC evaluation is introduced, and the whole system architecture and computing flow are given in this paper. In order to implement the security margin of large-scale interconnected power system efficiently and rapidly, especially for on-line application, a novel distributed parallel computing architecture design philosophy, called as optimal workstation cluster computing model is proposed. Furthermore, some key module design philosophies are issued as well. The proposed distributed parallel computing platform can be easily and conveniently embedded into the existing dynamic security assessment (DSA) system or such systems related to power market to implement the on-line security assessment. On the other hand, the distributed parallel computing platform can make intensive off-line simulation related to the specified case studies.

关键词： Parallel processing computer architecture Power system security Power system transients Power system stability Power system interconnection Power system modeling Large-scale systems Workstations Concurrent computing

来源：评论

学校读者我要写书评

暂无评论

Brain-computer interface based camera carrier in aerospace

Brain-computer interface based camera carrier in aerospace

引用

IEEE international conference on Automation and Logistics

作者： Genghuang Yang Li Zhao Shigang Cui Yuliang Liu Longteng Xiao Xuelian Xu School of Automation and Electrical Engineering Tianjin University of Technology and Education Tianjin China

ISBN: (纸本)9781424447947

An on-line BCI system is designed to control self-designed robot for photo-taking. The simulated experiment of BCI's application outside space-ship in aerospace is included in this paper. The P300-based BCI system includes three modules: visual stimulus, EEG sampling and signal processing, external robot controlling. A robot acts as the carrier for the camera. The robot is developed with the ability of six-direction-free moving and simple two-direction operation. The robot can move forward and backward, go up and down, turn to left and right. Also the robot can grasp and release a shuttle of a camera. In the experiment, the subject chooses the right oddball on a CRT/LCD displayer with eight blocks which are corresponding to the directions and operations, and gazes at it. The EEG is sampled by a DSP-based device to extract the P300 characteristic. The robot is controlled to move or operate by the subject's EEG with wire or wireless communication. The classical visual oddball paradigm is designed on LabVIEW platform. Simple wavelet analysis and statistics algorithm are embedded in DSP to do EEG processing. Plenty of experiments in laboratory shows that the system accomplishes the real-time controlling of the external robot successfully.

关键词： Brain computer interfaces Cameras Orbital robotics Electroencephalography Robot vision systems Robot control Control systems Communication system control Brain modeling Aerospace simulation

来源：评论

学校读者我要写书评

暂无评论

A time domain frequency-selective multivariate granger causality approach

A time domain frequency-selective multivariate granger causa...

引用

Annual international conference of the IEEE Engineering in Medicine and Biology Society (EMBC)

作者： Lutz Leistritz Herbert Witte Institute of Medical Statistics Computer Sciences and Documentation Friedrich Schiller University Jena Jena Germany

The investigation of effective connectivity is one of the major topics in computational neuroscience to understand the interaction between spatially distributed neuronal units of the brain. Thus, a wide variety of methods has been developed during the last decades to investigate functional and effective connectivity in multivariate systems. Their spectrum ranges from model-based to model-free approaches with a clear separation into time and frequency range methods. We present in this simulation study a novel time domain approach based on Granger's principle of predictability, which allows frequency-selective considerations of directed interactions. It is based on a comparison of prediction errors of multivariate autoregressive models fitted to systematically modified time series. These modifications are based on signal decompositions, which enable a targeted cancellation of specific signal components with specific spectral properties. Depending on the embedded signal decomposition method, a frequency-selective or data-driven signal-adaptive Granger Causality Index may be derived.

关键词： Time series analysis Time-frequency analysis Signal resolution Time-domain analysis Computational modeling

来源：评论

学校读者我要写书评

暂无评论

A general framework for formalizing UML with formal languages 01

A general framework for formalizing UML with formal language...

引用

Proceedings of the 23rd international conference on Software Engineering

作者： William E. McUmber Betty H. C. Cheng Department of Computer Science and Engineering Michigan State University 3115 Engineering Building East Lansing MI

ISBN: (纸本)9780769510507

Informal and graphical modeling techniques enable developers to construct abstract representations of systems. Object-oriented modeling techniques further facilitate the development process. The Unified modeling Language (UML), an object-oriented modeling approach, could be broad enough in scope to represent a variety of domains and gain widespread use. Currently, UML comprises several different notations with no formal semantics attached to the individual diagrams. Therefore, it is not possible to apply rigorous automated analysis or to execute a UML model in order to test its behavior, short of writing code and performing exhaustive testing. We introduce a general framework for formalizing a subset of UML diagrams in terms of different formal languages based on a homomorphic mapping between metamodels describing UML and the formal language. This framework enables the construction of a consistent set of rules for transforming UML models into specifications in the formal language. The resulting specifications derived from UML diagrams enable either execution through simulation or analysis through model checking, using existing tools. This paper describes the use of this framework for formalizing UML to model and analyze embedded systems. A prototype system for generating the formal specifications and results from an industrial case study are also described.

关键词： formal specifications

来源：评论

学校读者我要写书评

暂无评论

Automated, retargetable back-annotation for host compiled performance and power modeling 13

Automated, retargetable back-annotation for host compiled pe...

引用

international conference on Hardware/Software Codesign and System Synthesis (CODES)

作者： Suhas Chakravarty Zhuoran Zhao Andreas Gerstlauer Electrical and Computer Engineering The University of Texas at Austin

ISBN: (纸本)9781479914173

With traditional cycle-accurate or instruction-set simulations of processors often being too slow, host-compiled or source-level software execution approaches have recently become popular. Such high-level simulations can achieve order of magnitude speedups, but approaches that can achieve highly accurate characterization of both power and performance metrics are lacking. In this paper, we propose a novel host-compiled simulation approach that provides close to cycle-accurate estimation of energy and timing metrics in a retargetable manner, using flexible, architecture description language (ADL) based reference models. Our automated flow considers typical front- and back-end optimizations by working at the compiler-generated intermediate representation (IR). Path-dependent execution effects are accurately captured through pairwise characterization and backannotation of basic code blocks with all possible predecessors. Results from applying our approach to PowerPC targets running various benchmark suites show that close to native average speeds of 2000 MIPS at more than 98% timing and energy accuracy can be achieved.

关键词： Timing Program processors Computational modeling Accuracy Optimization Estimation Pipelines

来源：评论

学校读者我要写书评

暂无评论

Convolutional neural networks for intestinal hemorrhage detection in wireless capsule endoscopy images

Convolutional neural networks for intestinal hemorrhage dete...

引用

IEEE international conference on Multimedia and Expo (ICME)

作者： Panpeng Li Ziyun Li Fei Gao Li Wan Jun Yu Key Laboratory of Complex Systems Modeling and Simulation Hangzhou Dianzi University School of Communication Engineering Hangzhou Dianzi University College of Computer Science Chongqing University

ISBN: (纸本)9781509060689

Wireless capsule endoscopy (WCE) can painlessly capture a large number of images inside the intestine. However, only a small portion of these WCE images contain hemorrhage. It is thus critical to develop automated hemorrhage detection method to facilitate the diagnosis of intestinal diseases. However, automated hemorrhage detection is complicated by 1) the extreme imbalance between the amount of hemorrhage images and that of normal images; and 2) the variety of the appearance, texture, and luminance inside the intestine. In this paper, we proposed to learn a robust intestinal hemorrhage detection model via Convolutional Neural Networks (CNNs), because of CNNs' extraordinary performance in solving various image understanding tasks. Specially, we explored different CNN architectures and data augmentation methods. Besides, we investigated the correlation between hemorrhage detection accuracy and image quality. Across about 1.3k hemorrhage images and 40k normal images, the learned CNN model achieves an F-measure of 98.87%.

关键词： Hemorrhaging Optical wavelength conversion Endoscopes Machine learning Biomedical imaging Training Wireless communication

来源：评论

学校读者我要写书评

暂无评论

Development of Efficient Obstacle Avoidance for a Mobile Robot Using Fuzzy Petri Nets

Development of Efficient Obstacle Avoidance for a Mobile Rob...

引用

IEEE international conference on Information Reuse and Integration (IRI)

作者： Philip D. Baldoni Yilin Yang Seung-Yun Kim Department of Electrical and Computer Engineering College of New Jersey Ewing USA

ISBN: (纸本)9781509032082

In the field of autonomously operated robots it is quite common for a form of environment mapping to be implemented. The process of environment mapping requires standby time and processing time. The robot remains stationary and surveys the surroundings, then constructs an environmental representation and determines the appropriate path of travel. This process diminishes the fluidity of robot locomotion, resulting in limited applications. Through the application of fuzzy Petri nets (FPNs) with embedded memory module, an enhanced mapping method was proposed to overcome such a limitation. With the storage and reuse of key information, such as past calculations and decisions made by the robot, time spent in survey and analysis is reduced. Since this approach requires less processing time, the proposed method can be executed while the robot is in motion, continuously looping at frequent intervals. The proposed method brings the benefits of greater movement fluidity while also introducing the ability to navigate in a dynamic environment with less erratic decision making. The modeling and simulation results demonstrated an 8% increase in efficiency.

关键词： Petri nets Robot sensing systems Production Fires Collision avoidance

来源：评论

学校读者我要写书评

暂无评论

Adaptive Strategies for Maximizing Spectral Efficiency in dual branch MRC systems Facing non-Uniform Fading Patterns

Adaptive Strategies for Maximizing Spectral Efficiency in du...

引用

Annual Information Technology, Electromechanical Engineering and Microelectronics conference (IEMECON)

作者： Deepak Upadhyay Kunj Bihari Sharma Mridul Gupta Rashmi Sharma Abhay Upadhyay Dept. of Computer Science and Engineering Graphic Era Hill University Dehradun India Dept. of Computer Science and Engineering Graphic Era Deemed to be University Dehradun India Dept. of Electronics and Communication Engineering Graphic Era Deemed to be University Dehradun India Dept. of Computer Science and Engineering Symbiosis Institute of Technology Nagpur Campus Symbiosis International Deemed University Pune India

ISBN: (数字)9798350387315

ISBN: (纸本)9798350387322

The presented research paper investigates the development and performance of adaptive strategies for non-uniform fading patterns in dual-branch Maximal Ratio Combining systems. The study employs key enabling strategies, including power control, adaptive modulation, and antenna selection, with the purpose of improving the spectral efficiency and reliability of wireless communication systems. Conducting simulations in MATLAB and Python, this paper presents a comprehensive analysis using heatmaps, 3D surface plots, and dynamic simulation outputs to show the effect of the strategies under different Signal-to-Noise Ratios and fading conditions. The outcomes, illustrated in a clear-cut manner in the visuals, reveal that the adaptive strategies lead to a drastic reduction in the Bit Error Rates and a more optimal distribution of power across the branches, ensuring highly effective performance even in the case of the most challenging non-uniform fading patterns. Ultimately, the research findings show sight into the necessity of adaptive strategies to ensure proper coverage and quality of communication in non-uniform fading conditions, which novel research could benefit from.

关键词： Fading channels Solid modeling Analytical models Adaptive systems Three-dimensional displays Spectral efficiency Power control Bit error rate Modulation Signal to noise ratio

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共273页 << < 263 264 265 266 267 268 269 270 271 272 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：