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

IEEE International Conference on Soft Robotics (RoboSoft)

作者： Nhan Huu Nguyen Long Duy Nguyen Quoc-Viet Do Masayuki Yamaguchi Van Anh Ho School of Material Science Japan Advanced Institute of Science and Technology Nomi Japan

ISBN: (数字)9798331520205

ISBN: (纸本)9798331520212

Engineers and roboticists have long been acquainted with the irreversible design-to-fabrication process, where the transition from design to final production is completed in a single, uninterrupted workflow. Despite the well-recognized benefits of this approach, there is an increasing focus on sustainable, eco-friendly, and iterative development frameworks that prioritize biodegradation, reusability, and self-resilience. In response to this evolving landscape, this article presents a novel approach for developing soft pneumatic actuators aligned with sustainability goals. This is achieved through two key features: (1) The soft body is fabricated using biodegradable and self-healing hydrogel materials, primarily composed of Konjac Glucomannan, Gelatin, and Borax; (2) Instead of restarting the costly design-to-fabrication process when the robot’s requirements change, we propose reprogramming the actuator’s behavior by selectively introducing air blockers, made from environmentally friendly materials (Gelatin and Borax). Furthermore, this reprogrammable feature is iterative, leveraging the reversible gelation process, which allows for the extraction of liquid-form air blockers from the soft body, i.e., enabling reconfiguration. To demonstrate the feasibility and versatility of this design strategy, we applied it to a PneuNet soft actuator as a proof of concept, showcasing its ability to achieve varied actuation capabilities. Additionally, the mechanical properties and self-healing characteristics of the composite material were experimentally investigated. This study is expected to contribute to the growing trend of sustainability in soft robotics research.

关键词： Pneumatic actuators Technological innovation Sensitivity Tactile sensors Soft robotics programming Feature extraction Sensors Iterative methods Sustainable development

来源：评论

学校读者我要写书评

暂无评论

Dynamic Task Merging Scheduling Method for Intermittent Computing System

Dynamic Task Merging Scheduling Method for Intermittent Comp...

引用

Consumer Electronics and Computer Engineering (ICCECE), 2021 IEEE International Conference on

作者： Bohan Sun School of computer science and engineering Northeastern University Shenyang China

ISBN: (数字)9798331533113

ISBN: (纸本)9798331533120

With the development of the Internet of Things, intermittent systems that rely on energy harvesting devices as power supply equipment have become a research hotspot. Intermittent computing systems face challenges such as frequent power failures and high state-saving overheads due to the instability of energy harvesting. Traditional task-based programming models, while reducing state backup costs compared to checkpointing techniques, still experience significant performance impacts from non-volatile storage operations during task transitions. To address these issues, this paper proposes a dynamic task merging scheduling strategy based on environmental energy prediction. The method utilizes a lightweight Long Short-Term Memory (LSTM) model to forecast environmental energy levels and dynamically adjusts task merging scales based on historical task execution data. Experimental results on the MSP430FR5994 platform demonstrate that, compared to the InK system, the proposed method shortens the execution time of benchmark programs and reduces system power failures. By dynamically optimizing the task merging strategy, the system reduces read and write operations on non-volatile memory, significantly enhancing task completion efficiency under limited energy conditions in intermittent computing devices.

关键词： Costs Nonvolatile memory Processor scheduling Merging programming Predictive models Dynamic scheduling Internet of Things Energy harvesting Long short term memory

来源：评论

学校读者我要写书评

暂无评论

Investigation and Mitigation of Transistor Induced Reliability Issues in 40NM RRAM Array

Investigation and Mitigation of Transistor Induced Reliabili...

引用

Annual International Symposium on Reliability Physics

作者： Yuhang Yang Zongwei Wang Haoran Wang Lin Bao Gaoqi Yang Yimao Cai Ru Huang School of Integrated Circuits Peking University Beijing China Beijing Advanced Innovation Center for Integrated Circuits Peking University Beijing China

ISBN: (数字)9798331504779

ISBN: (纸本)9798331504786

This study systematically investigates operational reliability degradation in 1-transistor-1-resistive memory (1T1R) arrays implemented in a commercial 40nm CMOS technology node. While prior research has predominantly focused on resistive switching element characteristics, we quantitatively examine the previously underexplored device degradation mechanisms in access transistors under programming overstress conditions. Through comprehensive characterization of both selected and half-selected cells in 1T1R arrays, we identify that array-level reliability concerns are closely linked to the array size, and propose an operation optimization scheme to mitigate these reliability issues.

关键词： Degradation MOSFET Prevention and mitigation programming Arrays Transistors Integrated circuit reliability Optimization Physics Switching circuits

来源：评论

学校读者我要写书评

暂无评论

Blind Bistatic Radar Parameter Estimation in Doubly-Dispersive Channels

Blind Bistatic Radar Parameter Estimation in Doubly-Dispersi...

