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

3rd IEEE KhPI Week on Advanced technology, KhPI Week 2022

作者： Petrovska, Inna Kuchuk, Heorhii Mozhaiev, Mykhailo National Technical University 'Kharkiv Polytechnic Institute' Department of Computer Engineering and Programming Kharkiv Ukraine Computer Technology and Telecommunications Researches Sector National Scientific Center «hon. Prof Bokarius Forensic Science Institute» Kharkiv Ukraine

ISBN: (数字)9798350399202

ISBN: (纸本)9798350399202

The report considers the peculiarities of the distribution of computing resources in cloud systems. The most used classification of existing technologies of cloud services is considered. The advantages and disadvantages of such technologies are analyzed. The characteristic features of cloud computing that will need to be taken into account when allocating resources have been identified. IAAS technology has been shown to be most vulnerable to suboptimal resource allocation or reallocation. An expanded set of indicators for IAAS technology has been identified, including time-varying ones that need to be considered in resource allocation. Solving this problem will increase the efficiency of the use of cloud computing resources in general, increase application productivity and reduce the cost of infrastructure and its maintenance. © 2022 IEEE.

关键词： Resource allocation

来源：评论

学校读者我要写书评

暂无评论

Execution of UML state machines using modelica

Execution of UML state machines using modelica

引用

3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010 - In Conjunction with the MODELS 2010 Conference

作者： Schamai, Wladimir Pohlmann, Uwe Fritzson, Peter Paredis, Christiaan J.J. Helle, Philipp Strobel, Carsten EADS Innovation Works Germany Department of Computer Science University of Paderborn Germany PELAB - Programming Environment Lab Linköping University Sweden Georgia Institute of Technology Atlanta United States

ModelicaML is a UML profile for the creation of executable models. ModelicaML supports the Model-Based Systems Engineering (MBSE) paradigm and combines the power of the OMG UML standardized graphical notation for systems and software modeling, and the simulation power of Modelica. This addresses the increasing need for precise integrated modeling of products containing both software and hardware. This paper focuses on the implementation of executable UML state machines in ModelicaML and demonstrates that using Modelica as an action language enables the integrated modeling and simulation of continuous-time and reactive or event-based system dynamics. More specifically, this paper highlights issues that are identified in the UML specification and that are experienced with typical executable implementations of UML state machines. The issues identified are resolved and rationales for design decisions taken are discussed.

关键词： Continuous time systems

来源：评论

学校读者我要写书评

暂无评论

An alternative to Quiescence: Tranquility

An alternative to Quiescence: Tranquility

引用

International Conference on Software Maintenance (ICSM)

作者： Yves Vandewoude Peter Ebraert Yolande Berbers Theo D'Hondt Department of Computer Science Leuven Belgium Programming Technology Laboratory Brussels Belgium

This paper revisits a problem that was identified by Kramer and Magee: placing a system in a consistent state before and after runtime changes (1990). We show that their notion of quiescence as a necessary and sufficient condition for safe runtime changes is too strict and violates the black-box design principle. We introduce a weaker condition, tranquility; easier to obtain, less disruptive for the system and still sufficient to ensure application consistency. We also present an implementation of this concept in a component middleware platform

关键词： Application software Runtime Sufficient conditions computer science Middleware Web services Switches Telecommunication switching Banking Software systems

来源：评论

学校读者我要写书评

暂无评论

A filtered tuning method for a GPC controller

A filtered tuning method for a GPC controller

引用

IET Irish Signals and Systems Conference (ISSC 2010)

作者： M.H. Schwarz C.S. Cox J. Börcsök Department of Computer architecture and System programming Safety Computer Technology University of Kassel Germany Control Systems Centre University of Sunderland UK Department of Computer architecture and System programming University of Kassel Germany

