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

arXiv 2022年

作者： Pernice, Francisco Li, Ray Wootters, Mary Department of Mathematics and Computer Science Stanford University United States Department of Computer Science Stanford University United States Department of Computer Science and Electrical Engineering Stanford University United States

Given a probability distribution D over the non-negative integers, a D-repeat channel acts on an input symbol by repeating it a number of times distributed as D. For example, the binary deletion channel (D = Bernoulli) and the Poisson repeat channel (D = Poisson) are special cases. We say a D-repeat channel is square-integrable if D has finite first and second moments. In this paper, we construct explicit codes for all square-integrable D-repeat channels with rate arbitrarily close to the capacity, that are encodable and decodable in linear and quasi-linear time, respectively. We also consider possible extensions to the repeat channel model, and illustrate how our construction can be extended to an even broader class of channels capturing insertions, deletions, and substitutions. Our work offers an alternative, simplified, and more general construction to the recent work of Rubinstein [Rub21], who attains similar results to ours in the cases of the deletion channel and the Poisson repeat channel. It also slightly improves the runtime and decoding failure probability of the polar codes constructions of Tal et al. [Tal+19] and of Pfister and Tal [PT21] for the deletion channel and certain insertion/deletion/substitution channels. Our techniques follow closely the approaches of Guruswami and Li [GL19] and Con and Shpilka [CS20];what sets apart our work is that to obtain our result, we show that a capacity-achieving code for the channels in question can be assumed to have an "approximate balance" in the frequency of zeros and ones of all sufficiently long substrings of all codewords. This allows us to attain near-capacity-achieving codes in a general setting. We consider this "approximate balance" result to be of independent interest, as it can be cast in much greater generality than just repeat channels. © 2022, CC BY.

关键词： Probability distributions

来源：评论

学校读者我要写书评

暂无评论

Highsimb: A Concrete Blockchain High Simulation with Contract Vulnerability Detection for Ethereum and Hyperledger Fabric 4th

Highsimb: A Concrete Blockchain High Simulation with Contra...

引用

4th International Conference on Machine Learning for Cyber Security, ML4CS 2022

作者： Huang, Pengfei Jie, Wanqing Voundi Koe, Arthur Sandor Hou, Ruitao Yan, Hongyang Nouioua, Mourad Thien, Phan Duc Mbous Ikong, Jacques Lancine, Camara Institute of Artificial Intelligence and Blockchain Guangzhou University Guangzhou510006 China Pazhou Lab Guangzhou510330 China Faculty of Mathematics and Computer Science University of Mohamed Bachir El Ibrahimi Bordj Bou Arreridj34030 Algeria Faculty of Information Technology Nam Dinh University of Technology Education Nam Dinh420000 Viet Nam Department of Electrical and Telecommunications Engineering National Advanced School of Engineering - University of Yaounde I Yaounde337 Cameroon Department of Computer Science University of Social Sciences and Management Bamako2575 Mali

ISBN: (纸本)9783031200984

Blockchain testing plays a critical role in the maturation of blockchain technology by ensuring the quality of implemented functional and non-functional requirements. In the new global economy, rapid time to market has become a central issue: developers fail to scrutinize their blockchain designs prior to deployment and customers undergo negative experiences that hurt the widespread adoption of the blockchain technology. Previous published studies aimed for effective blockchain simulators. However, existing solutions exhibit several drawbacks: they rely on guesswork, conceal low-level implementation details, lack expected realistic outcomes and automated testing, as well as lag in smart contract vulnerability analysis. In this paper, we introduce highsimb: the first concrete blockchain high simulation platform for Ethereum and Hyperledger Fabric that supports smart contract vulnerability detection. Unlike a testnet, the blockchain tester can customize any low-level detail to achieve realistic expected results under automated testing. Theoretical analysis demonstrates our concrete simulator is highly observable, supports realistic feedback, is scalable, detects smart contract vulnerabilities, has strong white-box testing capabilities and automates experiments. Our framework complements existing blockchain simulators and introduces a novel development paradigm for blockchain testing. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Blockchain

来源：评论

学校读者我要写书评

暂无评论

Minor tissue absorbers can distinguish benign and malignant breast lesions using broadband quantitative diffuse optical spectroscopy 14

Minor tissue absorbers can distinguish benign and malignant ...

引用

Optical Tomography and Spectroscopy of Tissue XIV 2021

