检索结果-南通市图书馆

An efficient method for detecting concurrency errors in object-oriented programs

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2012年第12期55卷 2774-2784页

作者： HE YanXiang 1,2,WU Wei 2 & CHEN Yong 2 1 School of Computers,wuhan university,wuhan 43007.,China 2 State Key Laboratory of Software Engineering,wuhan university,wuhan 43007.,China 1. School of Computers Wuhan University Wuhan 430072 China2. State Key Laboratory of Software Engineering Wuhan University Wuhan 430072 China

Multicore and multi-threaded processors have become the norm for modern ***,concurrent programs have become more and more prevalent despite being difficult to write and *** errors are highly likely to appear in concurrent code,conventional error detection methods such as model checking,theorem proving,and code analysis do not scale smoothly to concurrent *** is an indispensable technique for detecting concurrency errors,but it involves a great deal of manual work and is *** paper presents an automatic method for detecting concurrency errors in classes in object-oriented *** method uses a heuristic algorithm to automatically generate test cases that can effectively trigger ***,each test case is executed automatically and a fast method is adopted to identify the actual concurrency error from anomalous run *** have implemented a prototype of the method and applied it to some typical Java *** shows that our method is more effective and faster than previous work.

关键词： concurrency error dynamic test data race atomicity violations test case generation

ASYMPTOTIC BEHAVIOR OF HARMONIC MAPS FROM COMPLETE MANIFOLDS

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Annals of Mathematics,Series B 1999年第2期20卷 247-254页

作者： CHEN QUN Department of Matmematics Central China Normal UniversityWuhan 430079China. Department ofMathematics Wuhan UniversityWuhan 430072China.

In this paper,the author considers a class of complete noncompact Riemannian manifoldswhich satisfy certain conditions on Ricci curvature and volume comparison. It is shown thatany harmonic map with finite energy from such a manifold M into a normal geodesic ball inanother manifold N must be asymptotically constant at the infinity of each large end of M. Arelated existence theorem for harmonic maps is established.

关键词： Ricci curvature VOlume comparison Fatou's property Harmonic map

The Ground and Excitation Levels of the Trimer

在线全文

学校读者我要写书评

暂无评论

wuhan university Journal of Natural Sciences 1998年第2期3卷 163-164页

作者： You Pu(Department of Physics, wuhan university, wuhan 43007.,China) wuhan university Department of Physics Wuhan China (GRID:grid.49470.3e) (ISNI:***)

The ground and excited levels of the trimer (4He)3 are obtained theoretically by solving the 2-D Faddeev integral equation in the momentum space. In solving the equation, the direct matrix inversion method (I. M.) is used instead of the iteration and Pade approximate method. The new HFD-B Aziz potential ν is used in the calculation.

关键词： Trimer Faddeev equation matrix inversion method

Non-Homogeneous Riemann Boundary Value Problem with Radicals

在线全文

学校读者我要写书评

暂无评论

wuhan university Journal of Natural Sciences 2002年第4期7卷 379-382页

作者： Lu Jian-ke School of Mathematics and Statistics,wuhan university,wuhan 43007., Hubei,China wuhan university School of Mathematics and Statistics Wuhan Hubei China (GRID:grid.49470.3e) (ISNI:***)

The solution of the non-homogeneous Riemann boundary value problem with radicals (1. 2) together with its condition of solvability is obtained for arbitrary positive integersp andq, which generalizes the results for t... 详细信息

关键词： Riemann boundary value problem branch points of radicals index order at infinity sectionally holomorphic functions

Study on Mechanisms of Cd^(2+) Sorption on Goethite byMicrocalorimetry

在线全文

学校读者我要写书评

暂无评论

Pedosphere 1999年第4期9卷 357-362页

作者： ZHANG GUIYIN WANG TIANZHI DONG YUANYAN LI XUEYUANI(1Huazhong Agricultural university, wuhan 43OO7. (China))(2Agricultural university of Hebei, Baoding 07.001 (China))(3 wuhan university, wuhan 45007. (China)) Huazhong Agricultural university Wuhan 430070 China Agricultural university of Hebei Baoding 071001 China wuhan university Wuhan 430072 China

