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

s6th IEEE/ACS International Conference on Computer systems and Applications, AICCSA 2008

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

ISBN: (纸本)9781424419685

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. © 2008 IEEE.

关键词： Simulink

来源：评论

学校读者我要写书评

暂无评论

MP-06.17: Efficacy and safety of dutasteride, tamsulosin and the combination in Asian men: 4-year results from the randomised, double-blind, CombAT trial

引用

Urology 2009年第4期74卷 S74-S74页

作者： Chung, B.H. Roehrborn, C. Siami, P. Major-Walker, K. Wilson, T. Montorsi, F. Department of Urology Yonsei University Health System Seoul Korea Department of Urology UT Southwestern Medical Center Dallas Texas Welborn Clinic Evansville Indiana USA Clinical Development GlaxoSmithKline Research Triangle Park North Carolina USA Biostatistics and Programming GlaxoSmithKline Research Triangle Park North Carolina USA Department of Urology Universita Vita Salute San Raffaele Milan Italy

来源：评论

学校读者我要写书评

暂无评论

Coverage-directed verification of microprocessor units based on cycle-accurate contract specifications

Coverage-directed verification of microprocessor units based...

引用

East-West Design & Test Symposium (EWDTS)

作者： Alexander Kamkin Software Engineering Department Institute for System Programming of Russian Academy of Sciences Moscow Russia

In this paper we describe a method for simulation-based verification of microprocessor units based on cycle-accurate contract specifications. Such specifications describe behavior of a unit in the form of preconditions and postconditions of microoperations. Test sequence generation is based on traversal of FSM constructed automatically from specifications and test coverage definition. We have successfully applied the method to several units of the industrial MIPS64-compatible microprocessor.

关键词： Microprocessors Contracts Automation Program processors Computer architecture Algorithm design and analysis Computational modeling

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

"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

来源：评论

学校读者我要写书评

暂无评论

Automatic Type Reconstruction in Disassembled C Programs

Automatic Type Reconstruction in Disassembled C Programs

引用

Working Conference on Reverse Engineering

作者： K. Dolgova A. Chernov Institute for System Programming Russian Academy of Science Moscow Russia Computational Mathematics and Cybernetics Department Moscow State University Moscow Russia

ISBN: (纸本)9780769534299;0769534295

This paper presents an algorithm for automatic type reconstruction from target assembly code compiled by a C compiler. The primitive language types are recovered by an iterative algorithm, which operates over the lattice of primitive types' properties. Layout of composite types is reconstructed by building set of accessible offsets for each composite type. The algorithm is the essential part of a tool for program decompilation being developed by the authors.

关键词： Registers Assembly Equations Finite element methods Construction industry Algorithm design and analysis High level languages

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：