作者： Vasudevan, Sandhya Campbell, Christopher Liu, Fang O’Sullivan, Thomas D. University of Notre Dame Department of Electrical Engineering Notre DameIN46556 United States University of Notre Dame Department of Applied and Computational Mathematics and Statistics Notre DameIN46556 United States

ISBN: (数字)9781510641143

ISBN: (纸本)9781510641136

Noninvasive diffuse optical spectroscopy (DOS) is promising as an adjunct diagnostic imaging technique for distinguishing benign and malignant breast lesions. However, most DOS approaches require normalizing lesion optical biomarkers to healthy values in reference tissue since major tissue constituents exhibit large inter-patient variations. Our goal is to determine whether absolute measurements of minor optical absorbers such as collagen and methemoglobin (metHb) can successfully distinguish benign and malignant breast lesions. In this retrospective clinical study, 30 lesions with BIRADS score >= 3 (12 benign and 18 malignant lesions from 28 subjects) measured with broadband quantitative DOS were analyzed for their oxy-, deoxy- hemoglobin, water, lipids, collagen, and metHb concentrations as well as their optical scattering characteristics. Amongst all absolute DOS parameters (i.e., without normalization to healthy tissue) considered, only absolute metHb was observed to be significant for lesion discrimination (0.43±0.18 µM for benign vs 0.87±0.32 µM for malignant, p = 0.0002). Our findings demonstrate that lesion metHb concentration measured by quantitative DOS can improve noninvasive optical diagnosis of breast malignancies. © 2021 SPIE

关键词： Tissue

来源：评论

学校读者我要写书评

暂无评论

Safety-critical control of stochastic systems using stochastic control barrier functions

arXiv

引用

arXiv 2021年

作者： Wang, Chuanzheng Meng, Yiming Smith, Stephen L. Liu, Jun The Department of Applied Mathematics University of Waterloo WaterlooON Canada The Department of Electrical and Computer Engineering University of Waterloo WaterlooON Canada

Control barrier functions have been widely used for synthesizing safety-critical controls, often via solving quadratic programs. However, the existence of Gaussian-type noise may lead to unsafe actions and result in severe consequences. In this paper, we study systems modeled by stochastic differential equations (SDEs) driven by Brownian motions. We propose a notion of stochastic control barrier functions (SCBFs) and show that SCBFs can significantly reduce the control efforts, especially in the presence of noise, compared to stochastic reciprocal control barrier functions (SRCBFs), and offer a less conservative estimation of safety probability, compared to stochastic zeroing control barrier functions (SZCBFs). Based on this less conservative probabilistic estimation for the proposed notion of SCBFs, we further extend the results to handle high relative degree safety constraints using high-order SCBFs. We demonstrate that the proposed SCBFs achieve good trade-offs of performance and control efforts, both through theoretical analysis and numerical simulations. Copyright © 2021, The Authors. All rights reserved.

关键词： Stochastic control systems

来源：评论

学校读者我要写书评

暂无评论

Design of A Rotated 3D-Printed Lens Antenna Assembly with An Ultra-Wideband Antenna for Beam Steering Applications

Design of A Rotated 3D-Printed Lens Antenna Assembly with An...

引用

International electrical engineering Congress (iEECON)

作者： Patchadaporn Sangpet Wanwisa Thaiwirot Prayoot Akkaraekthalin Nonchanutt Chudpooti Department of Electrical and Computer Engineering Faculty of Engineering King Mongkut's University of Technology North Bangkok Bangkok Bangkok Thailand Department of Industrial Physics and Medical Instrumentation Faculty of Applied Science King Mongkut's University of Technology North Bangkok Bangkok Bangkok Thailand

ISBN: (数字)9798350383591

ISBN: (纸本)9798350383607

The paper presents the rotated 3D-printed dielectric lens assembly with an ultra-wideband (UWB) antenna for use in the beam-steering applications. The focus is on achieving beam steering by combining the rotated 3D-printed dielectric lens assembly with a hemispherical lens and UWB antenna. The UWB antenna is fabricated on an FR-4 substrate, while the hemispherical lens and the rotated 3D-printed lens assembly are made from Acrylonitrile Butadiene Styrene (ABS). To enable the hemispherical lens to rotate to the specified angle, a set of rotatable 3D-printed lenses was etched to determine five angles: -60degrees, -30degrees, 0degrees, 30degrees, and 60degrees. Both simulation and measurement results indicate that at a beginning frequency of 3.5 GHz, the beam cannot be steered when using the UWB antenna with the 3D-printed ABS lens rotated hemispherical lens assembly. However, at middle and high frequencies of 7.0 GHz and 10.0 GHz, respectively, the beam can be steered according to the direction of rotation of the hemispherical lens.