A study on energy changes and mechanisms of Cd sorbed on goethite was performed using the technique ofmicrocalorimetry. The data of the amount of Cd sorption (Aq) and concentration of Cd in equilibrium solution(Ce), and the data of Aq and the heat effect (AH) caused by Cd^2+ sorption on goethite all fitted Langmuirisotherm. The amount of heat released from Cd sorption on goethite increased with the amount of Ce or *** reaction process of Cd sorption on goethite may be divided into five stages and three plateaus, dependingon the variation of enthalpy change (.Hm) of Cd sorption with Aq, which implied three mechanisms ofinteraCtion between Cd and goethite. The experimental results showed that the microcalorimetry may beuseful for determination of microcalorie variation in soil.

关键词： cadmium goethite heat effect microcalorimetry sorption

ON HASEMAN BOUNDARY VALUE PROBLEM FOR A CLASS OF META-ANALYTIC FUNCTIONS

在线全文

学校读者我要写书评

暂无评论

Acta Mathematica Scientia 2011年第1期31卷 39-48页

作者：汪玉峰杜金元 School of Mathematics and Statistics Wuhan University

In this article, Haseman boundary value problem for a class of meta-analytic functions is studied. The expression of solution and the condition of solvability for Haseman boundary value problem are obtained by changing the problem discussed into the equivalent Haseman boundary value problem of bi-analytic function. And the expression of solution and the condition of solvability depend on the canonical matrix.

关键词： Meta-analytic function bi-analytic function Haseman boundary value prob- lem canonical matrix

Synthesis and Structural Determination of (2R,4S,SS)-(+)-Threo-5-(2,2-dichloroacetamido)-4-(4-nitrophenyl)-2-aryl-1,3-dioxanes

在线全文

学校读者我要写书评

暂无评论

Chinese Chemical Letters 1999年第3期10卷 199-200页

作者： Jun LIU Xian Ming HU Han Sheng XU(Department of Chemistry, wuhan university, wuhan 43007.) Department of Chemistry Wuhan University Wuhan 430072 China

(2R,4S,SS)-(+)-threo-5-(2,2-dicloroacetamido)-4-(4-nitrophenyl-2aryl-l,3dioxanes, were synthesized with high diastereoselectivity and good yields. The structuresofacetals were determined and the configurations were co... 详细信息

关键词： Acetals diastereoselective synthesis chloramphenicol 2D-NMR

TiO_2 thin film photocatalyst

在线全文

学校读者我要写书评

暂无评论

Rare Metals 2004年第4期23卷 289-295页

作者： YUJiaguo StateKeyLaboratoryofAdvancedTechnologyforMaterialsSynthesisandProcessing WuhanUniversityofTeclmologyWuhan430070China

It is well known that the photocatalytic activity of TiO_2 thin filmsstrongly depends on the preparing methods and post-treatment conditions, since they have a decisiveinfluence on the chemical and physical properties of TiO_2 thin films. Therefore, it is necessary toelucidate the influence of the preparation process and post-treatment conditions on thephoto-catalytic activity and surface microstructures of the films. This review deals with thepreparation of TiO_2 thin film photo-catalysts by wet-chemical methods (such as sol-gel,-reversemicellar and liquid phase deposition) and the comparison of various preparation methods as well astheir advantage and disadvantage. Furthermore, it is discussed that the advancement ofphotocatalytic activity, super-hydrophilicity and bactericidal activity of TiO_2 thin filmphotocatalyst in recent years.

关键词： inorganic non-metal materials TiO_2 thin films preparation sol-gel method liquid phase deposition method reverse micellar method photocatalytic activity super-hydrophilicity bactericidal activity

Tectonic Factors Favourable for the Formation of Evaporites in the Indosinian Period in Hubei and Its Neighbouring Areas

在线全文

学校读者我要写书评

暂无评论

Acta Geologica Sinica(English Edition) 1988年第4期1卷 381-391页

作者： Li Shiruo China university of Geosciences, wuhan, Hubei China university of Geosciences Wuhan Hubei

In the Indosinian period. the climate was scorching hot and the source of seawater was ample in Hubeiand its neighbouring areas. so the basic conditions for the formation of evaporites were favourable. Under thisprerequisite. the reason why salt deposits occurring in some third-order tectonic units between the Jiangnanoldland-upwarped zone and the Dabashan upwarped zone differ in degree of development is mainly due to thetectonic factors during sedimentation. If favourable tectonic factors are present, large amounts or evaporiteswill form: on the contrary. they will not.

关键词： In