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

IEEE International Workshop/Symposium on Workload Characterization

作者： U. Srinivasan Peng-Sheng Chen Qian Diao Chu-Cheow Lim E. Li Yongjian Chen R. Ju Yimin Zhang Programming Systems Laboratoryoratory Microprocessor Technology Laboratory Intel Corporation Santa Clara CA USA Architecture Research Laboratoryoratory Microprocessor Technology Laboratory Intel Corporation Santa Clara CA USA

Bioinformatics applications constitute an emerging data-intensive, high-performance computing (HPC) domain. While there is much research on algorithmic improvements, (2004), the actual performance of an application also depends on how well the program maps to the target hardware. This paper presents a performance study of two parallel bioinformatics applications HMMER (sequence alignment) and SVM-RFE (gene expression analysis), on Intel x86 based hyperthread-capable (2002) shared-memory multiprocessor systems. The performance characteristics varied according to the application and target hardware characteristics. For instance, HMMER is compute intensive and showed better scalability on a 3.0 GHz system versus a 2.2 GHz system. However, SVM-RFE is memory intensive and showed better absolute performance on the 2.2 GHz machine which has better memory bandwidth. The performance is also impacted by processor features, e.g. hyperthreading (HT) (2002) and prefetching. With HMMER we could obtain -75% of the performance with HT enabled with respect to doubling the number of CPUs. While load balancing optimizations can provide speedup of -30% for HMMER on a hyperthreading-enabled system, the load balancing has to adapt to the target number of processors and threads. SVM-RFE benefits differently from the same load-balancing and thread scheduling tuning. We conclude that compiler and runtime optimizations play an important role to achieve the best performance for a given bioinformatics algorithm.

关键词： Hidden Markov models Bioinformatics Hardware Load management Yarn Gene expression Performance analysis Multiprocessing systems Scalability Bandwidth

来源：评论

学校读者我要写书评

暂无评论

Low-complexity PDoA-based localization

Low-complexity PDoA-based localization

引用

International Conference on Indoor Positioning and Indoor Navigation (IPIN)

作者： Benjamin Sackenreuter Niels Hadaschik Marc Faßbinder Christopher Mutschler Locating and Comm. Sys. Dept. Fraunhofer Institute for Integrated Circuits IIS Nuremberg Germany Programming Systems Group Friedrich-Alexander-University Erlangen-Nuremberg (FAU) Germany

Localization of wireless nodes within the IoT received much attention lately. However, strong constraints on power consumption, scalability, and complexity of the nodes pose a big challenge for localization techniques. This paper presents a concept for energy-efficient low-complexity localization based on Phase Difference of Arrival (PDoA). Besides a novel method for reference transmitter selection we propose a waveform, well-suited for PDoA measurements, and evaluate its ranging performance. We compare multiple signal classification (MUSIC), linear fitting, and mean phase difference and compare their estimation variance to the Cramer Rao Lower Bound (CRLB). Our system concept allows for the mitigation of near-far effects for reference and tag signals at the receiver nodes, and an efficient implementation of a wideband frequency hopping scheme.

关键词： Signal to noise ratio Logic gates Transmitters Distance measurement Position measurement Phase locked loops

来源：评论

学校读者我要写书评

暂无评论

Extracting Component-Oriented Behaviour for Self-Healing Enabling

Extracting Component-Oriented Behaviour for Self-Healing Ena...

引用

IEEE Workshop on Engineering of Autonomic and Autonomous systems (EASE)

作者： Marco Bakera Christian Wagner Tiziana Margaria Emil Vassev Mike Hinchey Bernhard Steffen Chair Service and Software Engineering Universitat Potsdam Potsdam Germany University College Dublin Ireland University of Limerick Ireland Chair Programming Systems Technische Universität Dortmund Dortmund Germany

Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR game-based Model Checker has been used successfully to investigate in depth properties of the ESA ExoMars Rover. We show here how to enable GEAR's game-based verification techniques for ASSL via systematic model extraction from a behavioral subset of the language, and illustrate it on a description of the Voyager II space mission. This way, we close the gap between the design-time and the run-time techniques provided in the SHADOWS platform for self-healing of concurrency, performance, and functional issues.

关键词： Gears Specification languages Runtime Concurrent computing Software systems Aerospace industry Aerospace electronics Conferences Design engineering Software engineering

来源：评论

学校读者我要写书评

暂无评论

How Indoor Positioning Technology Can Enhance Our Understanding of Communication Patterns in Office Environments

How Indoor Positioning Technology Can Enhance Our Understand...

引用

Annual Modeling and Simulation Conference (ANNSIM)

作者： Saqib Aziz Felix Deiters Markus Jacobi Iris Inokhosa Giovanni Betti Department for Structural Design and Engineering University of the Arts Berlin Berlin Germany Programming & Design Strategy Berlin Germany Design Systems HENN Berlin Germany Department for Sustainability HENN Berlin Germany

This paper presents an early-stage process to track communication patterns in office spaces using a real-time location system with sub-meter accuracy. A custom frontend application is used to assess and map the positioning data, with the goal of gathering empirical evidence on how spatial intervention can improve workplace communication and productivity. The case-study involved equipping an architectural firm’s office and employees with tracking devices to gather data on their communicative behavior. Unsupervised machine learning algorithms are compared to identify location, quantity, and duration of tracked meeting events, providing insights into participants’ communication behavior. While initial results are promising, this is a work in progress. The effect of tracking on individuals is being investigated through self-assessment questionnaires. Further research is needed to understand the potential impact of spatial intervention on workplace communication and productivity. The paper aims to contribute to the development of evidence-based design strategies in architecture and related fields.

