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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

143 篇 会议
23 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

86 篇 工学
- 43 篇 计算机科学与技术...
- 33 篇 软件工程
- 29 篇 安全科学与工程
- 20 篇 控制科学与工程
- 16 篇 信息与通信工程
- 8 篇 生物医学工程（可授...
- 7 篇 电气工程
- 7 篇 电子科学与技术（可...
- 5 篇 机械工程
- 5 篇 建筑学
- 5 篇 生物工程
- 4 篇 光学工程
- 4 篇 动力工程及工程热...
- 4 篇 土木工程
- 3 篇 力学（可授工学、理...
- 3 篇 仪器科学与技术
- 3 篇 交通运输工程
- 2 篇 石油与天然气工程
41 篇 理学
- 20 篇 数学
- 12 篇 统计学（可授理学、...
- 11 篇 系统科学
- 9 篇 物理学
- 4 篇 生物学
- 2 篇 大气科学
19 篇 管理学
- 18 篇 管理科学与工程(可...
- 6 篇 工商管理
7 篇 医学
- 6 篇 基础医学(可授医学...
- 6 篇 临床医学
- 4 篇 药学(可授医学、理...
2 篇 经济学
- 2 篇 应用经济学
1 篇 法学
1 篇 农学

主题

30 篇 safety
22 篇 computer archite...
15 篇 hardware
14 篇 system-on-chip
14 篇 iec standards
14 篇 software
10 篇 monitoring
7 篇 reliability
7 篇 software reliabi...
6 篇 failure rate
6 篇 field programmab...
6 篇 vehicles
5 篇 acceleration
5 篇 probability
4 篇 accident prevent...
4 篇 hazards
4 篇 iso standards
4 篇 process control
4 篇 middleware
4 篇 mathematical mod...

机构

25 篇 department of co...
17 篇 computer archite...
13 篇 department of co...
9 篇 icas institute f...
8 篇 institute for co...
7 篇 chair for comput...
7 篇 computer archite...
6 篇 mart learning ed...
6 篇 universitat kass...
4 篇 computer archite...
4 篇 computer archite...
4 篇 university of ka...
4 篇 institute of fun...
4 篇 hima paul hildeb...
4 篇 engineering of r...
3 篇 ivannikov instit...
3 篇 school of naval ...
3 篇 university of ka...
3 篇 dept. of compute...
3 篇 computer archite...

作者

43 篇 josef börcsök
30 篇 ali hayek
21 篇 börcsök josef
15 篇 börcsök j.
15 篇 boercsoek josef
14 篇 hayek ali
10 篇 roy abi zeid dao...
8 篇 j. börcsök
8 篇 schwarz m.h.
8 篇 schwarz michael
7 篇 j. borcsok
7 篇 michael schwarz
7 篇 michael schreibe...
7 篇 daou roy abi zei...
7 篇 krini abderrahim
6 篇 holub p.
6 篇 boercsoek j.
6 篇 josef boercsoek
6 篇 ossmane krini
6 篇 borcsok josef

语言

158 篇 英文
6 篇 中文
2 篇 其他

检索条件"机构=Architecture and System Programming"

共 166 条记录，以下是131-140 订阅

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

详细简洁

排序：

Optimization of Diagnostics with Respect to the Diagnostic Coverage and the Cost Function

Optimization of Diagnostics with Respect to the Diagnostic C...

引用

International Conference on Information, Communication and Automation Technologies

作者： H. D. Wacker P. Holub J. Borcsok Computer Architecture and System Programming University of Kassel

ISBN: (纸本)9781479904297

In this paper the authors study a Safety Instrumented system (SIS) subjected to periodically performed diagnostic measures or tests. They focus their interest onto partial tests similar to partial stroke tests, which are well known from testing valves. They then introduce diagnostic parameters in order to quantify manual, automatic and semi-automatic testing mathematically, and they distinguish between two different diagnostic modes: The semi-automatic component-based mode and the semi-automatic-time-based mode. In Chapter V, they investigate the semi-automatic mode by means of two functions depending on their diagnostic parameters: The diagnostic coverage factor and the cost function. They then pose two optimization problems in form of two linear programs. The first one minimizes the cost function under constraints on the diagnostic coverage, and the second one maximizes the diagnostic coverage under constraints on the cost function. The paper closes with the examples of a 1oo1-system and a 2oo2-system.

关键词： Diagnostics Proof test Partial stroke test Failure rate Diagnostic coverage factor Mean time to failure Probability of failure on demand Automatic diagnostics Manual diagnostics Semi automatic diagnostic Linear programming Optimization under constraints Cost function Cost factor 1oo1-system

来源：评论

学校读者我要写书评

暂无评论

Towards safe data flow processing by integration of design by contract in deterministic UML activities

Towards safe data flow processing by integration of design b...

引用

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

作者： Zamira Daw Marcus Vetter Josef Boercsoek Institute of Embedded Systems Hochschule Mannheim-University of Applied Sciences Mannheim Germany Department of Computer Architecture and System Programming University of Kassel Kassel Germany

Data flow processing is a common task of embedded systems which is usually modeled as a pipeline. Errors in a block of this pipeline can be propagated through it thus leading to unexpected and erroneous behaviors. For safety related applications, this pipeline has to be able to identify and react to failures. The DMOSES model-driven development method uses deterministic UML activities to describe and implement data flow processing. This method ensures deterministic behavior of concurrent processing. Design by Contract defines formal, precise and verifiable interfaces for software components. We propose a development method for safe data flow processing based on the integration of this concept in deterministic UML activities. This integration allows the identification of errors by detection of contracts violation. This paper presents an extension of the DMOSES tool for contracts verification at the model level and their monitoring at runtime.

关键词： Unified modeling language Contracts Monitoring Embedded systems Object oriented modeling Safety Pins

来源：评论

学校读者我要写书评

暂无评论

Network-based safety-related vibration and position analysis for railway vehicles

Network-based safety-related vibration and position analysis...

引用

International Conference on Connected Vehicles and Expo (ICCVE)

作者： Samer Telawi Yusuf Sima Bashier Machmur Ali Hayek Josef Börcsök Udo Pinders Walter Schreiber Department of Computer Architecture and System Programming University of Kassel Kassel Germany Universitat Kassel Kassel Hessen DE Reuschling GmbH & Co KG Hattingen Germany

Nowadays, many considerable efforts are focused on the development of efficient and effective systems that increase the productivity of vehicles by controlling and manipulating the extraordinary states, such as sliding and spinning, during the operational time. Those states play a central role in the performance of the vehicles described as an interaction among different mechanical parts regarding their life-time, their wear and tear, as well as the maintenance costs. In addition, these states ultimately affect the safety of target system and its environment. Therefore, the necessity of avoiding, controlling, or manipulating these states to lower their effects into a tolerable level has become the major driver for conducting the current research work. In this paper, a prototype for safety-related platform for detecting and controlling railway vehicles states by means of vibration capture is presented. Additionally, test procedures in order to collect the vibration data related to each state are presented; these tests were performed under the supervision of an industrial partner. Moreover, the recognized initial patterns of the vibration signals related to the studied states are also introduced.

关键词： Safety Vehicles Acceleration Vibrations Computer architecture Sensor systems

来源：评论

学校读者我要写书评

暂无评论

Budgetary and Redundancy Optimisation of Homogeneous Series-Parallel systems Subject to Availability Constraints Using Matlab Implemented Genetic Computing

Budgetary and Redundancy Optimisation of Homogeneous Series-...

引用

IET Irish Signals and systems Conference

作者： Walid Chaaban Michael Schwarz Josef Boercsoeck Department of Computer Architecture and System Programming University of Kassel

ISBN: (纸本)9781629935881

This paper deals with finding optimal structures and redundant safety designs with minimal costs for series-Parallel multi state system (MSS) configurations subject to availability constraints using genetic algorithms as optimisation mean, since these biologically inspired evolution concepts showed stability, powerfulness, and effectiveness in solving such complex combinatorial optimisation tasks. The routine has been written in Matlab and the tests have been performed using some test data belonging to already existing models (Levitin, Lisnianski, and Ouzineb).

关键词： Genetic Algorithms Series-Parallel systems Optimisation Redundancy Allocation Problem (RAP) Multi State system (MSS) Universal Moment Generating Function (UMGF)

来源：评论

学校读者我要写书评

暂无评论

HICore1: “Safety on a chip” turnkey solution for industrial control

HICore1: “Safety on a chip” turnkey solution for industria...

引用

International Conference on Application Specific systems (ASAP), architectures and Processors

作者： Ali Hayek Bashier Machmur Michael Schreiber Josef Börcsök Stefan Gölz Mario Epp University of Kassel Chair for Computer Architecture and System Programming Kassel Germany HIMA Paul Hildebrandt GmbH + Co KG Chip-based Solutions Bruhl Germany

In this paper a complete safety controller on a single chip is presented. HICore 1 is a comprehensive solution that includes a certified application specific integrated circuit for safety-critical applications according to the safety standard IEC 61508, meeting the safety integrity level SIL3. It also meets the requirements of the standard EN 13849 Performance Level e. A SIL3 operating system and a SIL3 middleware complement the presented safety chip solution. Based on the presented solution, the smallest certified safety controller represents an innovative product and allows system manufacturers to create safe solutions ready for certification.

关键词： Safety IEC standards Computer architecture Communication systems system-on-chip programming

来源：评论

学校读者我要写书评

暂无评论

Design of a Novel Safe Approach to Monitor Drivers While Operating Their Cars

Design of a Novel Safe Approach to Monitor Drivers While Ope...

引用

International Conference on Advances in Biomedical Engineering (ICABME)

作者： Aseel Elhawawsha Carla Zeine Roy Abi Zeid Daou Dominik Kalinowski Joseph Khattar Samer Telawi Josef Boercsoek Department of Computer Architecture and System Programming University of Kassel Kassel Germany Mechatronics Eng. Department Saculty of Engineering Université La Sagesse Beirut Lebanon

Road accidents have been known to be one of the leading death causes around the world for a long time. Thus, cars and all kinds of road vehicles form a huge source of danger, and they relate to multiple high risks. There are many factors that can contribute to road traffic accidents such as the health condition of the driver if a medical emergency event happened while driving, drowsiness, or mind-wandering. The proposed system can monitor the behavior of the driver while driving as well as his/her health status. Moreover, it analyzes the monitored data, alerts the driver in a timely manner, and assists him/her in adjusting the driving behavior. Different dangerous and risky situations which can be faced during driving can be captured and avoided by using such a system which leads at the end to increase road traffic safety and reduce vehicle collisions. Notifications are developed in cases of drowsiness, loss of focus, or other concerns that may emerge while driving. However, when the driver's ability to operate the vehicle safely is hampered by a health concern, the implemented system is only able at this stage to alarm the driver itself and the surrounding cars as a first level of alarms.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A possible Approach for Determining Safety Parameters for Safety Integrated Circuits

A possible Approach for Determining Safety Parameters for Sa...

引用

International Conference on Information, Communication and Automation Technologies

作者： Josef Borcsok Peter Holub University Kassel Dep. of Computer Architecture and System Programming

ISBN: (纸本)9781479904297

The approach for calculating the failure rate of a safety integrated circuit is used if the number of available test patterns is not sufficient. The safety integrated circuit can be structured in function blocks, that can be functionally compared to semiconductors with discrete structure. Failure models already known and applied for discrete semiconductors can be used to determine the failure rate of the individual function blocks. These models with their known failure rates serve as a reference for the safety integrated circuit function blocks. An advantage of this approach is that the internal safety integrated circuit structure can be taken into consideration when calculating the failure probability. The paper is based on the principles of the generic standard IEC 61508 Edition 2, 2010-04. Because new technologies lack field experience and a basis for evaluating certain risks, a conservative approach to determining failure rates has been emphasized as set forth in SN 29500.

关键词： Safety integrated circuit Failure rate Probability of failure IEC 61508 Arrhenius eq. X~2 distribution Reliability block diagram

来源：评论

学校读者我要写书评

暂无评论

The relationship between diagnostic coverage and proof test interval for 1002 and 1002D architectures

The relationship between diagnostic coverage and proof test ...

引用

13th IFAC Symposium on Control in Transportation systems, CTS 2012

作者： Üstoǧlu, Ilker Kaymakçi, Özgür T. Börcsök, Josef Yildiz Technical University Davutpaşa Campus A209 34220 34220 Esenler Istanbul Turkey Yildiz Technical University Davutpaşa Campus A210 34220 34220 Esenler Istanbul Turkey University Kassel Faculty of Electrical Engineering / Computer Science Department of Computer Architecture and System Programming Wilhelmshöher Allee 71 34121 Kassel Germany

ISBN: (纸本)9783902823137

In order to measure the effectiveness of safety protection systems there are several design parameters. Diagnostic coverage factor is one of the most important parameter which influences all architectures. In this short paper the relationship between PFDavg, DC and TI are presented. 1002 and 1002D architectures are considered as examples. © 2012 IFAC.

关键词： architecture

来源：评论

学校读者我要写书评

暂无评论

Concept of an Optical Distance and Speed Sensor Using Novel Offsetless Spatial Frequency Filters in the Area of Functional Safety

Concept of an Optical Distance and Speed Sensor Using Novel ...

引用

IEEE International Symposium on Industrial Electronics (ISIE)

作者： Frank Wasinski Werner Bonath Ubbo Ricklefs Josef Börcsök Michael Schwarz Eike Hahn Dept. of Electrical Engineering and Information Technology THM University of Applied Sciences Giessen Germany ICAS Institute for Computer Architecture and System Programming University of Kassel Kassel Germany

Optical speed sensors based on the spatial frequency filter method are a proven technology that offer high measurement accuracy over a wide speed range. Newly developed variants also enable measurements at very low speeds and increase the robustness of the method [1]. This makes the sensor very suitable for use in the area of functional safety. A measurement chain up to safety integrity level 3 (SIL3) should be feasible via a combination with a safety system on a chip (SoC) for evaluating the measurement data and an extension of the sensor module to include safety-related elements [2], [3]. By integrating the sensor at IC level, a compact overall solution is to be made possible. After the first successful tests with the safety SoC, further examinations of the measuring method with regard to functional safety are now necessary.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Patient vital signs monitoring via android application

Patient vital signs monitoring via android application

引用

International Conference on Advances in Biomedical Engineering (ICABME)

作者： Roy Abi Zeid Daou Elias Aad Farid Nakhle Ali Hayek Josef Börcsök Lebanese German University Public Health Faculty Jounieh Lebanon Department of Computer Architecture and System Programming University of Kassel Kassel Germany Universitat Kassel Kassel Hessen DE

This paper presents a system that is able to monitor the patient vital signs (Heart Rate, SPO 2 , NIBP, ECG, temperature and respiration rate) and send them continuously to the doctor's android phone device. The system enables multiple patients to be connected to the same doctor. Within the system, the health care professional may activate/deactivate any of the vital signs sensors. He can also set a prescription for the patient, schedule a meeting,... When bad activities are received, a message is directly sent to the doctor and to the patient relatives in order to alert them. Note that the Bluetooth connection is used to send/receive data between the patient platform and its android system. The tested results showed an almost error free system with an accuracy above 95% and a few milliseconds delay between the vital signs reading and their upload over the server.

关键词： Medical services Sensors Servers Temperature measurement Electrocardiography Bluetooth Telemedicine

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共17页 << < 8 9 10 11 12 13 14 15 16 17 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：