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

作者： Becker, Daniel Geimer, Markus Rabenseifner, Rolf Wolf, Felix German Research School for Simulation Sciences Laboratory for Parallel Programming 52062 Aachen Germany RWTH Aachen University Department of Computer Science 52056 Aachen Germany Forschungszentrum Jülich Jülich Supercomputing Centre 52428 Jülich Germany University of Stuttgart High Performance Computing-Center 70550 Stuttgart Germany

ISBN: (纸本)9780769542201

Event traces are helpful in understanding the performance behavior of parallel applications since they allow the indepth analysis of communication and synchronization patterns. However, the absence of synchronized clocks on most cluster systems may render the analysis ineffective because inaccurate relative event timings may misrepresent the logical event order and lead to errors when quantifying the impact of certain behaviors or confuse the users of time-line visualization tools by showing messages flowing backward in time. In our earlier work, we have developed a scalable algorithm that eliminates inconsistent inter-process timings postmortem in traces of pure MPI applications. Since hybrid programming, the combination of MPI and OpenMP in a single application, is becoming more popular on clusters in response to rising numbers of cores per chip and widening shared-memory nodes, we present an extended version of the algorithm that in addition to message-passing event semantics also preserves and restores shared-memory event semantics. © 2010 IEEE.

关键词： Message passing

来源：评论

学校读者我要写书评

暂无评论

L -fuzzy G -subalgebras of G -algebras

引用

Journal of the Egyptian Mathematical Society 2015年第2期23卷 219-223页

作者： Tapan Senapati Chiranjibe Jana Monoranjan Bhowmik Madhumangal Pal Department of Mathematics Padima Janakalyan Banipith Kukurakhupi 721517 India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721102 India Department of Mathematics V. T. T. College Midnapore 721101 India

In this paper, the L -fuzzification of G -subalgebras are considered and some related properties are investigated. A characterization of L -fuzzy G -algebras are given. We classified the G -subalgebras by their family... 详细信息

关键词： 06F35 03G25 08A72 G -algebra G -subalgebra L -fuzzy set L -fuzzy G -subalgebra

来源：评论

学校读者我要写书评

暂无评论

Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers

arXiv

引用

arXiv 2022年

作者： Daggitt, Matthew L. Kokke, Wen Atkey, Robert Arnaboldi, Luca Komendantskya, Ekaterina Department of Computer Science Heriot-Watt University Edinburgh United Kingdom Mathematically Structured Programming Group University of Strathclyde Glasgow United Kingdom Laboratory for Foundations of Computer Science University of Edinburgh Edinburgh United Kingdom

Verification of neural networks is currently a hot topic in automated theorem proving. Progress has been rapid and there are now a wide range of tools available that can verify properties of networks with hundreds of thousands of nodes. In theory this opens the door to the verification of larger control systems that make use of neural network components. However, although work has managed to incorporate the results of these verifiers to prove larger properties of individual systems, there is currently no general methodology for bridging the gap between verifiers and interactive theorem provers (ITPs). In this paper we present Vehicle, our solution to this problem. Vehicle is equipped with an expressive domain specific language for stating neural network specifications which can be compiled to both verifiers and ITPs. It overcomes previous issues with maintainability and scalability in similar ITP formalisations by using a standard ONNX file as the single canonical representation of the network. We demonstrate its utility by using it to connect the neural network verifier Marabou to Agda and then formally verifying that a car steered by a neural network never leaves the road, even in the face of an unpredictable cross wind and imperfect sensors. The network has over 20,000 nodes, and therefore this proof represents an improvement of 3 orders of magnitude over prior proofs about neural network enhanced systems in ITPs. © 2022, CC BY.

关键词： Problem oriented languages

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of a Smart Human Posture Monitoring Device Using a Wearable Vest 7

Design and Implementation of a Smart Human Posture Monitorin...

引用

7th International Conference on Advances in Biomedical Engineering, ICABME 2023

作者： Daou, Roy Abi Zeid Geha, Elio Aoun, Youssef Hayek, Ali Boercsoek, Josef Olmedo, Jose Javier Serrano Université la Sagesse Biomedical Engineering Department Furn El Chebbak Beirut Lebanon Mart Learning Education and Research Center Chananir Lebanon Lebanese German University Faculty of Public Health Biomedical Technologies Department Jounieh Lebanon University of Applied Science Hamm-Lippstadt Department Lippstadt 2 Hardware Engineering Marker Allee 76-78 Hamm59063 Germany University of Kassel Faculty of Electrical Engineering /Computer Science Department of Computer Architecture and System Programming Germany Universidad Politecnica de Madrid Lab of Bioinstrumentation and Nanomedicine Centro de Tecnologia Biomedica Spain

ISBN: (纸本)9798350325850

