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

Asia-Pacific international symposium on Aerospace Technology (APISAT)

作者： Chen, Shumin Liu, Chenguang Zabolotnov, Yu. M. Li, Aijun Northwestern Polytech Univ Sch Automat Xian 710072 Shaanxi Peoples R China Samara Natl Res Univ Fac Informat Samara 443086 Russia

ISBN: (纸本)9789811926358;9789811926341

Tethered satellite formation systems have attracted significant attention in recent years, primarily because they offer potential advantages for certain space missions, such as space interferometry measurement. This work considers the stable deployment of a spinning multi-mass tethered system arranged in a hub-spoke configuration in the orbital plane. The system contains a parent satellite (hub) modeled as a rigid body, and several sub-satellites connected to the hub via inelastic tethers (spokes). The deployment dynamics are derived using Lagrange's equations. The spinning motion of the parent satellite is controlled by active torque, while tether deployment is conducted by release mechanisms on the parent satellite and low-thrust engines installed on each sub-satellite. Considering the physical restraints of tether tension during the deployment process, an optimal controller is proposed using Bellman dynamic programming, based on a simplified dynamic model. Then, the obtained controller is employed in the complete model, where the coupling effect between the spinning of parent body and tether deployment are taken into account. Finally, numerical simulations are presented to illustrate the effectiveness of the proposed control strategy.

关键词： Multi-tethered satellite formation Tether deployment Spinning motion Bellman dynamic programming Optimal control

来源：评论

学校读者我要写书评

暂无评论

Minimax Design of M-D Sparse FIR Filters With Arbitrary Frequency Response Using SOCP

引用

IEEE TRANSACTIONS ON CIRCUITS AND systems II-EXPRESS BRIEFS 2022年第5期69卷 2403-2407页

作者： Jayaweera, Ashira L. Pakiyarajah, Darukeesan Edussooriya, Chamira U. S. Univ Moratuwa Dept Elect & Telecommun Engn Moratuwa 10400 Sri Lanka Univ Maryland Dept Elect & Comp Engn College Pk MD 20742 USA Univ Jaffna Dept Elect & Elect Engn Killinochchi 44000 Sri Lanka Florida Int Univ Dept Elect & Comp Engn Miami FL 33174 USA

The number of coefficients of multi-dimensional (M-D) finite-extent impulse response (FIR) filters increases exponentially with the number of dimensions leading to significantly high computational complexities. In this brief, we propose a minimax design method for M-D FIR filters having sparse coefficients, therefore, having low computational complexities. We consider the design of M-D FIR filters with arbitrary frequency responses and low group delays of which the coefficients are complex valued. We formulate the minimax design as a second-order cone programming problem. Design examples confirm that M-D sparse FIR filters designed using the proposed method provide more than 60% reduction in the computational complexity for a similar error in the frequency response approximation compared to M-D FIR nonsparse filters designed using previously proposed minimax methods.

关键词： Finite impulse response filters Design methodology Frequency response Minimization Delays Computational complexity programming Multi-dimensional filters sparse FIR filters low group delay minimax design second-order cone programming

来源：评论

学校读者我要写书评

暂无评论

Robust Scheduling With Temporal Decomposition of Integrated Electrical-Heating System Based on Dynamic programming Formulation

Robust Scheduling With Temporal Decomposition of Integrated ...

引用

13th international symposium on Linear Drives for Industry Applications (LDIA)

作者： Xiong, Houbo Chen, Zhe Zhang, Xiaoyan Wang, Chutong Shi, Yunhui Guo, Chuangxin Zhejiang Univ Coll Elect Engn Hangzhou 310027 Peoples R China State Grid Zhejiang Elect Power Co Elect Power Res Inst Hangzhou 310027 Peoples R China Zhejiang Elect Power Dispatching Ctr Hangzhou 310027 Peoples R China

To realize the potential of the integrated electrical-heating systems (IEHS) for coping with the uncertain renewable energy, a reserve scheduling model based on the dynamic programming transformed multi-stage adaptive robust optimization (DMRO) is proposed in this article. The DMRO model enforces the non-anticipativity of scheduling process via temporal decomposed framework, and enhances the formulation flexibility for time-coupled equipment, such as energy storage systems (ESS). The whole scheduling model is split into two problems under the decomposition constructure, which consists of a reserve interval generation (RG) problem for making the unit commitment and systems' reserve plan, and a multi-stage economic operation (EO) problem aiming with simulating the worst-case scheduling process. To obtain the global optimal, a nested Benders decomposition algorithm is employed to solve the DMRO model. Case studies on the 6-Bus-5-node IEHS and the 118-Bus-24-node IEHS demonstrate the effectiveness of the proposed model and the solution methodology.

关键词： Energy storage systems integrated electrical-heating system multi-stage adaptive robust optimization renewable energy reserve scheduling temporal decomposition

来源：评论

学校读者我要写书评

暂无评论

Ph.D. Project: Investigating oneAPI Performance & Scalability using Feedforward FFT Architectures 32

Ph.D. Project: Investigating oneAPI Performance & Scalabilit...

引用