引用

IEEE Conference on Wireless Communications and Networking

作者： Kuranage Roche Rayan Ranasinghe Kengo Ando Hyeon Seok Rou Giuseppe Thadeu Freitas de Abreu Andreas Bathelt School of Computer Science and Engineering Constructor University Bremen Germany High Frequency Radar and Applications Fraunhofer FHR Wachtberg Germany

ISBN: (数字)9798350368369

ISBN: (纸本)9798350368376

We propose a novel method for blind bistatic radar parameter estimation (RPE), which enables integrated sensing and communications (ISAC) by allowing passive (receive) base stations (BSs) to extract radar parameters (ranges and velocities of targets), without requiring knowledge of the information sent by an active (transmit) BS to its users. The contributed method is formulated with basis on the covariance of received signals, and under a generalized doubly-dispersive channel model compatible with most of the waveforms typically considered for ISAC, such as orthogonal frequency division multiplexing (OFDM), orthogonal time frequency space (OTFS) and affine frequency division multiplexing (AFDM). The original non-convex problem, which includes an ℓ 0 -norm regularization term in order to mitigate clutter, is solved not by relaxation to an ℓ 1 -norm, but by introducing an arbitrarily-tight approximation then relaxed via fractional programming (FP). Simulation results show that the performance of the proposed method approaches that of an ideal system with perfect knowledge of the transmit signal covariance with an increasing number of transmit frames.

关键词： Time-frequency analysis Passive radar Parameter estimation OFDM Bistatic radar programming Integrated sensing and communication Frequency division multiplexing Data mining Optimization

来源：评论

学校读者我要写书评

暂无评论

Interactive Proof Assistant Based on Floyd-Hoare Logic

Interactive Proof Assistant Based on Floyd-Hoare Logic

引用

International Symposium on Applied Machine Intelligence and Informatics (SAMI)

作者： Samuel Novotný William Steingartner Katarína Sivá Ján Perháč Department of Computers and Informatics Faculty of Electrical Engineering and Informatics Technical University of Košice Košice Slovakia

ISBN: (数字)9798350379365

ISBN: (纸本)9798350379372

This paper focuses on the development of an in-teractive proof assistant for visualizing the axiomatic semantics of a simple imperative language, specifically proofs in Hoare logic. The goal is to provide students with an easily accessible interactive environment where they can independently explore this semantic method, with the option of receiving feedback. The form of a web application offers the required easy access, independent of the platform, and the continuously evolving web development frameworks provide numerous components that ensure a simple, interactive, and functional user interface, which is essential for the comfortable use of this tool and, ultimately, a better understanding of this subiect.

关键词： Visualization Source coding Semantics User interfaces programming Licenses Logic Informatics Machine intelligence Software development management

来源：评论

学校读者我要写书评

暂无评论

Does DEIA Still Matter?: A Survey of VR Researchers at IEEE VR

Does DEIA Still Matter?: A Survey of VR Researchers at IEEE ...

引用

Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW), IEEE Conference on

作者： Aleshia Hayes John Quarles Greg Welch Dylan Fox University of North Texas University of Texas San Antonio University of Central Florida XR Access

ISBN: (数字)9798331514846

ISBN: (纸本)9798331525637

This study explores perspectives on diversity, equity, inclusion, and accessibility (DEIA) from researchers in the IEEE VR community. Fourteen participants expressed sustained commitment to DEIA, noting underrepresentation of women, BIPOC, individuals with disabilities, and researchers from developing countries or low socioeconomic backgrounds. Participants perceived high costs, lack of accessibility features (e.g., subtitles, mobility support), and insufficient family resources (e.g., childcare) as barriers. Among factors that could deter support of DEIA listed were fear of retaliation, financial constraints, structural challenges, and difficulties identifying diverse representatives. Strategies participants supported included reporting demographic statistics, strategic planning, and promoting DEIA in speakers and attendees.

关键词： Surveys Three-dimensional displays Profitability Virtual reality programming User interfaces Strategic planning Socioeconomics Standards Research and development

来源：评论

学校读者我要写书评

暂无评论

Resource Allocation for RIS-Assisted Mixed Near-and Far-Field Communication with Directional Antenna

Resource Allocation for RIS-Assisted Mixed Near-and Far-Fiel...

引用

IEEE Conference on Wireless Communications and Networking

作者： Chiyang Ding Jinke Zheng Jing Zhang Xiaohu Ge Derrick Wing Kwan Ng Huazhong Uni. of Science and Technology Uni. of New South Wales

ISBN: (数字)9798350368369

ISBN: (纸本)9798350368376

