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

ACS/IEEE International Conference on computer systems and Applications

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

The common cause failures (ccf) are the biggest part when calculating the probability of failure for redundant safety integrity systems. A ccf can occur, when a random hardware failure leads to a failure of several components. There are several methods to calculate the probability of ccf. Three models will be shown in this paper, with the help of which the beta-factor will be calculated. The ccf ratio for the calculation of the overall probability of failure is defined with the beta-factor.

关键词： Probability Risk analysis Product safety Safety devices computer architecture Hardware Control systems Production systems Pipelines Pumps

来源：评论

学校读者我要写书评

暂无评论

"MASTAC": New curriculum for master and doctoral studies in critical software and computing

"MASTAC": New curriculum for master and doctoral studies in ...

引用

30th International Conference on Software Engineering, ICSE 2008 - 2008 International Workshop on Software Engineering in East and South Europe Workshop, SEESE'08

作者： Kharchenko, Vyacheslav Pomorova, Oksana Phillips, Chris Romanovsky, Alexander Popov, Peter Troubitsyna, Elena Department Computer Systems Networks National Aerospace University KhAI Department of System Programming Khmelnitskiy National University School of Computing Science University Newcastle upon Tyne Centre for Software Reliability University Newcastle upon Tyne Centre for Software Reliability City University London Department of Computer Science Åbo Akademi University

ISBN: (纸本)9781605580760

The paper presents the on-going EC-funded Tempus project "MSc and PhD studies in Aerospace Critical Computing" executed by the National Aerospace University, Kharkiv, Ukraine with the support of Newcastle University and City University of London, UK and Åbo Akademi University, Turku, Finland. The state-of-the-art, completed work as well as the next steps of the development of master and doctoral courses for the specialty in critical software engineering, computer systems and networks are described. The inputs from each of the European consortium members are presented. Copyright 2008 ACM.

关键词： Curricula

来源：评论

学校读者我要写书评

暂无评论

Matlab® / Simulink® generated source code for safety related systems

Matlab® / Simulink® generated source code for safety relat...

引用

ACS/IEEE International Conference on computer systems and Applications

作者： M.H. Schwarz H. Sheng A. Sheleh J. Boercsoek Department of Computer architecture and System programming University of Kassel Kassel Germany HIMA Paul Hildebrandt GmbH+Co KG Bruehl Germany

The authors present their latest research results and developments of a code generator for Matlab/Simulink block diagrams and to download the generated code onto safety related systems such as a safety PLC (programmable logic controller). An example demonstrates the different stages for code generation, evaluation and conversion before such code can be used in process industries. systematic approaches are necessary when such source code is embedded in process units. To the best knowledge of the authors, Matlab/Simulink source code has not been transferred on safety PLC before. Matlab/Simulink is an advanced and matured programming environment, especially for simulations of engineering processes and systems. Hardly no hardware exists, when it comes to download the developed algorithms and to use it in real world applications and so far this approach is the only one for using developed and tested Matlab/Simulink software on an safety related system.

关键词： computer languages Programmable control Software safety Electrical equipment industry programming environments systems engineering and theory Hardware Software algorithms Application software Software testing

来源：评论

学校读者我要写书评

暂无评论

Optimizing neural network architecture using Tikhonov regularization parameter for intrusion detection systems and classification of attacks

Optimizing neural network architecture using Tikhonov regula...

引用

2008 International Conference on Information and Knowledge Engineering, IKE 2008

作者： Sharawi, Marwa S. Sammany, Mohammed El-Beltagy, Mohammed Saroit, Imane Faculty of Informatics and Computer Science British University in Egypt Cairo Egypt Department of Applied Mathematics and Programming Aleppo University Aleppo Syria Department of Decision Support System Faculty of Computers and Information Cairo University Cairo Egypt Department of Information Technology Faculty of Computers and Information Cairo University Cairo Egypt

ISBN: (纸本)1601320752

Network Intrusion Detection systems (NIDS) require the ability to generalize from previously observed attacks to detect even new or slight variation records of known attacks. As an intrusion detection system can be regarded as classification problem, we use Artificial Neural networks for detection. Using a benchmark study and set from the KDD (Knowledge Data Discovery and Data Mining) competition designed by DARPA and Multi-layered perceptron neural network, this Paper will aim to solve a multi class problem using MLP in to distinguish the attack records from normal ones, and also identify the attack type. In addition, it shows how to use Tikhonov regularization parameter to optimize the optimal network architecture in order to increase the system performance. The results show that the designed system is capable of classifying records with 98.34% accuracy with two hidden layers of neuron. Finally, the performance of the benchmark study is compared with our results.

关键词： Intrusion detection

来源：评论

学校读者我要写书评

暂无评论

Advances of OPC client server architectures for maintenance strategies - A research and development area not only for industries

引用

WSEAS Transactions on systems and Control 2008年第3期3卷 195-207页

作者： Schwarz, M.H. Boercsoek, J. University of Kassel Department of Computer-architecture and System-programming Wilhelmshoeher Allee 34121 Kassel Germany HIMA Paul Hildebrandt GmbH + Co KG Albert-Bassermann-Str. 28 68782 Brühl Germany

OPC is a matured and accepted standard in industries, but hardly used in industrial applications developed at universities, especially in Europe. Publications in this area, either using OPC-communication or developing applications have been hardly increased over the past several years. This paper reports the current state of the standard, but also describes current problems and how they can be managed and overcome. The authors also give an overview of the recently published new standard, which is called: OPC unified approach. After the fundamentals are described in this paper, the authors present their experiences with OPC to combine it with methods and procedures to develop a modern maintenance system. It also reports current developments at the Department of computer Architecture and system programming at the University of Kassel.

