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

Advanced Technology (KhPIWeek), IEEE KhPI Week on

作者： Mykola Zamkovyi Svitlana Gavrylenko Kyrylo Khatsko Nataliia Khatsko dept. Information Systems and Technologies National Technical University «Kharkiv Polytechnic Institute» Kharkiv Ukraine Department of Computer Engineering and Programming National Technical University “Kharkiv Polytechnic Institute” Kharkiv Ukraine

The Internet of Things (IoT) today already connects billions of different IoT devices with the Internet. With the advent of new services and services, new challenges arise: how to make a cloud service publicly available, and reliable, how and where to store data. The article considers an example of the implementation of an IoT application with cloud components, considers the implementation of connecting IoT components to a cloud provider, and presents the IoT architecture. The focus is on the architecture and implementation of data exchange protocols, the implementation of protocols? for data collection and management of remote system components Given the large amount of data transmitted by IoT devices to the cloud, data compression and interaction with cloud services is a very relevant topic. Therefore, the article also offers recommendations for managing the traffic of IoT devices. The purpose of this article is to provide a description and algorithm for connecting IoT devices to the cloud, to bring together disparate information, and make it open and understandable to beginners and academic researchers.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Abstract Processes in the Absence of Conflicts in General Place/Transition systems

arXiv

引用

arXiv 2022年

作者： van Glabbeek, Rob Goltz, Ursula Schicke-Uffmann, Jens-Wolfhard Data61 CSIRO Sydney Australia School of Comp. Sc. and Engineering Univ. of New South Wales Sydney Australia Institute for Programming and Reactive Systems TU Braunschweig Germany

Goltz and Reisig generalised Petri's concept of processes of one-safe Petri nets to general nets where places carry multiple tokens. BD-processes are equivalence classes of Goltz-Reisig processes connected through the swapping transformation of Best and Devillers;they can be considered as an alternative representation of runs of nets. Here we present an order respecting bijection between the BD-processes and the FS-processes of a countable net, the latter being defined-in an analogous way-as equivalence classes of firing sequences. Using this, we show that a countable net without binary conflicts has a (unique) largest BD-process. Copyright © 2022, The Authors. All rights reserved.

关键词： Equivalence classes

来源：评论

学校读者我要写书评

暂无评论

IT Simply Works: Simplicity and Embedded systems Design

IT Simply Works: Simplicity and Embedded Systems Design

引用

IEEE Annual Computer Software and Applications Conference Workshops (COMPSACW)

作者： Tiziana Margaria Barry D. Floyd Bernhard Steffen Chair Service and Software Engineering Universität Potsdam Germany Orfalea College of Business California Polytechnic State University San Luis Obispo CA USA Chair of Programming Systems TU Dortmund University Germany

The central challenge in resource constrained systems is indeed that there is often a dramatic problem of resources: little memory, no display (i.e., mediated control and interaction), and weak processors. These constraints are due to various reasons, including cost (in economies of scale little amounts can make a big difference) and constraints mandated by the host environment such as limitations on weight, size, bandwidth, or power consumption. In addition to structural issues, that already force designers to stretch and squeeze pushing the design to the limit, other problems may affect the design process itself, e.g. when developers must program for a system that is itself still under design: such concurrent development includes easily critical unknown unknowns. Design efforts under these conditions are difficult at best, and it is not clear how much of these constraints and pressures are really unavoidable. We believe that a perspective of designing for simplicity would frame the situation in a more favorable way, leading to systems that better use available resources, are more robust, and easier to maintain and use. In the course of the ITSy project, we interviewed IT experts and industry practitioners about their perspectives on simplicity principles within their research and practice, collecting insights and anecdotal evidence on some phenomena, as well as suggestions for possible principles. In this paper, we apply initial results from this empirical understanding of simplicity to the domain of resource constrained system design. We identify some recurring themes from the outcome of the interviews, and match these understandings for one specific embedded system case study.

关键词： Mathematical model Embedded systems Unified modeling language Complexity theory Testing Educational institutions

来源：评论

学校读者我要写书评

暂无评论

A graphical user interface for evolutionary algorithms

引用

Acta Cybernetica 2003年第2期16卷 337-365页

作者： Tóth, Zoltán Institute of Informatics University of Szeged Árpád tér 2 H-6720 Szeged Hungary Department of Computer Science 2: Programming Systems Friedrich-Alexander University of Erlangen-Nuremberg Martensstr. 3 D-91058 Erlangen Germany