32nd IEEE Annual international symposium on Field-Programmable Custom Computing Machines, FCCM 2024

作者： Bickerstaff, James George, Alan D. PittsburghPA United States

ISBN: (纸本)9798350372434

Improving development time while maintaining high-performance and resource-efficient designs is an important area of advancement for FPGAs. While hardware description languages provide fine-grain control over architectures created, they are often tedious to use and debug. High-level synthesis (HLS) tools, however, allow designers to create systems using languages such as C and C++, greatly improving productivity. The oneAPI toolkit for FPGAs provides a high-level interface to describe FPGA architectures, enabling rapid design iteration through such productivity gains. This research conducts a design space exploration of feedforward FFT architectures using FPGAs. FFT architectures of varying frequency resolution are created, observing performance as designs are scaled up in size. Additionally, resource utilization is compared between designs to gain an understanding of the impact of design choices, as well as the efficacy of the oneAPI compiler. Through this combined analysis of performance and resource metrics, we conclude that the oneAPI toolkit is capable of producing high-throughput designs. However, preliminary results fail to provide improvements at larger scales when compared to highly parallelized libraries. © 2024 IEEE.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Forkfuzz: Leveraging the Fork-Awareness in Coverage-Guided Fuzzing

Forkfuzz: Leveraging the Fork-Awareness in Coverage-Guided F...

引用

28th European symposium on Research in Computer Security (ESORICS)

作者： Maugeri, Marcello Daniele, Cristian Bella, Giampaolo Univ Catania Catania Italy Radboud Univ Nijmegen Nijmegen Netherlands

ISBN: (纸本)9783031541285;9783031541292

Fuzzing is a widely adopted technique for automated vulnerability testing due to its effectiveness and applicability throughout the Software Development Life Cycle. Nevertheless, applying fuzzing "out of the box" to any system can prove to be a challenging endeavour. Consequently, the demand for target-specific solutions necessitates a substantial amount of manual intervention, which diverges from the automated nature typically associated with fuzzing. For example, prior research identified the lack of a solution for testing multi-process systems effectively. The problem is that coverage-guided fuzzers do not consider the possibility of having a system with more than one process. In this paper, we present Forkfuzz, a "fork-aware" fuzzer able to deal with multi-process systems. To the best of our knowledge, Forkfuzz is the first fork-aware fuzzer. It is built on top of Honggfuzz, one of the most popular and effective coverage-guided fuzzers, as reported by the Fuzzbench benchmark. To show its effectiveness, we tested our fuzzer over two classical programming problems: the Dining Philosophers Problem and a version of the Producer-Consumer Problem where the consumer (the child) process crashes for specific inputs. Furthermore, we evaluated Forkfuzz against a real and more complex scenario involving an HTTP server that handles multiple connections through multiple processes. The results of our evaluation demonstrate the effectiveness of Forkfuzz in identifying crashes and timeouts. Finally, we discuss possible improvements and challenges for the development and application of fork-aware fuzzing techniques.

关键词： fuzzing automated vulnerability testing multi-process system security testing concurrent programming

来源：评论

学校读者我要写书评

暂无评论

PIR array codes: the optimality of Blackburn-Etzion construction

PIR array codes: the optimality of Blackburn-Etzion construc...

引用

2023 IEEE international symposium on Information Theory, ISIT 2023

作者： Wang, Chen Zhang, Yiwei Shandong University Key Laboratory of Cryptologic Technology and Information Security of Ministry of Education School of Cyber Science and Technology Qingdao266237 China

ISBN: (纸本)9781665475549

The PIR (Private information retrieval) array code is as an array version of the PIR codes proposed by Fazeli et al., and both codes aim at designing distributed storage systems with m servers which can implement classical k-PIR protocols while reducing the storage overhead. The central problem in PIR array codes is to maximize k/m, known as the virtual server rate. Blackburn and Etzion provided an asymptotically optimal construction and it has been conjectured to be exactly optimal. We provide a new upper bound of the virtual server rate by linear programming, indicating the optimality of Blackburn-Etzion construction for a wide range of parameters. Besides, we give a general construction of PIR array codes with much fewer servers, with a slight sacrifice on the virtual server rate. © 2023 IEEE.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

A Model-Based Approach to Automotive Feature Development for Updates and Upgrades 17

A Model-Based Approach to Automotive Feature Development for...

引用

17th IEEE international Congress on Intelligent and Service-Oriented systems Engineering (CISOSE)

作者： Schindewolf, Marc Wittler, Jan Willem Kuehn, Thomas Grimm, Daniel Sax, Eric Karlsruhe Inst Technol Inst Tech Informat Verarbeitung Karlsruhe Germany Karlsruhe Inst Technol Dependabil Software Intens Syst Karlsruhe Germany Martin Luther Univ Halle Wittenberg Software Engn & Programming Languages Halle Germany

ISBN: (纸本)9798350322392

