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

Lecture Notes in Networks and Systems 2024年 1076 LNNS卷 v-vii页

作者： Biele, Cezary Kacprzyk, Janusz Kopeć, Wieslaw Możaryn, Jakub Owsiński, Jan W. Romanowski, Andrzej Sikorski, Marcin National Information Processing Institute Warszaw Poland Polish Academy of Sciences Systems Research Institute Warsaw Poland Polish-Japanese Academy of Information Technology Warsaw Poland Institute of Automatic Control and Robotics Faculty of Mechatronics Warsaw University of Technology Warsaw Poland Institute of Applied Computer Science Faculty of Electrical Electronic Computer and Control Engineering Lódż University of Technology LODZ Poland Department of Applied Informatics in Management Faculty of Management and Economics Gdańsk University of Technology Gdańsk Poland

来源：评论

学校读者我要写书评

暂无评论

Empirical evaluation of continuous test-driven development in industrial settings

Empirical evaluation of continuous test-driven development i...

引用

作者： Madeyski, Lech Kawalerowicz, Marcin Faculty of Computer Science and Management Wroclaw University of Science and Technology Wyb. Wyspianskiego 27 Wroclaw50-370 Poland Faculty of Electrical Engineering Automatic Control and Informatics Opole University of Technology Opole Poland

BACKGROUND: Continuous Test-Driven Development (CTDD) is, proposed by the authors, enhancement of the well-established Test-Driven Development (TDD) agile software development and design practice. CTDD combines TDD with continuous testing (CT) that essentially perform background testing. The idea is to eliminate the need to execute tests manually by a TDD-inspired developer. OBJECTIVE: The objective is to compare the efficiency of CTDD vs TDD measured by the red-to-green time (RTG time), i.e., time from the moment when the project is rendered not compiling or any of the tests is failing, up until the moment when the project compiles and all the tests are passing. We consider the RTG time to be a possible measurement of efficiency because the shorter the RTG time, the quicker the developer is advancing to the next phase of the TDD cycle. METHOD: We perform single case and small-n experiments in industrial settings presenting how our idea of Agile Experimentation materialise in practice. We analyse professional developers in a real-world software development project employing ***. We extend the contribution presented in our earlier paper by: 1) performing additional experimental evaluation of CTDD and thus collecting additional empirical evidence, 2) giving an extended, detailed example how to use and analyse both a single case and small-n experimental designs to evaluate a new practice (CTDD) in industrial settings taking into account natural constraints one may observe (e.g., a limited number of developers available for research purposes) and presenting how to reach more reliable conclusions using effect size measures, especially PEM and PAND which are more appropriate when data are not normally distributed or there is a large variation between or within phases. RESULTS: We observed reduced variance and trimmed means of the RTG time in CTDD in comparison to TDD. Various effect size measures (including ES, d-index, PEM, and PAND) indicate small, albeit non-

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Promela and Spin Formal Verification of an M-Health Medical Social Media System

Promela and Spin Formal Verification of an M-Health Medical ...

引用

2019 International Conference on Automation, Computational and Technology Management, ICACTM 2019

作者： Al-Gayar, Sarmad Monadel Sabree Goga, Nicolae Al-Habeeb, Naseer Abdulkarim Jaber Doctoral School of Automatic Control and Computers University Politehnica of Bucharest Bucharest Romania Faculty of Engineering in Foreign Languages Computer Science University Politehnica of Bucharest Bucharest Romania

ISBN: (纸本)9781538680100

The process of detecting and identifying errors early in the life-cycle of any software has many challenges. The tools used for model checking are however becoming more effective and usable because they are helping the identification of errors. This has empowered users to apply model checking to large-scale problems. The process of validating the model implementation is normally harder. We created a Promela model by using a model checker called Spin in order to verify the Medical Social Media System based on Social Oriented Networks by using M-Health technology and sensors in smartphones and bracelets for medical data acquisition, in order for it to be used in the healthcare sector in Iraq. For the Promela Model, we first described the behaviors of the Medical Social Media Systems via UML timelines. After that, we combined the UML timelines in state diagrams that were finally transformed into a Promela model and verified with the Spin model checker. © 2019 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Implementing a solution for monitoring SLA violations in Cloud