The purpose of Generic Evolutionary Algorithms programming Library (GEA1) system is to provide researchers with an easy-to-use, widely applicable and extendable programming library which solves real-world optimization problems by means of evolutionary algorithms. It contains algorithms for various evolutionary methods, implemented genetic operators for the most common representation forms for individuals, various selection methods, and examples on how to use and expand the library. All these functions assure that GEA can be effectively applied on many problems. GraphGEA is a graphical user interface to GEA written with the GTK API. The numerous parameters of the evolutionary algorithm can be set in appropriate dialog boxes. The program also checks the correctness of the parameters and saving/restoring of parameter sets is also possible. The selected evolutionary algorithm can be executed interactively on the specified optimization problem through the graphical user interface of GraphGEA, and the results and behavior of the EA can be observed on several selected graphs and drawings. While the main purpose of GEA is solving optimization problems, that of GraphGEA is education and analysis. It can be of great help for students understanding the characteristics of evolutionary algorithms and researchers of the area can use it to analyze an EA's behavior on particular problems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Advanced Computer-Aided Optimization of Quartz Resonator-Based Sensors

Advanced Computer-Aided Optimization of Quartz Resonator-Bas...

引用

International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)

作者： Volodymyr Savchenko Oksana Mnushka Oleg Sokulskyi Computer Engineering and Programming Department National Technical University “Kharkiv Polytechnic Institute” Kharkiv Ukraine Information Systems and Technologies Department National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute” Kyiv Ukraine

ISBN: (数字)9798350378627

ISBN: (纸本)9798350378634

In this study, we present an improved approach to optimizing the parameters of sensor sensing elements using quartz resonators with an interelectrode gap. We combine graphical and analytical methods to solve the multi-criteria optimization problem. The work focuses on the modes of operation of a quartz resonator equipped with an interelectrode gap in sensors with a frequency output, determining a set of optimal parameters and representing them as surfaces in a particular optimization parameter space. The presented results reveal specific areas on the surface of the objective function where optimization of design and technological parameters is possible, taking into account technological influences and features of the sensor design, including the initial value of the interelectrode gap. By using an improved mathematical model for the oscillations of a quartz resonator with an electrode gap, this study achieves results with an accuracy of ($8 . . .11$)% higher than previous studies, demonstrating the effectiveness of the proposed method in improving the design and functionality of piezoelectric sensors for advanced applications.

关键词： Micromechanical devices Electrodes Accuracy Resonant frequency Linear programming Mathematical models Sensors

来源：评论

学校读者我要写书评

暂无评论

Enhanced code density of embedded CISC processors with Echo technology 05

Enhanced code density of embedded CISC processors with Echo ...

引用

3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and systems Synthesis CODES+ISSS 2005

作者： Wu, Youfeng Breternitz Jr., Mauricio Hum, Herbert Peri, Ramesh Pickett, Jay Programming Systems Lab. Intel Labs. 2200 Mission College Blvd Santa Clara CA 95054 United States Low Power Microprocessor Lab. Intel Labs. 2200 Mission College Blvd Santa Clara CA 95054 United States Compiler Lab. Intel Labs. 2200 Mission College Blvd Santa Clara CA 95054 United States

ISBN: (纸本)1595931619

Code density is an important issue in memory constrained systems. Some RISC processor, e.g. the THUMB extension in the ARM processor, supports aggressive code size reduction even at the cost of significant performance loss. In this paper, we develop an algorithm that utilizes a set of novel variable length Echo instructions and evaluate its effectiveness for IA32 binaries. Our experiments show that IA32 processor equipped with Echo instructions is capable of achieving a similar code density as the THUMB extension in the ARM instruction set with significantly lower performance penalty. Copyright 2005 ACM.

关键词： Microprocessor chips

来源：评论

学校读者我要写书评

暂无评论

Supporting mobility in content-based publish/subscribe middleware

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2003年 2672卷 103-122页

作者： Fiege, Ludger Gärtner, Felix C. Kasten, Oliver Zeidler, Andreas Department of Computer Science Databases Distributed System Group D-64283 Darmstadt Germany School of Computer and Communication Sciences Distributed Programming Laboratory CH-1015 Lausanne Switzerland Department of Computer Science Distributed Systems Group CH-8092 Zurich Switzerland

