In this paper,we gave a more profound explanation of the integrals of the motion and of the Poisson′s theorem, and point out some mistakes in Ref. (2).

This text, on the basis of describing the basic theories of the office procedure of earned value, analyses and studies about index system and integrated key element of earned value management emphatically, thus finds some mistakes and defects storing in the index system of earned value management, and expands the integrated key element of earned value management, and last forms the three key element integration management that has cost, quality, and time for a project.

Inaccurate statements of this theorem usually occur in some teaching materials,which bring some mistakes in solving the problem of electric current making magnet field.

But up to date there are not precise theoretial formulae to calculate the mutual inductance between telecommunication lines and symmetrical three-phase power Lines. There have been some simplified formulae for the calculation of this inductance,but some mistakes exist in them.

On the basis of detailed exploration to the relevant historical materials,the records in The Book of Song by Sheng Yue are proved in time to be true to the facts,which can help to clear the ambiguity between kinds of records and correct some mistakes.

Some mistakes in VRLA battery examination and maintenance and traditional methods for VRLA capability testing are described in brief,then applications in practice of conductance test,which is a breakthrough in VRLA battery examining and maintenance,are introduced.

It briefly introduces the concept and basic characteristics of sports marketing,analyzes some mistakes of domestic enterprises in sports marketing researches on how to carry though sports marketing effectively,and brings forward the feasible advices.

This article probes into the characteristics and some mistakes of earthquake medical rescue, which have become outstanding problems of social medicine.

On the basis of Code of indoor environmental pollution control in civil architecture,the author points out several indoor harmful gases must be tested at the stage,illustrates the harm of indoor air pollution on human body,and discusses some mistakes existed in people's knowledge about indoor environmental pollution,in order to make the quality of indoor environment after decoration achieve code requirement.

Some mistakes in executing the safety and sanitation regulation in mine project were analyzed, it is pointed out that whether during the period of project construction or in the course of production, we should strictly execute the regulation and remove hidden accident danger.

The ISO/IEC 17025: 2005 General Requirements for the Competence of Testing and Calibration Laboratories are further perfection and improvement for ISO/IEC 17025 by giving modifications and additions to ISO/IEC 17025:1999. But the author still found some mistakes existing in ISO/IEC 17025 and brought them out for reference in the process of laboratory management system establishing and laboratory assessment.

This paper points out that there are some mistakes of dimensional and titer's concept in GB14074.14—93 testing methods for wood adhesives and their resins testing method for determination of free phenol content,and put forward the corrait project.

