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

2018 International Russian Automation Conference, RusAutoCon 2018

作者： Mamedova, Natalia Dneprovskaya, Natalia Department of State and Municipal Management Plekhanov Russian University of Economics Moscow Russia Department of Information System Management and Programming Plekhanov Russian University of Economics Moscow Russia

ISBN: (纸本)9781538649381

The paper considers the stages of information-and-technological development of an enterprise from automation to digitization. The task is set to determine the appropriate moment when an enterprise shall come to its activity digitization. An early or late transition threatens with the reduction of the enterprise efficiency achieved due to information technology use. The paper presents the policy of making an investment decision on transition from automation to digitization for an operating enterprise based on the investment efficiency assessment and the Gompertz distribution. © 2018 IEEE.

关键词： Automation

来源：评论

学校读者我要写书评

暂无评论

Effects of varying diagnostic coverage on functional safety

Effects of varying diagnostic coverage on functional safety

引用

2014 International Symposium on Fundamentals of Electrical Engineering, ISFEE 2014

作者： Üstoʇlu, Ilker Kaymakçi, Özgür T. Börcsök, Josef Department of Control and Automation Engineering Yildiz Technical University Esenler Istanbul34220 Turkey Department of Computer Architecture and System Programming University of Kassel Kassel34121 Germany

ISBN: (纸本)9781479968213

Diagnostics is one of the significant parameters of functional safety which concerns itself with revealing dangerous incidents that might impede the operation of safety systems. Diagnostic coverage factor (DC) is defined as a metric for diagnostics in that DC is one of the most important design parameters to measure the effectiveness of safety protection systems. This study addresses how diagnostics impacts proof test interval (TI) when the system is halted completely;a thorough maintenance and changes in parts are performed. Besides this, the relationship between average probability of failure on demand (PFDavg), DC, TI and mean time to failure (MTTF) are presented for 1oo2 and 1oo2D system architectures. © 2014 IEEE.

关键词： Safety factor

来源：评论

学校读者我要写书评

暂无评论

Evaluating Length of a Shortest Adaptive Homing Sequence for Weakly Initialized FSMs

Evaluating Length of a Shortest Adaptive Homing Sequence for...

引用

2020 IEEE East-West Design and Test Symposium, EWDTS 2020

作者： Vinarskii, Evgenii Yevtushenko, Nina Lomonosov Moscow State University Department of Computer Science Moscow Russia Ivannikov Institute for System Programming of Ras Software Engineering Deparment Moscow Russia

ISBN: (数字)9781728198996

ISBN: (纸本)9781728198996

There are many research papers devoted to the state identification problem of finite state machines (FSMs) which are widely used for analysis of discrete event systems. A deterministic complete reduced FSM always has a homing sequence (HS) but a number of non-deterministic FSMs not necessarily have a preset HS;nevertheless, those FSMs can still have an adaptive HS. Moreover, adaptive HS can be shorter than the preset. If each state can be an initial state of a complete FSM, i.e., an FSM is non-initialized, then a shortest adaptive HS (if it exists) has polynomial length in the number of FSM states. We show that it is not the case for weakly-initialized FSMs: such FSMs can have a shortest adaptive HS of exponential length in the number of FSM states/transitions. However, the experimental evaluation shows that the non-polynomial upper bound for a shortest adaptive HS was never reached for randomly generated weakly-initialized two-input FSMs. © 2020 IEEE.

关键词： Adaptive homing sequence Non-deterministic FSM weakly initialized FSM

来源：评论

学校读者我要写书评

暂无评论

Searching by Code: a New SearchBySnippet Dataset and SnippeR Retrieval Model for Searching by Code Snippets 30

Searching by Code: a New SearchBySnippet Dataset and SnippeR...

引用

Joint 30th International Conference on Computational Linguistics and 14th International Conference on Language Resources and Evaluation, LREC-COLING 2024

作者： Sedykh, Ivan Abulkhanov, Dmitry Sorokin, Nikita Nikolenko, Sergey Malykh, Valentin Huawei Noah's Ark Lab Canada St. Petersburg Department The Steklov Institute of Mathematics Russia Ivannikov Institute for System Programming Russia

ISBN: (纸本)9782493814104

Code search is an important and well-studied task, but it usually means searching for code by a text query. We argue that using a code snippet (and possibly an error traceback) as a query while looking for bugfixing instructions and code samples is a natural use case not covered by prior art. Moreover, existing datasets use code comments rather than full-text descriptions as text, making them unsuitable for this use case. We present a new SearchBySnippet dataset implementing the search-by-code use case based on StackOverflow data;we show that on SearchBySnippet, existing architectures fall short of a simple BM25 baseline even after fine-tuning. We present a new single encoder model SnippeR that outperforms several strong baselines on SearchBySnippet with a result of 0.451 Recall@10;we propose the SearchBySnippet dataset and SnippeR as a new important benchmark for code search evaluation. © 2024 ELRA Language Resource Association: CC BY-NC 4.0.

