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

13th International Conference on Dependable Systems, Services and Technologies, DESSERT 2023

作者： Petrovska, Inna Kuchuk, Heorhii Kuchuk, Nina Mozhaiev, Oleksandr Pochebut, Maxim Onishchenko, Yurii National Technical University Kharkiv Polytechnic Institute Kharkiv Ukraine National Technical University Kharkiv Polytechnic Institute Department of Computer Engineering and Programming Kharkiv Ukraine Kharkiv National University of Internal Affairs Department of Cyber Security and DATA Technologies Kharkiv Ukraine SET University Academic Board Kiev Ukraine Kharkiv National University of Internal Affairs Department № 4 Kharkiv Ukraine

ISBN: (纸本)9798350396119

A developed adaptive forecasting model for cloud resource allocation is presented. It employs principal component analysis on a sequence of virtual machine (VM) requests. Requests are processed to detect anomalies, and adaptive predictions are computed using EEMD-ARIMA or EEMD-RT-ARIMA methods. The choice between EEMD-ARIMA and EEMD-RT-ARIMA methods is determined by comparing the execution time values Ri (sequential series test) with the threshold value Rt d. If Ri > Rtd, EEMD-ARIMA is used;if Ri ≤ Rt d, EEMD-RT-ARIMA is applied. This adaptive approach enables the selection of a prediction method based on data characteristics and resource demands. To optimize the selection of the Rt d threshold, the impact on accuracy and time costs is examined. A quartile method is utilized to detect dynamic spikes, and cubic spline interpolation is employed to smooth data. EEMDRT-ARIMA-based forecasting enhances accuracy through preprocessing of dynamic spikes and adaptive method selection. Calculations of time costs indicate that this method reduces forecasting time by 1.5 times by extracting core component sequences. © 2023 IEEE.

关键词： Virtual machine

来源：评论

学校读者我要写书评

暂无评论

Lemma Functions for Frama-C: C Programs as Proofs

Lemma Functions for Frama-C: C Programs as Proofs

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Grigoriy Volkov Mikhail Mandrykin Denis Efremov Faculty of Computer Science Higher School of Economics Moscow Russia Software Engineering Department Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9781728112763;9781728112756

This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C, and evaluation on a set of string-manipulating functions from the Linux kernel. We illustrate the benefits our approach can bring concerning the effort required to prove lemmas, compared to the approach based on interactive provers such as Coq. Current limitations of the method and its implementation are discussed.

关键词： Tools Manuals Contracts Linux Kernel Economics

来源：评论

学校读者我要写书评

暂无评论

Couette-Poiseuille flow based non-linear flow over a square cylinder near plane wall

Couette-Poiseuille flow based non-linear flow over a square ...

引用

作者： Bhatt, Rajesh Maiti, Dilip K. Alam, Md. Mahbub Rehman, S. Institute for Turbulence-Noise-Vibration Interaction and Control Shenzhen Graduate School Harbin Institute of Technology Shenzhen China Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapur721102 India Center for Engineering Research Research Institute King Fahd University of Petroleum and Minerals Dhahran31261 Saudi Arabia

A numerical study on the flow over a square cylinder in the vicinity of a wall is conducted for different Couette-Poiseuille-based non-uniform flow with the non-dimensional pressure gradient P varying from 0 to 5. The nondimensional gap ratio L (=H /a ) is changed from 0.1 to 2, where H is gap height between the cylinder and wall, and a is the cylinder width. The governing equations are solved numerically through finite volume method based on SIMPLE algorithm on a staggered grid system. Both P and L have a substantial influence on the flow structure, time-mean drag coefficient CD, fluctuating (rms) lift coefficient (C′L), and Strouhal number St. The changes in P and L leads to four distinct flow regimes (I, II, III and IV). Following the flow structure change, the CD , C′L, and St all vary greatly with the change in L and/or P. The CD and C′L both grow with increasing P and/or L. The St increases with P for a given L, being less sensitive to L for a smaller P ( 2). A strong relationship is observed between the flow regimes and the values of CD , CL and St. An increase in P affects the pressure distribution more on the top surface than on bottom surface while an increase in L does the opposite. © 2018 Techno-Press, Ltd.

关键词： Flow structure

来源：评论

学校读者我要写书评

暂无评论

Comparative Analysis of Minimum Chip Thickness, Surface Quality and Burr Formation in Micro-Milling of Wrought and Selective Laser Melted Ti64

SSRN

引用

SSRN 2023年