关键词：

来源：评论

学校读者我要写书评

暂无评论

First person account: Insight from a schizophrenia patient with depression

引用

SCHIZOPHRENIA BULLETIN 1995年第4期21卷 703-707页

作者： Fleshner, CL Western Iowa Technical Community CollegeSioux City Iowa. He was a systems programmer analyst at a major insurance company and was also involved in contract programming. He has completed classes in Auto Cad and he is currently using that program to do computerized drawings of inventions for a patent law firm. Mr. Fleshner has two brothers two sisters and parents who have been very supportive and understanding of his illness since his first treatment in October 1987

The article that follows is part of the Schizophrenia Bulletin's ongoing First Person Accounts series. We hope that mental health professionals-the Bulletin's primary audience-will take this opportunity to learn about the issues and difficulties confronted by consumers of mental health care. In addition, we hope that these accounts will give patients and families a better sense of not being alone in confronting the problems that can be anticipated by persons with serious emotional difficulties. We welcome other contributions from patients, ex-patients, or family members. Our major editorial requirement is that such contributions be clearly written and organized, and that a novel or unique aspect of schizophrenia be described, with special emphasis on points that will be important for professionals. Clinicians who see articulate patients, with experiences they believe should be shared, might encourage these patients to submit their articles to First Person Accounts, Division of Clinical and Treatment Research, NIMH, 5600 Fishers Lane, Rm. 18C-06, Rockville, MD 20857.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Uniqueness of the Fredholm-Stiltjes Linear Integral Equations Solutions of the Third Kind

引用

Advances in Linear Algebra & Matrix Theory 2021年第4期11卷 109-116页

作者： Aizat Toigonbaeva Avyt Asanov Aisalkyn Kambarova Gumushai Obodoeva Ularbek Moldoyarov Aibek Toktorbaev Aichurok Abdukadyr Kyzy Zhypargul Abdullaeva Department of Mathematical Analysis Osh State University Osh Kyrgyzstan Mathematics Department Kyrgyz Turkish Manas University Bishkek Kyrgyzstan Department of Automated Systems and Digital Technologies Osh State University Osh Kyrgyzstan Department of Information Systems and Programming Osh State University Osh Kyrgyzstan Science and Research Department Osh State University Osh Kyrgyzstan

Integral equations theoretical parts and applications have been studied and investigated in previous works. In this work, results on investigations of the uniqueness of the Fredholm-Stiltjes linear integral equations solutions of the third kind were considered. Volterra integral equations of the first and third kind with smooth kernels were studied, and proof of the existence of a multiparameter family of solutions is described. Additionally, linear Fredholm integral equations of the first kind were investigated, for which Lavrent’ev regularizing operators were constructed.

关键词： Solution Integral Equations Uniqueness Fredholm-Stiltjes Linear Integral Equations Third Kind

来源：评论

学校读者我要写书评

暂无评论

A Case Study of Valency Patterns for Motion Verbs in Vakh Khanty by Means of Lingvodoc

A Case Study of Valency Patterns for Motion Verbs in Vakh Kh...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Irina Novitskaya Victoria Vorobeva Department of Foreign Languages National Research Tomsk State University Tomsk Russian Federation Information Systems Department Ivannikov Institute for System Programming of the RAS TPU Moscow Tomsk Russian Federation

The article presents a study of the syntactic compatibility of verbs of motion in the Vakh dialect of the Khanty language. The study was conducted with the help of the tools of the platform for documentation of the Uralic languages Lingvodoc. The purpose of the article is to describe patterns of syntactic valency that Vakh Khanty verbs of motion have.

关键词： Documentation Syntactics

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A practical approach to object modeling for large, complex applications

A practical approach to object modeling for large, complex a...

引用

IEEE National Conference on Aerospace and Electronics (NAECON)

作者： J. Porter B. Deer M.E. Howard C. Ferguson R. McCarty Advanced Programming Institute Inc. OH USA NCI Information Systems Inc. OH USA USAF AFMC MSG OH USA Computer Science Corporation OH USA

Object-oriented (OO) software development techniques have gained in popularity as an attractive alternative to the traditional, structured development approach. Fundamental to the OO approach is the object, which bundles data with associated operations in a self-contained unit. The inherently modular object provides an excellent mechanism for creating reusable, stable, and easily maintainable code. In this paper, we present an introduction to OO development; discuss the challenges of large, complex systems; and document the procedures we developed to meet these challenges for our project.

关键词： Application software programming Information systems Buildings Object oriented modeling Bridges User interfaces Cost function Vents Encapsulation

来源：评论

学校读者我要写书评

暂无评论

Aspect-oriented programming workshop report

Aspect-oriented programming workshop report

引用

Workshops on Object-Oriented Technology, ECOOP 1997

作者： Mens, Kim Lopes, Cristina Tekinerdogan, Bedir Kiczales, Gregor Department of Computer Science Programming Technology Lab Vrije Universiteit Brussel Pleinlaan 2 BrusselB-1050 Belgium Systems and Practices Laboratory Xerox PARC 3333 Coyote Hill Rd Palo AltoCA94304 United States Department of Computer Science Software Engineering University of Twente P.O. Box 217 Enschede7500 AE Netherlands

ISBN: (纸本)3540640398

Whereas it is generally acknowledged that code tangling reduces the quality of software and that aspect-oriented programming (AOP) is a means of addressing this problem, there is — as yet — no clear definition or characterisation of AOP. Therefore, the main goal of the ECOOP’97 AOP workshop was to identify the "good questions" for exploring the idea of AOP. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：