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

arXiv 2023年

作者： Groner, Raffaela Witte, Thomas Raschke, Alexander Hirn, Sophie Pekaric, Irdin Frick, Markus Tichy, Matthias Felderer, Michael Institute of Software Engineering and Programming Languages Ulm University Germany Department of Computer Science University of Innsbruck Austria Department of Information Systems and Computer Science University of Liechtenstein Liechtenstein Germany Department of Mathematics and Computer Science University of Cologne Germany

Joint safety and security analysis of cyber-physical systems is a necessary step to correctly capture inter-dependencies between these properties. Attack-Fault Trees represent a combination of dynamic Fault Trees and Attack Trees and can be used to model and model-check a holistic view on both safety and security. Manually creating a complete AFT for the whole system is, however, a daunting task. It needs to span multiple abstraction layers, e.g., abstract application architecture and data flow as well as system and library dependencies that are affected by various vulnerabilities. We present an AFT generation tool-chain that facilitates this task using partial Fault and Attack Trees that are either manually created or mined from vulnerability databases. We semi-automatically create two system models that provide the necessary information to automatically combine these partial Fault and Attack Trees into complete AFTs using graph transformation rules. © 2023, CC BY-NC-ND.

关键词： Trees (mathematics)

来源：评论

学校读者我要写书评

暂无评论

A blockchain-oriented covert communication technology with controlled security level based on addressing confusion ciphertext

引用

Frontiers of computer science 2025年第2期19卷 133-135页

作者： Lejun ZHANG Bo ZHANG Ran GUO Zhujun WANG Guopeng WANG Jing QIU Shen SU Yuan LIU Guangxia XU Zhihong TIAN Sergey GATAULLIN Cyberspace Institute Advanced Technology Guangzhou UniversityGuangzhou 510006China Research and Development Center for E-Learning Ministry of EducationBeijing 100039China College of Information Engineering Yangzhou UniversityYangzhou 225009China School Math and Computer Science Quanzhou Normal UniversityQuanzhou 362000China Pazhou Lab Guangzhou 510330China School of Physics and Materials Science Guangzhou UniversityGuangzhou 510006China Central Economic and Mathematics Institute Russian Academy of SciencesMoscow 117418Russia Industrial Programming Department MIREA-Russian Technological UniversityMoscow 119454Russia

1 Introduction Traditional covert communication[1]usually relies on centralized channels,which are efficient in transmission but susceptible to eavesdropping and attacks,leading to information ***,distributed methods also exist,such as peer-to-peer networks and distributed hash *** technology,which is decentralized,anonymous,non-tamperable and anti-attack,can be applied to covert communication to solve the problems of traditional methods and improve the quality of communication.

关键词： communication tables networks

来源：评论

学校读者我要写书评

暂无评论

Analyzing the impact of machine learning and artificial intelligence and its effect on management of lung cancer detection in covid-19 pandemic

引用

Materials Today: Proceedings 2022年 56卷 2213-2216页

作者： Boddu, Raja Sarath Kumar Karmakar, Partha Bhaumik, Ankan Nassa, Vinay Kumar Vandana Bhattacharya, Sumanta Department of CSE Lenora College of Engineering Andhra Pradesh Rampachodavaram India Government of West Bengal Bikash Bhawan Salt Lake W.B. Kolkata India Dept. of Applied Mathematics With Oceanology and Computer Programming Vidyasagar University Midnapore India Department of Computer Science Engineering South Point Group of Institutions Sonepat Haryana India Department of Mathematics Dasmesh Khalsa College Zirakpur India Department of Science and Technology and Biotechnology MAKAUT India

Cancer victims, particularly those with lung cancer, are more susceptible and at higher danger of COVID-19 and associated consequences as a result of their compromised immune systems, which makes them particularly sensitive. Because of a variety of circumstances, cancer patients' diagnosis, treatment, and aftercare are very complicated and time-consuming during an epidemic. In such circumstances, advances in artificial intelligence (AI) and machine learning algorithms (ML) offer the capacity to boost cancer sufferer diagnosis, therapy, and care via the use of cutting technologies. For example, using clinical and imaging data combined with machine learning methods, the researchers may be able to distinguish among lung alterations induced by corona virus and those produced by immunotherapy and radiation. During this epidemic, artificial intelligence (AI) may be utilized to guarantee that the appropriate individuals are recruited in cancer clinical trials more quickly and effectively than in the past, which was done in a conventional and complicated manner. In order to better care for cancer patients and find novel and more effective therapies, It is critical that we move beyond traditional research methods and use artificial intelligence (AI) and machine learning to update our research (ML). Artificial intelligence (AI) and machine learning (ML) are being utilised to help with several aspects of the COVID-19 epidemic, such as epidemiology, molecular research and medication development, medical diagnosis and treatment, and socioeconomics. The use of artificial intelligence (AI) and machine learning (ML) in the diagnosis and treatment of COVID-19 patients is also being investigated. The combination of artificial intelligence and machine learning in COVID-19 may help to identify positive patients more quickly. In order to understand the dynamics of an epidemic that is relevant to artificial intelligence, when used in different patient groups, AI-based algorithms can quic

关键词： COVID-19

来源：评论

学校读者我要写书评

暂无评论

Features of the distribution of computing resources in cloud systems 3

Features of the distribution of computing resources in cloud...

引用

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

来源：评论

学校读者我要写书评

暂无评论

Simulating Structural Plasticity of the Brain more Scalable than Expected

arXiv

引用

arXiv 2022年

作者： Czappa, Fabian Geiß, Alexander Wolf, Felix Laboratory for Parallel Programming Department of Computer Science Technical University of Darmstadt Germany

