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

5th ieee Global conference for Advancement in Technology, GCAT 2024

作者： Chun, Lou Wuhan Technology And Business University 430060 China

ISBN: (纸本)9798350376685

In view of the current problem of low prediction accuracy of computer aided design prediction method, this paper uses vector drawing design to study the prediction of computer aided design. First of all, according to the influence characteristics of the economic benefits of computer aided design, the evaluation index is selected from the general situation of computer aided design engineering, investment, cost and benefit, the evaluation index system of computer aided design is established, and the entropy right of the evaluation index of computer aided design is defined through the judgment matrix. Then the vector drawing design is used to analyze the reliability of computer-aided design, design the prediction model architecture of computer-aided design, effectively improve the stability of computer-aided design information transmission, and complete the prediction of computer-aided design. The simulation experiment results show that the proposed algorithm has certain economic value and can effectively reduce the production cost and improve the accuracy of computer-aided design prediction. © 2024 ieee.

关键词： Prediction models

来源：评论

学校读者我要写书评

暂无评论

system-on-Chip Information Flow Validation Under Asynchronous Resets

引用

ieee TRANSACTIONS ON computer-aided design OF INTEGRATED CIRCUITS AND systemS 2024年第9期43卷 2825-2838页

作者： Miftah, Samit S. Raj, Kshitij Meng, Xingyu Ray, Sandip Basu, Kanad Univ Texas Dallas ECE Dept Richardson TX 75080 USA Univ Florida ECE Dept Gainesville FL 32611 USA

Modern system-on-chip (SoC) designs comprise hundreds of individual IP blocks, each with its custom implementation of reset signals in most cases. The asynchronous nature of these resets while crossing different reset domains makes the SoC prone to various vulnerabilities if not implemented and validated thoroughly. A key aspect in validating system functionality is to ensure the functionality under reset is verified. Traditional simulation-based validation techniques often become a bottleneck in complex SoC designs due to the large control path of these designs. We propose SoC security checker under asynchronous resets (SoCCAR), a SoC validation framework that addresses this problem. SoCCAR leverages control flow graphs (CFGs) of the design to extract the control flow associated with property violations caused by reset domain crossings due to asynchronous resets. SoCCAR efficiently tracks the chain of events leading to the payload without suffering from state space explosion, a common challenge in complex designs. We test the efficacy of SoCCAR in detecting such vulnerabilities by developing multiple SoC benchmarks, each embedded with custom vulnerability originating from reset implementations across different domains. These vulnerabilities reflect practical design complexity and correspond to security violations encountered in practice as a result of multiple asynchronous resets. SoCCAR successfully detected all violations with minimal computation overhead and runtime, making it a viable approach for detecting such violations in complex SoC designs.

关键词： Security Complexity theory Scalability Registers Random access memory Clocks Aerospace electronics Asynchronous reset hardware security multiple reset domain RTL verification

来源：评论

学校读者我要写书评

暂无评论

Revisiting Dynamic Scheduling of control Tasks: A Performance-Aware Fine-Grained Approach

引用

ieee TRANSACTIONS ON computer-aided design OF INTEGRATED CIRCUITS AND systemS 2024年第11期43卷 3662-3673页

作者： Adhikary, Sunandan Koley, Ipsita Ghosh, Saurav Kumar Ghosh, Sumana Dey, Soumyajit Indian Inst Technol Kharagpur Dept Comp Sci & Engn Kharagpur 721302 India Indian Stat Inst Comp & Commun Sci Unit Kolkata India