This paper studies resource allocation for a reconfigurable intelligent surface (RIS)-assisted mixed near- and far-field communication utilizing a directional antenna. The resource allocation algorithm is designed as a non-convex optimization problem to maximize the data rate in the communication system. To circumvent the problem intractability, the non-convex problem is transformed into a standard semidefinite relaxation (SDR) programming problem by exploiting radiation field electromagnetic theory. This allows us to characterize the solution structure of the joint height and axis of the directional antenna and the RIS phase shift matrix that facilitates the design of an efficient iterative algorithm for obtaining the solution. We reveal that the maximal data rate of RIS-assisted mixed near- and far-field communication is achieved if the axis of the directional antenna aligns the plane that includes both the center of the RIS and the UE's location. Simulation results demonstrate a significant data rate improvement with the proposed resource allocation compared to the two baseline schemes.

关键词： Simulation Directional antennas Reconfigurable intelligent surfaces Directive antennas programming Search problems Iterative algorithms Resource management Standards Optimization

来源：评论

学校读者我要写书评

暂无评论

Single-channel Speech Separation by l0 Optimization Using Quasi-KLT Bases

引用

Chinese Journal of Electronics 2023年第3期21卷 535-540页

作者： GUO Haiyan YANG Zhen ZHU Weiping YE Lei College of Engineering Nanjing Agricultural University Nanjing China Key Laboratory of Broadband Wireless Communication and Sensor Network Technology (Ministry of Education) Nanjing University of Posts and Telecommunications Nanjing China

This paper deals with single-channel speech separation. First, it is proved that when the sparse bases of the signal sources satisfy certain conditions, all the sources can be perfectly separated from a single mixture by l o optimization. Then, a special case where the single mixture is generated by two independent speech sources is studied in more detail. It is revealed that the ideal quasi-KLT bases constructed from the original sources satisfy the sufficient conditions for perfect separation of mixed signals. Considering the fact that the ideal quasi-KLT bases cannot be obtained in practice, template-matching based quasi-KLT bases generated from the single mixture are also proposed to perform single-channel speech separation. Finally, simulation results demonstrating the effective performance of single-channel separation of two speech sources by l o optimization using the template-matching based quasi-KLT bases are presented.

关键词： Sufficient conditions Simulation Transforms programming Optimization

来源：评论

学校读者我要写书评

暂无评论

Single-source Publishing using Starfish UPTEP Method: Applications in Multilingual Web Site Development and Courseware Content Management

Single-source Publishing using Starfish UPTEP Method: Applic...

引用

International Symposium on INFOTEH-JAHORINA (INFOTEH)

作者： Vlado Kešelj Faculty of Computer Science Dalhousie University Canada

ISBN: (数字)9798331515799

ISBN: (纸本)9798331515805

Single-source publishing has been known for decades as a method of creating and maintaining published content from a single source document, while generating different content forms. It has usually been associated with the maintenance of a system documentation and it has been implemented in specialized systems around certain particular document forms. We present a case that such an approach would be useful in an open-ended general area of text-based document management applications, such as creation and maintenance of multi-lingual web sites and courseware material maintenance in LaTeX. Such application areas are very dynamic and open in types of target text, which is used for further processing and document rendering, so a closed system for single-source publishing would not be appropriate. We demonstrate an approach using universal text preprocessing and text-embedded programming (UPTEP) that can be effectively used for this task. This solution approach is validated through the use of open-source Starfish system, which is a general UPTEP system. We show how the UPTEP approach to single-source publishing can be readily implemented using Starfish on the two case studies.

关键词： Courseware Translation Publishing programming Rendering (computer graphics) Multilingual Maintenance Web sites Standards Text processing

来源：评论

学校读者我要写书评

暂无评论

Research on the Collaborative Mechanism of P4Runtime and SAI in White Box Switches Based on the SONiC System

Research on the Collaborative Mechanism of P4Runtime and SAI...

引用

Power Electronics, Computer Applications (ICPECA), IEEE International Conference on

作者： Zhuyu Pan Hongchao Wang Chen Yan Zishi Zhang School of Electronic and Information Engineering Beijing Jiaotong University Beijing China

ISBN: (数字)9798331533694

ISBN: (纸本)9798331533700

With the advancement of Software-Defined Networking (SDN) technology, network programmability and flexibility have been significantly enhanced. However, effectively integrating traditional network systems with emerging programmable platforms remains a critical research challenge. This paper proposes a fusion architecture based on the P4Runtime protocol to achieve deep integration of SONiC white box switches and the P4 platform. By introducing SDN programmability, we design and implement a hybrid model that enables traditional network architectures to achieve advanced functionalities with the assistance of external SDN controllers. This paper provides a detailed discussion of the architecture design and implementation process, including P4 code development, compilation, target configuration file generation, and interaction mechanisms between the control plane and the data plane. Furthermore, we validate the applicability and performance of the architecture in various scenarios, offering robust support for future research and applications in programmable networks.

关键词： Protocols Process control Computer architecture Switches Network architecture programming Control systems Power electronics Software defined networking Glass box

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：