Search results

Usually, raw materials are abundant and readily available) [3].
Sun et al., “Effect of Sc and Zr additions on microstructures and corrosion behavior of Al-Cu-Mg-Sc-Zr alloys,” Journal of Materials Science and Technology, vol. 33, no. 9, pp. 1015–1022, 2017, doi: 10.1016/j.jmst.2016.12.003
Roy, “Behavior of Biomedical Materials Mechanical , corrosion and biocompatibility behaviour of Mg-3Zn-HA biodegradable composites for orthopaedic fi xture accessories,” Journal of the Mechanical Behavior of Biomedical Materials, vol. 78, no.
Chai, “Microstructure , mechanical property , bio-corrosion and cytotoxicity evaluations of Mg / HA composites,” Materials Science & Engineering C, vol. 30, no. 6, pp. 827–832, 2010, doi: 10.1016/j.msec.2010.03.016
Soni, “Cast iron deterioration with time in various aqueous salt solutions,” Bulletin of Materials Science, vol. 25, no. 1, pp. 53–58, 2002, doi: 10.1007/BF02704595

Chen, et al: Journal of materials science and engineering.
Fan, et al: Materials for M echanical Engineering.
Um, et al: Materials Letters.
Wang: Materials Letters.
Liu, et al: Journal of function materials and devices.

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

Mixing various materials to adjust the ratio of carbon to nitrogen (C/N) of the fermentation raw materials so as to enhance the gas production performance has become a research hotspot and an important development direction of anaerobic fermentation technology, as a result of extensive sources of the raw materials for anaerobic fermentation[3~6].
Materials and methods Materials and pretreatment.
In this study, ratio of the raw materials was the main factor influencing anaerobic fermentation process, as the initial TS load, type and amount of inoculum, pretreatment of raw materials were all the same in the five treatments.
Xu: Jiangsu Agricultural Sciences, issue 3(2009), pp. 369-371(in Chinese) [10] Y.H.
Gaur: Journal of Rural Energy, vol. 4(1997), pp. 1-16

This attribute can substantially reduce the cost of using machineable wax over other materials.
Journal of Engineering Research and Education, 2006. 3: p. 53-59
Malaysian Oil Science and Technology 2000. 10(2)
Progress in Polymer Science, 1999. 24(2): p. 221-274
Applied Composite materials, 2000. 7: p. 373-385

Acknowledgement The authors thank the Multifunctional Materials Laboratory (LMMF) of Unochapecó, the Corrosion and Materials Laboratory of UFSC and the CNPq by support a part of the studies.
Yue: Biological Materials Science, march (2008), p.38
Park: Progress in Materials Science Vol. 58 (2013), p. 261
Shilko: Russian Physics Journal Vol. 56 (10) (2014) [5] X.
Fiori: Materials Science and Engineering C Vol. 39 (2014), p. 403

Kohn, Current Opinion in Solid State and Materials Science 3 (1998) 309
Yuzbasioglu, Materials and Design 28 (2007) 1364
Firouzdor, Materials Science and Engineering: A 472 (2008) 338
Olszyna, Journal of Materials Processing Technology 209 (2009) 978.
German, Journal of Materials Science 37 (2002b) 117.

Depending on expanding population and its increasing purchasing power we are forced to use more and more renewable resources for a production of materials.
At present, a use of thermoplastic matrices (especially with WPC materials) is preferred.
In case of machining the composite materials that are WPC based, this statement does not apply because the shape of the surface is conditioned by the compatibility of the material.
Grueneberg, et al., Influence of various wood madifications on the properties of polyvinylchloride/wood flour composites, Journal of Applied Polymer Science. 125 (2012) 308-312
Matuana, Influence of photostabilizers on wood flour-HDPE composites exposed to xenon-arc radiation with and without water spray, Polymer Degradation and Stability The new Science of Strong Materials (or why don`t fall through the floor), second ed., Princeton University Press, New York, 1984

The aim of the study of these materials is intended for use in the generation of hydrogen from water.
Rosas, DSC-TGA hydrogen evaluation during mechanical milling of AlFe intermetallic, Materials Science Forum 755 (2013) 105-110
Hirscher, Metal hydride materials for solid hydrogen storage: A review, International Journal of Hydrogen Energy 32 (2007) 1121-1140
Liu, Recent advances in ordered intermetallics, Materials Chemistry and Physics 42 (1995) 77-86
Jensen, Mechanochemical synthesis of hydrogen storage materials, Progress in Materials Science 58 (2013) 30-75

Beden, Journal of Materials Processing Technology. 121 (2002) 332-340
Sun, Computational Materials Science. 44(2) (2008) 611-621
Guo, Journal of Materials Processing Technology. 209 (2009) 3384-3395
Guo, Journal of Materials Processing Technology. 209(7) (2009) 3384-3395
Qian, Computational Materials Science. 50(3) (2011) 911-924.