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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是111-120 订阅

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

详细简洁

排序：

Numerical simulation of irregular waves by HOS method 32nd

Numerical simulation of irregular waves by HOS method

引用

32nd International Ocean and Polar Engineering Conference, ISOPE 2022

作者： Huang, Congyi Xu, Ping Wan, Decheng Strijhak, Sergei School of Naval Architecture Ocean and Civil Engineering Shanghai Jiao Tong University Shanghai China Marine Design and Research Institute of China Shanghai China Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9781880653814

Ships and offshore structures often encounter irregular waves in the ocean. Therefore, the simulation of irregular waves is very necessary and meaningful. The potential flow method is often used to simulate the irregular waves because the evolution needs a long time and a large amount of calculation. High order spectral (HOS) method is a kind of potential flow method, which has the advantages of high efficiency. In this paper, the HOS method is used to simulate the formation and evolution of irregular waves. Firstly, the governing equations, boundary conditions and the solving procedure of the HOS-ocean model based on the HOS method are introduced. Then the accuracy and stability of the HOS-ocean model are verified by a standard example. After that, the formation and evolution of two-dimensional and three-dimensional irregular waves are simulated based on JONSWAP spectrum and ITTC spectrum respectively. The frequency domain curves, time domain curves, maximum wave height, maximum wave steepness, average wave steepness and other parameters of the waves generated by the two wave spectrums are compared, and the differences between the two wave spectrums in generating irregular waves are analyzed. © 2022 by the International Society of Offshore and Polar Engineers (ISOPE).

关键词： Potential flow

来源：评论

学校读者我要写书评

暂无评论

New scientific contributions to the prediction of the reliability of critical systems which based on imperfect debugging method and the increase of quality of service

New scientific contributions to the prediction of the reliab...

引用

International Symposium on Telecommunications (BIHTEL)

作者： Ossmane Krini Josef Börcsök Computer Architecture and System Programming University of Kassel Kassel Germany Universitat Kassel Kassel Hessen DE