作者： Yalçın, Bekir Karakılınç, Uçan Ergene, Berkay Aslantaş, Kubilay Isparta University of Applied Sciences Department of Computer Programming Isparta32200 Turkey Pamukkale University Department of Mechanical Engineering Denizli20160 Turkey Afyon Kocatepe University Department of Mechanical Engineering Afyonkarahisar 03200 Turkey

Selective laser melting (SLM) is a three dimensional (3D) printing process which can manufacture functional parts with complex geometries as an alternative to using traditional processes (i.e. via machining of wrought metal). The fabricated parts can be then machined if precision and high surface finish are required, particularly when miniature channels/geometries smaller than 1 mm are to be made on the part. Therefore, micro milling has a significant role in the production of such miniscule geometries. In this experimental effort, the micro machinability of Ti-6Al-4V (Ti64) parts produced via SLM compared with wrought Ti64. The aim is to study the effect of micro milling parameters: feeds per tooth of 0.05, 0.1, 0.25, 0.5, 1, 2, 5 and 10 μm/tooth, cutting depths of 25, 50, 100 and 200 μm and spindle speeds of 5000, 10000, 20000 and 50000 rpm © 2023, The Authors. All rights reserved.

关键词： Surface properties

来源：评论

学校读者我要写书评

暂无评论

An implementation of a CSCW framework using CORBA

An implementation of a CSCW framework using CORBA

引用

IEEE Workshop on High-Performance Communication Systems, HPCS

作者： Dong Ho Song Dong Hae Chi Youn Jin In Keung Hae Lee Department of Computer Engineering University of Hong Kong Koyang Kyunggi South Korea Parallel Programming Section Electronics and Telecommunications Research Institute Taejon South Korea

OMG's (Object Management Group) CORBA (Common Object Request Broker Architecture) is becoming a common platform for distributed computing environment. However, it is yet to address CSCW (computer Supported Collaborative Work) ftamework. This paper addresses the problem of building a framework for CSCW and proposes a new CSCW framework based on CORBA (CFC). CFC includes session, participant, mode, directory, stream, media and resource management. A desktop conference system and DSM-CC compliant video-on-demand system were built to demonstrate the usefulness of the framework. The performance of CORBA based CSCW applications is given. The strengths and weaknesses of using a CORBA framework are also discussed.

关键词： Application software Videoconference Middleware System software Streaming media Video sharing Multimedia systems Cities and towns Parallel programming Abstracts

来源：评论

学校读者我要写书评

暂无评论

Modelling the Decision Making Process on Legal Conducting the Surrogate Motherhood

Modelling the Decision Making Process on Legal Conducting th...

引用

IEEE International Conference on Dependable Systems, Services and Technologies (DESSERT)

作者： Tetiana Hovorushchenko Alla Herts Yelyzaveta Hnatchuk Computer Engineering & System Programming Department Khmelnytskyi National University Khmelnytskyi Ukraine Civil Law and Legal Proceedings Department Ivan Franko National University of Lviv Lviv Ukraine

ISBN: (数字)9781728199573

ISBN: (纸本)9781728199580

Currently, there is a need in Ukraine for the design and development of multidisciplinary decision support systems (DSSs) for the medical and other related spheres - for example, the medical law sector, in particular, the DSS for the surrogacy's legal regulation field. This DSS will be able to protect doctors from potentially wrong decisions by taking into account all available information when making the decisions. For design such DSS, it's necessary to conduct the modelling of the decision-making process on surrogacy's legal conducting, that is the goal of this research. In this paper, there are the theoretical foundations of using the ontologies for the decision-making process on surrogacy's legal conducting, a model of base ontology with the necessary requirements and recommendations for conducting the surrogate motherhood, and ontology-based model of the decision-making process on surrogacy's legal conducting. The conducted modelling is a theoretical basis for the development of methods and design of DSS in the field of legal regulation of surrogate motherhood.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Distributed System for Detecting the Malware in LAN

Distributed System for Detecting the Malware in LAN

引用

International Scientific and Technical Conference on computer Science and Information Technologies

作者： George Markowsky Oleg Savenko Anatoliy Sachenko Department of Computer Science Missouri University of Science and Technology Rolla USA Department of Computer Engineering and System Programming Khmelnytsky National University Khmelnytsky Ukraine Department of Informatics Kazimierz Pulaski University of Technology and Humanities in Radom Radom Poland

The paper proposes the architecture of distributed multilevel detection system of malicious software in local area networks. Its feature is the synthesis of its requirements of distribution, decentralization, multilevel. This allows you to use it autonomously. In addition, the feature of autonomous program modules of the system is the same organization, which allows the exchange of knowledge in the middle of the system, which, unlike the known systems, allows you to use the knowledge gained by separate parts of the system in other parts. The developed system allows to fill it with subsystems of detection of various types of malicious software in local area networks.