This paper presents a new tuning method based on model parameters identified in closed-loop. For classical controllers such as PI(D) controllers a large number of simple tuning methods for various application areas exist. However, when it comes to designing a generalised predictive controller (GPC) four parameters have to be specified. To choose those parameters is not a trivial task since they are not directly related to control or regulation performance. The presented tuning method exploits model-parameters to select suitable controller parameters. Additionally, a Rhinehart filter is incorporated in the design to decrease the impact of noise, therefore, a fifth parameter has to be optimised. The proposed method has been tested in simulation and on a real system.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A novel reduction method for type-2 uncertain normal critical values and its applications on 4D profit transportation problem involving damageable and substitute items

引用

International Journal of Applied and Computational Mathematics 2021年第4期7卷 1-30页

作者： Sahoo, Palash Jana, Dipak Kumar Pramanik, Sutapa Panigrahi, Goutam Department of Mathematics National Institute of Technology Durgapur Durgapur 713209 West Bengal India School of Applied Sciences & Humanities Haldia Institute of Technology Haldia Purba Midnapur 721657 West Bengal India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721102 West Bengal India

In this paper, we developed and investigated some four-dimensional profit maximization transportation problems considering damageablity and substitutability, where the parameters are of a type-2 normal uncertain variable in nature. Here, unit transportation cost, distances of the paths, fixed charges, rate of breakability, availability, demands, capacities of conveyances, the unit selling price, unit purchasing cost, unit procurement cost are regarded as type-2 normal uncertain variables. Two models are formulated based on two separate criteria of the substitution items. We use a critical value-based reduction method to reduce type-2 normal uncertain variables into type-1 normal uncertain variables and then apply some properties of uncertainty theory to convert the profit transportation parameters into deterministic form. The two deterministic models are solved using the optimization software named LINGO -18.0. A real-life numerical example and optimal results are presented here to show the application of the proposed model and the proposed reduction method. © 2021, The Author(s), under exclusive licence to Springer Nature India Private Limited.

关键词： Critical value Four dimensional profit transportation problem Reduction method Type-2 normal uncertain variables

来源：评论

学校读者我要写书评

暂无评论

Tranquility: A low disruptive alternative to quiescence for ensuring safe dynamic updates

Tranquility: A low disruptive alternative to quiescence for ...

引用

作者： Vandewoude, Yves Ebraert, Peter Berbers, Yolande D'Hondt, Theo Department of Computer Science Katholieke Universiteit Leuven Celestijnenlaan 200A 3001 Heverlee Belgium Programming Technology Lab. Vrije Universiteit Brussel Plainlaan 2 B1050 Brussels Belgium

This paper revisits a problem that was identified by Kramer and Magee: placing a system in a consistent state before and after runtime changes. We show that their notion of quiescence as a necessary and sufficient condition for safe runtime changes is too strict and results in a significant disruption in the application being updated. In this paper, we introduce a weaker condition: tranquility. We show that tranquility is easier to obtain and less disruptive for the running application but still a sufficient condition to ensure application consistency. We present an implementation of our approach on a component middleware platform and experimentally verify the validity and practical applicability of our approach using data retrieved from a case study. © 2007 IEEE.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

PREDICTION OF HEART DISEASE USING CLASSIFICATION AND FEATURE SELECTION METHODS 17

PREDICTION OF HEART DISEASE USING CLASSIFICATION AND FEATURE...

引用

17th International Symposium on Operational Research in Slovenia, SOR 2023

作者： Akarçay Pervin, Özlem Yapici Pehlivan, Nimet Weber, Gerhard Wilhelm KTO Karatay University Department of Computer Programming Konya Turkey Selçuk University Department of Statistics Konya Turkey Poznan University of Technology Poznan Poland Middle East Technical University Institute of Applied Mathematics Ankara Turkey

ISBN: (纸本)9789616165617

