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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,288 篇 工学
- 1,119 篇 计算机科学与技术...
- 591 篇 软件工程
- 286 篇 电气工程
- 158 篇 电子科学与技术（可...
- 150 篇 控制科学与工程
- 137 篇 信息与通信工程
- 50 篇 机械工程
- 44 篇 动力工程及工程热...
- 19 篇 仪器科学与技术
- 19 篇 建筑学
- 18 篇 材料科学与工程（可...
- 18 篇 安全科学与工程
- 17 篇 土木工程
- 16 篇 生物医学工程（可授...
- 14 篇 交通运输工程
- 14 篇 航空宇航科学与技...
- 13 篇 力学（可授工学、理...
- 12 篇 生物工程
- 11 篇 光学工程
275 篇 理学
- 173 篇 数学
- 81 篇 系统科学
- 38 篇 物理学
- 33 篇 统计学（可授理学、...
- 14 篇 化学
- 14 篇 生物学
142 篇 管理学
- 119 篇 管理科学与工程(可...
- 52 篇 工商管理
- 30 篇 图书情报与档案管...
21 篇 经济学
- 21 篇 应用经济学
20 篇 法学
- 20 篇 社会学
11 篇 医学
6 篇 教育学
5 篇 农学
3 篇 军事学
1 篇 文学
1 篇 艺术学

主题

763 篇 computational mo...
616 篇 computer archite...
361 篇 hardware
222 篇 embedded systems
144 篇 analytical model...
142 篇 embedded system
134 篇 computer simulat...
128 篇 application soft...
123 篇 mathematical mod...
116 篇 field programmab...
112 篇 real time system...
103 篇 program processo...
90 篇 embedded computi...
89 篇 kernel
84 篇 software
83 篇 computer science
82 篇 parallel process...
81 篇 registers
73 篇 control systems
72 篇 algorithm design...

机构

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 篇 eindhoven univer...
6 篇 computer systems...
6 篇 natl tech univ a...
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 篇 national cims en...
5 篇 the university o...
5 篇 eindhoven univer...

作者

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

语言

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

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

共 2831 条记录，以下是2591-2600 订阅

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

详细简洁

排序：

PreSyNC: Hardware realization of the Presynaptic Region of a Biologically Extensive Neuronal Circuitry

PreSyNC: Hardware realization of the Presynaptic Region of a...

引用

international conference on VLSI Design

作者： Rounak Chatterjee Souradeep Chowdhury Soham Mondal Arnab Raha Janet Paluh Amitava Mukherjee Jadavpur University Kolkata India Memory Solutions Samsung Electronics Co. Ltd. Bangalore India Advanced Architecture Research Intel Edge. AI Intel Corporation Santa Clara USA Colleges of Nanoscale Science and Engineering Nanobioscience SUNY Polytechnic Institute Albany New York USA Adamas University Kolkata India

Spiking Neural Networks (SNN) have gained relevance in recent times, due to their ability to mimic the biological nature to communicate and process sparse asynchronous binary signals in a massively parallel fashion. SNN based neuromorphic hardware exhibits highly desired favourable properties such as low power consumption, fast inference, and event-driven information processing. A recognized challenge of standard SNN neuron models is their limited capabilities in biological applications, such as applying neural networks to study network responses arising from variations pertaining to damage, external influence or disruptions in channel transfer dynamics. This paper presents Pre-Synaptic Neuronal Circuit (PreSyNC), a high performance hardware realization of an input-specific presynaptic region of a generic neuron, without abstraction of primary intra-neuronal parameters. PreSyNC is configured to operate on three precision modes: IEEE 754 single precision, double precision and the recently developed universal number posit number system. The developed hardware design is compared to current standards of SNN neuron models as well as biological models in terms of flexibility, resource efficiency and damage modelling capability. Error margins as low as 0.9 % were obtained and suggest the capability of our hardware in handling applications involving large scale neuron networks. These architectures are synthesized on 45 nm process technology where they all operate at a minimum frequency of approximately 1GHz. The three precision modes are compared based on power, accuracy, and sensitivity handling and are expected to benefit implantation oriented applications such as neural prosthesis and Human-computer Interaction (HCI). The posit-based implementation outperforms the rest of the operating modes in terms of RMS error, while having 26.3 % less area and 25.2 % less power consumption compared to double precision implementation. These new architectures can be expanded in the fut

关键词： Human computer interaction Adaptation models Power demand Neuromorphics Biological system modeling Neurons Hardware

来源：评论

学校读者我要写书评

暂无评论

Extension processing in a parallel and distributed environment

Extension processing in a parallel and distributed environme...

引用

IEEE international conference on systems, Man and Cybernetics

作者： Liang-Teh Lee Ching-Ren Wei Department of Computer Science and Engineering Tatung Institute of Technology Taipei Taiwan

Extension set theory is developed for deriving solutions and transformations in problems, especially for contradictory problems, in an intelligent system. A matter element (ME) which contains three tuples, the name N, the characteristic c and the value /spl nu/, is defined to represent an object in the extension set theory. By means of continuous substitution and estimating the correlation between MEs found in the database, a problem is solved or transformed to an equivalent problem which is easier understood and solved. Due to the huge computing power consumed in the process of transforming and comparing MEs and estimating the correlation between the MEs found. Powerful and more effective schemes and architectures are required. We propose a parallel and distributed environment for extension processing. The kernel of the system is an architecture based on dataflow execution with a technique of parallel prefix computation, which is the model of a predefined macro actor to perform the extension process. The extension processing or continuous performing is spawned simultaneously when the associated MEs are returned from the database: the returned MEs are processed in a parallel and distributed manner. Therefore, a higher performance and throughput can be achieved. The evaluation of the scheme is developed and tasted according to the requirement of the extension process. From the simulation results, the proposed scheme and associated architecture can provide an effective environment for transformation of MEs.

关键词： Set theory computer architecture computer science Kernel Concurrent computing Power system modeling Distributed databases Throughput Testing Magnetic flux leakage

来源：评论

学校读者我要写书评

暂无评论

Future electronic power distribution systems a contemplative view

Future electronic power distribution systems a contemplative...

引用

international conference on Optimization of Electrical and Electronic Equipment, OPTIM

作者： Dushan Boroyevich Igor Cvetković Dong Dong Rolando Burgos Fei Wang Fred Lee Center for Power Electronics Systems (CPES) The Bradley Department of Electrical and Computer Engineering Virginia Polytechnic Institute and State University Blacksburg VA USA

Although it has long been argued that electronic power converters can help improve system controllability, reliability, size, and efficiency, their penetration in power systems is still quite low. The often-cited barriers of higher cost and lower reliability of the power converters are quite high if power electronics is used as direct, one-to-one, replacement for the existing electromechanical equipment. However, if the whole power distribution system were designed as a system of controllable converters, the overall system cost and reliability could actually improve, as is currently the case at low power levels within computer and telecom equipment. Starting from the example of a computer power system, the paper contemplates possible future ac and dc electronic power distribution system architectures, especially in the presence of renewable energy sources. The proposed nanogrid-microgrid-...-grid structure achieves hierarchical dynamic decoupling of generation, distribution, and consumption by using bidirectional converters as energy control centers. This is illustrated by the description and simulation of static and dynamic operation of a dc nanogrid in a hypothetical future sustainable home. Several ideas for modeling, analysis, and system-level design of such systems, including power flow control, protection, stability, and subsystem interactions, are presented.

关键词： Power distribution Power system reliability Costs Distributed computing Telecommunication computing Power system dynamics Controllability Power electronics Control systems Telecommunication control

来源：评论

学校读者我要写书评

暂无评论

Using Digital Twin Data for the Attribute-Based Usage Control of Value-Added Networks

Using Digital Twin Data for the Attribute-Based Usage Contro...

引用

international conference on Software Defined systems (SDS)

作者： Alexander Kern Reiner Anderl Department of Computer Integrated Systems (DiK) Technical University of Darmstadt Darmstadt Germany

ISBN: (数字)9781728172194

ISBN: (纸本)9781728172200

The great progress in the field of digitization and networking of the industry brings many advantages as well as new challenges. On the one hand, it enables new business models that hold great economic growth potential. On the other hand, it leads to an increased heterogeneity of the resulting value- added networks. This poses a striking problem when it comes to the interconnection of industrial devices and the establishment of new business models. Since the disadvantages can quickly outweigh the advantages, activities in this area proceed still very cautiously. A solution is offered by highly dynamic attribute-based usage control architectures at network-level, which monitor the entire communication in the value-added networks. Previous approaches, however, either have the disadvantage that they can only use communication metadata as attributes, or are highly specialized and tailored to the respective systems of the individual network nodes. In addition, they are usually pure access control systems instead of usage control systems. In this paper, the authors propose a novel attribute-based usage control model (ABUC) that allows simulation models in form of digital twins of the respective network components to be used in order to predict their behavior and thus control network traffic according to predicted usage. The ABUC model is then implemented in a use case and validated with several performance tests.

关键词： Access control computer architecture Biological system modeling Software Business Control systems

来源：评论

学校读者我要写书评

暂无评论

A co-design approach for embedded control software of cyber-physical systems

A co-design approach for embedded control software of cyber-...

引用

IEEE international conference on System of systems Engineering (SoSE)

作者： Jan F. Broenink Peter-Jan D. Vos Zhou Lu Maarten M. Bezemer Robotics and Mechatronics Group University of Twente AE Enschede Netherlands

ISBN: (纸本)9781467387286

This work is about an approach for designing control software for mechatronic and robotic machines. As all system parts (control algorithms, software infrastructure, I/O, and machine) influence each other, its total behaviour needs to be taken into account. Therefore, we use appropriate modelling formalisms, namely discrete event / discrete time for the control software and algorithm part, and differential equations for the machine / robotics part. We combine these two types of models in a co-modelling approach, supporting co-operative design of such cyber-physical systems. In this paper, the co-modelling and co-design approach is elaborated. It consists of four major steps, whereby the models in each are verified via simulation or co-simulation. It is a pure model-driven design approach, implying that all final code is generated from these verified models. This allows for better quality of the resulting embedded software. The method is illustrated using a case study. Structuring models and verification by simulation, whereby relevant simulations are set up such that they can be repeated as real experiments, is beneficial for the design work itself, i.e. making it far more effective and less error-prone.

关键词： Software Computational modeling Algorithm design and analysis Real-time systems Robots Software algorithms computer architecture

来源：评论

学校读者我要写书评

暂无评论

An FPGA-based development platform for real-time solid state devices

An FPGA-based development platform for real-time solid state...

引用

international conference on Information Science, Electronics and Electrical Engineering (ISEEE)

作者： Muhammed Ziya Komsul Alistair A. McEwan Irfan F. Mir Department of Engineering University of Leicester Leicester UK

NAND flash-based Solid State Devices (SSD) are widely used in embedded applications because of their low power consumption, high performance, and shock resistant features. However, these devices have non-deterministic response times due to erase-before-write requirements of NAND flash memory. This is a problem for applications that require real-time access to data storage facilities. Recent work has investigated novel RAID-based architectures for highly reliable SSD storage systems, with the host interface, controller, and other facilities such as garbage collectors implemented on an FPGA. The architecture gives high reliability and guarantees of data integrity in a way that protects against the known failure characteristics of flash memory, but at a further expense of timing guarantees. The contribution of this paper is the presentation, design, and analysis of a co-design simulation platform implemented in a PowerPC based FPGA environment that allows us to investigate the timing constraint issues that result from our architecture.

关键词： Hardware Real-time systems Software Ash computer architecture Reliability Field programmable gate arrays

来源：评论

学校读者我要写书评

暂无评论

DEVS systems-Theory Framework for Reusable Testing of I/O Behaviors in Service Oriented architectures

DEVS Systems-Theory Framework for Reusable Testing of I/O Be...

引用

IEEE international conference on Information Reuse and Integration (IRI)

作者： Xiaolin Hu Bernard P. Zeigler Moon Ho Hwang Eddie Mak Computer Science Department Georgia State University Atlanta GA USA Arizona Center for Integrative Modeling and Simulation University of Arizona Tucson Tucson AZ USA

This paper presents a framework for testing at the I/O behavior level in a service-oriented architecture (SOA) environment. The framework derives minimal testable I/O pairs from a service component's behavior specifications. These minimal testable I/O pairs are mapped to reusable primitives and then synthesized into test models in the Discrete Event System Specification (DEVS) formalism to meet different test objectives. We present the system theoretic foundation for I/O behavior testing and describe the inherently re-usable test development framework.

关键词： System testing Service oriented architecture Automatic testing Software testing Large-scale systems Collaboration Collaborative work Web services Logic testing Application software

来源：评论

学校读者我要写书评

暂无评论

Finite Element Modelling and Analysis of Axial Active Magnetic Bearing

Finite Element Modelling and Analysis of Axial Active Magnet...

引用

IEEE international conference on Industrial and Information systems

作者： Sudipta Saha M. Nabi Department of Electrical Engineering Indian Institute of Technology Delhi New Delhi India

ISBN: (纸本)9781538684931

Active Magnetic Bearing uses electromagnetic force, generated by current carrying coils to levitate the rotor freely. The application of active magnetic bearing embedded devices like Maglev Train, Fly wheel based energy storage system, Micro precision devices, Blood pump etc. are increasing in industries because of rapid progress happened in the electronics sector and controller structure. Finite Element is a method which allows numerical modelling and analysis of this kind of systems. In this paper, a 2D computer simulation of an axial active magnetic bearing system has been carried out using finite element software COMSOL. The changes in flux density and force are plotted.

关键词： Magnetic levitation Rotors Finite element analysis Magnetomechanical effects Computational modeling Geometry Coils

来源：评论

学校读者我要写书评

暂无评论

embedded processor for array of hydrophone sensors to construct real time images for AUV using FPGA

Embedded processor for array of hydrophone sensors to constr...

引用

IEEE international conference on Signal and Image Processing Applications (ICSIPA)

作者： Muataz H. Salih Mohd. Rizal Arshad Underwater Robotics Research Group School of Electrical and Electronic Engineering Universiti Sains Islam Malaysia Penang Malaysia

Implementation of embedded systems-on-chip on modern field programmable gate arrays (FPGAs) chip is doable due to its large density. Architecture of multilevel computing focusing on its embedded processor is suggested in our project. The architecture design of embedded processor presents the challenges and opportunities that stem from the task coarse granularity and the large number of input and output for each task. Thus, we have designed a new architecture called embedded Concurrent Computing (ECC). The entire embedded processor architecture is implemented on the FPGA chip using VHDL. We have synthesized and evaluated the embedded system based on an Altera environment by using a DE2 board. The performances of a realistic application show scalable speedups comparable to that of the simulation. Furthermore, the results show the accuracy of Extended Kalman Filter (EKF) rather than the Kalman Filter (KF) in identifying the landmarks and target in underwater environment, and the usefulness of the multiple filtering techniques when the nonlinearities are too large due to linearization errors. We believe that implementation has been achieved in providing low complexity in terms of FPGA resource usage and frequency. In addition, the design methodology allows the embedded processor to be scalable as the entire system grows.

关键词： Sensor arrays Sonar equipment Image sensors Field programmable gate arrays computer architecture embedded computing Process design Concurrent computing embedded system Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Connecting Technical and Non-technical Views of System architectures

Connecting Technical and Non-technical Views of System Archi...

引用

IEEE/ACM Int'l conference on & Int'l conference on Cyber, Physical and Social Computing (CPSCom) Green Computing and Communications (GreenCom)

作者： Li Li Jozef Hooman Jeroen Voeten Embedded Systems Institute Eindhoven Netherlands Computing Science Department Radboud University Nijmegen Netherlands Department of Electrical Engineering Eindhovan University of Technology Eindhoven Netherlands

When designing, adapting or extending a complex cyber physical system, it extremely difficult to guarantee that all parts cooperate correctly, especially when many parties are involved in the development process. We propose a new approach to identify and to solve problems in the early development phases, thus reducing costs in the system implementation, test and integration phases. This is achieved by making a global, holistic model of the system with different views. From the technical point of view, a system simulation model is constructed which can be used to validate whether the global system architecture satisfies the main requirements. To bridge the gap between technical specialists and non-technical stakeholders, this technical system view can be connected to a user-friendly animation tool. This allows the creation of an interactive prototype with different stakeholder views. The approach will be illustrated by a case study in the healthcare domain.

关键词： Medical diagnostic imaging modeling Information systems X-ray imaging computer architecture

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共284页 << < 256 257 258 259 260 261 262 263 264 265 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：