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

Seven more myths of formal methods: Dispelling industrial prejudices 2nd

2nd International Symposium of Formal Methods Europe, FME 1994

作者： Bowen, Jonathan P. Hinchey, Michael G. Oxford University Computing Laboratory Programming Research Group Wolfson Building Parks Road OxfordOX1 3QD United Kingdom University of Cambridge Computer Laboratory New Museums Site Pembroke Street CambridgeCB2 3QG United Kingdom Department of Computer and Information Science New Jersey Institute of Technology United States

ISBN: (纸本)9783540585558

For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it is still the case that the vast majority of potential users of formal methods fail to become actual users. A paper by Hall in 1990 [31] exaznined a number of ‘myths’ concerning formal methods, assumed by some to be valid. This paper considers a few more beliefs held by many and presents some counter examples. © 1994, Springer Verlag. All rights reserved.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

Evaluating Keyphrase Extraction Methods for Clustering Influenza-Related Scientific Papers

Evaluating Keyphrase Extraction Methods for Clustering Influ...

引用

International Conference of Signal Processing and Intelligent Systems (ICSPIS)

作者： Majid Forghani Artyom Firstkov Mohammad. M. AlyanNezhadi Kazem Forghani Mathematical Programming Lab. Krasovskii Institute of Mathematics & Mechanics Yekaterinburg Russia Department of Science University of Science and Technology of Mazandaran Behshahr Iran Computer Science Department Iran University of Science and Technology Tehran Iran

ISBN: (纸本)9781665476249

The number of annual scientific publications is growing year by year, which has led to the accumulation and formation of large databases. This increases the complexity of the search for relevant articles. Modern search engines leverage keyphrases to improve the performance of search results. Keyphrases (or keywords) are a set of single or multi-word expressions which provide a very compact summary of contents and describe the overall topic of a document. Implementation of keyphrase extraction can be varied for specific-domain databases. This motivated us to evaluate these methods on a database of influenza scientific literature. In this work, we considered 9 well known methods for extracting keyphrases. Our preliminary results show txhat graph-based methods which employ topics outperform others using our database. We also determined that influenza-related papers can be grouped into three general topics: public health & medical care; molecular biology & immunology; and phylogenetic & epidemiological studies.

关键词： Databases Immunology Biological system modeling Influenza Search engines Phylogeny Molecular biology

来源：评论

学校读者我要写书评

暂无评论

Towards automatic evaluation of drawing analysis performance-A statistical model of cadastral map

Towards automatic evaluation of drawing analysis performance...

引用

International Conference on Document Analysis and Recognition

作者： D. Madej A. Sokolowski Department of Computer Technology and Programming Bilkent University Ankara Turkey IFTR Polish Academy of Sciences Poland Academy of Economics krakow Poland and Department of Economics Bilkent University Ankara Turkey

Automatic evaluation of drawing-to-CAD conversion performance is addressed. The generating model of artificial images in the domain of cadastral maps was built. The proposed model was close to the authentic drawings on the level of graphic primitives and on the level of map understanding. The shape of the parcel was characterized by the number of corners, line lengths and respective angles. The model of a house consists of 12 random variables, while the 13th variable describes the location of the house in a parcel. The parameters of probability distributions have been estimated from the sample of 115 parcels and 127 houses. The goodness-of-fit for all distributions was very high.< >

关键词： Performance analysis Performance evaluation Image converters Shape Image generation Automatic testing Paper technology Automatic programming Graphics Random variables

来源：评论

学校读者我要写书评

暂无评论

Design and testing tool for a safe monitoring system for neurodegenerative disorder patients

Design and testing tool for a safe monitoring system for neu...

引用

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

作者： Nashaat El Halabi Roger Achkar Roy Abi Zeid Daou Ali Hayek Josef Börcsök Department of Computer and Communications Engineering American University of Science and Technology Beirut Lebanon Department of Biomedical Technologies Faculty of Public Health Lebanese German University Sahel Alma Lebanon Department of Computer Architecture and System Programming University of Kassel Germany

