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

arXiv 2024年

作者： Azmi, Behzad Rodrigues, Sérgio S. Dep. Math. Stat. Univ. Konstanz Universitätstr. 10 KonstanzD-78457 Germany Johann Radon Inst. Comput. Appl. Math. ÖAW Altenbergerstr. 69 Linz4040 Austria

A receding horizon control framework is coupled with a Luenberger observer to construct an output-based control input stabilizing parabolic equations. The actuators and sensors are indicator functions of small subdomains, representing localized actuation and localized measurements. It is shown that, for a class of explicitly given sets of actuators and sensors, we can guarantee the stabilizing property of the constructed input. Results of numerical simulations are presented validating the theoretical findings. Copyright © 2024, The Authors. All rights reserved.

关键词： Actuators

来源：评论

学校读者我要写书评

暂无评论

STABILIZATION TO TRAJECTORIES OF NONISOTHERMAL CAHN-HILLIARD EQUATIONS

arXiv

引用

arXiv 2024年

作者： Azmi, Behzad Fritz, Marvin Rodrigues, Sérgio S. Dep. Math. Stat. Univ. Konstanz Universitätstr. 10 KonstanzD-78457 Germany Johann Radon Inst. Comput. Appl. Math. ÖAW Altenbergerstr. 69 Linz4040 Austria

In this work, it is proven the semiglobal exponential stabilization to time-dependent trajectories of the nonisothermal Cahn–Hilliard equations. In the model, the input controls are given by explicit feedback operators that involve appropriate oblique projections. The actuators are given by a finite number of indicator functions. The results also hold for the isothermal Cahn–Hilliard system. Numerical simulations are shown that illustrate the stabilizing performance of the proposed input feedback *** Codes 93D15, 93B52, 93C20, 35K52, 35Q93, 65M22 Copyright © 2024, The Authors. All rights reserved.

关键词： Stabilization

来源：评论

学校读者我要写书评

暂无评论

An acoustic observatory for sperm whales in the Eastern Mediterranean Sea

引用

The Journal of the Acoustical Society of America 2021年第4_SUPPLEMENT期150卷 A83-A83页

作者： Emmanuel Skarsoulis George Piperakis Emmanuel Orfanakis Panos Papadakis Michael Kalogerakis Inst. of Appl. and Computational Mathematics Foundation for Res. and Technol. - Hellas N. Plastira 100 Heraklion Crete GR-70013 Greece eskars@iacm.forth.gr Inst. of Appl. and Computational Mathematics Foundation for Res. and Technol. - Hellas Heraklion Greece Elec. & Comput. Eng. Hellenic Mediterranean Univ. Heraklion Greece

A deep-water acoustic observatory for real-time detection and 3D localization of sperm whales has been developed, deployed and operated for 3-month periods in summer 2020 and 2021 off SW Crete in the Eastern Mediterranean Sea. Detection and localization rely on receptions of regular clicks at 3 hydrophones suspended from surface buoys at depths of ∼100 m and ∼1 km apart. Travel times of significant arrivals extracted onboard the buoys are transmitted, together with other supporting data, via mobile broadband to a land-based analysis center where the data from all buoys are combined to enable detection and 3D localization of vocalizing animals exploiting direct and surface-reflected arrivals and using a Bayesian approach. The large separations between hydrophones result in small localization uncertainties for ranges up to ∼6 km, whereas, on the other hand, they pose significant challenges related, e.g., to peak association and synchronization between the buoys. The design and implementation, as well as results from the operation of the system will be presented. [Work supported by Ocean Care – SAvEWhales project.]

关键词：

来源：评论

学校读者我要写书评

暂无评论

Automation of Android appl.cations Functional Testing Using Machine Learning Activities Classification

Automation of Android Applications Functional Testing Using ...

引用

International Conference on Mobile Software Engineering and Systems (MOBILESoft)

作者： Ariel Rosenfeld Odaya Kardashov Orel Zang Dept. of Comput. Sci. & Appl. Math. Weizmann Inst. of Sci. Rehovot Rehovot Israel Dept. of Computer Science Bar-Ilan University Ramat-Gan Israel

