首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 484 毫秒
1.
The problem on the geometrc inequalities involving an n-dimensional simplex and its inscribed simplex is studied. Aninequality is established, which reveals that the difference between the squared circumradius of the n-dimensional simplex andthe squared distance between its circumcenter and barycenter times the squared circumradius of its inscribed simplex is not lessthan the 2(n-1)th power of n times its squared inradius, and is equal to when the simplex is regular and its inscribed siplex is atangent point one. Deduction from this inequality reaches a generalization of n-dimensional Euler inequality indicating that thecircumradius of the simplex is not less than the n-fold inradius. Another inequality is derived to present the relationship betweenthe circumradius of the n-dimensional simplex and the circumradius and inradius of its pedal simplex.  相似文献   

2.
Magnetic shielding is very important in the design of a high-power dc comparator. This paper addressed the application of magnetic circuit method to calculate the magnetic shielding effectiveness of high-power dc comparators when an external radial magnetic field is added. The mathematical relationship between the magnetic shielding effectiveness and the parameters of the magnetic shielding body were obtained. To verify the validity of the calculation method, we developped a procedure to measure the magnetic shielding effectiveness of the magnetic body by measuring the induction voltage of the detection winding instead of the magnetic intensity at a point in the magnetic shielding body, making the manipulation much easier. The result calculated with the magnetic circuit method turns out to be closer to the measured one compared with that calculated with a conventional algorithm proposed by Ren, suggesting that the magnetic circuit method is an applicable tool for estimating the toroidal cavity magnetic shielding effectiveness of a heavy current comparator when a radial magnetic field is added.  相似文献   

3.
Dualism is one of the views concerning the nature of mind. Arguments have been forwarded for and against dualism. Western philosophy lacks a clear distinction between soul and mind. Closely related to the concept of mind is the question of consciousness, a clear view of which has also eluded the westem thinkers. Jain philosophy describes "jiva" (soul) as the sentient substance, which is non-physical and not sense-perceptible; consciousness and "upayoga" (manifestation) are the differentia of "jiva". Consciousness manifests itself in many ways: intelligence, intuition, conation, bliss, perception (cognitive elements), emotions, will, attitude and behavior, awareness of pleasure and pain. Jain distinguishes between soul and mind. The mind does not possess consciousness, which is the exclusive property of soul. Mind like soul is not permanent entity, and it exists only when consciousness manifests as thoughts, beliefs, desires, emotions and feelings. All these activities are influenced by karma, which is interface between soul and mind. Our existence is seen to be at three levels: soul, mind and body. Soul is the source of intelligence; mind (subtle body) is the executive and regulatory body and material body is the place of physical actions. A model of interactions between these three units is presented. The soul perceives and knows the external world through mind, so the perceptions made by soul are influenced by mind. The relationship between brain and mind is discussed. The brain is seen as the center for information storage and processing, its activity is regulated by mind, which in turn is conditioned by the soul. The conscious experience is made by the soul, not the mind. The Jain model of soul, mind and body avoids all objections raised against dualism, as interaction between soul and karma body (unconscious part of mind) is assumed to be based on parallelism, and that between mind and body is through radiations not violating the law of conservation of energy.  相似文献   

4.
Satisfiability modulo theories (SMT) play a key role in verification applications. A crucial SMT problem is to com- bine separate theory solvers for the union of theories. In previous work, the simplex method is used to determine the solvability of constraint systems and the equalities implied by constraint systems are detected by a multitude of applications of the dual simplex method. We present an effective simplex tableau-based method to identify all implicit equalities such that the simplex method is harnessed to an irreducible minimum. Experimental results show that the method is feasible and effective.  相似文献   

5.
Acoustic Doppler current profiler (ADCP) uses acoustic energy directed along narrow beams for current measurement. In conventional method, the quantity of sampling affects the precision of fast Fourier transform (FFT) algorithm, and the algorithm needs a large amount of data to process. A novel frequency estimator.enhanced least mean square (ELMS) algorithm for a single complex sinusoid in complex white Gaussian noise, is proposed in ADCP system. As sampling frequency equals 120 krad/s and the sampling number equals 240. the minimum resolving is 0. 5 krad/s. All variances keep 11.11%. ELMS algorithm needs less data than FFT. And the robust algorithm can estimate the spectrum true value to 99.9% when the signal to noise ratio (SNR) is equal to 0 dB. Experiments prove that the estimation values will diverge much from the ideal when SNR is less than -6 dB.  相似文献   