关键词： Antenna measurements Beam steering Ultra wideband antennas Frequency measurement Dielectrics High frequency Assembly

来源：评论

学校读者我要写书评

暂无评论

Reduced Order Modeling of a Class of Descriptor System on Certain Domains with the Application to Blood Flow Through the Carotid

SSRN

引用

SSRN 2023年

作者： Bin Iqbal, Kife I. Du, Xin Uddin, Mohammad Monir Hossain, Md. Tanzim Uddin, Mohammed Forhad Zulfiqar, Umair Department of Mathematics Bangladesh University of Engineering and Technology Dhaka1000 Bangladesh School of Mechatronic Engineering and Automation Shanghai University Shanghai200072 China Jilin132012 China Department of Mathematics and Physics North South University Dhaka1229 Bangladesh Department of Electrical and Computer Engineering North South University Dhaka1229 Bangladesh

This study focuses on model order reduction for large-scale sparse index-2 descriptor systems that arise from practical problems governed by the semi-discrete Naiver Stokes equation, such as blood flow through the carotid. The goal is to reduce the system’s complexity while maintaining its critical properties within a limited frequency and time interval. To achieve this, we implicitly convert the index-2 descriptor system to an equivalent ODE system and then apply the generalized H2 optimal model reduction technique on the altered system for order reduction on the restricted frequency interval. Then this idea is extended to the order reduction in the definite time interval. The main challenge in this approach is to efficiently solve two Sylvester equations obtained from the index-2 descriptor system. We implicitly discuss the efficient solution technique of these Sylvester equation pairs and propose a method based on the Iterative Rational Krylov Algorithm for computing the large-scale matrix logarithm to deal with the significant computational challenge efficiently. To validate the proposed techniques, the authors perform numerical experiments on generated and some existing data of index-2 descriptor systems using the MATLAB interface. The results demonstrate the approximation accuracy and computational efficiency of the proposed techniques. © 2023, The Authors. All rights reserved.

关键词： MATLAB

来源：评论

学校读者我要写书评

暂无评论

Smart Infusion and Web Based Monitoring Infusion Fluids in Isolation Room Based on Fuzzy Logic 4

Smart Infusion and Web Based Monitoring Infusion Fluids in I...

引用

4th International Conference on electrical, Electronics, Informatics, and Vocational Education, ICE-ELINVO 2021

作者： Yamin, M. Habir, S.A. Nur Alam, W.O.S. Surimi, L. Department of Informatics Engineering Faculty of Engineering Halu Oleo University Kendari Indonesia Department of Electrical Engineering Faculty of Engineering Halu Oleo University Kendari Indonesia Department of Computer Science Faculty of Mathematics and Natural Sciences Halu Oleo University Kendari Indonesia

High-tech improvements with reference for health advance to develop numerous medical tools have been build to support doctors and nurses performances. This analysis research applied web-based system of infusion monitoring and microprosessor or microcontroller to grease performances of nursers and pharmaceutical helping in clinics or public health centers of the district. In this research, smart infusion web-based is builded for providing for the infusions by applying Node MCU and ESP 8266 Wi-Fi module. Smart Infusion aimed at helping nursers and medical helpers handling infusions of contagious complaint cases or Covid-19 cases to provide for infusion situation in isolation room or emergency room at hospital also public health centers at the district. Detecting the infusion weight, volume and percentage by applying a digital scale and the Load Cell sensors. This monitoring tools or devices is created to count the display from LCD and infusion weight the volumes and percentage of infusion with 3 colors alert display on the Website such as red color, yellow color, and green color depend on a web developed by php language, C programming with Arduino by C language embedded in microprocessor or microcontroller and based on fuzzy logic. Testing results have been achieved, monitoring device can work efficiently and completely when calculating weight, percentage, and volume. Scanning data of success accuracy of Load Cell sensors is 98,00%. © 2021 Institute of Physics Publishing. All rights reserved.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Validating a Chaos Based PRBG Under Different Chaotic Maps

Validating a Chaos Based PRBG Under Different Chaotic Maps

引用

Panhellenic Conference on Electronics and Telecommunications (PACET)