The automotive industry faces challenges due to the increasing demand for customization and individualization by consumers. With a wide range of equipment levels and feature options, it has become impossible to test all possible configurations for a single vehicle during development and especially for vehicles already in service. As a basis for solving these challenges, integrated approaches for the development of upgradeable vehicles are required. In this context, future upgrade options should be considered and planned already in the design stage to enable sustainable business models for next vehicle generations. This paper proposes a refined variability model that combines two existing approaches to address the challenges faced by the industry. The same model can perform buildability or upgradeability checks and dynamic allocation optimization. The model is evaluated qualitatively by three exemplary use cases.

关键词： Automotive E/E architecture SOA software engineering reconfiguration model-driven software engineering software evolution software product lines

来源：评论

学校读者我要写书评

暂无评论

A Lost Sales Make-to-Stock System with Batch Demand and Batch Production

A Lost Sales Make-to-Stock System with Batch Demand and Batc...

引用

international symposium for Production Research, ISPR 2023

作者： Özkan, Sinem Yandımata, Mert Bulut, Önder Industrial Engineering Department Izmir Democracy University Izmir Turkey Management Engineering Department Università degli Studi di Padova Padova Italy Industrial Engineering Department Yaşar University Izmir Turkey

ISBN: (纸本)9783031539909

This study considers a production setting of a single item, single production resource make-to-stock production system with batch demand, batch production and lost sales. Demand arrives as a Poisson process with a randomly distributed batch size. It is assumed that the batch demand can be partially satisfied and unsatisfied demands are lost. Production time follows an exponential distribution, and each production order contains a single lot that does not exceed the maximum lot size. The decision to be considered in managing such a system is the production control decision, which determines when to start production and how much to produce in a batch. This study contributes to the technical literature on controlling make-to-stock systems by addressing a single production resource simultaneously with batch demand and batch production. The system is formulated with the dynamic programming and the model is solved using the value iteration algorithm. In the light of the results obtained by using this algorithm, it has been shown by numerical studies that the optimal production policy is a dynamic policy. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Improving embedded programming skills through physical computing activities in engineering education: A course experience 8

Improving embedded programming skills through physical compu...

引用

8th international symposium on Accreditation of Engineering and Computing Education (ICACIT)

作者： Alvarez Ariza, Jonathan Corp Univ Minuto Dios UNIMINUTO Program Technol Elect Fac Engn Bogota Colombia

ISBN: (纸本)9781665492782

Embedded programming is one of the most requested abilities by companies in industry sectors such as automation, the Internet of Things (IoT), robotics, and power electronics, among others. While these abilities are required to be developed in the curricula of the engineering programs, the dropout rate of the courses of programming in which these abilities are developed continues to increase. Several factors such as socioeconomic, the lack of support by the academic staff, or the teaching methodology are claimed of the most common dropout factors. In this context, this article proposes a methodology to learn to program embedded devices employing Arduino and Raspberry Pi in a course known as open hardware. Some identified factors in the students who took the course such as the lack of motivation and confidence in programming abilities were the catalysts to create and deploy the educational methodology. In addition, physical computing was incorporated as a conceptual pillar in the methodology. N=20 engineering students of a technological program in electronics participated in the methodology for 16 weeks. The methodology had a special emphasis on problem-solving, construction of algorithms, their interaction with sensors, motors, displays, etc., and teamwork. The results of the methodology show that it served to improve the abilities in programming, the understanding of the algorithms in embedded systems, the motivation, and it promoted habits such as the comments in the codes and the creation of flow diagrams that helped the students to comprehend the algorithms and their interaction with the hardware devices.

关键词： Embedded programming physical computing algorithmic thinking Arduino Raspberry Pi engineering education

来源：评论

学校读者我要写书评

暂无评论

Joint Design of Recommendation and Caching in D2D-assisted Edge Caching Networks 35

Joint Design of Recommendation and Caching in D2D-assisted E...

引用

35th IEEE international symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2024

作者： Zhang, Xuewei Zhang, Huang Ren, Yuan Jiang, Fan Wang, Junxuan Xi'an University of Posts and Telecommunications School of Communications and Information Engineering Xi'an710121 China

ISBN: (纸本)9798350362244

Wireless edge caching can alleviate the transmission pressure and improve the quality of experience (QoE) provided to users, which has been proposed as a promising technique in the sixth generation (6G) communication systems. This paper considers a clustered device-to-device (D2D) caching network, where users having similar request preference are classified into the same cluster. Due to the fact that recommendation policy will have a significant effect on user requests, the joint design of content recommendation and caching is investigated, aiming to enhancing the system caching efficiency (CE). Under the constraints of the recommendation quality, recommendation quantity and cache size, we formulate the CE maximization problem. The original problem is an NP-hard integer programming problem, making it difficult to solve. Therefore, it is partitioned into two sub-problems. The binary variables in the first sub-problem, namely, the recommendation design sub-problem, is relaxed to be continuous, and then the relaxed problem is solved by applying the methods of successive convex approximation and arithmetic geometric mean inequality. The recommendation decisions are recovered following a greedy strategy based principle. The second sub-problem, i.e., the caching design sub-problem, is addressed by using the smooth function to replace the l0 norm. Simulation results demonstrate the fast convergence speed of the proposed algorithm, and show the obtained CE performance is superior to existing homogeneous recommendation method. © 2024 IEEE.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：