Implementing a solution for monitoring SLA violations in Clo...

引用

Dependability in Sensor, Cloud and Big Data Systems and Application (DependSys), IEEE International Conference on

作者： Andreea Floricu Razvan Buzatu Catalin Negru Florin Pop Aniello Castiglione Faculty of Automatic Control and Computer Science University POLITEHNICA of Bucharest Romania National Institute for Research and Development in Informatics - ICI Bucharest Romania University of Naples Parthenope Italy

ISBN: (数字)9781728176512

ISBN: (纸本)9781728176529

Over time, the increased use of the Internet has led to the widespread adoption of web and cloud applications. More and more applications are coming to the aid of persons or companies to make their work easier. A Service Level Agreement (SLA) gathers information about all contracted services and their expected reliability in a single document and plays a very important role when it comes to IT (Information Technology) sales. This paper examines the extent to which the SLA is complied with through a series of specific reports and graphs. The usefulness of this application is to get an overview of web services to know the frequency of situations unforeseen and the moments when they deviated from the operation in good conditions.

关键词： Cloud computing Web services Conferences Reliability Information technology Monitoring Service level agreements

来源：评论

学校读者我要写书评

暂无评论

A spectral small-gain condition for input-to-state stability of infinite networks

引用

IFAC-PapersOnLine 2020年第2期53卷 5303-5308页

作者： Christoph Kawan Andrii Mironchenko Abdalla Swikir Navid Noroozi Majid Zamani Institute of Informatics Ludwig Maximilian University Munich Germany Faculty of Computer Science and Mathematics University of Passau Germany Department of Electrical and Computer Engineering Technical University of Munich Germany Otto-von-Guericke University Magdeburg Laboratory for Systems Theory and Automatic Control Germany Computer Science Department University of Colorado Boulder USA

This paper presents a tight small-gain theorem for networks composed of infinitely many finite-dimensional subsystems. Assuming that each subsystem is exponentially input-to-state stable, we show that if the gain operator, collecting all the information about the internal Lyapunov gains, has a spectral radius less than one, the overall infinite network is exponentially input-to-state stable. We illustrate the effectiveness of our result by applying it to traffic networks.

关键词： Nonlinear systems small-gain theorems infinite-dimensional systems input-to-state stability Lyapunov methods large-scale systems

来源：评论

学校读者我要写书评

暂无评论

Consumption of Polypropylene by Galleria Mellonella (Insecta, Lepidoptera, Pyralidae) Larvae Did Not Cause Degenerative Changes of Internal Organs

SSRN

引用

SSRN 2022年

作者： Rost-Roszkowska, Magdalena Piotrowska, Patrycja Chajec, Lukasz Sosinka, Agnieszka Wilczek, Grażyna Student, Sebastian Wrońska, Anna Karnówka, Oskar University of Silesia in Katowice Institute of Biology Biotechnology and Environmental Protection Bankowa 9 Katowice40-007 Poland Silesian University of Technology Faculty of Automatic Control Electronics and Computer Science Akademicka 16 Gliwice44-100 Poland Silesian University of Technology Biotechnology Center Krzywoustego 8 Gliwice44-100 Poland Polish Academy of Sciences Witold Stefański Institute of Parasitology Twarda 51/55 Warsaw00-818 Poland