Heart disease, known as cardiovascular disease has been one of the main causes of death worldwide in recent years. It is affected by various risk factors such as high blood pressure, high cholesterol, diabetes, smoking, obesity, physical inactivity, etc. In this study, Cleveland database of UCI repository of heart disease patients is used. The dataset includes 303 instances and 76 variables which of 14 variables are considered. At first, three different feature selection techniques, namely LASSO, Elastic Net and Adaptive LASSO under specific tuning parameters determined by cross-validation, are applied to reduce the number of independent variables used for the prediction. Then, five different classification techniques, K-nearest neighbor, Support Vector Machine, Decision Tree, Random Forest, and Logistic Regression are performed to predict heart disease. Performances of these methods are measured by different metrics, such as accuracy, sensitivity, specificity, and Matthew correlation coefficient. © Proceedings of the 17th International Symposium on Operational Research in Slovenia, SOR 2023. All rights reserved.

关键词： Decision trees

来源：评论

学校读者我要写书评

暂无评论

Coloring gray-scale image using artificial neural networks

Coloring gray-scale image using artificial neural networks

引用

International Conference on Adaptive Science & technology (ICAST)

作者： Bekir Karlik Mustafa Sariöz Department of Computer Engineering Haliç University Istanbul Turkey Computer Technology and Programming Fatih University Istanbul Turkey

This paper presents a novel method on coloring the grayscale images. For this purpose, a combination of artificial neural networks and some image processing algorithms was developed to transfer colors from a user-selected source image to a target grayscale image. According to the results of this combining method, a survey where volunteers were asked to rate the plausibility of the colorings generated automatically was performed for individual images. In most cases automatically-colored images were rated either as totally or mostly acceptable.

关键词： Gray-scale Artificial neural networks Color Humans Pixel Image databases Motion pictures computer networks Image processing Data visualization

来源：评论

学校读者我要写书评

暂无评论

<i>L</i>(0, 1)-Labelling of Cactus Graphs

引用

Communications and Network 2012年第1期4卷 18-29页

作者： Nasreen Khan Madhumangal Pal Anita Pal Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore India Department of Mathematics National Institute of Technology Durgapur Durgapur India

An L(0,1)-labelling of a graph G is an assignment of nonnegative integers to the vertices of G such that the difference between the labels assigned to any two adjacent vertices is at least zero and the difference between the labels assigned to any two vertices which are at distance two is at least one. The span of an L(0,1)-labelling is the maximum label number assigned to any vertex of G. The L(0,1)-labelling number of a graph G, denoted by λ0.1(G) is the least integer k such that G has an L(0,1)-labelling of span k. This labelling has an application to a computer code assignment problem. The task is to assign integer control codes to a network of computer stations with distance restrictions. A cactus graph is a connected graph in which every block is either an edge or a cycle. In this paper, we label the vertices of a cactus graph by L(0,1)-labelling and have shown that, △-1≤λ0.1(G)≤△ for a cactus graph, where △ is the degree of the graph G.

关键词： Graph Labelling Code Assignment L(0 1)-Labelling Cactus Graph

来源：评论

学校读者我要写书评

暂无评论

Classification of histopathological images using convolutional neural network

Classification of histopathological images using convolution...

引用

Workshops on Image Processing Theory, Tools and Applications, IPTA

作者： Nuh Hatipoglu Gokhan Bilgin Programming Department Trakya University Computer Technology Edirne Turkey Computer Engineering Department Yildiz Technical University Istanbul Turkey

In this work, classification of cellular structures in the high resolutional histopathological images and the discrimination of cellular and non-cellular structures have been investigated. The cell classification is a very exhaustive and time-consuming process for pathologists in medicine. The development of digital imaging in histopathology has enabled the generation of reasonable and effective solutions to this problem. Morever, the classification of digital data provides easier analysis of cell structures in histopathological data. Convolutional neural network (CNN), constituting the main theme of this study, has been proposed with different spatial window sizes in RGB color spaces. Hence, to improve the accuracies of classification results obtained by supervised learning methods, spatial information must also be considered. So, spatial dependencies of cell and non-cell pixels can be evaluated within different pixel neighborhoods in this study. In the experiments, the CNN performs superior than other pixel classification methods including SVM and k-Nearest Neighbour (k-NN). At the end of this paper, several possible directions for future research are also proposed.

关键词： Convolution Neural networks Training Support vector machines Cancer Accuracy Biomedical imaging

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：