oalib

Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99

Submit

Any time

2019 ( 275 )

2018 ( 2314 )

2017 ( 2187 )

2016 ( 2226 )

Custom range...

Search Results: 1 - 10 of 157268 matches for " WANG Dong-Ming "
All listed articles are free for downloading (OA Articles)
Page 1 /157268
Display every page Item
A MECHANICAL PROVING SYSTEM FOR CONSTRUCTIBLE THEOREMS IN ELEMENTARY GEOMETRY
构造型几何定理及其机器证明系统

WANG DONG-MING,HU SEN,
王东明

系统科学与数学 , 1987,
Abstract: In this paper,we point out that Hilbert's Mechanization Theorem may be extended to allconstructible theorems which can be mechanically proved in the same way by adjoining somenew constructive types.Using the Theorem-Prover built by the authors in rearranging thesteps of Wu's algorithm,many non-trivial theorems have been proved and some new resultshave also been discovered independently.
Transmission analysis of long-period fiber grating with trapezoid index modulation
Guo-Dong Wang,Cai-Xia Liu,Dong-Ming Sun,Wen-Bin Guo
Optica Applicata , 2006,
Abstract: The long-period fiber grating (LPG) with trapezoid index modulation is presented as a novel grating. The influence of the difference between the top width and the bottom width (simplified to d in the following text) of the trapezoid index modulation on the transmission characteristics is analyzed. Calculated results show that the resonance location displaces to the long wavelength when the d increases. Compared with the long-period fiber grating with rectangle index modulation, the advantage of this novel grating is that it needs a smaller refractive index change. When d is zero, this model can be used to simulate the LPG with a rectangular index modulation, and the theoretical results are in good agreement with the experimental ones.
2-Phenyl-1H-1,3,7,8-tetraazacyclopenta[l]phenanthrene
Dong-Ming Liu,Xiu-Ying Li,Xiang-Cheng Wang,Chun-Xiang Li
Acta Crystallographica Section E , 2009, DOI: 10.1107/s1600536809017498
Abstract: There are two molecules in the asymmetric unit of the title compound, C19H12N4, with dihedral angles of 2.41 (10) and 10.53 (12)° between the fused ring system and the pendant phenyl ring. In the crystal, molecules are linked into chains by N—H...N hydrogen bonds and aromatic π–π stacking interactions [shortest centroid–centroid distance = 3.6176 (16) ] complete the structure.
Metabolomic Analysis of Complex Chinese Remedies: Examples of Induced Nephrotoxicity in the Mouse from a Series of Remedies Containing Aristolochic Acid
Dong-Ming Tsai,Jaw-Jou Kang,Shoei-Sheng Lee,San-Yuan Wang
Evidence-Based Complementary and Alternative Medicine , 2013, DOI: 10.1155/2013/263757
Abstract:
Static and dynamic emulation analysis on frame structure of farm tricycle
农用三轮车车架结构静动态特性仿真分析

MA Guang,HUANG Dong-ming,WANG Zhi-ming,
马广
,黄东明,王志明

浙江大学学报(农业与生命科学版) , 2007,
Abstract: Static and dynamic emulation analysis on a new type of frame construction of solar battery farm tricycle was performed.CAD model was built with the Pro/e software.Frame finite element model(FEM)was established with shells as a basic unit,and the analysis of static,dynamic and random vibrations were carried out by the MSC.Patran/Nastran software.The static and dynamic characteristics of the frame were obtained.The results indicated that static stress was abundant,and the dynamic stress exceeds permissive stress.The inherent frequency and inherent vibrant former of the frame was good.It brought forward the improving configuration and validated it.The maximal static and dynamic stress in hold still status and brake status was less than the one that had not been improved.The first rank inherent frequency of the frame was bigger but the probability of resonance was lower.The saltation of vibrant former was eliminated.The Static and dynamic capability was improved.The analysis results provided the theory basement for the frame improvement.
A Novel Cold-Active Lipase from Candida albicans: Cloning, Expression and Characterization of the Recombinant Enzyme
Dong-Ming Lan,Ning Yang,Wen-Kai Wang,Yan-Fei Shen,Bo Yang,Yong-Hua Wang
International Journal of Molecular Sciences , 2011, DOI: 10.3390/ijms12063950
Abstract: A novel lipase gene lip5 from the yeast Candida albicans was cloned and sequenced. Alignment of amino acid sequences revealed that 86–34% identity exists with lipases from other Candida species. The lipase and its mutants were expressed in the yeast Pichia pastoris, where alternative codon usage caused the mistranslation of 154-Ser and 293-Ser as leucine. 154-Ser to leucine resulted in loss of expression of Lip5, and 293-Ser to leucine caused a marked reduction in the lipase activity. Lip5-DM, which has double mutations that revert 154 and 293 to serine residues, showed good lipase activity, and was overexpressed and purified by (NH 4) 2SO 4 precipitation and ion-exchange chromatography. The pure Lip5-DM was stable at low temperatures ranging from 15–35 °C and pH 5–9, with the optimal conditions being 15–25 °C and pH 5–6. The activation energy of recombinant lipase was 8.5 Kcal/mol between 5 and 25 °C, suggesting that Lip5-DM was a cold–active lipase. Its activity was found to increase in the presence of Zn 2+, but it was strongly inhibited by Fe 2+, Fe 3+, Hg 2+ and some surfactants. In addition, the Lip5-DM could not tolerate water-miscible organic solvents. Lip5-DM exhibited a preference for the short- and medium-chain length p-nitrophenyl (C4 and C8 acyl group) esters rather than the long chain length p-nitrophenyl esters (C12, C16 and C18 acyl group) with highest activity observed with the C8 derivatives. The recombinant enzyme displayed activity toward triacylglycerols, such as olive oil and safflower oil.
Experimental Investigation of Chaos Synchronization in DFB Diode Lasers with Unsymmetrical Scheme