Some results on the oscillation to d/dt[x(t)-cx(t)]+sum from i=1 to n(p_i(t)x(t-r_i(t))=0 (c>1) are given, and some mistakes in some references are pointed out and some counterexamples are given. Finally, some existence theorems of nonoscillatory solutions are proved.

在 C>1时讨论了方程d/dt[x(t)—cx(t—r)]+sum form i=1 to n P_i(t)x(t—r_i)=0解的振动性充分性判据. 证明方法上纠正了已有文献中的一些错误,并对一些错误结论给出了反例;

The primary feature, capability and physical models of the COBRAⅢC/MIT-2 program and the correction to some mistakes of the original[1] are described in this paper.

Preliminary corrections are made of some mistakes found in the statements of the paper [3].

The authors discovered some mistakes in the article that appeared on pp.

In the text some mistakes concerningOpiz's generic names in Index Kewensis are corrected.

Finally, the paper offers specific suggestions in terms of principles in dealing with uncertain science, and concludes that the course of action that DuPont followed, including some mistakes, can serve as a model for analogous crises.

In this paper, we obtain some new results on this function and we correct some mistakes in the preceding literature.

The concept of the "equivalent earth" in the theory of tropospheric radio propagation is discussed. It is proved that under the conditions that the straight rays above the "equivalent earth" and the curved rays in the linear atmosphere have same ground propagation distances and same reflection heights, the geometrical lengthes of the two rays are not equal to each other. It is pointed out that there are some mistakes commonly made in using the method to correct the atmospheric reflection in present navigation...

The concept of the "equivalent earth" in the theory of tropospheric radio propagation is discussed. It is proved that under the conditions that the straight rays above the "equivalent earth" and the curved rays in the linear atmosphere have same ground propagation distances and same reflection heights, the geometrical lengthes of the two rays are not equal to each other. It is pointed out that there are some mistakes commonly made in using the method to correct the atmospheric reflection in present navigation and timing systems. Finally, a computer calculations has also been made to show the effects of the reflection on the propagation of first-hop sky -wave using the exponential atmosphere model

The present paper consists of seven sections.In the first section an axiom system for the classic two-valued logic M is given such that each group of axioms (including predicate calculus) is self-sufficient with respect to the connective C. It is proved that for any logic system each group of axioms is self-sufficient with respect to C provided that so is the propsitional calculus in it.In the second section a classic constructivistic logic G is given such that a formula a resp. N a is provable in M (including...

The present paper consists of seven sections.In the first section an axiom system for the classic two-valued logic M is given such that each group of axioms (including predicate calculus) is self-sufficient with respect to the connective C. It is proved that for any logic system each group of axioms is self-sufficient with respect to C provided that so is the propsitional calculus in it.In the second section a classic constructivistic logic G is given such that a formula a resp. N a is provable in M (including the predicate calculus) if and only if NN a resp. N a is provable in G. It is noted that the minimal calculus J is included in G, but the Heyting system H and the classic constructivistic logic G are independent of each other, and all of these systems are included in M.In the third section a natural deduction system of sequent type for G is given and it is proved that each group of axioms of the above axiom system given is self-sufficient with respect to the connective C.In the fourth section natural deduction systems of assumption type for the systems J, H, G and M are given. The systems of J, H (resp. of G, M) possess the subformula (resp. quasi-subformula) property in the sense that in the deduction of a formula a we make use only of the subformulas (resp. the subformulas and their negations) of a. Hence the provability in the prepositional calculus of these systems is decidable within finite steps.In the fifth section some mistakes in the prevailing natural deduction systemsof assumption type are pointed out, which provoked a long dispute among math-ematical logicians.In the sixth section the relations between natural deductions of sequent type and those of assumption type are discussed and it is shown that given any system of one type we can construct a system of another type such that not only the sets of their provable formulas but also the auxiliary formulas in the deduction process are the same.The last section deals with the implication paradoxes from the sequent clculus viewpoint and hence throws a new light on the subject.

Let A be any nxn matrix and J, its Jordan canonical form. A nonsingular matrix T which satisfies.T-1AT=J, is called a transformation matrix.In this paper, an algorithm is developed for obtaining the Jordan canonical form J of matrix A and for producing simultaneously a transformation matrix T when all the different eigenvalues of A are known.In [2], a different algorithm, is also proposed. Unfortunately, some mistakes have been found there. The basic idea of [2] is described as follows: suppose that V...

Let A be any nxn matrix and J, its Jordan canonical form. A nonsingular matrix T which satisfies.T-1AT=J, is called a transformation matrix.In this paper, an algorithm is developed for obtaining the Jordan canonical form J of matrix A and for producing simultaneously a transformation matrix T when all the different eigenvalues of A are known.In [2], a different algorithm, is also proposed. Unfortunately, some mistakes have been found there. The basic idea of [2] is described as follows: suppose that V is the linear space of n dimensions , is an eigenvalue of A and B = A-I.Denoting V0= { 0 }, W0= V, then one may successively construct spaces Vt and Wi in the way that Wi= V1+1 + Wi+1, Vi+1 Wi+ 1 = { 0 }. Vi+1 = {xWi| Bx Vi} and the process may terminate when dim Vm+1= 0. [2] says that V'm=V1+V2 +defines the subspace of V, which corresponds to the eigenvalue of A, and V can be written as the direct sum of invariant subspaces V= V'm Wm. This is not true. For example, if which satisfies all the above conditions, i.e.,We take W1 = V1+W1=V and V1 W1= {0}. From W1 we can obtain the space V2If we take W2 as the spaces and it satisfies the conditions that W1= V2+W2And V2 W2 = {0}, then dim V3= 0.In fact, V3= {x W2|Bx V2}. Since x W2, x must be of the form aand Bx = On another hand, any vector y V2, must be of the form Thus, if Bx V2, a must be zero, and it follows that dim Vs= 0.V2' = V1 + V2 = is an invariant subapace, but W2 = > is not.The algorithm proposed in this paper gives corrections to the mistakes of [2]. Furthermore it is proved that for any matrix A, the matrix T produced by the computations with our algorithm is indeed a transformation matrix.