作者： Lazaros Moysis Marcin Lawnik Christos Volos Murilo S. Baptista George F. Fragulis Sotirios K. Goudos Department of Electrical and Computer Engineering University of Western Macedonia Kozani Greece Physics Department Laboratory of Nonlinear Systems - Circuits & Complexity Aristotle University of Thessaloniki Thessaloniki Greece Department of Mechanical Engineering University of Western Macedonia Kozani Greece Department of Mathematics Applications and Methods for Artificial Intelligence Faculty of Applied Mathematics Silesian University of Technology Gliwice Poland Department of Physics Institute for Complex Systems and Mathematical Biology SUPA University of Aberdeen Aberdeen UK Physics Department ELEDIA@AUTH Aristotle University of Thessaloniki Thessaloniki Greece

Chaos-based random bit generators are abundantly used in chaos-based encryption and security applications, as a fast, deterministic source of randomness, to perform actions like permutation and substitution. The chaotic map used as a source of randomness though may heavily affect the bit generator’s statistical randomness, key space, and speed. Thus, any given bit generator may not be equally efficient for all the chaotic maps used as a seed. Motivated by this, the present work considers a bit generator that utilizes a common modulo-based hashing technique, and studies its performance under a plethora of different chaotic maps. For each map, the generator is evaluated with respect to randomness, key space, and operations per bit ratio. This analysis can serve as a guideline for random bit generator usage in future chaos-based encryption designs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Adaptive Observer Based Output Voltage-Tracking Control of DC-DC Boost Converters

Adaptive Observer Based Output Voltage-Tracking Control of D...

引用

International Bhurban Conference on applied Sciences & Technology, IBCAST

作者： Haris Sheh Zad Abasin Ulasyar Adil Zohaib Department of Mechanical & Manufacturing Engineering Pak-Austria Fachhochschule: Institute of Applied Sciences & Technology Haripur Pakistan Drive Team Washing Machine-R&D Center Beko Corporate Istanbul Turkey Department of Electrical & Computer Engineering Riphah International University Islamabad Pakistan

ISBN: (数字)9798331516680

ISBN: (纸本)9798331516697

In this paper, the voltage regulation of DC-DC boost converters is investigated in the existence of unmodeled system dynamics and load perturbations. An adaptive observer based sliding mode controller (SMC) is proposed based on the radial basis function (RBF) neural networks for estimating the uncertain system function. The parameters of the RBF are updated online based on the adaptive law. The adaptive control law is developed based on the Lyapunov synthesis for the RBF model. The Lyapunov theory is utilized for proving the stability of the overall system. The chattering phenomenon is eliminated, and the robust action of the controller is ensured. For checking the effectiveness of the designed robust and adaptive controller, comparative simulations are carried out. Simulation results show better dynamic regulation of the boost converter compared to the conventional control in the presence of uncertainties and unmodeled dynamics.

关键词： Uncertain systems Adaptation models Uncertainty System dynamics Perturbation methods Simulation Observers Stability analysis Regulation Voltage control

来源：评论

学校读者我要写书评

暂无评论

Decomposable non-smooth convex optimization with nearly-linear gradient oracle complexity 22

Decomposable non-smooth convex optimization with nearly-line...

引用

Proceedings of the 36th International Conference on Neural Information Processing Systems

作者： Sally Dong Haotian Jiang Yin Tat Lee Swati Padmanabhan Guanghao Ye Computer Science & Engineering University of Washington Seattle WA Electrical & Computer Engineering University of Washington Seattle WA Department of Mathematics Massachusetts Institute of Technology Cambridge MA

ISBN: (纸本)9781713871088

Many fundamental problems in machine learning can be formulated by the convex program \[ \min_{\theta\in \mathbb{R}^d}\ \sum_{i=1}^{n}f_{i}(\theta), \] where each fi is a convex, Lipschitz function supported on a subset of di coordinates of θ. One common approach to this problem, exemplified by stochastic gradient descent, involves sampling one fi term at every iteration to make progress. This approach crucially relies on a notion of uniformity across the fi's, formally captured by their condition number. In this work, we give an algorithm that minimizes the above convex formulation to e-accuracy in $\widetilde{O}(\sum_{i=1}^n d_i \log (1 /\epsilon))$ gradient computations, with no assumptions on the condition number. The previous best algorithm independent of the condition number is the standard cutting plane method, which requires O(nd log(1/ε)) gradient computations. As a corollary, we improve upon the evaluation oracle complexity for decomposable submodular minimization by [Axiotis, Karczmarz, Mukherjee, Sankowski and Vladu, ICML 2021]. Our main technical contribution is an adaptive procedure to select an fi term at every iteration via a novel combination of cutting-plane and interior-point methods.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：