YANG Ling-Zhen,ZHANG Xiu-Juan,WANG An-Bang,GUO Dong-Ming,WANG Yun-Cai,

中国物理快报 , 2008,
Abstract: We experimentally generate high dimension chaotic waveforms with smooth spectrum using a distributed feedback (DFB) semiconductor laser with unidirectional fibre ring long-cavity feedback, and implement the stable chaos synchronization when the chaotic light is injected into a solitary DFB laser diode. The synchronization quality is investigated by time-domain and frequency-domain analysis separately. The frequency-domain analysis indicates that the synchronization has higher quality in the high frequency band. The influences of the injection strength and the frequency detuning on the synchronization are measured. Our experimental results show that the robust synchronization can be maintained with the optical frequency detuning from -11GHz to 40 GHz.
An improved complex variable element-free Galerkin method for two-dimensional elasticity problems

Bai Fu-Nong,Li Dong-Ming,Wang Jian-Fei,Cheng Yu-Min,

中国物理 B , 2012,
Abstract: In this paper, the improved complex variable moving least-squares (ICVMLS) approximation is presented. The ICVMLS approximation has an explicit physics meaning. Compared with the complex variable moving least-squares (CVMLS) approximations presented by Cheng and Ren, the ICVMLS approximation has a great computational precision and efficiency. Based on the element-free Galerkin (EFG) method and the ICVMLS approximation, the improved complex variable element-free Galerkin (ICVEFG) method is presented for two-dimensional elasticity problems, and the corresponding formulae are obtained. Compared with the conventional EFG method, the ICVEFG method has a great computational accuracy and efficiency. For the purpose of demonstration, three selected numerical examples are solved using the ICVEFG method.
An Agreement Analysis Method of Security Protocol Based on Authentication Test
基于认证测试的一种安全协议一致性分析方法

ZHOU Qing-Lei,WANG Feng,ZHAO Dong-Ming,
周清雷
,王峰,赵东明

计算机科学 , 2007,
Abstract: Authentication Test is the further development of strand space, it can be used not only for analyzing protocols, but also for guiding the design of protocol. However in the aspect of why a protocol is incorrect and how to improve it,Authentication Test can not offer deeper and more effective analysis as other formal methods. This paper put forward the concept of the parameter-agreement-matrix, carry on deep analysis to the agreement property of protocol, well solve this problem. In addition, the formal process make protocol analysis automatically.
Design and implementation of geometric knowledge base
几何知识库的设计与实现

WANG Dong-ming,HUANG Ying,CHEN Xiao-yu,
王东明
,黄荧,陈肖宇

计算机应用 , 2009,
Abstract: The design of a geometric knowledge base that stores standardized and formalized geometric knowledge data was presented.Emphasis was placed on the design of the structure rather than the representation of the knowledge data.In order to manage the complexity,authors adopted a key strategy that aimed at encapsulating certain knowledge data into knowledge objects by analyzing the data requirements and then organizing the knowledge objects by modeling and Abstracting the hierarchic structure of relations among ...
Page 1 /157268
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.