Modern cyber-physical systems (CPSs) employ an increasingly large number of software control loops to enhance their autonomous capabilities. Such large task sets and their dependencies may lead to deadline misses caused by platform-level timing uncertainties, resource contention, etc. To ensure the schedulability of the task set in the embedded platform in the presence of these uncertainties, there exist co-design techniques that assign task periodicities such that control costs are minimized. Another line of work exists that addresses the same platform schedulability issue by skipping a bounded number of control executions within a fixed number of control instances. Considering that control tasks are designed to perform robustly against delayed actuation (due to deadline misses, network packet drops etc.) a bounded number of control skips can be applied while ensuring certain performance margin. Our work combines these two control scheduling co-design disciplines and develops a strategy to adaptively employ control skips or update periodicities of the control tasks depending on their current performance requirements. For this we leverage a novel theory of automata-based control skip sequence generation while ensuring periodicity, safety and stability constraints. We demonstrate the effectiveness of this dynamic resource sharing approach in an automotive Hardware-in-loop setup with realistic control task set implementations.

关键词： Schedules Uncertainty Switches Dynamic scheduling control systems Software Timing Safety Resource management Vehicle dynamics Adaptive scheduling control system synthesis cyber-physical systems (CPSs)

来源：评论

学校读者我要写书评

暂无评论

Optimal Parametric design of Discrete-Time Robust Force control system Based on Disturbance and Reaction Force Observers

引用

ieee/ASME Transactions on Mechatronics 2024年第4期29卷 2964-2972页

作者： Tsai, Han-Hao Chang, Jen-Yuan The Department of Power Mechanical Engineering National Tsing Hua University Hsinchu30013 Taiwan The Department of Power Mechanical Engineering National Tsing Hua University Hsinchu30013 Taiwan The Department of Mechanical and Computer-Aided Engineering National Formosa University Huwei63201 Taiwan

This article introduces an advanced methodology for optimal parametric design based on discrete-time analysis findings of a robust force control structure, integrating both a disturbance observer and a reaction force observer. While conventional continuous-time analyses are commonly employed to enhance system performance, offering guidance for stability and robustness improvement, they often fall short in explaining practical implementation instabilities. A significant knowledge gap persists in the systematic design approach for tuning the control system to meet specific desired behaviors. To bridge this gap, this article thoroughly investigates the system’s frequency response. design constraints derived from this analysis process formulate the nominal parameter design as a minimization problem, subsequently solved using a genetic algorithm to determine optimal parameter values. Simulations illustrate the control system behavior, emphasizing the design constraints and optimal parameter design process. The proposed method is applied to a force-controlled spindle via calibrated experiments, providing robust validation. The results unequivocally confirm the effectiveness of the proposed design approach, achieving stability, and robustness concurrently. © 1996-2012 ieee.

关键词： Stability criteria

来源：评论

学校读者我要写书评

暂无评论

Project-Based Learning for AI-enabling Mechatronic design Course 9

Project-Based Learning for AI-enabling Mechatronic Design Co...

引用

9th ieee International conference on Advanced Robotics and Mechatronics (ICARM)

作者： Bi, Z. M. Mueller, D. Yang, Yi Wendel, I. C. Vu, M. Tan, C. Y. W. Stewart, M. C. McCrory, A. G. Mcbride, E. T. Bayende, E. E. Buzzard, C. R. Bachav, A. Purdue Univ Ft Wayne Civil & Mech Engn Ft Wayne IN 46805 USA Gui Zhou Univ Key Lab Adv Mfg Technol Minist Educ Guiyang 550025 Peoples R China

ISBN: (纸本)9798350385731;9798350385724

This paper explores the feasibility of incorporating computer aided tools in mechatronic design courses by Project-Based Learning. The challenges of engineering education are discussed, some principles to develop new engineering electives are introduced, and these principles are used to design ME-546 Advanced computer aided design and computer aided Manufacturing (CAD/CAM) Theory and Applications at Purdue University Fort Wayne. To cope with the need to incorporate advanced computer technologies in Engineering Education, we promote project-based learning to support needs-driven mechatronic design. This motivates students to explore advanced computer-assistive tools with minimal guidance to solve real-world engineering problems. Moreover, the project " Emergency Evacuation system for Disabilities in Wheelchair" sponsored by Engineering Projects in Community Service (EPICS) of ieee is used thoroughly to define all course projects in class. The proposed work is still ongoing, but the current progress has shown optimism in motivating students for self-learning and exploring themselves to AI tools including various advanced computer aided tools to the great extent in a shortened time.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Approach for Automated designing Robust systems for Stabilizing Data Measuring Sensors 17