关键词： Information retrieval

来源：评论

学校读者我要写书评

暂无评论

Novel Approach of a Smart Medical Mirror system for Medical Applications 5

Novel Approach of a Smart Medical Mirror System for Medical ...

引用

5th IEEE Middle East and Africa Conference on Biomedical Engineering, MECBME 2020

作者： Halaby, Shady Khoury, George Zeid Daou, Roy Abi Hayek, Ali Boercsoek, Josef Lebanese German University Biomedical Technologies Department Jounieh Lebanon Lebanese German University Biomedical Technologies Department Jounieh Lebanon Lebanese German University Biomedical Technologies Department Jounieh Lebanon University of Kassel Faculty of Electrical Engineering/Computer Science Department of Computer Architecture and System Programming Germany University of Kassel Faculty of Electrical Engineering/Computer Science Department of Computer Architecture and System Programming Germany

ISBN: (纸本)9781728123585

Humans always face problems when it comes to medical check-up due to lack of time or laziness. However, lots of medical problems and fatal illnesses can be detected at earlier stages if the person is subject to continuous check-up. Hence, the idea of the proposed system is to design a tool enabling the measurement of the basic vital signs with the smallest effort possible from the person's side. Thus, this paper proposes a smart medical mirror system that acts as a normal mirror and also delivers the basic vital signs of the user such as the heart rate, SPO2, body temperature, and Body Mass Index (BMI). The system takes five seconds for initialization and starts the measurements and displays the results. The user will not lose time as this check-up can be performed every morning while the person is wearing his clothes and getting ready to start his daily activities. The system was tested by multiple users having different body statuses. The recorded values showed very small differences with the exact ones. At the end, the system was able to meet the user specifications concerning its portability, sensitivity, accuracy and, most importantly, its low cost. © 2020 IEEE.

关键词： Mirrors

来源：评论

学校读者我要写书评

暂无评论

Extended Approach to Selecting a project-specific Reliability Growth Model

Extended Approach to Selecting a project-specific Reliabilit...

引用

International Convention on Information and Communication Technology, Electronics and Microelectronics

作者： Jamal Krini Abderrahim Krini Ossmane Krini Josef Borcsok Department of Computer Architecture and System Programming University of Kassel

ISBN: (纸本)9781509025435

The software reliability represents one of the most crucial aspects of functional safety. Software is used in almost any electronic systems. When a safety-critical system is considered, it has to be ensured that the software is able to fulfil the minimum safety requirements. If this is not the case, the software will have to be improved until the minimum requirements are fulfilled. Reliability growth models are used to determine the reliability of software. Depending on the area of application one specific model can deliver better prognosis results than another. This paper serves to introduce a methodology, which is provided for the purpose of selecting the most appropriate model.

关键词： Functional safety Error-related hazard rate Mean value function Forecasting Poisson model Program hazard rate Sigmoid function systematic errors Shooman model Unknown errors Prediction Failure rate Reliability growth models Time-dependent models Software engineering Safety-related systems Prognosis Bathtub curve Early failures Normal failures Late failures Probability of default Failure density MTTR MTTF MTBF Maximum likelihood estimation Estimation procedures Model parameters Effectiveness investigation model Quality criterion Absolute error

来源：评论

学校读者我要写书评

暂无评论

Improvement and verification methods for components/systems in automobile applications in the field of reliability forecasting with respect to one and two dimensions of stress factors 30

Improvement and verification methods for components/systems ...

引用

30th European Safety and Reliability Conference, ESREL 2020 and 15th Probabilistic Safety Assessment and Management Conference, PSAM15 2020

作者： Krini, Abderrahim Börcsök, Josef Engineering of Remanufacturing and Quality Robert Bosch GmbH Schwäbisch Gmünd Germany Department of Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (纸本)9789811485930