ISBN: (纸本)9781538661703

Following the ever-growing demand for mobile appl.cations, researchers are constantly developing new test automation solutions for mobile developers. However, researchers have yet to produce an automated functional testing approach, resulting in many developers relying on a resource consuming manual testing. In this paper, we present a novel approach for the automation of functional testing in mobile software by leveraging machine learning techniques and reusing generic test scenarios. Our approach aims at relieving some of the manual functional testing burden by automatically classifying each of the appl.cation's screens to a set of common screen behaviors for which generic test scripts can be inst.ntiated and reused. We empirically demonstrate the potential benefits of our approach in two experiments: First, using 26 randomly selected Android appl.cations, we show that our approach can successfully inst.ntiate and reuse generic functional tests and discover functional bugs. Second, in a human study with two experienced human mobile testers, we show that our approach can automatically cover a large portion of the human testers' work suggesting a significant potential relief in the manual testing efforts.

关键词： Testing Tools Automation User interfaces Mobile appl.cations comput.r bugs Manuals

来源：评论

学校读者我要写书评

暂无评论

Methodology for GPS Synchronization Evaluation with High Accuracy

Methodology for GPS Synchronization Evaluation with High Acc...

引用

IEEE Vehicular Technology Conference

作者： Zan Li Torsten Braun Desislava C. Dimitrova Inst. of Comput. Sci. & Appl. Math. Univ. of Bern Bern Switzerland

ISBN: (纸本)9781479980895

Clock synchronization in the order of nanoseconds is one of the critical factors for time-based localization. Currently used time synchronization methods are developed for the more relaxed needs of network operation. Their usability for positioning should be carefully evaluated. In this paper, we are particularly interested in GPS-based time synchronization. To judge its usability for localization we need a method that can evaluate the achieved time synchronization with nanosecond accuracy. Our method to evaluate the synchronization accuracy is inspired by signal processing algorithms and relies on fine-grain time information. The method is able to calculate the clock offset and skew between devices with nanosecond accuracy in real time. It was implemented using software defined radio technology. We demonstrate that GPS-based synchronization suffers from remaining clock offset in the range of a few hundred of nanoseconds but the clock skew is negligible. Finally, we determine a corresponding lower bound on the expected positioning error.

关键词： clock skew clock recovery Network operations Signal processing algorithms NANOSECOND Skew key factors

来源：评论

学校读者我要写书评

暂无评论

Adaptive Interest Lifetimes for Information-Centric Wireless Multi-hop Communication

Adaptive Interest Lifetimes for Information-Centric Wireless...

引用

Joint IFIP Wireless and Mobile Networking Conference (WMNC)

作者： Carlos Anastasiades Lukas von Rotz Torsten Braun Institute of Computer Science and Applied Mathematics University of Bern Switzerland Inst. of Comput. Sci. & Appl. Math. Universitat Bern Bern BE CH

ISBN: (纸本)9781509000913

Information-centric networking (ICN) is a promising approach for wireless communication because users can exploit the broadcast nature of the wireless medium to quickly find desired content at nearby nodes. However, wireless multi-hop communication is prone to collisions and it is crucial to quickly detect and react to them to optimize transmission times and avoid spurious retransmissions. Several adaptive retransmission timers have been used in related ICN literature but they have not been compared and evaluated in wireless multi-hop environments. In this work, we evaluate existing algorithms in wireless multi-hop communication. We find that existing algorithms are not optimized for wireless communication but slight modifications can result in considerably better performance without increasing the number of transmitted Interests.

关键词： Wireless communication Communication system security Spread spectrum communication Algorithm design and analysis Delays Throughput Emulation

来源：评论

学校读者我要写书评

暂无评论

Keynote address I: Sensing issues in the automated monitoring of the quality of drinking water

Keynote address I: Sensing issues in the automated monitorin...

引用

International Conference on comput.r Science & Education (ICCSE)

