密碼學界牛人Victor Shoup用C++編寫數論類庫。
NTL is a high-performance, portable C++ library providing data structures and algorithms for arbitrary length integers for vectors, matrices, and polynomials over the integers and over finite fields and for arbitrary precision floating point arithmetic.
NTL provides high quality implementations of state-of-the-art algorithms for:
* arbitrary length integer arithmetic and arbitrary precision floating point arithmetic
* polynomial arithmetic over the integers and finite fields including basic arithmetic, polynomial factorization, irreducibility testing, computation of minimal polynomials, traces, norms, and more
* lattice basis reduction, including very robust and fast implementations of Schnorr-Euchner, block Korkin-Zolotarev reduction, and the new Schnorr-Horner pruning heuristic for block Korkin-Zolotarev
* basic linear algebra over the integers, finite fields, and arbitrary precision floating point numbers.
標簽：
high-performance
providing
portable
library
上傳時間：
2014-01-04
上傳用戶：exxxds
The basic topic of this book is solving problems from system and control theory using
convex optimization. We show that a wide variety of problems arising in system
and control theory can be reduced to a handful of standard convex and quasiconvex
optimization problems that involve matrix inequalities. For a few special cases there
are “analytic solutions” to these problems, but our main point is that they can be
solved numerically in all cases. These standard problems can be solved in polynomial-
time (by, e.g., the ellipsoid algorithm of Shor, Nemirovskii, and Yudin), and so are
tractable, at least in a theoretical sense. Recently developed interior-point methods
for these standard problems have been found to be extremely efficient in practice.
Therefore, we consider the original problems from system and control theory as solved.
標簽：
Linear_Matrix_Inequalities_in_Sys
tem
上傳時間：
2020-06-10
上傳用戶：shancjb
在半導體制冷技術的工作性能及其優缺點研究的基礎上,設計了以單片機為核心控制元件,以TEC1-12706為執行元件的半導體制冷溫度控制系統。采用高精度分段式PID控制算法配合PWM輸出控制的方法實現溫度控制;選擇數字傳感器DS18B20為溫度檢測元件,還包含1602液晶顯示模塊、按鍵調整輸入模塊和H橋驅動模塊等。實際測試表明,該系統結構簡單易行,操作方便,工作性能優良,同時針對該系統專門設計的溫控算法,使半導體制冷器能更好地適應不同工況而充分發揮其制冷制熱工作特性。Based on the study of the performance and advantages and disadvantages of thermoelectric cooler(TEC)technology,a thermoelectric cooling temperature control system with single-chip microcomputer as the core control element and TEC1-12706 as the executive element was designed. High precision piecewise PID control algorithm combined with PWM output control method is adopted to realize temperature control. The digital sensor DS18B20 is selected as the temperature detection element. It also includes 1602 LCD module,key adjustment input module and H bridge drive module. The actual test shows that the system has simple structure,convenient operation and excellent performance. Meanwhile,the temperature control algorithm specially designed for the system can make the semiconductor cooler better adapt to different working conditions and give full play to its refrigeration and heating characteristics.
標簽：
半導體
溫度控制系統
上傳時間：
2022-03-27
上傳用戶：