Publish/subscribe (pub/sub) is considered a valuable middleware architecture that proliferates loose coupling and leverages reconfigurability and evolution. Up to now, existing pub/sub middleware was optimized for static systems where users as well as the underlying system structure were rather fixed. We study the question whether existing pub/sub middleware can be extended to support mobile and location-dependent applications. We first analyze the requirements of such applications and distinguish two orthogonal forms of mobility the system-centric physical mobility and an application-centric logical mobility (where users are aware that they are changing location). We introduce location-dependent subscriptions as a suitable means to exploit the power of the event-based paradigm in mobile applications. Briefly spoken, location-dependency refines a subscription to accept only events related to a mobile user's current location. Implementations for both forms of mobility are presented within the content-based pub/sub middleware REBECA, drawing from its refined routing capabilities (namely, covering and merging). © IFIP International Federation for Information Processing 2003.

关键词： Location

来源：评论

学校读者我要写书评

暂无评论

A principle feature analysis

arXiv

引用

arXiv 2021年

作者： Breitenbach, Tim Rasbach, Lauritz Liang, Chunguang Jahnke, Patrick Biozentrum Universität Würzburg Am Hubland Würzburg97074 Germany Department of Computer Science Distributed Systems Programming Technische Universität Darmstadt Hochschulstraße 10 Darmstadt64289 Germany

A key task of data science is to identify relevant features linked to certain output variables that are supposed to be modeled or predicted. To obtain a small but meaningful model, it is important to find stochastically independent variables capturing all the information necessary to model or predict the output variables sufficiently. Therefore, we introduce in this work a framework to detect linear and non-linear dependencies between different features. As we will show, features that are actually functions of other features do not represent further information. Consequently, a model reduction neglecting such features conserves the relevant information, reduces noise and thus improves the quality of the model. Furthermore, a smaller model makes it easier to adopt a model of a given system. In addition, the approach structures dependencies within all the considered features. This provides advantages for classical modeling starting from regression ranging to differential equations and for machine learning. To show the generality and applicability of the presented framework 2154 features of a data center are measured and a model for classification for faulty and non-faulty states of the data center is set up. This number of features is automatically reduced by the framework to 161 features. The prediction accuracy for the reduced model even improves compared to the model trained on the total number of features. A second example is the analysis of a gene expression data set where from 9513 genes 9 genes are extracted from whose expression levels two cell clusters of macrophages can be *** Codes 00A71, 93A30, 65C60, 93B40, 93E25 © 2021, CC BY-NC-SA.

关键词： Differential equations

来源：评论

学校读者我要写书评

暂无评论

Leveraging Applications of Formal Methods, Verification, and Validation 1

引用

丛书名： Communications in Computer and Information Science

1000年

作者： Reiner Hähnle Jens Knoop Tiziana Margaria Dietmar Schreiner Bernhard Steffen

ISBN: (数字)9783642347818

ISBN: (纸本)9783642347801

This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. In addition the SARS workshop hosted a special session on the recently launched KOROS project on collaborating robot systems that is borne by a consortium of researchers of the faculties of architecture and planning, computer science, electrical engineering and information technology, and mechanical and industrial engineering at the Vienna University of Technology. The four papers devoted to this session highlight important research directions pursued in this interdisciplinary research project.

关键词： Artificial Intelligence Data Mining and Knowledge Discovery Software Engineering Computation by Abstract Devices Information Storage and Retrieval Pattern Recognition

来源：评论

学校读者我要写书评

暂无评论

Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms

Biological LC/MS Preprocessing and Analysis with jABC, jETI ...

引用

International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ( ISoLA)

作者： Christian Kubczak Tiziana Margaria Arno Fritsch Bernhard Steffen Chair of Software Engineering University of Dortmund Germany Chair of Service and Software Engineering University of Potsdam Germany Chair of Mathematical Statistics and Biometric Applications University of Dortmund Germany Chair of Programming Systems University of Dortmund Germany

LC/MS is a successful analysis technique for the statistical analysis used in several branches of biology. It requires an intense screening and combination of the raw data, which is usually done with programs and libraries invoked by scripts in the domain-specific statistics language S or R. We show here how to model and implement this complex workflow in a service-oriented fashion, using the jABC service definition environment and jETI for remote service integration and execution.

关键词： Statistical analysis Biological system modeling Proteins Mice Mass spectroscopy Proteomics Application software Software engineering Performance analysis Biometrics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：