作者： Clarence W. de Silva Ben M. Chen Houman Owhadi Frank Wang The University of British Columbia Canada UAV Res. Group Nat. Univ. of Singapore Singapore Singapore Appl. & Comput. Math. & Control & Dynamical Syst. California Inst. of Technol. Pasadena CA USA IEEE Comput. Soc. Univ. of Kent Canterbury UK

These keynote speeches discuss the following: Sensing issues in the automated monitoring of the quality of drinking water; Unmanned systems research and education at National University of Singapore; Can discovery be ...

关键词：

来源：评论

学校读者我要写书评

暂无评论

Cheating prevention in Visual Cryptographic Schemes using message embedding: A hardware based practical approach

Cheating prevention in Visual Cryptographic Schemes using me...

引用

International Conference on Issues and Challenges in Intelligent comput.ng Techniques (ICICT)

作者： Biswapati Jana Shyamal Kumar Mondal Shannistha Jana Debasis Giri Vidyasagar University Midnapore West Bengal IN Dept. of Appl. Math. with Oceanol. & Comput. Program. Vidyasagar Univ. Paschim Medinipur India Dept. of Math. Midnapore Coll. Paschim Medinipur India Dept. of Comput. Sci. Eng. Haldia Inst. of Technol. Haldia India

This paper attempts to give a hardware based practical overview about cheating prevention of information hiding technique using Steganography and Visual Cryptographic Schemes (VCS). A combined technique have been proposed here, which allows visual information (e.g. printed text, handwritten notes, and images) to be distributed into 'n' secret shares as transparencies and embedding message into share became stego share for share authentication. Finally each of these stego shares embeds into a cover image using hardware module. At the time of recovering the receiver first decode each stego shares from the cover work than extract secret message from share to prevent cheating. The original secret message can be retrieve by overlapping the shares. The proposed encoding and decoding scheme for share generation is implemented in software module and embedding of message into share and stego share into cover image are implemented in hardware-based system for 2-D images.

关键词： Cryptography Discrete wavelet transforms Biological information theory Universal Serial Bus comput.r architecture Airplanes PSNR

来源：评论

学校读者我要写书评

暂无评论

ChemInform Abstract: Magnetic Properties of MM′X (M = Mn, M′ = 3d or 4d Metal, X = P, As, Si, Ge) Compounds with Hexagonal or Orthorhombic Crystal Structure

引用

ChemInform 2014年第4期45卷

作者： Ryszard Zach Janusz Tobola Wieslaw Chajec Daniel Fruchart Fumihisa Ono Inst. Phys. Fac. Phys. Math. Appl. Comput. Sci. Krakow Univ. Technol. PL-30-084 Krakow Pol.

Review: 16 refs.

关键词： inorganic chemistry, review dielectric properties, magnetic properties transition metals phosphorus group silicon, Si germanium, Ge

来源：评论

学校读者我要写书评

暂无评论

A Performance Prediction Approach for MPI Routines on Multi-clusters

A Performance Prediction Approach for MPI Routines on Multi-...

引用

Euromicro Conference on Parallel, Distributed and Network-Based Processing

作者： Sami Achour Wahid Nasri Higher Inst. of Appl. Math. & Comput. Sci. Kairouan Tunisia Higher School of Sciences and Techniques Tunis Tunisia

Performance is one of the key features of parallel and distributed comput.ng systems. For that reason, a significant research effort was invested in the development of approaches in the area of performance modeling and prediction. Since many parallel appl.cations from scientific comput.ng use MPI communication operations to distribute or collect data, we present in this paper a novel (off-line) approach that addresses the performance prediction of MPI routines in multi-clusters platforms. The main objective of this approach is to predict accurately and efficiently the performance of a given routine. Our solution is based principally on models for point to point (P2P) MPI routines which are obtained after a short profiling procedure. Since collective communication routines are composed of P2P routines, the performance prediction of the formers is done on the basis of a rapid emulation of these routines and on an evaluation of P2P routines models. Experimental results obtained on a grid platform demonstrated the interest of the proposed approach.

关键词： Predictive models Time measurement Measurement uncertainty Size measurement Emulation Accuracy Benchmark testing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：