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

IEEE International Conference on Software Testing, Verification and Validation

作者： Rubanov, Vladimir V. Shatokhin, Eugene A. Department of Software Engineering Institute for System Programming Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9780769543420

Verification of Linux kernel modules and especially device drivers is a critically important task. However, due to the special nature of the kernel operation, it is very challenging to perform runtime analysis of particular kernel modules of interest without adverse influence on the rest of the kernel. Methods and tools for addressing this challenge are the main subject of this paper. The basic method for low-influence runtime analysis of interacting software modules is call interception. Shadow state techniques represent another method. In this paper, we discuss these methods including three different approaches to implement call interception. Conclusions are made about the most suitable ways for runtime analysis of kernel modules. Finally, we present KEDR framework, an extensible runtime analysis system for Linux kernel modules, which deploys these approaches to perform different types of analysis. The system can be used by the developers of kernel modules and, in particular, may be useful for building automated driver verification systems. © 2011 IEEE.

关键词： Linux

来源：评论

学校读者我要写书评

暂无评论

A botnet detection approach based on the clonal selection algorithm 9

A botnet detection approach based on the clonal selection al...

引用

9th IEEE International Conference on Dependable systems, Services and Technologies, DESSERT 2018

作者： Lysenko, Sergii Bobrovnikova, Kira Savenko, Oleg Department of Computer Engineering and System Programming Khmelnitsky National University Instytutska 11 Khmelnitsky Ukraine

ISBN: (纸本)9781538659038

The paper presents a new technique for the botnets' detection in the corporate area networks. It is based on the usage of the algorithms of the artificial immune systems. Proposed approach is able to distinguish benign network traffic from malicious one using the clonal selection algorithm taking into account the features of the botnet's presence in the network. An approach present the main improvements of the BotGRABBER system. It is able to detect the IRC, HTTP, DNS and P2P botnets. © 2018 IEEE.

关键词： Botnet

来源：评论

学校读者我要写书评

暂无评论

DDoS botnet detection technique based on the use of the semi-supervised fuzzy C-means clustering 14

DDoS botnet detection technique based on the use of the semi...

引用

14th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, ICTERI 2018

作者： Lysenko, Sergii Savenko, Oleg Bobrovnikova, Kira Department of Computer Engineering System Programming Khmelnitsky National University Instytutska 11 Khmelnitsky Ukraine

A new technique for the DDoS botnet detection based on the botnets network features analysis is proposed. It uses the semi-supervised fuzzy c-means clustering. The proposed approach includes the learning and the detection stages. Analysis is based on the extracted from the network traffic features that may indicate the presence of the DDoS botnets' presence in the network. Experimental results demonstrated that the proposed technique ensures the DDoS botnet detection at the rate at about 95%. © 2011 Springer-Verlag Berlin Heidelberg.

关键词： Botnet

来源：评论

学校读者我要写书评

暂无评论

Modelling the Process of Determining the Tourist Demand Based on Fishbein's Multi-Attribute Model 15

Modelling the Process of Determining the Tourist Demand Base...

引用

15th IEEE International Scientific and Technical Conference on Computer Sciences and Information Technologies, CSIT 2020

作者： Hovorushchenko, Tetiana Glukhov, Vladyslav Hovorushchenko, Olha Computer Engineering and System Programming Department Khmelnytskyi Ukraine Khmelnytskyi Lyceum No. 17 Khmelnytskyi Ukraine

ISBN: (纸本)9781728174433

The purpose of this paper is automating the analysis of tourist demand by developing a web-service for surveying tourists (both real and potential) and for presenting the survey results in the form of determining the tourist demand. The model of the process of determining the tourist demand based on Fishbein's multi-attribute model has been developed. The most important attributes, by which tourists evaluate their travels, and the relative importance of such attributes are identified. Rules for translating the thoughts and ratings of the user into an acceptable for the developed model 7-point bipolar scale have been developed. The web-service, which provides automating the calculation of tourist attraction of different countries, has been developed. © 2020 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Reliable Code Generation and Test Environment demonstrated on a PI-Controller Design

引用

IFAC-PapersOnLine 2016年第3期49卷 465-470页

作者： Schwarz, M.H. Sheng, H. Üstoglu, I. Chabaan, W. Börcsök, J. Safety Computer Technology University of Kassel Germany Control and Automation Engineering Department Yildiz Technical University Istanbul Turkey Computer Architecture and System Programming University of Kassel Germany

This paper focuses on the latest version of a tool developed within the department to guide developer through the various steps of requirements, test-procedures and documentations to finally download the derived algorithm on a safety programmable logic controller (PLC). Requirements on how to develop and how to test software are steadily increasing due to international standards, which have to be obeyed in industries in general, and in the process- and automation industries in particular. A simple model is derived to be used to develop a PI controller that has to pass several steps to be qualified for execution on a PLC. The paper explains the different steps and describes the various problems that might occur. © 2016

关键词： Controllers Accident prevention Reliability Software testing Automated code generation Automation industry International standards P i controller designs PI control Programmable Logic Controller (PLC) Simple modeling Test Environment

来源：评论

学校读者我要写书评

暂无评论

Prognosis for insulated gate bipolar transistor based on Gaussian process regression

Prognosis for insulated gate bipolar transistor based on Gau...

引用

2013 IEEE International Conference on Prognostics and Health Management, PHM 2013

作者： Hong, Sheng Zhou, Zheng Lv, Chuan Guo, Hongyi Science and Technology Laboratory Reliability and Environmental Engineering School of Reliability and System Engineering Beijing China System Engineering and Programming Department Jiangxi Electric Power Design Institute Jiangxi province China