6.
We compare the optimal operating cost of the two bicriterion policies, 〈p,T〉 and 〈p,N〉, for an M/G/1 queueing system with second optional service, in which the length of the vacation period is randomly controlled either by the number of arrivals during the idle period or by a timer. After all the customers are served in the queue exhaustively, the server immediately takes a vacation and may operate 〈p,T〉 policy or 〈p,N〉 policy. For the two bicriterion policies, the total average cost function per unit time is developed to search the optimal stationary operating policies at a minimum cost. Based upon the optimal cost the explicit forms for joint optimum threshold values of (p,T) and (p,N) are obtained.  相似文献   

7.
In this paper, a vector regulating principle of the phase and amplitude control ( PAC ) method for three-phase grid-connected inverters is presented. To solve the problem of heavy inrush current and slow dynamic response when system starts up, the starting voltage prediction control and the current feed-forward control are proposed and used, which improve the dynamic performance of the system in the PAC. The experimental results carried out on a three-phase grid-connected inverter proved the validity of the proposed method.  相似文献   

8.
Dielectric elastomer actuators (DEAs) are an emerging class of polymer actuation devices and have extensive application prospect in the field of robotics because of their light weight, high efficiency and large deformation. A cone DEA is manufactured and its working principle is analyzed. To obtain the deformation of elastomer and movement of DEA in advance, a finite element method (FEM) simulation is performed first. According to the working principle, two working equilibrium points of DEA, corresponding to the displacements of DEA with voltage off and on, are obtained and validated by experiments, thus work output in a workcycle is computed. Experiments show that the actuator can respond quickly when voltage is applied and can return to its original position rapidly when voltage is released. Simulation results agree well with experimental ones and the feasibility of DEA simulation is proved, and causes for the small difference between them in displacement output are analyzed. The performance of the actuator is improved from the aspects of both displacement and force output. A diamond four-bar linkage mechanism is used as the preload part and a displacement output of 17 mm is obtained. The force output of one actuating unit is about 1.77 N, so three actuating units are assembled in parallel and the force output is heightened to as high as 5.07 N.  相似文献   

9.
An effective approach for describing complicated water quality processes is very important for river water quality management. We built two artificial neural network (ANN) models, a feed-forward back-propagation (BP) model and a radial basis function (RBF) model, to simulate the water quality of the Yangtze and Jialing Rivers in reaches crossing the city of Chongqing, P. R. China. Our models used the historical monitoring data of biological oxygen demand, dissolved oxygen, ammonia, oil and volatile phenolic compounds. Comparison with the one-dimensional traditional water quality model suggest that both BP and RBF models are superior; their higher accuracy and better goodness-of-fit indicate that the ANN calculation of water quality agrees better with measurement. It is demonstrated that ANN modeling can be a tool for estimating the water quality of the Yangtze River. Of the two ANN models, the RBF model calculates with a smaller mean error, but a larger root mean square error. More effort to identify out the causes of these differences would help optimize the structures of neural network water-quality models.  相似文献   

10.
We now consider an inequality of the form f1(x) 〉f2(x). Every numerical value x0 taken from the domain of admissible values is called a solution of the inequality, if, when x0 is substituted into both sides of the inequality, the result is a true numerical inequality. constitute All the the solution solutions of an inequality set of the inequality.  相似文献   

11.
Let R be a ring, a ,b ∈ R, ( D , α ) and (G , β ) be two generalized derivations of R . It is proved that if aD ( x ) = G ( x )b for all x ∈ R, then one of the following possibilities holds: (i) If either a or b is contained in C , then α = β= 0 and there exist p , q ∈ Qr ( RC) such that D ( x )= px and G ( x )= qx for all x ∈ R;(ii) If both a and b are contained in C , then either a = b= 0 or D and G are C-linearly dependent;(iii) If neither a nor b is contained in C , then there exist p , q ∈ Qr ( RC) and w ∈ Qr ( R) such that α ( x ) = [ q ,x] and β ( x ) = [ x ,p] for all x ∈ R, whence D ( x )= wx-xq and G ( x )= xp + avx with v ∈ C and aw-pb= 0.  相似文献   