Chronic back pain can present a serious health concern, with symptoms that can significantly affect an individual's well-being, mobility, and overall quality of life over an extended period. While chronic back pain may manifest suddenly in some cases, it often develops gradually and persists for weeks, and in untreated cases, it can linger for years. Hence, the utilization of assistive devices such as wearable posture-monitoring vests can offer valuable assistance and guidance to users. This research paper is dedicated to the development of a system for detecting, diagnosing, and correcting poor posture, specifically leaning posture. The vest is designed to provide users with visual, auditory, and tactile cues to help them address this issue, thereby reducing the risk associated with leaning. Additionally, an integrated electrical box has been designed to consolidate all components directly onto the main board in a secure enclosure. This box also displays the daily count of instances where the user has leaned. This system is characterized by its electrical safety, portability, compactness, comfort, and affordability. A comprehensive analysis of the system's performance has been conducted with a meticulous evaluation of accuracy. Each component of the system has undergone successful testing, and the system as a whole is currently in the testing phase. The results of these tests have indicated a lack of faulty errors and have demonstrated outstanding accuracy and detection rates. Over 100 individuals of varying ages, genders, and BMI categories were involved in testing, with each person wearing the device for an average of six hours. The accuracy rate achieved was 98.85%, with an average of 54.35 instances of poor posture detected per participant. © 2023 IEEE.

关键词： Wearable technology

来源：评论

学校读者我要写书评

暂无评论

Designing an Aspect-Oriented Framework in an Object-Oriented Environment

引用

ACM Computing Surveys 2000年第1ES期32卷 41-41页

作者： Constantinides, Constantinos A. Bader, Atef Elrad, Tzilla H. Netinant, P. Fayad, Mohamed E. Concurrent Programming Research Group Department of Computer Science Illinois Institute of Technology United States University of Nebraska Lincoln United States

Separation of concerns is at the heart of software development, and although its benefits have been well established, the core problem remains how to achieve it. For complex software systems the solution is still debatable and it is a major research area. Object Oriented programming (OOP) works well only if the problem at hand can be described with relatively simple interface among objects. Unfortunately, this is not the case when we move from sequential programming to concurrent and distributed programming. The September 1993 CACM issue was devoted to the problematic marriage between OOP and Concurrency [Cohen 93]. Since then, numerous workshops, articles and books have attempt to tackle the problem. The core complexity is that concurrent and distributed systems manifest over more than one dimension. Features such as scheduling, synchronization, fault tolerance, security, testing and verifications are all expressed in such a way that they tend to cut across different objects. Hence, simple object interfaces are violated and the traditional OOP benefits no longer hold. One of the current attempts to resolve this issue is the Aspect Oriented Software Architecture. To address this multi-dimensional structure of concurrent systems we distinguish between components and aspects. Aspects are defined as properties of a system that do not necessarily align with the system’s functional components but tend to cut across functional components, increasing their interdependencies, and thus affecting the quality of the software. Although not bound to OOP, Aspect-Oriented programming (AOP) is a paradigm proposal that retains the advantages of OOP and aims at achieving a better separation of concerns. In this paper we provide an assessment of AOP and we discuss the architecture of an aspect-oriented framework. The goals of our proposal is to achieve an improved separation of concerns in both design, and implementation, to provide adaptability, and to support the complex interaction

关键词：

来源：评论

学校读者我要写书评

暂无评论

Methods for Improving the Quality of Classification on Imbalanced Data

Methods for Improving the Quality of Classification on Imbal...

引用

Advanced Technology (KhPIWeek), IEEE KhPI Week on

作者： Svitlana Gavrylenko Zozulia Vladislav Nataliia Khatsko Department of Computer Engineering and Programming National Technical University “Kharkiv Polytechnic Institute” Kharkiv Ukraine Department of Information Systems and Technologies National Technical University «Kharkiv Polytechnic Institute» Kharkiv Ukraine

The subject of the study is methods of balancing raw data. The purpose of the article is to improve the quality of intrusion detection in computer networks by using class balancing methods. Task: to investigate methods of balancing classes and to develop a classification method on imbalanced data to increase the level of network security. The methods used are: methods of artificial intelligence, machine learning. The following results were obtained: Class balancing methods based on Undersampling, Oversampling and their combinations were studied. The following methods were chosen for further research: SMOTEENN, SVMSMOTE, BorderlineSMOTE, ADASYN, SMOTE, KMeansSMOTE. The UNSW-NB 15 set was used as the source data, which contains information about the normal functioning of the network and during intrusions. A decision tree based on the CART (Classification And Regression Tree) algorithm was used as the basic classifier. According to the research results, it was found that the use of the SMOTEENN method provides an opportunity to improve the quality of detection of intrusions in the functioning of the network. Conclusions. The scientific novelty of the obtained results lies in the complex use of data balancing methods and the method of data classification based on decision trees to detect intrusions into computer networks, which made it possible to reduce the number of Type II errors.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Ensuring Information Security in the Intelligent Scientific and Technical Information Systems 15

Ensuring Information Security in the Intelligent Scientific ...

引用

15th International Scientific and Practical Conference on Environment. Technology. Resources, ETR 2024

作者： Kerimov, Komil Azizova, Zarina Bekkamov, Fayzi Rakhimov, Mekhriddin Ochilov, Mannon Department of System and Applied Programming Tashkent University of Information Technologies Named after Muhammad al-Khwarizmi Tashkent Uzbekistan Department of Information Security Tashkent University of Information Technologies Named after Muhammad al-Khwarizmi Tashkent Uzbekistan Department of Library Information Systems Tashkent University of Information Technologies Named after Muhammad al-Khwarizmi Tashkent Uzbekistan Department of Computer Systems Tashkent University of Information Technologies Named after Muhammad al-Khwarizmi Tashkent Uzbekistan