关键词： Industrial research

来源：评论

学校读者我要写书评

暂无评论

Control of Autonomous Solid Oxide Fuel Cells Subject to Sudden Load Variations

Control of Autonomous Solid Oxide Fuel Cells Subject to Sudd...

引用

2008 IEEE/PES Transmission & Distribution Conference & Exposition, part 1

作者： Dong-Jing Lee Li Wang Department of Electrical Engineering and Computer Science Chair for Computer Architecture and System Programming National Cheng Kung University Tainan Taiwan

This paper presents dynamic behaviors of autonomous solid oxide fuel cells (SOFC) with AC bus control. Both voltage and frequency control are utilized to achieve load-sharing of the studied SOFC feeding isolated loads. A DC-to-DC converter is connected to the output terminals of the studied SOFC for stabilizing output voltage and current fluctuations under different loading conditions. The PWM inverter connected to the output terminals of the DC-to-DC converter is operated under voltage-controlled mode to regulate the voltage profile across the connected loads. It can be concluded from the simulation results that the proposed voltage and frequency droop controllers of the PWM inverter may operate satisfactory under stand-alone mode.

关键词： Solid oxide fuel cells (SOFC) DC-to-DC converter PWM inverter Stand-alone mode

来源：评论

学校读者我要写书评

暂无评论

Redundant optical data transmission using semiconductor lasers

Redundant optical data transmission using semiconductor lase...

引用

ACS/IEEE International Conference on computer systems and Applications

作者： H. D. Wacker J. Borcsok H. Hillmer Development HIMA Paul Hildebrandt GmbH + Co KG Bruehl GERMANY Department of Electrical Engineering and Computer Science Chair for Computer Architecture and System Programming Kassel GERMANY University of Kassel Institute of Nanostructure Technologies and Analytics (INA) and Center for Interdisciplinary Nanostructure Science and Technology (CINSaT) Kassel GERMANY

This paper is dealing with redundant optoelectronic data transmission with special respect to laser channels. The concept of the generalized erasure channel (GEC) is used to determine the probability of undetected error for some binary symmetric and non-symmetric channels protected by appropriate codes. In detail, communication via different binary symmetric channels (BSCs), generalized erasure channels and symmetrized binary non symmetric channels (BNSCs) is investigated. Simple upper bounds are given, relating the new formulas to that one of the BSC Finally the results in connection with an inequality for proper codes are applied to multi wavelength optical transmission through channels generated by semiconductor lasers.

关键词： Data communication Semiconductor lasers Error probability Optical transmitters Protection Safety Wavelength division multiplexing Laser theory Upper bound Linear code

来源：评论

学校读者我要写书评

暂无评论

Software development for safety-related systems

Software development for safety-related systems

引用

2nd International Conference on systems, ICONS 2007

作者： Börcsök, Josef Schaefer, Sebastian Department of Computer Architecture and System Programming University of Kassel

ISBN: (纸本)0769528074

Safety-related systems mostly comprise hardware and software solutions. Due to the increasing application of complex hardware and software systems, the software systems have to be considered regarding safety as well as hardware systems. The development of a safety-related software system is similar to the development of a safety-related hardware systems. But there are still no generally accepted methods for developing safety-critical software. One has to use the methods, which fit best to the actual requirements. However, the calculation of reliability and availability for safety-related software systems is far more complex. © 2007 IEEE.

关键词： Safety engineering

来源：评论

学校读者我要写书评

暂无评论

Calculation of PFD-values for a safety related system

Calculation of PFD-values for a safety related system

引用

European Safety and Reliability Conference 2007, ESREL 2007 - Risk, Reliability and Societal Safety

作者： Börcsök, J. Holub, P. Schwarz, M.H. Dang Pham, N.T. HIMA Paul Hildebrandt GmbH + Co. KG Brühl Germany Computer Architecture and System Programming University of Kassel Germany

ISBN: (纸本)0415447860

The standard IEC/EN61508 provides the developer with guidelines to develop and implement safety related systems according to the international standard. The standard supplies qualitative and quantitative criteria to evaluate safety related systems, in order to apply it in safety critical applications. This paper details the criterion Probability of Failure on Demand (PFD). The authors derive the necessary equations and calculate the PFD-values for different system architectures. © 2007 Taylor & Francis Group.

关键词： Safety engineering

来源：评论

学校读者我要写书评

暂无评论

Estimation and Evaluation of Common Cause Failures

Estimation and Evaluation of Common Cause Failures

引用

ICONS International Conference on systems

作者： J. Borcsok S. Schaefer E. Ugljesa Computer Architecture and System Programming University of Kassel Kassel Germany

Success of many modern applications is highly dependent on the correct functioning of complex computer based systems. In some cases, failures in these systems may cause serious consequences in terms of loss of human life. systems in which failure could endanger human life are termed safety-critical. The SIS (safety instrumented system) should be designed to meet the required safety integrity level as defined in the safety requirement specification (safety requirement allocation). Moreover, the SIS design should be performed in a way that minimizes the potential for common mode or common cause failures (CCF). A CCF occurs when a single fault result in the corresponding failure of multiple components. Thus, CCFs can result in the SIS failing to function when there is a process demand. Consequently, CCFs have to be identified during the design process and the potential impact on the SIS functionality have to be understood. This paper gives details about the estimation and evaluation of common failures and assesses a loo2 system. It is a survey paper that presents the newest developments in common cause failure analysis.

关键词： Redundancy Safety Hardware Failure analysis Fault tolerant systems computer architecture Functional programming Humans Reliability engineering Application software

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：