12.
INTRODUCTION Throughout this paper, we shall work with a filtered complete probability space (?,F,(Ft),P) sat-isfying the usual conditions. Let B=(Bt)t≥0 be a stan-dard Brownian motion with B0=0. Denote by ú the set of all non-negative real numbers. Recall that a diffusion process X starting at x≥0 is called the square of a Bessel process of dimension δ>0 if d X t = δd t 2 | X t |d Bt , X 0= x, (1) Clearly, this equation has a unique non-negative strong solution X, i.e., …  相似文献   

13.
In 1935 ,P .Erd¨osandGSzekeresobtainedtheclassicalinequalityR (m ,n)≤R (m - 1,n) R(m ,n - 1) . In 196 8,K .WalkerprovedthatR(n ,n)≤ 4R(n- 2 ,n) 2 . In 1998,HuangY .R .andZhangK .M .[1,2 ] provedthatR(m ,n)≤ 12 (β 3γ 5 )   12 γ(4α 2 β - 3γ 6 ) (β 1) 2 Inthispaper ,weobtainsomenewupperboundsforR(m ,n ,l)andR(m …  相似文献   

14.
Congruences for finite triple harmonic sums   总被引:1,自引:0,他引:1  
Zhao (2003a) first established a congruence for any odd prime p>3, S(1,1,1;p)≡-2Bp-3 (mod p), which holds when p=3 evidently. In this paper, we consider finite triple harmonic sum S(α,β,γ;p) (mod p) is considered for all positive integers α,β,γ. We refer to w=α β γ as the weight of the sum, and show that if w is even, S(α,β,γ;p)≡0 (mod p) for p≥w 3; if w is odd, S(α,β,γ;p)≡rBp≥w (mod p) for p≥w, here r is an explicit rational number independent of p. A congruence of Catalan number is obtained as a special case.  相似文献   

15.
The adsorption characteristics of Pb on sediments of the Dianshan Lake in Shanghai was studied. The results show that (1)the relationship between the amount q of apparent equilibrium adsorption and the equilibrium concentration C conforms to the Freundlich isothermal adsorption equation; (2) the adsorption and desorption of Pb on sediments are not reversible, that is, adsorption/desorption of Pb exhibits hysteresis; (3) Pb adsorption behavior is initially fast, followed by a slow reaction, and the slow reaction conforms to a reversible first-order reaction; (4) by deducing the Pb adsorption kinetics, four kinetics parameters n, k1, k2, qmax independent of C could be worked out; (5) the equilibrium parameter (K) and the free energy change (ΔG) could also be determined,and the negative values of free energy change (ΔG) indicate the spontaneous nature of the adsorption.  相似文献   

16.
In this paper, we prove that any polygon P in R2 containing a fixed smooth. strictly convex and origin-symmetric body Γ whose boundary is real analytic in its interior, can be determined by its Γ-section functions among the polygons.  相似文献   

17.
The construction of multirate rearrangeable network has long been an interesting problem. Of many results published, all were achieved on 3-stage Clos network. The monotone routing algorithm proposed by Huet al. (2001) was also first applied to 3-stage Clos network. In this work, we adopt this algorithm and apply it to log d (N,m,p) networks. We first analyze the properties of log d (N,m,p) networks. Then we use monotone algorithm in log d (N,0,p) network. Furthermore we extend the result to construct multirate rearrangeable networks based on log d (N,m,p) network (1≤m≤n−1). Project (No. 10371028) supported by the National Natural Science Foundation of China  相似文献   

18.
In this paper, the author proves that theL p-boundedness of the Marcinkiewicz integral μΩ on product domainsR n×Rm; for Ω∈(1)∩(5) improves the result of Chen et al. (2000). Project supported by Major Project of NSFC (No.19631080) and NSF of Zhejiang province (No. RC97017).  相似文献   

19.
Let Bnp={x ∈ Rn‖|x ‖p≤l} be the unit ball ofp norm in the n-dimensional normed space p. The formula for the volume of Bnp was obtained and its asymptotic properties were found out as n→∞and p→∞.  相似文献   

20.
In this paper, by using the L p -Brunn-Minkowski theory and its dual theory, L 2-version on the conjectured projection inequality is investigated, the (reverse) inclusive relationship between L 2-projection body and the classical projection body are established, and a constrained minimization problem is solved. Project supported by the National Natural Sciences Foundation of China (Grant Nos.10671117, 10801140)  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号