Approach for Automated Designing Robust Systems for Stabiliz...

引用

ieee 17th International conference on the Experience of designing and Application of CAD systems (CADSM)

作者： Sushchenko, O. Bezkorovainyi, Y. Salyuk, O. Kovalenko, A. Natl Aviat Univ Aerosp Control Syst Dept Kiev Ukraine

ISBN: (纸本)9798350310856

The paper deals with an approach to creation robust systems for stabilizing data measuring sensors operating on vehicles in operating conditions. The structure of computer-aided system for designing above-mentioned systems is represented. The peculiarities of design procedures are described. The peculiarities of data ware are given. The simulation results of the synthesized system are represented. The represented results can be applicable for stabilization systems of different types. © 2023 ieee.

关键词： computer-aided design robust stabilization system automated design procedure simulation mathematical model

来源：评论

学校读者我要写书评

暂无评论

From cadCAD to casCAD2: A Mechanism Validation and Verification system for Decentralized Autonomous Organizations Based on Parallel Intelligence

引用

ieee TRANSACTIONS ON COMPUTATIONAL SOCIAL systemS 2024年第2期11卷 2853-2862页

作者： Liang, Xiaolong Ding, Wenwen Qin, Rui Hou, Jiachen Yuan, Yong Wang, Xiao Wang, Fei-Yue Macau Univ Sci & Technol Fac Innovat Engn Macau Peoples R China Chinese Acad Sci Inst Automat State Key Lab Management & Control Complex Syst Beijing 100190 Peoples R China Chinese Acad Sci Inst Automat State Key Lab Multimodal Artificial Intelligence S Beijing 100190 Peoples R China Renmin Univ China Sch Math Beijing 100872 Peoples R China Renmin Univ China Engn Res Ctr Finance Computat & Digital Engn Minist Educ Beijing 100872 Peoples R China Qingdao Acad Intelligent Ind Qingdao 266109 Peoples R China

The governance technology of decentralized autonomous organizations (DAOs) provides an effective solution for solving existing organizational management issues. Governance mechanisms of DAOs are usually encoded in smart contracts in the form of rule sets and executed automatically. However, the mechanism's logical flaws and code errors expose DAOs to unpredictable risks. Complex adaptive dynamics computer-aided design (CadCAD) can test the effectiveness of the mechanisms through simulation. Nonetheless, as DAOs are typical complex systems with social and engineering complexity, managing, controlling, and supervising their operation through traditional methods are difficult. The parallel intelligence theory based on artificial societies, computational experiments, and parallel execution (ACP) method provides an effective research framework and practical method for solving DAOs' governance issues. Therefore, in this article, we propose a parallel mechanism verification method and execution system, namely, complex adaptive systems for computer-aided dynamic design (casCAD2) as an extension of cadCAD. Leveraging parallel intelligence and cyber-physical-social systems (CPSS), casCAD2 is capable of probing into the laws that govern system evolution within a simulated environment. It serves as a robust tool for verifying the efficacy of DAOs' mechanisms and predicting their potential risks. We also build a parallel market-based anchoring mechanism (MAM) system to demonstrate how it can be used for DAOs' mechanism verification. This study can provide a new research method and application system for DAOs' effective governance.

关键词： Blockchain complex adaptive systems for computer-aided dynamic design (casCAD2) decentralized autonomous organizations (DAOs) parallel governance parallel intelligence smart contracts

来源：评论

学校读者我要写书评

暂无评论

Fault Analysis in Transmission system in Consideration with Different Types of DG's 3

