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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

240 篇 会议
91 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

184 篇 工学
- 105 篇 计算机科学与技术...
- 70 篇 软件工程
- 37 篇 信息与通信工程
- 29 篇 控制科学与工程
- 27 篇 电子科学与技术（可...
- 23 篇 电气工程
- 20 篇 土木工程
- 15 篇 安全科学与工程
- 12 篇 船舶与海洋工程
- 10 篇 机械工程
- 10 篇 动力工程及工程热...
- 10 篇 建筑学
- 10 篇 生物医学工程（可授...
- 10 篇 生物工程
- 7 篇 光学工程
- 6 篇 仪器科学与技术
- 5 篇 材料科学与工程（可...
- 5 篇 环境科学与工程（可...
82 篇 理学
- 40 篇 数学
- 19 篇 系统科学
- 18 篇 物理学
- 13 篇 统计学（可授理学、...
- 11 篇 海洋科学
- 9 篇 生物学
48 篇 管理学
- 38 篇 管理科学与工程(可...
- 23 篇 工商管理
- 7 篇 图书情报与档案管...
10 篇 医学
- 9 篇 临床医学
- 8 篇 基础医学(可授医学...
8 篇 经济学
- 8 篇 应用经济学
4 篇 法学
3 篇 农学
1 篇 教育学

主题

37 篇 computer archite...
16 篇 application soft...
15 篇 computer science
15 篇 hardware
11 篇 laboratories
11 篇 computational mo...
11 篇 computer network...
9 篇 safety
9 篇 benchmark testin...
8 篇 scalability
8 篇 delay
7 篇 concurrent compu...
7 篇 monitoring
7 篇 predictive model...
7 篇 instruction sets
6 篇 parallel process...
6 篇 libraries
6 篇 electronic mail
6 篇 wireless communi...
6 篇 control systems

机构

25 篇 department of co...
14 篇 beijing key labo...
13 篇 key laboratory o...
13 篇 department of co...
9 篇 department of co...
9 篇 key laboratory o...
6 篇 key laboratory o...
6 篇 mart learning ed...
5 篇 key laboratory o...
5 篇 department of co...
5 篇 universitat kass...
4 篇 beijing key labo...
4 篇 university of ka...
4 篇 the beijing key ...
4 篇 engineering of r...
4 篇 key laboratory o...
4 篇 computer archite...
4 篇 chinese universi...
3 篇 university of se...
3 篇 school of archit...

作者

18 篇 chen mingzhe
16 篇 dolores rexachs
16 篇 emilio luque
16 篇 josef börcsök
12 篇 yin changchuan
12 篇 ali hayek
10 篇 yang yang
10 篇 saad walid
10 篇 börcsök josef
10 篇 hayek ali
10 篇 boercsoek josef
10 篇 hong an
9 篇 roy abi zeid dao...
8 篇 xiaowei li
7 篇 luque emilio
7 篇 daou roy abi zei...
7 篇 alvaro wong
6 篇 rexachs dolores
6 篇 cui shuguang
6 篇 yu hu

语言

321 篇 英文
7 篇 中文
4 篇 其他

检索条件"机构=Department for System-and Computer-Architecture"

共 332 条记录，以下是81-90 订阅

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

详细简洁

排序：

Model Based Development Methodology in Compliance with ISO 26262 for Safe Automotive ECU

Model Based Development Methodology in Compliance with ISO 2...

引用

Electrical, computer and Energy Technologies (ICECET), International Conference on

作者： Muhammad Ikram Hafiz Department of Computer Architecture and System Programming University of Kassel Kassel Germany

This work presents a practical approach of designing a functionally safe ECU for automotive application by implementing the Model Based Development (MBD) methodology. Functional safety (FuSa) in automotive can be achieved by strictly following the processes of electrical and electronic systems development as given in the ISO 26262. The scope of FuSa encompasses the risks emerging from systematic failures and random hardware failures. One approach to mitigate these failures is the Model Based Development (MBD) on which the ISO 26262 provides guidance. This approach enables to model an ECU and accelerates an IP creation by automatic RTL code generation for rapid prototyping on an FPGA level. In this work the MBD is implemented in accordance to the ISO 26262 to design and test a hardware model of an embedded ECU. The embedded Design under Test (DUT) is simulated and its output verified in Matlab/Simulink. Upon successful results, the RTL codes of the DUT are generated for a target FPGA. The RTL codes are simulated and the functionality of the DUT is verified at the FPGA level.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An Efficient Scheme for Parallelizing Fast Search Algorithm on SIMD architecture in H.264/AVC 20

An Efficient Scheme for Parallelizing Fast Search Algorithm ...

引用

20th International Conference on Parallel and Distributed Computing systems, PDCS 2007

作者： Park, Jung-Min Park, Jung-Wook Kim, Cheong-Ghil Park, Gi-Ho Kim, Shin-Dug Department of Computer Science Yonsei University Seoul Korea Republic of Processor Architecture Lab. System LSI Division Samsung Electronics Co. Ltd Giheung Korea Republic of

ISBN: (纸本)9781604233926

As the video CODECs become complex increasingly according to the convergence of digital equipments designed for different kinds of specific purposes, the demand of higher performance for video processing is continuously needed. The fast search methods are well known as a representative approach to overcome the performance bottleneck of video encoding. But they require huge computations and dominate most of the running time of video encoding. So, a parallel processing is required to enhance the performance. In general, the fast search methods are difficult to be parallelized because their memory access patterns are not followed by a definite form. This paper proposes a new method for parallelizing a fast search method using linear SIMD architecture with only one-to-one connection between a PE and a memory bank. The simulation results show that the proposed method can reduce nearly 20 percent of running time in the motion estimation (ME). © 20th International Conference on Parallel and Distributed Computing systems, PDCS 2007. All rights reserved.

关键词： Motion estimation

来源：评论

学校读者我要写书评

暂无评论

引用

International Conference on Technological Advances in Electrical, Electronics and computer Engineering (TAEECE)

作者： Samer Telawi Ali Hayek Josef Börcsök Department of Computer Architecture and System Programming University of Kassel Kassel Germany

Nowadays, many noticeable continues efforts are taken in the vehicle industry to develop robust intelligent systems that control and monitor the vehicles during operational time to lower the side effects of some abnormal conditions such as sliding and spinning; because of their main role in affecting the human safety and the vehicle life-time as well as the costs related to maintenance. Therefore, the importance of manipulating and controlling these special statuses with respect to safety and cost are the main motivations behind conducting this research work. In this paper a conceptual prototype of a safety-related platform for monitoring and recognizing the vehicles states by means of vibration sensors incorporated with incremental rotary encoders is presented. Additionally, the proposed approaches and algorithms to detect the vehicle status based on the captured sensory data are also presented.

关键词： Vehicles Vibrations Sensors Safety Acceleration Spinning Wheels

来源：评论

学校读者我要写书评

暂无评论

Analyzing the data behavior of parallel application for extracting performance knowledge.

Analyzing the data behavior of parallel application for extr...

引用

2019 International Conference on High Performance Computing and Simulation, HPCS 2019

作者： Tirado, Felipe Wong, Alvaro Rexachs, Dolores Luque, Emilio Universidad Autónoma de Barcelona Computer Architecture and Operating System Department Barcelona Spain Departamento de Computacion e Industrias Universidad Catolica Del Maule Talca Chile

ISBN: (纸本)9781728144849

When performance tools are used to analyze an application with thousands of processes, the data generated can be bigger than the memory size of the cluster node, causing this data to be loaded in swap memory. In HPC systems, moving data to swap is not always an option. This problem causes scalability limitations that affect the user experience and it presents serious restrictions for executing on a large scale. In order to obtain knowledge about the application's performance, the performance tools usually instrument the application to generate the data. When the instrumented parallel application is executed with thousands of processes, the data generated may be higher than the memory size of the compute node used to analyze the data in order to obtain the knowledge. Performance tools such as PAS2P predict the execution time in target machines. In order to predict the performance, PAS2P carries out a data analysis with the data in each application process. The data collected is analyzed sequentially, which results in an inefficient use of system resources. To solve this, we propose designing a parallel method to solve the problem when we manage a high volume of data, decreasing its execution time and increasing scalability, improving the PAS2P toolkit to generate performance knowledge defined by the application's behavior phases. © 2019 IEEE.

关键词： Scalability

来源：评论

学校读者我要写书评

暂无评论

Development of safety related systems

Development of safety related systems

引用

International Forum on Strategic Technology, IFOST

作者： Josef Burcsuk Department of Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (纸本)9781424435890

The international standard IEC/61508 provides the developer with guidelines for the design and implementation of safety related systems according to this standard. This standard states qualitative and quantitative criteria in order to judge a safety related system in such a way that safety critical applications can be implemented. This paper details a quantitative criterion which is the probability of failure on low demand, known as PFD. After an introduction into this topic, the principle steps to calculate the probability of failure with the help of reliability block diagrams for different hardware architecture will be detailed and presented. The PFD-equations will be derived for a 1oo1 architecture with the help of MacLaurin series.

关键词： IEC standards Software safety Phase frequency detector Standards development Hardware Guidelines Probability Software standards Maintenance Electrical safety

来源：评论

学校读者我要写书评

暂无评论

Modeling a safety-related system for continuous non-invasive blood pressure monitoring

Modeling a safety-related system for continuous non-invasive...

引用

IEEE Biomedical Circuits and systems (BIOCAS)

作者： Huiyun Sheng Michael Schwarz Josef Börcsök Department of Computer architecture and System Programming University of Kassel Kassel Germany

In recent years, Pulse Transit Time (PTT) - based non-invasive continuous blood pressure monitoring systems have been investigated extensively. But the most relevant studies did not pay attention to the safety requirement of the system. In this paper a method is proposed to model the safety-related system for continuous noninvasive blood pressure monitoring. The V model, 1oo2 system and safe Bluetooth communication are used to enhance the safety of the system.

关键词： Biomedical monitoring Blood pressure Monitoring Safety Pressure measurement Wireless communication Medical services

来源：评论

学校读者我要写书评

暂无评论

New concept to develop a safety sensor network for continuous noninvasive blood pressure monitoring

New concept to develop a safety sensor network for continuou...

引用

International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： Huiyun Sheng Michael Schwarz Josef Börcsök Department of Computer architecture and System programming University of Kassel Kassel Germany

ISBN: (纸本)9781467347358

This paper proposes a continuous, non-invasive blood pressure monitoring system concept, which uses a safety microprocessor to connect sensors for building a body sensor network. The changes in Pulse Transit Time (PTT) can be detected with the sensor network. The microprocessor gathers the PTT and other vital signs of the patient to derive changes in blood pressure. Through the new Bluetooth protocol for safety systems, the current blood pressure value can be sent to a variety of terminals present in the wireless network, such as mobile phone, PC and medical monitoring systems. The 1oo2 architecture of the used microprocessor can provide high safety to a rating of safety integrity level 3 (SIL3), thus the whole network can meet the safety required in medical care systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A filtered tuning method for a GPC controller

A filtered tuning method for a GPC controller

引用

IET Irish Signals and systems Conference (ISSC 2010)

作者： M.H. Schwarz C.S. Cox J. Börcsök Department of Computer architecture and System programming Safety Computer Technology University of Kassel Germany Control Systems Centre University of Sunderland UK Department of Computer architecture and System programming University of Kassel Germany

This paper presents a new tuning method based on model parameters identified in closed-loop. For classical controllers such as PI(D) controllers a large number of simple tuning methods for various application areas exist. However, when it comes to designing a generalised predictive controller (GPC) four parameters have to be specified. To choose those parameters is not a trivial task since they are not directly related to control or regulation performance. The presented tuning method exploits model-parameters to select suitable controller parameters. Additionally, a Rhinehart filter is incorporated in the design to decrease the impact of noise, therefore, a fifth parameter has to be optimised. The proposed method has been tested in simulation and on a real system.

关键词：

来源：评论

学校读者我要写书评

暂无评论

ATPG Method with a Hybrid Compaction Technique for Combinational Digital systems

ATPG Method with a Hybrid Compaction Technique for Combinati...

引用

SAI Computing Conference

作者： Abdul Rafay Khatri Ali Hayek Josef Borcsok Department of Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (纸本)9781467384612

In this paper, the Test Pattern Generation (TPG) with a new simple hybrid (dynamic and static) compaction technique for combinational logic circuits and systems is presented. Digital systems are implemented nowadays on an advance VLSI technology, which is called Field Programmable Gate Array (FPGA). The test procedure requires a deliberate introduction of faults in the system Under Test (SUT). FPGA circuits and systems are developed and written in Hardware Description Languages (HDLs). In addition, a novel method is also proposed and implemented in order to intentionally inject faults in the Verilog HDL code design of the SUT. It covers all possible fault locations in the SUT. This approach provides high quality compact test vectors and efficient memory utilization in comparison with other state-of-the-art methods. Not only are the hardness of individual faults and the sensitiveness of fault locations determined, but also their effectiveness is proposed in the fault tolerance strategy.

关键词： Test pattern generation Dynamic compaction Static compaction Fault coverage Hardness

来源：评论

学校读者我要写书评

暂无评论

A partially automated HiL test environment for model-based development using Simulink® and OPC technology

A partially automated HiL test environment for model-based d...

引用

XXII International Symposium on Information, Communication and Automation Technologies, ICAT

作者： W. Chaaban M. Schwarz B. Batchuluun H. Sheng J. Börcsök Department of Computer Architecture and System Programming University of Kassel Kassel Germany

This paper is concerned with the design procedures of an automated testing tool, developed in Matlab ® /Simulink ® environment, that performs software verification during runtime on a PLC (Programmable Logic Controller) or so called HiL test (Hardware-in-the-Loop) for model-based development of control applications. In addition to checking the “semantic” or “functional” correctness of the automatically generated C++ - Code with RTW (Real Time Workshop ® ) for algorithms designed and developed in Simulink ® on hardware targets, the tool compares results obtained from the HiL test with the results of the MiL test (Model-in-the-Loop) performed in early stage of development for the same developed application. The main purpose behind this work is to develop reliable software that fulfil system requirements and to test its behaviour during realtime hardware simulation, in order to achieve the validation step which represents the terminating - step of almost all projects.

关键词： Mathematical model Software Testing Hardware Servers Real time systems Process control

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共34页 << < 5 6 7 8 9 10 11 12 13 14 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：