This paper presents a new method by which it is possible to realistically predict the software reliability of critical systems. The main feature of this method is that it allows estimating the number of remaining critical faults in the software. The algorithm employs well-known methods such as Imperfect Debugging and it provides a more reliable prognosis than the methods conventionally used for this purpose. Furthermore, the new approach describes two processes of handling critical failures (one for detection and one for correction). The new algorithm also takes into account the socalled repair time, a measurement that is vitally important for a reliable prognosis. For use in the prediction model, it is mathematically described as a time function. As every programmer knows, it can be difficult to have even the simplest program run without faults. So-called software reliability models (SRM's), based on stochastic and aiming to predict the reliability of both software and hardware, have been used since the 70's. SRM's rely on certain model assumptions some of which cannot be deemed realistic anymore. Hence, for today's reliability engineering, these models are insufficient. At this point in time, though, there are hardly any methods that enable us to obtain predictions as to how the reliability of critical faults or the failure rate of critical systems behave over time. Currently, there is no mathematical model distinguishing between critical and non-critical faults, and only few models consider Imperfect Debugging (ID). The method presented here, however, is based on ID and it is able to distinguish between critical and non-critical software faults. Moreover, this new method employs a so-called Time-Delay and thus two new processes have to be designed. Mathematically, these processes describe the detection of faults and their correction, respectively. It is necessary to define appropriate distribution functions and to clearly state the requisite model assumptions.

关键词： Reliability IP networks Lead Debugging

来源：评论

学校读者我要写书评

暂无评论

Estimation and evaluation of common cause failures

Estimation and evaluation of common cause failures

引用

2nd International Conference on systems, ICONS 2007

作者： Börcsök, J. Schaefer, S. Ugljesa, E. Computer Architecture and System Programming University of Kassel Wilhelmshöher Allee 73 34121 Kassel Germany HIMA Paul Hildebrandt GmbH + Co. KG Albert-Bassermann-Str. 28 68782 Brühl Germany

ISBN: (纸本)0769528074

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 1oo2 system. It is a survey paper that presents the newest developments in common cause failure analysis. © 2007 IEEE.

关键词： Surveying instruments

来源：评论

学校读者我要写书评

暂无评论

Securing an IoT Medical system Using AI and a Unidirectional Network Device: Application to a Driver 11

Securing an IoT Medical System Using AI and a Unidirectional...

引用

11th International Conference on Electronics, Communications and Networks, CECNet 2021

作者： El Hajal, Georges Daou, Roy Abi Zeid Ducq, Yves Boercsoek, Josef Univ. Bordeaux IMS Laboratory France Biomedical Technologies Department Lebanese German University Lebanon MART Learning Education and Research Center Chananir Lebanon University of Kassel Institute for Computer Architecture and System Programming Germany

ISBN: (纸本)9781643682402

Security in systems and networks has always been a major issue for IT administrators. When it comes to medical applications, this concern is much more important due to the sensitivity of data and the risks that may be caused due to alteration or falsification of such critical information. The proposed paper presents a solution to assure the best security possible in such an environment. Thus, based on an application that monitors a driver's health while driving his car, a data diode will be implemented in order to assure security of the system by forcing unidirectional flow of network data to the healthcare provider side. Added to that, an AI-based program will be developed to verify the confidentiality, the integrity and the availability of the exchanged data and to check the patient health for abnormalities. Every sub-part of the system has been tested separately and results have shown that falsified data has been filtered out of the received end, e.g. the healthcare provider side. © 2022 The authors and IOS Press.

关键词： Medical applications

来源：评论

学校读者我要写书评

暂无评论

A GPC Strategy for a Water Treatment Plant Problem

A GPC Strategy for a Water Treatment Plant Problem

引用

2006 IET Irish Signals and systems Conference

作者： M.H. Schwarz C.S. Cox J. Borcsok Computer architecture & System programming University of Kassel Germany Control Systems Centre University of Sunderland UK

This paper presents an advanced control structure exploiting a GPC master-slave solution to regulate the oxygen and nitrification process of a simulated water treatment plant. The slave controller regulates the process variable, whilst the master controller changes the set-point for the slave controller depending on the output behaviour of the system. The presented structure outperforms significantly the standard control structure. Different weather conditions are simulated and analysed for comparison

关键词：

来源：评论

学校读者我要写书评

暂无评论

Basic concept for the selection of an appropriate “software failure prediction model”

Basic concept for the selection of an appropriate “software...

引用

World Conference on Complex systems (WCCS)

作者： Jamal Krini Josef Börcsök Department of Computer Architecture System Programming University of Kassel Kassel Germany Universitat Kassel Kassel Hessen DE

Software is nowadays used in almost all systems. Therefore, the reliability of the software is a crucial aspect in safety engineering. Software errors can cause life-threatening situations. To counter this, software reliability models are used. Currently, there are a great number of software reliability models existing. The model that will be considered as the most appropriate is depending on the respective project. That is why it cannot always be decided in advance which model would be the most suitable. In this paper a method is presented that serves to show how the most appropriate model for a project can be selected.

关键词： Software reliability Software Hazards Prognostics and health management Hardware

来源：评论

学校读者我要写书评

暂无评论

Validation of the Proposed Fault Injection, Test and Hardness Analysis for Combinational Data-Flow Verilog HDL Designs Under the RASP-FIT Tool

Validation of the Proposed Fault Injection, Test and Hardnes...

引用

IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC)

作者： Abdul Rafay Khatri Ali Hayek Josef Börscök Department of Computer Architecture and System Programming University of Kassel Kassel Germany Universitat Kassel Kassel Hessen DE

Owing to the condensed size of components in digital designs on the FPGA, it is difficult to guarantee an acceptable degree of reliability due to soft-errors. These designs are mostly available in Hardware Description Languages (HDL) at various abstraction levels, e.g. gate-level, data-flow, and behavioural. Fault Injection (FI) is a well-known technique to assess the dependability of such designs. Broadly, FI techniques for FPGA-based designs are categorized into emulation and simulation-based techniques. Simulation-Based FI (SBFI) tools work on hardware models of designs and help designers to test and verify designs at an early phase of the FPGA design & development flow. Testing, dependability analysis, and fault simulation applications require a faulty model of the original design during fault injection campaign. Therefore, we require a tool which can automatically generate the faulty model of the original design written at any abstraction levels and perform fault injection testing and dependability analysis. In this paper, a fault injection tool (RASP-FIT) is presented, which consists of an automatic code modifier (fault injection algorithm), fault injection control unit and result analyser. Previously, the tool is used for code-modification, test and hardness analysis for gate-level designs. In this paper, an enhancement of a code modifier along with result analyser techniques are applied to the data-flow benchmark designs and presented.

关键词： Circuit faults Tools Hardware design languages Logic gates Benchmark testing Prototypes

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of an EMG-based system for Monitoring and Help Request

Design and Implementation of an EMG-based System for Monitor...

