Search results

Davis, Aluminum and Aluminum Alloys, ASM Specialty Handbook, ASM International, Materials Park, OH 440730002, 1994
Tabereaux TMS (The Minerals, Metals & Materials Society), 2004
Maijer, Modeling of microporosity formation in A356 aluminum alloy casting, Chemistry and Materials Science, Metallurgical and Materials Transactions B. (2006) Volume 37
Metallurgical and Materials Transactions B. (2007) Volume 38B
Santos, Predicting dendrite arm spacing and their effect on microporosity formation in directionally solidified Al-Cu alloy, Journal of Materials Science 40. (2005) 1599 – 1609.

Introduction The intensive development of high-rise construction leads to the fact that one of the main and priority directions in building materials science is the production of high-strength cement composites on ordinary types of cement [1-3].
Concretes obtained using chemical additives do not always and do not always meet the high requirements of materials approved for use in the construction of modern critical buildings and structures.
Reducing the cost of manufactured products and obtaining building materials using highly effective domestic production surfactants in combination with natural materials in concrete mixtures is an urgent task.
Methods and Materials In the presented work, the following materials were used: Odolit-K hyper plasticizer, country of origin, Russia; Portland cement grade M500 of the Chiri-Yurt Cement Plant of the Chechen Republic with a percentage of minerals: С3S-62.13; C2S-16.15; C3A-7.42; C4AF-12.56.
Khirnov, Extra-strong cement concrete: theory of the formation of technical properties and practice of application, Journal of Concrete Technologies 3-4, (2015) 51-57

Damage control is of great relevance for materials with low workability such as intermetallic compounds.
Janschek, Forging Titaniumaluminide Parts, Materials Science Forum 638 (2010)
Journal of Manufacturing and Materials Processing, 2:1 (2018) 1
Janschek, Wrought TiAl Blades, Materials Today: Proceedings 2 (2015) 92-97
International Journal of Solids and Structures, 36:33 (1999) 5029-5055.

Macchi et al proposed a developed reliability framework, which can be utilized to set up inventory buffer to avoid material starvation [8].
Pavitsos and Kyriakidis established a Markov decision model and calculate the size of mixed material buffer area [9].
Acknowledgements This work is supported by National Social Science Foundation of China (Key Project , No. 12AZD102), Humanity and Social Science Youth Foundation of Ministry of Education(No. 13YJC630103), Natural Science Foundation of Zhejiang Province (No.
Chinese Journal of Management Science.
Journal of Harbin Institute of Technology.

Model checking for SpaceWire Error Detection module Lingling Dong1, a, Yong Guan1, b, Xiaojuan Li1, c, Zhiping Shi1, d, Jie Zhang2, e, Wei Hua1, f 1College of Information Engineering, Capital Normal University, Beijing, 100048, China 2College of Information Science & Technology, Beijing University of Chemical Technology, Beijing, 100029, China adonglilingabcd@126.com, bguanyxxxy@263.net, clixjxxxy@263.net, dshizhiping@gmail.com, ejzhang@mail.buct.edu.cn, fbegin_dream@126.com Keywords: Model checking, CTL, LTL, SMV, SpaceWire Abstract.
Acknowledgements This work was supported by the Beijing Natural Science Foundation(4122017), Beijing Education Science and technology development project (KZ201210028036), ISTCP (2011DFG13000), the national Natural Science Foundation of China (60873006,61070049,61170304,61104035), and International Science and technology cooperation project (2010DFB10930).
[3] Peng, H., Tahar, S., Khendek, F., International Journal on Software Tools for Technology Transfer (STTT) 2003, 4, 234-245
P., et al., Applied Mechanics and Materials 2011, 55, 2192-2196
Y., Journal of the ACM (JACM) 1986, 33, 151-178

Materials and methods Study sites In 2010, experiments were performed at Tianmu Mountain (30.20°N, 119.23°E) near Hangzhou City, Zhejiang province, China.
Science 271, 1576–1578
Science. 292: 195-196
Journal of Plant Nutrition and Soil Science 168, 503-520
Canadian Journal of Forest Research 21, 1589–1595

Materials and Methods Sample Source and Medium.
Bouwer, Biodegradation of aromatic compounds under mixed oxygen/denitrifying conditions: a review, Journal of Industrial Microbiology & Biotechnology. 18(1997):116-130
Wei, Water and wastewater monitoring methods, China Environmental Science Press, Beijing, 2002
Liang, Isolation and identification of a high-efficiency aerobic denitrifier and its denitrifyingvcharacteristic in constructed wetland, Journal of Agro-Environment Science. 29(2010):1193-1198
Wang, Study on denitrification characteristics of a heterotrophic nitrification-aerobic denitrifier, Research of Environmental Sciences. 21(2008):121-125.

To analyze the manufacturing characteristics of power transformer core columns from the performance and material savings and the nonlinear integer regression programming model is established.
To calculate the power transformers [M].Haerbin: Heilongjiang Science & Technology Press, 1986: 37-39 [2] Wang Juan, Yang Yi.
Oil Ducts Optimization Design on the Iron Beam Sectional of the Electricity Transformer [J] Journal of Anhui Electrical Engineering Professional Technique College, 2010, 15(03):1-5 [4] Qiu Qingquan, Li Qingfu.
Journal of Zhongyuan University of Technology, 2000, 11(04):70-72 [6] Li Xiangsheng, Chen Qiaofu.

These materials are addedto control the odor during the raising period.
Experimental Method Materials.
The used materials in this study were Chicken Manure powder (CM), struvite, and ash of EFB.
Nweke, Effect Of Poultry Manure And Mineral Fertilizer On The Growth Performance And Quality Of Cucumber Fruits, Journal Of Experimental Biology And Agricultural Sciences, Vol. 3, No. 4
Hazardous Materials journal,Vol. 169, (2009) Pp. 801–807

Chinese Journal of Mechanical Engineering.
Journal of Mechanical Strength.
L.YAN: Investigation of compilation of fatigue load spectrum by two-parametric counting method [J]，Chinese Academy of Agricultural Mechanization Sciences.
Chinese Journal of Applied Mechanic.
Chinese Journal of Solid Mechanics.