Search results

The formal method is used for a software development to promise the accuracy of software.The formal method develops to use mathematics to have the following advantage in the process in the software according to strict mathematics:Mathematics is accurate model medium, can carry on a brief introduction, accurate description to the phenomenon, object, and action...etc.Mathematics supports abstraction, it makes the essence of specification able to be displayed, and can mean the abstract layer in the system specification with a kind of way with organization;Mathematics provided the means of high confirmation, can use mathematics proof to announce to public the antinomy in the specification and not integrity, and use to theconsistency circumstance of displaying the design and specification.[1] 2 Formal method 2.1 The development of formal method The basic meaning of formal method studies the relevant problem in calculator science by the help of mathematic method.
t4 t3 t2 t1 t5 p6 p4 p3 p1 p2 p5 Fig.1 Petri net structure sketch map 2.3 High-level Petri Net High-level petri net is a traditional petri net of a type of expand model, it includes Predicate/Transition Petri Net, Colored Petri Net and Timed Petri Net. [6]The structure of the high-level petri net is similar to the structure of the traditional petri net, but the position in the deluxe petri net, move and the Hu power Be heavy to have an abundant content. 3 Equipment information collect and manage system 3.1 The problem describes Equip an information to collect to manage the material information in the system to collect a problem:material the information is divided into material up pack information and material bedrock information two information to collect platform(M) difference to up pack information(S1) and bedrock information(S2) to carry on collecting, the information collects to complete behind the system(R) carry on an analysis processing to the information
A complete inference system for a class of regular behaviors[J].Journal of Competer and System Sciences,2009,28(3):439-466 [4] Hoare C A R.
[7] LouchkaPopova-Zeugmann，On Time Petri Nets[J]Journal Information Processing and Cybernetics EIK,2008,25(3):26-30
A theory of communicating processes [J].Journal of the ACM,2009,31(3):560-599

Compared with the traditional reader antenna with the same material of the substrate，the improved antenna has a much higher gain．and the size was reduced by 20% and the max gain is raised -0.11dB.
[4] Lai min-yin.Broadband UHF RFID tag antenna mountable on metallic objects[J],Journal of Chongqing University of Posts and Telecommunications(Natural Science Edition),2011,23(2)：198-201
[5] LIN Ruo-bo.Optimizating micro-strip antenna based on photonic crystal PBG structure[J].Journal of Chongqing University of Posts and Telecommunications(Natural Science Edition),2012.24(4):431-436
[6] Zhang li.The Miniaturization Design of an Antenna for Hand-Held RFID Reader[J].Chinese Journal of Electron Devices，2012，35（4）:379-382
[7] Yang hong .Analysis and design of an -shaped compact multi-frequency micro-strip antenna[J].Journal of Chongqing University of Posts and Telecommunications(Natural Science Edition),2011,23(3):315-319

Fig. 4 represents the erosion rate of the two tested materials as a function of exposure time.
The erosion rate behavior of the two materials is somewhat similar to each other.
Martin, Cavitation erosion of materials, Int.
Cheng, Cavitation erosion and damage mechanisms of alloys with duplex structures, Materials Science and Engineering A242 (1998) 108–120
Lai, Recent developments in stainless steels, Materials Science and Engineering R 65 (2009) 39–104 [18] J.

Laboratory Test Program Experimental Equipment and Material.
The tests were conducted in the State Key Laboratory of Frozen Soil Engineering of Chinese Academy of Science.
The soil used in the current study was obtained from the embankment along the Qinghai-Tibet Railway in China.The grain-size distributions of the materials are presented in Fig. 2.
Acknowledgements This study is supported by the 973 Program of China(Grant No. 2012CB026104), the Natural Science Found of China (Grant No. 51174261) and (Grant No. 51078111), and the Natural Science Foundation of Heilongjiang Province (No.
Cold Regions Science and Technology, 2010, 62(1): 67-75

Material and Method Material.
Acknowledgement It is a project supported by the natural science foundation Program of Fujian Provice (2009J01229) and the Program of Fujian Provincial department of Education (JA09077).
China Wood Industry. 2009，23（1）：24-27 [3]　Jiang Zehui.World Bamboo and Rattan [M].Shenyang: Liaoning Science & Technology Publishing House, 2002
[4]　Zhang Qisheng, Guan Minjie.Variation of Moso Bamboo Chemical Compositions during Mature Growing Period [J].Journal of Nanjing Forestry University (Natural Sciences Edition), 2002，26（2）：7-10 [5] Lin Jinguo, He Suidong, Lin Shunde.Study on the Variation Pattern of Basic Density and Mechanic Properties of Dendrocalamus latiflorus timber.
Journal of Bamboo Research. 1999, 18(1):58-61 [6] (American) Tony B .Wind Energy Technology [M].Bei Jing: Science Press, 2007

Journal Citation (to be inserted by the publisher ) Copyright by Trans Tech Publications Development of Hydroxyapatite Ceramics with Tailored Pore Structure Ulrike Deisinger1, Frauke Stenzel2 and Günter Ziegler1,2 1 Friedrich-Baur-Research Institute for Biomaterials, University of Bayreuth, 95440 Bayreuth, Germany, e-mail: ulrike.deisinger@fbi-biomaterialien.de 2 BioCer EntwicklungsGmbH, Bayreuth, Germany Keywords: hydroxyapatite ceramics, interconnecting porosity, slip casting, bone substitute materials, rapid prototyping Abstract.
Materials and Methods For producing the slurry the commercially available hydroxyapatite powder from Merck, Germany, was used.
Journal Title and Volume Number (to be inserted by the publisher) Green and sintering density values were determined with cast dense cylinders.
By using different types of polymeric pore models with diverse grades of porosity (50 to 96 vol%) and pore sizes (400 to 900 µm) as basic materials the pore structure of the bioceramic (undirected pores as well as defined pore channels) could be tailored according to the requirements of the specific implantation site.
Tian: Journal of Materials Science Vol. 36 (2001), p. 3061-3066 [5] M.

The morphology of the materials was observed with a scanning electron microscopy (SEM, Hitachi S-3400N).
These materials were dispersed in 1-methyl-2-pyrrolidinone (NMP) and the resultant slurry was then spread onto an aluminum foil using the doctor blade technique.
Journal of Power Sources 158 (2006) 1425-1430. ].
It showed that the electrode materials have good reversibility.
Science Press, 2010，104-106. ].

Materials and methods CT Scans and Initial Geometrical modeling A healthy male volunteer with no metabolic bone disease was chosen as a model.
Acknowledgment This project was funded by Guang Dong Science and Technology Plan Project（2013A032500009）；Guang Dong Science and Technology Plan Project（2012A0320005）.
Journal of Orthopaedic science.
Journal of Biomechanics.
Journal of Biomechanics.

The simulation software based on molecular dynamics is Forcite module from Material Studio, which is a commercial software and has been used extensively to study characteristics of nano scale materials.
Science. 290 (2002) 1532-1535
Journal of Applied Physics. 93 (2003) 561-565
Science. 299 (2003) 1874-1877
Huang, “Study on vibration behavior of doubly-clamped silicon nanowires by molecular dynamics”, Journal of Nano-materials, vol. 2012: Article ID 342329, 5 pages, 2012

The effect of the molar ratio of MgO/Al2O3 on the sintering and thermal shock resistance of the composite materials was studied.
Szczerba: Journal of the European Ceramic Society.
Mohapatra: Journal of Materials Processing Technology.
Rendón-Angeles, et al: Journal of the European Ceramic Society.
Yu, et al: Advanced Materials Research, Vol. 194-196 (2011), p. 1755-1758.