The details of future failures of systems that are serially produced are important for the remanufacturing departments to frame an optimal strategy for the post series supply. The existing one-dimensional and two-dimensional reliability prediction models predict field failures as a function of time based on the stress which the components/systems experience in the field until failure. In day-to-day situations the failure forecasts depend on many external factors like registration delay, which is the delay between the production of a system and its registration in market, reporting delay, which is the delay between the field failure and its reporting time, the export of vehicles to other countries or permanent damage caused to the vehicles. The improvement procedures are integrated into the existing reliability forecast models to reduce the incompleteness of the warranty data due to the influence of external factors using MATLAB. The verification process is to compare the forecasted field failures by the existing models with the actual field failures. The prognosis is carried out based on different failures data sets. With the help of sales data from Original Equipment Manufacturers, the forecasted failures Year to Date are verified. A validation of the results is carried out to check the impact of the influencing factors. © ESREL2020-PSAM15 *** by Research Publishing, Singapore.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

Reliability Forecasting for Components/systems with respect to 1-, 2- And 3- Dimensions of Stress Factors 30

Reliability Forecasting for Components/Systems with respect ...

引用

30th European Safety and Reliability Conference, ESREL 2020 and 15th Probabilistic Safety Assessment and Management Conference, PSAM 2020

作者： Krini, Abderrahim B rcs k, Josef Engineering of Remanufacturing and Quality Robert Bosch GmbH Schw bisch Gm nd Germany Department of Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (纸本)9789811485930

Remanufacturing, a popular term in the automotive industry, helps to reduce the need for raw materials, increase profitability, is an effective solution to the challenges of postal items and also benefits the environment. For the remanufacturing department, the reliability and failure rate of serial products is particularly important, and therefore the accurate prediction of failure rates is also important. It must be ensured that the product meets its reliability requirements. Existing one, two and three dimensional reliability prediction models predict field failures as a function of time, based on the stress experienced by the components/systems in the field until failure. The existing models have been extended to include the parameters that allow us to predict the reliability of refurbished systems. Improvements such as registration delays, reporting delays and the corrected candidate calculation, which deals with whether the product is still within the warranty period after the observation period, are present in the models and are applied to the systems. This reduces the incompleteness of warranty data due to the influence of external factors with MATLAB. The reliability of systems can be predicted with the lifetime prediction and further conclusions can be drawn for future development. In the verification process, the predicted field failures of the models are compared with the real field failures. ©ESREL2020-PSAM15 Organizers.

关键词： Failure rate

来源：评论

学校读者我要写书评

暂无评论

A Technique for Detection of Bots Which Are Using Polymorphic Code

Communications in Computer and Information Science

引用

Communications in Computer and Information Science 2014年 431卷 265-276页

作者： Pomorova, Oksana Savenko, Oleg Lysenko, Sergii Kryshchuk, Andrii Nicheporuk, Andrii Department of System Programming Khmelnitsky National University Instytutska 11 Khmelnitsky Ukraine

ISBN: (纸本)9783319079400

The new technique of botnet detection which bots use polymorphic code was proposed. Performed detection is based on the multi-agent system by means of antiviral agents that contain sensors. For detection of botnet, which bots use polymorphic code, the levels of polymorphism were investigated and its models were built. A new sensor for polymorphic code detection within antivirus agent of multi-agent system was developed. Developed sensor performs provocative actions against probably infected file, restarts of the suspicious file for probably modified code detection, behavior analysis for modified code detection, based on the principles of known levels of polymorphism. © Springer International Publishing Switzerland 2014.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Modular Fault Diagnosis in Fixed-Block Railway Signaling systems

引用

IFAC-PapersOnLine 2016年第3期49卷 459-464页

作者： Durmus, Mustafa S. Ustoglu, lker Tsarev, Roman Y. Schwarz, Michael Electrical and Electronics Engineering Department Pamukkale University Denizli Turkey Control and Automation Engineering Department Yildiz Technical University Istanbul Turkey Institute of Space and Information Technology Siberian Federal University Krasnoyarsk Russia Computer Architecture and System Programming Kassel University Kassel Germany

The diagnosis of possible faults in railway signaling systems is an important issue to provide safe travel and transportation in railways. Signaling system designers have to consider the possible faults which may occur in railway field components both on the requirements preparation phase and on the development phase of the signaling system software or namely, the interlocking system. Although the diagnosis of different unobservable faults is relatively hard, especially for large scale railway fields, this complexity can be overcome by using the Discrete Event system (DES) based modular diagnosis approach which is explained in this paper. The main advantage of using such modular approach for fault diagnosis in fixed-block signaling systems is the inspection of the diagnosability of the whole system with respect to its subsystems (railway field components). In this study, the diagnosability of the railway field equipment and the whole system is also explained with a case study. © 2016

关键词： Fault detection Discrete event simulation Failure analysis Railroad signal systems Railroads Signaling Development phase Field components Field equipment Fixed block signaling Interlocking systems Modular approach Railway signaling systems Signaling systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：