引用

2022 International Conference on Smart systems and Power Management, IC2SPM 2022

作者： Zeine, Carla Daou, Roy Abi Zeid Telawi, Samer Boercsoek, Josef Hayek, Ali Haidar, Gaby Abou University of Kassel Faculty of Electrical Engineering /Computer Science Department of Computer Architecture and System Programming Kassel Germany Lebanese German University Faculty of Public Health Jounieh Department of Computer Architecture and System Programming Biomedical Technologies Department Jounieh Lebanon Université la Sagesse Faculty of Engineering Furn El Chebbak Mechatronics Department Beirut Lebanon University of Applied Science Hamm-Lippstadt Department Lippstadt 2 Hardware Engineering Marker Allee 76-78 Hamm59063 Germany American University of Science and Technology Faculty of Engineering Zahle Lebanon

ISBN: (数字)9781665452915

ISBN: (纸本)9781665452915

Integrating electrophysiological signals in larger systems is getting wider due to the fact that such modalities facilitate the daily tasks of users. However, the high cost of monitoring systems (e.g., oscilloscopes) limits the testing and analysis of the acquired signal from such noisy systems (i. e., electrophysiological devices). The proposed system is a part of a larger proj ect that deals with the identification of sign language movements through the use of Muscle-Computer Interfaces. On one hand, the user is able to display the signal acquired by the electrodes on an LCD screen. On the other hand, the system helps a mute patient to issue a special message to his surrounding environment that does not know the sign language to ask for help. The second feature is not unique, as it can be replaced by any other application based on the user's needs. The system was tested on several persons, and the results are promising. © 2022 IEEE.

关键词： Liquid crystal displays

来源：评论

学校读者我要写书评

暂无评论

A survey on OPC and OPC-UA: About the standard, developments and investigations

A survey on OPC and OPC-UA: About the standard, developments...

引用

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

作者： M. H. Schwarz J. Börcsök Safety Computer Technology University of Kassel Kassel Germany Computer Architecture und System Programming University of Kassel Kassel Germany

In 1996, a new standard was announced that should serve as a software interface to exchange process data and to solve the problem to exchange process data using different industrial protocols and communication systems. A successful story started since then with few additional standards like the Alarm and Event standard using the OPC approach and some revisions and new editions. Ten years later a new approach was created that unified all existing standards and was also concerned with e.g. interoperability, security and web-based systems. This paper details the different OPC standards, tries to answer the question why this standard is important for industries and academia and where current research and development utilising those standards.

关键词： Standards Servers Security Industries XML Computer architecture Automation

来源：评论

学校读者我要写书评

暂无评论

Advanced IOT Traffic Light Control system 5

Advanced IOT Traffic Light Control System

引用

5th International Conference on Advances in Computational Tools for Engineering Applications, ACTEA 2023

作者： Hamad, Martin Abou El Hajj, Antonio Daou, Roy Abi Zeid Hayek, Ali Haidar, Gaby Abou Lebanese German University Faculty of Public Health Biomedical Technologies Department Lebanon MART Learning Education and Research Center Lebanon University of Kassel Department of Computer Architecture and System Programming Kassel Germany American University of Science and Technology Engineering Faculty Zahle Lebanon

ISBN: (纸本)9798350309959

For several years, traffic congestion has been a major problem in big cities where the number of cars and different means of transportation has been increasing significantly. The problem of congestion is becoming more and more critical, and if not treated smartly this issue will negatively affect drivers by wasting time and fuel gas while waiting for hours in lanes. This paper presents a new and smart way to mitigate this issue in an affordable cost, minimum processing power, and low power consumption. This concept takes into consideration the majority of the cases that may cause congestion and presents a smart and accurate outputs to ease traffic flow leading to the prediction of the peak hours of traffic congestion for smarter control. A model is designed to study the case of a four lanes crossroad with two traffic lights and two LCD monitors. The strategy in reading data is divided into two parts: real data from sensors and pre collected data from google maps to create a kind of a predicted pattern over a certain time interval. The responsiveness of the system is analyzed thoroughly, and the accuracy of all possible cases is carefully considered and evaluated. Each part of the system was tested alone, and the overall system is still in an ongoing testing phase. The results have shown minimum faulty errors and accepted outputs that can lead to safe traffic control decisions. Finally, integrating more IoT devices and sensors between V2V, V2P, V2I with the help of artificial intelligence will definitely optimize this system with higher accuracy. © 2023 IEEE.

关键词： Traffic congestion

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：