Fault Analysis in Transmission System in Consideration with ...

引用

3rd ieee International conference on Electrical Power and Energy systems, ICEPES 2024

作者： Rao, T Koteswara Kumar, B Vinodh Rana, Ankur Singh Aneesa Farhan, M.A. Reddy, Jagu Sudarshan Raghava, Y Veera National Institute of Technology Department of EEE Tamil Nadu Tiruchirappalli India

ISBN: (纸本)9798350390728

The integration of renewable energy sources necessitates assessment of dynamic system performance due to their inherent variability, requiring analyses of grid stability, control strategies, and economic implications. This study explores the influence of Distributed Generation (DG) on power systems under contingency scenarios, focusing on fault analysis in the presence of both synchronous and induction machine-based DGs, operating in conjunction with the utility grid to supply load. The fault analysis study is conducted with PSCAD/EMTDC (Power system computer aided design / Electromagnetic Transients Including DC) software. Different scenarios are investigated to analyze DGs influence the power system under fault conditions. The paper provides insights into the modeling of synchronous and induction machines based DGs. © 2024 ieee.

关键词： Power systems computer aided design

来源：评论

学校读者我要写书评

暂无评论

Application of Deep Reinforcement Learning Driven Intelligent Decision system in computer-aided Industrial design

Application of Deep Reinforcement Learning Driven Intelligen...

引用

2023 ieee International conference on Paradigm Shift in Information Technologies with Innovative Applications in Global Scenario, ICPSITIAGS 2023

作者： Wen, Ting College of Transit Chongqing Vocational College of Transportation Chongqing402247 China

ISBN: (纸本)9798350329773

Most of the existing computer-aided industrial design focuses on the functional development of industrial design, with less attention paid to the coordination of various design stages, which leads to designers being unable to fully utilize the advantages of computers, resulting in the cooperation and collaboration of various design teams still remaining in a traditional and single mode. The focus of this article was to propose a computer-aided design theoretical model for product shape design process control, study the process of product shape design, and divide it. To reduce the product design cycle and improve the quality of product design, this article provided control over the product design process, including market demand analysis in industrial design, product shape innovation, and product shape design. Based on the design concept, various parts of the product were CAD (computer-aided design) drawn and deformed to complete the design. The final optimization plan was generated using an intelligent decision system driven by Deep Reinforcement Learning (DRL). Market demand analysis in computer-aided industrial design took 15 days, and market demand analysis in computer-aided industrial design using deep reinforcement learning driven intelligent decision support systems took 10 days. This solution can shorten the product design cycle and optimize product design. © 2023 ieee.

关键词： Product design

来源：评论

学校读者我要写书评

暂无评论

computer-aided Audit Software Based on Fuzzy Clustering Algorithm 2

Computer-Aided Audit Software Based on Fuzzy Clustering Algo...

引用

2nd ieee International conference on Image Processing and computer Applications, ICIPCA 2024

作者： Fen, Yuan Wuhan Qingchuan University Hubei Province Wuhan City430000 China

ISBN: (纸本)9798350360240

According to the needs of auditing work, efforts are made to develop suitable computer-aided auditing software to gradually change or enhance traditional auditing techniques and methods, which can better play the role of audit supervision. The purpose of this paper is to study the design and optimisation of computer-aided audit software based on fuzzy clustering algorithms. By analysing the technical difficulties of computer-aided auditing, this paper proposes the design concept of the project software. The improved fuzzy C-mean clustering algorithm DFCM and the fast audit steps of the project based on improved fuzzy clustering are specifically introduced, and the data processing methods of the system are described in detail, and the specific application of the project software is also presented. The experimental results show that the computer-aided audit software in this paper can be applied to calculate the audit price of the project to be audited and the software is feasible. © 2024 ieee.

关键词： Audit Software computer-aided Fuzzy Clustering Algorithm Software design

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：