G. mellonella is a promising species for use in biodegradation of plastics. It is easy to breed and has high resistance to diverse climatic conditions, which is particularly valuable when considering its potential application in decomposition of plastics. Although it does not pose a direct threat to humans, the greater wax moth is a parasitic species in bee hives, contributing to the population decline of these insects. This species has demonstrated the capacity for biodegradation of the most common types of plastics, such as polyethylene and polypropylene (PP), and the intestinal microbiome is responsible for their degradation. However, there are no reports on whether consumed plastics or their decomposition products will adversely affect the structure and functioning of the internal organs. During our preliminary research, we investigated whether any degenerative changes appeared in cells of selected organs – midgut, silk gland, and fat body – under PP consumption by G. mellonella caterpillars (7th instar larvae). We also examined whether there was an increase in levels of reactive oxygen species (ROS) in selected organs, as well as the ability of larvae to survive and undergo metamorphosis. The research was carried out using transmission electron microscopy (TEM), confocal microscopy, and flow cytometry. Our study on G. mellonella larvae fed with PP bags showed that a diet containing such plastic did not affect internal organs at the ultrastructural level. Cells in the analyzed organs – midgut, silk gland, and fat body – showed no degenerative changes. An increase in the intensity of autophagy and cell vacuolization was noted, but they probably act as a survival pathway. These observations suggest that the final larval stage of the greater wax moth can potentially be applied in PP biodegradation. © 2022, The Authors. All rights reserved.

关键词： Biodegradation

来源：评论

学校读者我要写书评

暂无评论

The conceptual approach of system for automatic vehicle accident detection and searching for life signs of casualties 5th

The conceptual approach of system for automatic vehicle acci...

引用

5th International Doctoral Symposium on Applied Computation and Security Systems, ACSS 2018

作者： Lupinska-Dubicka, Anna Tabedzki, Marek Adamski, Marcin Rybnik, Mariusz Omieljanowicz, Miroslaw Omieljanowicz, Andrzej Szymkowski, Maciej Gruszewski, Marek Klimowicz, Adam Rubin, Grzegorz Saeed, Khalid Faculty of Computer Science Bialystok University of Technology Bialystok Poland Faculty of Mathematics and Informatics University of Bialystok Bialystok Poland Faculty of Mechanical Engineering Department of Automatic Control and Robotics Bialystok University of Technology Bialystok Poland Faculty of Computer and Food Science Lomza State University of Applied Sciences Lomza Poland

ISBN: (纸本)9789811337017

The European eSafety initiative aims to improve the safety and efficiency of road transport. The main element of eSafety is the pan-European eCall project—an in-vehicle system which idea is to inform about road collisions or serious accidents. As estimated by the European Commission, the implemented system will reduce services’ response time by 40%. This will save 2,500 people a year. In 2015, the European Parliament adopted the legislation that from the end of March 2018 all new cars from the EU should be equipped with the eCall system. The limitation of this idea is that only small part of cars driven in UE are brand new (about 3.7% brand new cars were sold in 2015). This paper presents the first concept of an onboard eCall device which can be installed at the owners’ request in used vehicles. The proposed system will be able to detect a road accident, indicate the number of vehicle’s occupants, report their vital functions, and send that information to dedicated emergency services via duplex communication channel. © Springer Nature Singapore Pte Ltd. 2019.

关键词： Emergency services

来源：评论

学校读者我要写书评

暂无评论

Exponential Stabilization of Discrete Nonlinear Time-Varying Systems

引用

IFAC-PapersOnLine 2020年第2期53卷 4744-4749页

作者： Adam Czornik Evgenii Makarov Michał Niezabitowski Svetlana Popova Vasilii Zaitsev Faculty of Automatic Control Electronics and Computer Science Silesian University of Technology Gliwice 44-100 Poland Institute of Mathematics National Academy of Sciences of Belarus Minsk 220072 Belarus Udmurt State University Izhevsk 426034 Russia

We consider a discrete nonlinear control time-varying system x(k + 1) = f(k, x(k), u(k)), k ∈ ℕ, x ∈ ℝ n , u ∈ ℝ r . A control process of this system is a pair (x(k), u(k)) k ∈ N consisting of a control (u(k)) k∈N and some solution (x(k)) k∈N of the system with this control. We assume that the control process is defined for all k ∈ N. We have obtained sufficient conditions for uniform and non-uniform (with respect to the initial moment) exponential stabilization of the control process with any pregiven decay of rate. Exponential convergence to zero of the deviation of both the state vector and the control vector is guaranteed. The result is based on the property of uniform complete controllability (in the sense of Kalman) for a system of linear approximation.

关键词： discrete nonlinear time-varying system controllability stabilization

来源：评论

学校读者我要写书评

暂无评论