ISBN: (纸本)9781713899570

Scientific and scientific-technical information is a valuable tool for the development of education, technology and society as a whole. The increase in the volume of information and the development of information networks of data exchange requires special means to ensure information protection of data. Methods, means and systems for information security of scientific, technical and scientific-educational resources in intellectual information systems are of particular importance. The purpose of the research is to develop methods and software tools to ensure information security of valuable scientific and technical information resources in intelligent information systems. The proposed solution for intrusion detection in intelligent system is a web application firewall, which is used for enhanced security, detecting and preventing attacks before they reach the web application. It will protect the system from a whole range of attacks while allowing HTTP traffic monitoring and analyzing small changes or persistent state online. The Web Application Firewall (WAF) has the following features: logging of all HTTP protocol transactions, including request termination permissions and logging of the response;HTTP traffic can be examined in real time to detect attacks;preventing attacks before they reach the web application. This work is performed within the framework of the project on creation of an integrated intelligent system "SMART TUIT", which includes several subsystems (Information Retrieval, Voice Recognition, Pattern Recognition, Scientific Information Assessment, Geoinformation System). © 2024 Komil Kerimov, Zarina Azizova, Fayzi Bekkamov, Mekhriddin Rakhimov, Mannon Ochilov.

关键词： Intelligent systems

来源：评论

学校读者我要写书评

暂无评论

RPO constraint solving is in NP 12th

引用

12th International Workshop on computer Science Logic, CSL 1998 held as the Annual Conference of the European Association for computer Science Logic, EACSL 1998

作者： Narendran, Paliath Rusinowitch, Michael Verma, Rakesh Institute of Programming and Logics Department of Computer Science State University of New York at Albany AlbanyNY12222 United States LORIA 615 rue du jardin botanique BP 101 Villers les Nancy cedex54602 France Dept. of Comp. Science University of Houston HoustonTX77204 United States

ISBN: (纸本)3540659226

A new decision procedure for the existential fragment of ordering constraints expressed using the recursive path ordering is presented. This procedure is nondeterministic and checks whether a set of constraints is solvable over the given signature, i.e., the signature over which the terms in the constraints are defined. It is shown that this non-deterministic procedure runs in polynomial time, thus establishing the membership of this problem in the complexity class NP for the first time. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Polynomial approximation

来源：评论

学校读者我要写书评

暂无评论

Models and algorithms for determining the probability of occurrence of a critical combination of events for three-element minimum sections in intelligent decision support systems

Models and algorithms for determining the probability of occ...

引用

Advanced Technology (KhPIWeek), IEEE KhPI Week on

作者： Oleksii Kolomiitsev Iryna Zakharchenko Viacheslav Tretiak Serhii Osiievskyi Alina Rybalchenko Hennadii Heiko Computer Engineering and Programming Department National Technical University “Kharkiv Polytechnic Institute” Kharkiv Ukraine Department of mathematics and software of ACS Ivan Kozhedub Kharkiv National Air Force University Kharkiv Ukraine

A method for determining the probability of occurrence of a critical combination of events for the three-element minimum cross-sections of attributes of the characteristics of the software quality model of intelligent...

关键词：

来源：评论

学校读者我要写书评

暂无评论

High-Performance Reverse Time Migration on GPU

High-Performance Reverse Time Migration on GPU

引用

computer Science Society (SCCC) International Conference Chilean FLAGGED

作者： Javier Cabezas Mauricio Araya-Polo Isaac Gelado Nacho Navarro Enric Morancho José M. Cela Computer Sciences - Programming Models Barcelona Supercomputing Center (BSC) Barcelona Spain Computer Applications in Science and Engineering dept. Barcelona Supercomputing Center (BSC) Barcelona Spain Department of Computer Architecture Universitat Politècnica de Catalunya Spain Computer Applications in Science and Engineering Department Barcelona Supercomputing Center Barcelona Spain

Partial Differential Equations (PDE) are the heart of most simulations in many scientific fields, from Fluid Mechanics to Astrophysics. One the most popular mathematical schemes to solve a PDE is Finite Difference (FD). In this work we map a PDE-FD algorithm called Reverse Time Migration to a GPU using CUDA. This seismic imaging (Geophysics) algorithm is widely used in the oil industry. GPUs are natural contenders in the aftermath of the clock race, in particular for High-performance Computing (HPC). Due to GPU characteristics, the parallelism paradigm shifts from the classical threads plus SIMD to Single Program Multiple Data (SPMD). The NVIDIA GTX 280 implementation outperforms homogeneous CPUs up to 9x (Intel Harpertown E5420) and up to 14x (IBM PPC 970). These preliminary results confirm that GPUs are a real option for HPC, from performance to programmability.

关键词： Finite difference methods Geophysics computing computer architecture Parallel processing Graphics processing unit Clocks Hardware Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：