Modeling and simulation of electric

Modeling and simulation of electrical circuits have attracted much interest in the last
decades [13,20,40,43,44,75,108,121,136,172,201,203]. Circuit theorists are inter-
ested in analysis, verification and automated design of large-scale electronic networks.
Modeling techniques in this area are frequently based on piecewise linear represen-
tations. For an overview of different canonical representations, the reader is referred
to [111]. Piecewise linear representations are convenient, since they allow mixed-
level simulations due to the same data structure for all kinds of circuits. Moreover,
it allows the preservation of the hierarchy in the network model, which facilitates the
replacement of a subcircuit by another subcircuit [119].
Researchwithincircuittheoryhasconcentratedonfindingmemoryefficientcanon-
ical representations of networks, static (DC) analysis and development of simulation
and synthesis tools for electronic circuits. Dynamical properties are studied by using
integration routines (time-stepping methods) to approximate the dynamical system by
Page 21 of 240
12 Introduction
a series of static one-step problems, see e.g. [20,120,172]. In this way, the simulators
could be used for both (DC) and transient analysis. Other numerical methods are more
“event-driven”(seealsosubsection1.4.3)inthesensethattheytrytotracetheswitching
timesofdiodes,thyristorsandotherdiscontinuouselementsexactly[13,136]. Efficient
simulators (e.g. PLANET [110]) and tools for automated network design (e.g. TOP-
ICS [119]) have been realized. However, existence and uniqueness of solutions to
the discontinuous dynamical network models and justifications of the approximations
based on time-stepping methods are not considered. One of the goals of this thesis will
be to fill these gaps

Kết quả (Việt) 1:

Mô hình và mô phỏng các mạch điện đã thu hút nhiều quan tâm đến cuốithập kỷ [13,20,40,43,44,75,108,121,136,172,201,203]. Các nhà lý thuyết Mạch inter-ested trong phân tích, xác minh và tự động thiết kế của quy mô lớn điện tử mạng.Mô hình kỹ thuật trong lĩnh vực này thường xuyên được dựa trên piecewise tuyến tính represen -tations. Cho một tổng quan về các đại diện kinh điển khác nhau, người đọc được gọi[111]. Piecewise tuyến tính đại diện được thuận tiện, vì chúng cho phép hỗn hợp-mức độ mô phỏng do cấu trúc dữ liệu tương tự cho tất cả các loại mạch. Hơn nữa,nó cho phép việc bảo tồn của hệ thống phân cấp trong mô hình mạng, tạo điều kiện cho cácthay thế của một subcircuit bởi một subcircuit [119].Researchwithincircuittheoryhasconcentratedonfindingmemoryefficientcanon-Các đại diện iCal của mạng, tĩnh (DC) phân tích và phát triển của mô phỏngvà tổng hợp công cụ cho các mạch điện tử. Thuộc tính động lực nghiên cứu bằng cách sử dụngthói quen tích hợp (thời gian-bước phương pháp) để xác định hệ thống động lựcTrang 21 24012 giới thiệumột loạt các vấn đề One-Bước tĩnh, xem ví dụ như [20,120,172]. Bằng cách này, các mô phỏngcó thể được sử dụng cho cả hai (DC) và thoáng qua phân tích. Các phương pháp tính thêm"sự kiện-driven" (seealsosubsection1.4.3) inthesensethattheytrytotracetheswitchingtimesofdiodes, thyristorsandotherdiscontinuouselementsexactly [13,136]. Hiệu quảMô phỏng (ví dụ như hành tinh [110]) và các công cụ cho mạng tự động thiết kế (ví dụ: TOP-ICS [119]) đã được thực hiện. Tuy nhiên, sự tồn tại và tính độc đáo của các giải pháp đểCác mô hình không liên tục động lực mạng và justifications của các phép xấp xỉDựa trên thời gian-bước phương pháp không được coi là. Một trong những mục tiêu của luận án này sẽlà để điền vào những khoảng trống

Kết quả (Việt) 2:

Mô hình hóa và mô phỏng các mạch điện đã thu hút được nhiều sự quan tâm trong cuối
thập kỷ [13,20,40,43,44,75,108,121,136,172,201,203]. Lý thuyết mạch được liên
ested trong phân tích, xác minh và thiết kế các mạng điện tử quy mô lớn tự động.
Kỹ thuật mô hình hóa trong lĩnh vực này thường dựa trên từng phần theo tuyến tính represen-
tations. Đối với một cái nhìn tổng quan của cơ quan đại diện kinh điển khác nhau, người đọc được gọi
đến [111]. Đại diện từng phần theo tuyến tính được thuận tiện, vì chúng cho phép mixed-
mô phỏng mức độ do các cấu trúc dữ liệu tương tự cho tất cả các loại mạch. Hơn nữa,
nó cho phép bảo tồn các hệ thống phân cấp trong mô hình mạng, trong đó tạo điều kiện cho
sự thay thế của một subcircuit bởi một subcircuit [119].
Researchwithincircuittheoryhasconcentratedonfindingmemoryefficientcanon-
đại diện ical mạng, tĩnh (DC) phân tích và phát triển của các mô phỏng
và tổng hợp các công cụ cho các mạch điện tử . Đặc tính động học được nghiên cứu bằng cách sử dụng
các thói quen tích hợp (phương pháp thời gian bước) để xấp xỉ hệ thống động bởi
Page 21 of 240
12 Giới thiệu
một loạt các vấn đề một bước tĩnh, xem ví dụ [20.120.172]. Bằng cách này, các mô phỏng
có thể được sử dụng cho cả hai (DC) và phân tích thoáng qua. Phương pháp số khác Hiệu quả mô phỏng (ví dụ như PLANET [110]) và các công cụ cho thiết kế mạng lưới tự động (ví dụ như từ trên ICS [119]) đã được thực hiện. Tuy nhiên, sự tồn tại và tính độc đáo của các giải pháp để các mô hình mạng động lực liên tục và sự biện minh của xấp xỉ dựa trên phương pháp thời gian bước không được xem xét. Một trong những mục tiêu của luận án này sẽ được để lấp những khoảng trống