Structural plasticity of the brain describes the creation of new and the deletion of old synapses over time. Rinke et al. (JPDC 2018) introduced a scalable algorithm that simulates structural plasticity for up to one billion neurons on current hardware using a variant of the Barnes–Hut algorithm. They demonstrate good scalability and prove a runtime complexity of O(n log2 n). In this comment paper, we show that with careful consideration of the algorithm and a rigorous proof, the theoretical runtime can even be classified as O(n log n). © 2022, CC BY-NC-ND.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of a QoL Improvement System for Visually Impaired Patients 5

Design and Implementation of a QoL Improvement System for Vi...

引用

5th International Conference on Advances in Computational Tools for Engineering Applications, ACTEA 2023

作者： Abi Zeid Daou, Roy Beaino, Jad Hawat, Johnny Ibrahim, Ramy Hayek, Ali Boercsoek, Josef Olmedo, Jose Javier Serrano Université la Sagesse Faculty of Engineering Mechatronics Department Beirut Lebanon MART Learning Education and Research Center Chananir Lebanon University of Applied Science Hamm-Lippstadt Department Lippstadt 2 Hardware Engineering Hamm59063 Germany University of Kassel Faculty of Electrical Engineering/Computer Science Department of Computer Architecture and System Programming Germany Centro de Tecnología Biomédica Universidad Politécnica de Madrid Lab of Bioinstrumentation and Nanomedicine Spain

ISBN: (纸本)9798350309959

Visually impaired people encounter several challenges in their mobility and navigation. Their daily activities are obstructed due to their inability to adapt or recognize accurately their surroundings, especially outside their house which they are more familiar with. Thus, it becomes the main reason of accidents, falling off, getting lost in unknown areas, etc. Furthermore, one of the sensory systems that helps the body to process data about the external environment is the visual system. Blind people also lose touch with the outside world, develops poor motor habits, which results in postural problems as a result. This project will assist visually impaired people in their daily life and simplify normal tasks through a system combining two previously designed projects, 'Smart Shoes for Blind and Visually Impaired People', and 'Human posture monitoring device'. The multifunctional system is developed with the goal of securing safe movements for visually impaired people as well as maintaining a good back posture by detecting leaning postures (LP). The purpose of the smart shoe is to identify obstacles and protect the user from unintended accidents. A compatible Android application has been developed to alert the user when there is an obstruction or when he is walking on a wet surface. Voice alarms will be used to acoustically alert the user. If the user collapses, a message with their position will be sent right away to a relative. On the other hand, the smart vest will identify the position of the user's back and alert him to maintain a straight posture through the same application as well. As the system is dealing with human health, some safety measurements would be taken into consideration to implement a safe electrical system in order to reduce error and to increase accuracy. © 2023 IEEE.

关键词： Accidents

来源：评论

学校读者我要写书评

暂无评论

WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+

arXiv

引用

arXiv 2024年

作者： Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Software and Systems Laboratory Department of Computer Science Loyola University Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one’s undergraduate studies, (3) demonstrate how to address successive "failures" through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding TLA+ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in TLA+ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudinal analysis within our own institution and

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Quadripartitioned Neutrosophic Graph Structures

引用

Neutrosophic Sets and Systems 2022年 51卷 269-294页

作者： Hussain, S. Satham Rashmonlou, Hossein Mofidnakhaei, F. Hussain, R Jahir Sahoo, Sankar Broumi, Said PG & Research Department of Mathematics Jamal Mohamed College Tamilnadu Trichy India Department of Mathematics University of Mazandarn Babolsar Iran Department of Physics Sari Branch Islamic Azad University Sari Iran Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore India Laboratory of Information Processing Faculty of Science Ben M’Sik University Hassan II Casablanca Morocco

The quadripartitioned neutrosophic set is the partition of indeterminacy function of the neutrosophic set into contradiction part and ignorance part. In this work, the concept of quadripartitioned neutrosophic graph structures and its properties are invented. The strong, tree, Φ − permutation and Φ − complement of quadripartitioned neutrosophic graph structure are investigated. The operations like Cartesian Product, cross product, lexicographic product, composition in graph structures and join operations are established. © 2022, Neutrosophic Sets and Systems. All Rights Reserved.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

Economic analysis of one type of criminal activity 14

Economic analysis of one type of criminal activity

引用

14th International Conference Management of Large-Scale System Development, MLSD 2021

作者： Troyanovskiy, V.M. Federal Research Center 'Computer Science and Control' Russian Academy of Sciences Department of Mathematical Methods of Regional Programming Moscow Russia

ISBN: (纸本)9781665412308

This paper provides a formal analysis of the regularities of functioning and development of economic crimes. It was expedient to find out the conditions in which theft would not be worthwhile, i.e., supplement legal research with the economic analysis. The analysis results will help to find ways of rational crime counteraction and minimize the damage from it. © 2021 IEEE.

关键词： Economic analysis

来源：评论

学校读者我要写书评

暂无评论

Economic and Mathematical Model of a Group of Gas Fields 14

Economic and Mathematical Model of a Group of Gas Fields

引用

14th International Conference Management of Large-Scale System Development, MLSD 2021

作者： Solomatin, A.N. Federal Research Center 'Computer Science and Control Russian Academy of Sciences Department of Mathematical Methods of Regional Programming Moscow Russia

ISBN: (纸本)9781665412308

Economic and mathematical model of a group of gas fields is considered allowing forming the group development strategies for the long-term perspective. An algorithm for calculating the dynamics of gas production by fields and methods for calculating numerous technical and economic indicators of gas production and transport are presented. In addition, information is provided about the software implementation and use of the developed mathematical apparatus. © 2021 IEEE.

关键词： Gas industry

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：