ISBN: (纸本)9781467357227

The failure issues of power insulated gate bipolar transistor (IGBT) modules are mainly related to thermal and ther mo-mechanical aging mechanism. This aging causes degradation of the device performance and faults which can lead to the failure bringing huge loss and catastrophic influence. To avoid those failures, the monitoring of the device operation and the detection of an aging state remain as a priority. This paper, at first, describes the failure mechanism of power cycling by analyzing of the structure of lead-based solder and joint failure due to solder fatigue. Secondly, Gaussian Process Regression (GPR) model supporting uncertainty representation is used to realize the prognosis for the junction temperature of the IGBT. Furthermore, the comparison of GPR prediction with the Neural Network algorithm has been achieved, and the dynamic model is introduced to improve the prediction accuracy for the IGBT health assessment. Meantime, GPR owns more simple computational complexity and less time consuming. © 2013 IEEE.

关键词： Junction temperature

来源：评论

学校读者我要写书评

暂无评论

A new Estimation Method for Automotive Multidimensional Metrics 31st

A new Estimation Method for Automotive Multidimensional Metr...

引用

31st European Safety and Reliability Conference, ESREL 2021

作者： Krini, Abderrahim Börcsök, Josef Engineering of Reliability and Quality Robert Bosch GmbH Germany Department of Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (纸本)9789811820168

In general, failure data is obtained in the automotive industry during the warranty period. If these contain the expression of a service life characteristic for each failure, statements can be made about the reliability and availability of the systems. For this purpose, estimation methods are used to adapt empirical lifetime distributions to theoretical lifetime distributions. By means of the distribution characteristics, a prognosis of the reliability and availability to be expected is also possible beyond the observation time. In addition to the data basis to be investigated, which is available completely in test bench and experimental trials or re-censored in the field, various methods can be used for estimation. In the past, several methods have been used, such as the estimators according to ECKEL [1], Kaplan-Meier [2] or the estimators according to Pauli [3]. In general, a field failure is subject to several stresses, which can be described by expressions of several lifetime characteristics. For this application case, which occurs in the automotive industry, the known estimation methods, [1], [2], [3], cannot be used. In this paper, the necessity of multidimensional estimation methods will be introduced first. Then, a new estimation method for multidimensional metrics is presented. In a further step, mathematical proof is given that the new method can provide realistic results. Finally, two example data sets from bench testing and field are presented. Furthermore, some recommendations for the use of the new method are concretized in this context. © ESREL 2021. Published by Research Publishing, Singapore.

关键词： Reliability

来源：评论

学校读者我要写书评

暂无评论

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

Coverage-directed verification of microprocessor units based...

引用

East-West Design and Test Symposium

作者： Kamkin, Alexander Software Engineering Department Institute for System Programming Russian Academy of Sciences 25 B. Kommunisticheskaya Moscow 109004 Russia

ISBN: (纸本)9781424434039

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

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

A stochastic approach to the probability of failure on demand (PFD) with regard to the standard IEC 61508

A stochastic approach to the probability of failure on deman...

引用

11th International Probabilistic Safety Assessment and Management Conference and the Annual European Safety and Reliability Conference 2012, PSAM11 ESREL 2012

作者： Wacker, H.D. Ugljesa, E. Boercsoek, J. Department of Computer Architecture and System Programming Faculty of Electrical Engineering /Computer Science University Kassel Wilhelmshöher Allee 71 Germany

ISBN: (纸本)9781622764365

Let there be given a safety related electronic system suffering from random failures or errors. The standard IEC 61508 contains simplified equations for the probability of failure on demand PFDavg for special system architectures, mostly without proof. In various publications PFDavg is defined by several different equations, e.g. as a Laplacian probability, as an integral mean, or by means of the average failure rate of the system. The aim of the paper is to determine PFDavgby stochastic methods and to bring together the different definitions. A formula for PFDavg is given that is valid for most universal electronic systems. The equivalence of 2 different definitions of PFDavgis shown. The special case of a koon-system is investigated, and the resulting equations improve those known so far. The basic idea is to randomize the time to failure, the down time of the system, as well as the repair time, and then, by means of the Stieltjes-Integral, determine the mean or average time as the expectation of the respective random variable.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Development the Numerical Method to Solve the Inverse Initial Value Problem for the Thermal Conductivity Equation of Composite Materials

Development the Numerical Method to Solve the Inverse Initia...

引用

2020 Ibn Al-Haitham International Conference for Pure and Applied Sciences, IHICPS 2020

作者： Al-Mahdawi, H.K. Department of System Programming School of Electronic Engineering and Computer Science South Ural State University Lenina 76 Chelyabinsk454080 Russia

In this paper, the heat conduction equation for composite materials posed and solved. This problem is known as an inverse initial value problem for the heat conduction equation. In order to solve and formulate this inverse problem, the function spaces must be defined and represented. By studying and solving the direct problem for the heat equation in composite materials, it is possible to determine the function spaces and solve the inverse initial value problem. Scientific methods used: the separation of variables method used to solve the direct problem for the heat equation. It found that method separation of variables does not completely lead to the solution of the inverse initial value problem, since this method leads to a divergent series of solutions and rather massive errors. The heat conduction problem can be formulated as Fredholm integral first kind equations. The discretization algorithm applied to reformulated the problem as linear operator problem as matrix and vectors form. Then, Tikhonov's regularization inversion method has been used to find an approximation solution. Finally, as shown in the numerical example the regularized approximate solutions obtained. © Published under licence by IOP Publishing Ltd.

关键词： Initial value problems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：