This paper aims to develop a sensor based monitoring and analyzing system for Neuro-Degenerative Disorder patients (NDD); this may consist on SpO2 sensor, Electrophysiological sensors, NIBP, Motion Capture sensors and Eye Monitoring sensor, taking into consideration an acceptable cost for the whole system. Recorded data will be sent to an embedded decision making unit where detection, analysis, classification, prediction and action control will occur. The sensors and the decision making unit will be implemented in a comfortable jacket that doesn't affect the patients' movements and that can be used by several patients with reduced sensor placement alterations. The decision that can be made is creating a stimulus to avoid falling in case of sudden stop while moving, initiating an alarm, sending a notification to a mobile phone application, and/or telemedicine monitoring features. Artificial Neural Networks will be used to classify and predict the abnormal cases where action should be taken, and since the sensors will be continuously recording, it is possible to achieve continuous learning for the ANN as a first phase. Initial models will be defined by testing normal behaviors and some known abnormal behaviors or symptoms related to the electrical activity and other characteristics of the heart, oxygen saturation level, eye activity and body motion.

关键词： Alzheimer's disease Parkinson's disease Monitoring Artificial neural networks Decision making Biomedical monitoring

来源：评论

学校读者我要写书评

暂无评论

The Study of the Dispersion and Phase Velocity of Love Waves 41

The Study of the Dispersion and Phase Velocity of Love Waves

引用

41st IEEE International Conference on Electronics and Nanotechnology, ELNANO 2022

作者： Porkuian, Olga Morkun, Volodymyr Morkun, Natalia Pikilnyak, Andrii Gaponenko, Alena Gaponenko, Irina Bobrov, Evhen Vesnin, Artem Volodymyr Dahl East Ukrainian National University Department of Programming and Mathematics Severodonetsk Ukraine Kryvyi Rih National University Department of Automation Computer Science and Technology Kryvyi Rih Ukraine Kryvyi Rih National University Department of Mechanical Engineering Kryvyi Rih Ukraine Kryvyi Rih National University R&d Department Kryvyi Rih Ukraine Kryvyi Rih National University Department of Motor Transport Kryvyi Rih Ukraine

ISBN: (数字)9781665469227

ISBN: (纸本)9781665469234

The research results of the Love wave propagation in the semi-space contact area and in a thin layer are presented. The dependences, which allow analyzing the effect of various conditions on the Love wave dispersion, as well as the dependence of the phase velocity on various parameters: the thickness of the layer, which is coated in semi-space;the relationship between the material characteristics of the media (densities, elastic moduli) are defined. The influence of film thickness on the value of phase velocity at a given frequency, but at different ratios between the density of the media are studied. © 2022 IEEE.

关键词： Dispersion (waves)

来源：评论

学校读者我要写书评

暂无评论

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

关键词：

来源：评论

学校读者我要写书评

暂无评论

A hybrid simulation for singularly perturbed system of two-point reaction-diffusion boundary-value problems

arXiv

引用

arXiv 2017年

作者： Cengizci, Süleyman Natesan, Srinivasan Atay, Mehmet Tarik Department of Computer Programming Antalya Bilim University Antalya Turkey Department of Mathematics Indian Institute of Technology Guwahati Guwahati India Department of Mechanical Engineering Abdullah Gül University Kayseri Turkey

This study concerns with singularly perturbed systems of second-order reaction-diffusion equations in ODE's. To handle this type of problems, a numerical-asymptotic hybrid method is employed. In this hybrid method, an efficient asymptotic method, the so-called Successive complementary expansion method (SCEM) is applied first and then, a numerical method based on finite differences is proposed to approximate the solution of the corresponding singularly perturbed reaction-diffusion systems. Two illustrative examples are provided to show the efficiency and easy-applicability of the present method with convergence properties. 65L10, 65L11 Copyright © 2017, The Authors. All rights reserved.

关键词： Finite difference method

来源：评论

学校读者我要写书评

暂无评论

Artificial Immune Based Support Vector Machine Algorithm for Fault Diagnosis of Induction Motors

Artificial Immune Based Support Vector Machine Algorithm for...

引用

2007 International Aegean Conference on Electrical Machines and Power Electronics, vol.2