Decision support system based on pattern detection in iterative dermoscopic screening

引用

computer Methods and Programs in Biomedicine 2025年 269卷 108841页

作者： Salwowska, Natalia Kempski, Aleksander Zielonka, Piotr Pietkiewicz, Paweł Borys, Damian Department of Dermatology School of Medicine Medical University of Silesia Katowice Poland Department of Systems Biology and Engineering Faculty of Automatic Control Electronics and Computer Science Silesian University of Technology Gliwice Poland Dermatology Private Practice Polish Dermatoscopy Group Poznań Poland Biotechnology Centre Silesian University of Technology Gliwice Poland

Background and Objective: Videodermoscopy is the gold standard in melanoma diagnosis. A new research trend aims to support specialists’ work by automating this examination method, but most research focuses on developing detectors to replace dermatologists. Our study aims to present a novel idea which focuses on supporting the examination process instead of completely automating it. Instead of detecting and classifying all naevi each time, our approach focuses on full screening at the first visit and shortening the examination at subsequent visits. During the following examinations, images of all naevi are taken by supporting staff and are compared with previously taken images using feature-matching or co-registration-based algorithms. An unmatched naevus needs to be checked by the specialist, meaning that a new naevus appeared or an old one had changed. Methods: The similarity between images (ranging from 0% to 100%) was obtained with characteristic points searching (ORB method) and co-registration-based methods. No dataset presenting changes of naevi over time exists, so augmenting the images from PH2 and HAM10000 datasets was required to simulate the time flow. Results: The decision bound was set, so the true positive rate of each method was equal to 99%, giving the specificity of ORB equal to 97% (PH2) and 89% (HAM10000). Similar tests were performed using a co-registration algorithm giving specificity equal to 23% (PH2) and 19% (HAM10000). Conclusions: We believe that employing our approach will allow supporting staff to perform screening without experts’ help, decreasing examination time and costs and increasing the accessibility of dermoscopic examinations. © 2025 The Authors

关键词： Dermoscopy Machine vision Melanoma Pattern recognition Template matching

来源：评论

学校读者我要写书评

暂无评论

A New M-voting System for COVID-19 Special Situation in Iraq

A New M-voting System for COVID-19 Special Situation in Iraq

引用

E-Health and Bioengineering Conference (EHB)

作者： Naseer Abdulkarim Jaber Al-Habeeb Nicolae Goga Haider Abdullah Ali Sarmad Monadel Sabree Al-Gayar Doctoral School of Automatic Control and Computer Science University POLITEHNICA of Bucharest Bucharest Romania Faculty of Engineering in Foreign Languages Computer Science University POLITEHNICA of Bucharest Bucharest Romania Molecular Dynamics Group University of Groningen Groningen Netherlands

ISBN: (数字)9781728188034

ISBN: (纸本)9781728188041

Voting is the important procedure in different countries worldwide and is essential to any consensus-dependent society. Especially in the context of COVID pandemic where people stays home, such systems are very relevant today. Elections can happen for different reasons, involving choosing leaders, finishing political problems, choosing a substantial government, etc. The phenomenal using of Information Technology in the process of election is quickly earning momentum. This growth in voting systems indicated to as evoting comes with more benefits than the voting system based on paper. While there are many efforts in different parts of world regarding implementations and trials for electronic voting, there are not many researches regarding this in Asia Minor, especially Iraq. It can be noted that Iraq has several regions with difficult access and where sometime it is difficult to collect votes in the traditional way because of access reasons and post-war conditions. We want to fill this gap through the research presented in this paper. In this paper we describe an application for m-voting targeting the specific conditions of Iraq in the COVID situation. In the current society, the application of which we are talking about, can also be seen as a significant help for a numerous amount of countries during the pandemic of COVID-19. The application is based on Mobile technology. We choose mobile technology motivated by the fact that although people do not have computers, almost everyone has a mobile phone in Iraq. Moreover, the usefulness of mobiles can represent a proper way for people with disabilities to execute their legal right to vote for the future of their country.

关键词： Databases Smart phones COVID-19 Fingerprint recognition Blockchain Pandemics Servers

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：