关键词： Architecture Distributed system Malware Local area networks

来源：评论

学校读者我要写书评

暂无评论

Advantages of Fog Computing: A Comparative Analysis with Cloud Computing for Enhanced Edge Computing Capabilities

Advantages of Fog Computing: A Comparative Analysis with Clo...

引用

Advanced Technology (KhPIWeek), IEEE KhPI Week on

作者： Mykhailo Hunko Vitalii Tkachov Andriy Kovalenko Heorhii Kuchuk Department of Electronic Computers Kharkiv National University Of Radio Electonics Kharkiv Ukraine Department of Computer Engineering and Programming National Technical University «Kharkiv Polytechnic Institute» Kharkiv Ukraine

Fog computing extends the capabilities of cloud computing by enabling computing at the edge of the network, involving devices such as mobile collaborative devices or fixed nodes with integrated storage, computing, and communication capabilities. Fog computing offers benefits such as improved efficiency, increased security, savings in network bandwidth, and increased flexibility. In order to provide a complete understanding of Fog computing, this paper presents its salient features and highlights the differences from cloud computing research. Cloud computing is an emerging technology that offers computing resources on a pay-per-use basis. It provides three service models, and the cloud offers cost-effective centrally managed resources for reliable computing for specific tasks. This document presents a comparison between Fog computing and cloud computing, highlighting the differences in design, deployment, services, and tools available to organizations and users. By explicating the distinctiveness of fog computing and its contrast to cloud computing, we contribute to the field by shedding light on the unparalleled potential of fog computing in conserving resources while delivering robust computational solutions at the network periphery. Our study offers a new perspective that challenges the prevailing practices and extends the discourse on optimizing distributed computing architectures.

关键词：

来源：评论

学校读者我要写书评

暂无评论

PPD: A practical parallel loop detector for parallelizing compilers

PPD: A practical parallel loop detector for parallelizing co...

引用

International Conference on Parallel and Distributed Systems (ICPADS)

作者： Cheng-Tien Wu Chao-Tung Yang Shian-Shyong Tseng Knowledge Engineering and Programming Language LaboratoryDepartment of Computer & Information Science Natíonal Chiao-Tung University Hsinchu Taiwan Department of Computer and Onformation Science at National Chiao Tung University Hsinchu Taiwan

ISBN: (纸本)0818672676

It is well known that extracting parallel loops plays a significant role in designing parallelizing compilers. The execution efficiency of a loop is enhanced when the loop can be executed in parallel or partial parallel, like a DOALL or DOACROSS loop. This paper reports on the practical parallelism detector (PPD) that is implemented in PFPC (a portable FORTRAN parallelizing compiler running on OSF/1) at NCTU to concentrate on finding the parallelism available in loops. The PPD can extract the potential DOALL and DOACROSS loops in a program by invoking a combination of the ZIV test and the I test for verifying array subscripts. Furthermore, if DOACROSS loops are available, an optimization of synchronization statement is made. Experimental results show that PPD is more reliable and accurate than previous approaches.

关键词： Detectors Equations Information science Parallel processing System testing Program processors Chaos Knowledge engineering computer languages Concurrent computing

来源：评论

学校读者我要写书评

暂无评论

A method for targeting unmanned aerial vehicles for a distributed intelligent control system for a group of dissimilar unmanned aerial vehicles 4

A method for targeting unmanned aerial vehicles for a distri...

引用

4th IEEE KhPI Week on Advanced Technology, KhPI Week 2023

作者： Parkhomenko, Danylo Voronin, Viktor Rysovanyi, Oleksandr Startsev, Volodymyr Burtsev, Valery Panchenko, Volodymyr Scientific and Organizational Department of Ivan Kozhedub Kharkiv National Air Force University Kharkiv Ukraine Ivan Kozhedub Kharkiv National Air Force University Kharkiv Ukraine Computer Engineering and Programming Department National Technical University "Kharkiv Polytechnic Institute" Kharkiv Ukraine Department of the Faculty of Anti-aircraft Missile Forces Ivan Kozhedub Kharkiv National Air Force University Kharkiv Ukraine

The application of a distributed intelligent control system for a group of unmanned aerial vehicles is substantiated, a method for coordinating their interaction to maximize the target indicator is proposed and substa... 详细信息

ISBN: (纸本)9798350395532

关键词： Unmanned aerial vehicles (UAV)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：