作者： I. AYDIN M. KARAKOSE E. AKIN Computer Technology and Programming Education ProgramKemaliye H. A. AKIN Technical Vocational School of Higher Education Erzincan University Kemaliye Erzincan Turkey Computer Engineering Department Firat University Elazig Turkey

The use of induction motors is widespread in industry. Many researchers have studied the condition monitoring and detecting the faults of induction motors at an early stage. Early detection of motor faults results in fast unscheduled maintenance. In this study, a new artificial immune based support vector machine algorithm is proposed for fault diagnosis of induction motors. Support vector machines (SVMs) have become one of the most popular classification methods in soft computing, recently. However, classification accuracy depends on kernel and penalty parameters. Artificial immune system has abilities of learning, memory and self adaptive control. The kernel and penalizes parameters of support vector machine are tuned using artificial immune system. The training data of support vector machine are extracted from three phase motor current. The new feature vector is constructed based on park's vector approach. The phase space of this feature vector is constructed using nonlinear time series analysis. Broken rotor bar and stator short circuit faults are classified in combined phase space using support vector machines. The experimental data are taken from a three phase induction motor. One, two and three broken rotor bar faults and 10% short circuit of stator faults are detected successfully.

关键词： Support vector machines Artificial immune system Time series analysis Fault detection and diagnosis Induction motors Stator and broken rotor bar faults

来源：评论

学校读者我要写书评

暂无评论

Word-Based Turkish Lip Reading System with Two Stream 3dcnn and Bilstm

SSRN

引用

SSRN 2023年

作者： Erbey, Ali Barışçı, Necaattin Department of Computer Programming Distance Education Vocational School Usak University Usak64200 Turkey Department of Information Systems Informatics Institute Gazi University Ankara Turkey Department of Computer Engineering Faculty of Technology Gazi University Ankara06500 Turkey

Lip reading is a technique that aims to understand spoken words by analyzing people's lip movements. Deep learning algorithms are used as a powerful tool for detecting and recognizing lip movements more accurately. In this study, we present a lip-reading architecture for the Turkish language. The architecture is trained to recognize Turkish words using 3DCNN (3D Convolutional Neural Network) architecture and two-stream deep learning methods. The model was trained on video data representing lip movements and learned to classify words accurately. The Turkish lip reading system has been trained and tested on a large Turkish lip reading dataset. In the experiments, an accuracy of 87.12% was achieved with the proposed model, indicating successful results in the Turkish language. The proposed model demonstrates high accuracy rates in recognizing Turkish words, showcasing its effectiveness. This paper introduces a novel architecture, a lip-reading system that employs deep learning techniques, providing a robust tool for successful Turkish lipreading applications. © 2023, The Authors. All rights reserved.

关键词： Convolutional neural networks

来源：评论

学校读者我要写书评

暂无评论

Social Engineering Attacks Detection Approach

Social Engineering Attacks Detection Approach

引用

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

作者： Sergii Lysenko Volodymyr Vorobiov Oleksandr Bokhonko Piotr Gaj Oleg Savenko Jacek Wołoszyn Department of Computer Engineering and Information Systems Khmelnitsky National University Khmelnitsky Ukraine Silesian University of Technology Gliwice Poland Department of Computer Engineering and System Programming Khmelnitsky National University Khmelnitsky Ukraine Department of Informatics and Teleinformatics Kazimierz Pulaski University of Technology and Humanities in Radom Radom Poland

The paper focuses on the problem of technical social engineering attacks that encompass the manipulation of individuals to reveal sensitive information, execute actions, or breach security systems. These exploits frequently capitalize on human psychology, trust, and a lack of vigilance to attain unauthorized entry to networks, systems, or data. In contrast to traditional social engineering tactics that center on psychological manipulation, technical social engineering attacks employ technological means and strategies to manipulate and beguile individuals. The paper presents an attempt to detect social engineering attacks. The approach utilized four machine learning algorithms (decision tree, random forest, K-nearest neighbor, and extreme gradient boosting). The analysis is centered on data collected from network hosts, which may serve as indicators of a potential social engineering attack. The empirical results demonstrated high detection accuracy.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：