检索结果-内蒙古大学图书馆

45th AIAA Thermophysics Conference, 2015

作者： Jiang, Hua Mao, Jun-Kui TU, Ze-Can Shen, Kai Song, Jin-Rong Guo, Wen Huang, Wei-Na College of Energy and Power Engineering Nanjing University of Aeronautics and Astronautics Jiangsu Province Key Laboratory of Aerospace Power System NanjingJiangsu210016 China Collaborative Innovation Center for Advanced Aero-Engine Beijing100191 China College of Materials Science and Technology Nanjing University of Aeronautics and Astronautics NanjingJiangsu210016 China Gas Turbine Establishment Aviation Industry Corporation of China ChengduSichuan610500 China

ISBN: (纸本)9781624103612

The aim of this article is to establish an innovative thermal conductivity prediction method based on microstructure features recognition. Digital image processing technology is applied to analyze electron micrograph of typical long fiber reinforced composites (FRC). A novel practice and the criteria of determining the critical size of Representative Volume Element(RVE) are proposed. The mean value and the standard deviation of equivalent thermal conductivity could be achieved，which can represent more real physical meanings due to considering the real random distribution of fibers. The thermal conductivity of a typical carbon fiber reinforced epoxy matrix was predicted by this novel method. Meanwhile laser flash experimental method was applied to get the equivalent the thermal conductivity. The results of calculation fit well with the measured value, the relative error is a 10.1%. © 2015, American Institute of aeronautics and Astronautics Inc. All Rights Reserved.

关键词： Fiber reinforced plastics

来源：评论

学校读者我要写书评

暂无评论

Investigation of spray cooling performance on different heat transfer surfaces

Investigation of spray cooling performance on different heat...

引用

2014 International Conference on Logistics Engineering, Management and Computer science, LEMCS 2014

作者： Jin, Shicheng Zhang, Yu Ji, Yibin Pang, Liping Yu, Wenxuan School of Aviation Science and Engineering Beijing University of Aeronautics and Astronautics Beijing China Aviation Key Laboratory of Science and Technology on Aero Electromechanical System Integration Nanjing Engineering Institute of Aircraft Systems Nanjing China

ISBN: (纸本)9789462520103

With the rapid development of laser technology and high integrated circuit technology in the field of aerospace, the equipment thermal dissipation is increasing sharply. The traditional thermal control methods such as air natural convection, forced convection and heat pipe cooling cannot meet the demand of high heat flux rejection. Additionally, high heat flux cooling techniques are more difficult to apply to airborne weapons and electronic devices. Consequently, a new efficient cooling technology is urgently required for their thermal management. Because of the advantages such as reduced coolant flow rate, no delay boiling, low temperature difference between the working fluid and the heated surface, and high heat flux removal capability, spray cooling has been one of the most attractive method to solve the high power dissipation problem. For the special requirements of airborne laser weapons and high power electronics, experimental studies were conducted to investigate the heat transfer performance of spray cooling on different heated surfaces. © 2014. The authors - Published by Atlantis Press.

关键词： Electronic cooling

来源：评论

学校读者我要写书评

暂无评论

Prediction of ice shape for three-dimensional engine inlet based on the proper orthogonal decomposition method

Prediction of ice shape for three-dimensional engine inlet b...

引用

2nd International Conference on Advances in Energy and Environmental science, ICAEES 2014

作者： Shen, Xiao Bin Mu, Zuo Dong Lin, Gui Ping Zhou, Yue School of Aeronautic Science and Enginnering Beihang University Beijing China Aviation key laboratory of science and technology on aero electromechanical system integration Nanjing Engineering Institute of Aircraft Systms Nanjing China

ISBN: (纸本)9783038352082

To increase the prediction speed of ice accretion on the 3D engine inlet, the Proper Orthogonal Decomposition (POD) method was introduced. Taking the ice shapes from CFD numerical calculation results as samples, in view of the change of icing temperature, the procedures of predicting the ice shapes by POD method were introduced, which used ice shapes' coordinates and ice accretion height as compute parameters, respectively. The POD and CFD ice shapes were found coincident, which indicates that the POD method can fast and accurately calculate the 3D engine inlet ice shapes. The results from the two different POD parameters were shown and compared, and the ice shapes were nearly the same, which means they have the same effect. However, the POD method based on ice accretion height is simpler and more appropriate. © (2014) Trans Tech Publications, Switzerland.

关键词： Ice

来源：评论

学校读者我要写书评

暂无评论

Research on integration of vapor cycle/liquid-cooled refrigeration system for helicopters 29

Research on integration of vapor cycle/liquid-cooled refrige...

引用

29th Congress of the International Council of the aeronautical sciences, ICAS 2014

作者： Liang, Hu ECS Department AVIC/ Aviation Key Laboratory of Science and Technology on Aero Electromechanical System Integration Nanjing Engineering Institute of Aircraft Systems PO Box 19 Nanjing Jiangsu Province211106 China

ISBN: (纸本)3932182804

Some proposal has been researched on the integration of vapor cycle/liquid-cooled refrigeration system for helicopters. According to mathematic models of system components, the simulation model of this system has been established, heat loads of vapor cycle refrigeration system and lubricant oil system have been removed by the heat sink of fuel and liquid-cooled approaches. The system simulation based on MATLAB/SIMULINK general simulation platform is valuable and significant for integrated system optimization as well as design of system components.

关键词： Refrigeration

来源：评论

学校读者我要写书评

暂无评论

Extending interface automata with Z notation

Extending interface automata with Z notation

引用

4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011

作者： Cao, Zining Wang, Hui National Key Laboratory of Science and Technology on Avionics System Integration Shanghai 200233 China Department of Computer Science and Technology Nanjing University of Aero. and Astro. Nanjing 210016 China Provincial Key Laboratory for Computer Information Processing Technology Soochow University Suzhou 215006 China

In this paper, we propose a specification approach combining interface automata and Z language. This approach can be used to describe behavioural properties and data properties of software components. We also study th... 详细信息

ISBN: (纸本)9783642293191

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

Process Calculus with Data Structure and its Model Checking Algorithm

引用

Physics Procedia 2012年 33卷 782-789页

作者： Qing Zheng Zi-Ning Cao Department of Computer Science and Technology Nanjing University of Aero. & Astro. Nanjing 210016 P.R. China Provincial Key Laboratory for Computer Information Processing Technology Soochow University Suzhou 215006 P.R. China National Key Laboratory of Science and Technology on Avionics System Integration Shanghai 200233 P.R. China

Model checking is one of the most important technology for automatically verification. So this paper generally proposed a method of combining CCS and Z language, to perform model checking. It combines the advantage of current CCS and Z systems, where CCS is good at describing concurrent systems, also Z is a good tool for data structure. As a result, form the new system CCS-Z. Then we give the syntax and semantics of it, at last give the model checking *** advantage of this paper is combined data stucture on the famous system CCS, and increase the capacity of system description.

关键词： Model Checking CTL Z Language CCS

来源：评论

学校读者我要写书评

暂无评论

Bisimulations for open processes in higher order π-calculus

Bisimulations for open processes in higher order π-calculus

引用

2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010

作者： Cao, Zining Department of Computer Science and Technology Nanjing University of Aero. and Astro. Nanjing 210016 China Provincial Key Laboratory for Computer Information Processing Technology Soochow University Suzhou 215006 China National Key Laboratory of Science and Technology on Avionics System Integration Shanghai 200233 China

ISBN: (纸本)9780769541488

In this paper, we propose open bisimulations for open processes in higher order π-calculus. The equivalence of open bisimulations and other bisimulations for open processes is proved. Furthermore, we present a symbolic operational semantics of higher order open processes, and give some symbolic bisimulations for higher order processes. The relation between symbolic bisimulations and other bisimulations is also studied. At last, we introduce a higher order π-calculus with sum and conditional operators, then we study open bisimulations and symbolic bisimulations for this calculus. © 2010 IEEE.

关键词： Calculations

来源：评论

学校读者我要写书评

暂无评论

Temporal logics and model checking algorithms for ZIAs

Temporal logics and model checking algorithms for ZIAs

引用

2nd International Conference on Software Engineering and Data Mining, SEDM 2010

作者： Cao, Zining National Key Laboratory of Science and Technology on Avionics System Integration Shanghai 200233 China Department of Computer Science and Technology Nanjing University of Aero. and Astro. Nanjing 210016 China Provincial Key Laboratory for Computer Information Processing Technology Soochow University Suzhou 215006 China

ISBN: (纸本)9788988678213

In this paper, we first propose a specification approach combining interface automata and Z language. This approach can be used to describe temporal properties and data properties of software components. A branching time logic for ZIAs is presented. We then give an algorithm for model checking this logic on ZIAs with finite domain. Furthermore, we present a mu-calculus logic for ZIAs, and give a model checking algorithm for this logic.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Refinement checking for interface automata with Z notation

Refinement checking for interface automata with Z notation

引用

In this paper, we first introduce a specification approach combining interface automata and Z language, which is named ZIA. A refinement relation on ZIAs is proposed. We then give an algorithm for checking refinement ... 详细信息

ISBN: (纸本)1891706268

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

Temporal Logics and Model Checking Algorithms for ZIAs

Temporal Logics and Model Checking Algorithms for ZIAs

引用

The 2nd International Conference on Software Engineering and Data Mining(IEEE 第二届国际软件工程和数据挖掘学术大会 SEDM 2010)

作者： Zining Ca0 National Key Laboratory of Science and Technology on Avionics System Integration Shanghai 200233. P. R. China Department of Computer Science and Technology Nanjing University of Aero. & Astro.Nanjing 210016 P. R. China Provincial Key Laboratory for Computer Information Processing Technology Soochow University Suzhou 215006. P. R. China

ISBN: (纸本)9781424473243;9788988678220;9788988678213

In this paper, we first propose a specification ap-proach combining interface automata and Z language. This approach can be used to describe temporal properties and data properties of software components. A branching time logic for ZIAs is presented. We then give an algorithm for model checking this logic on ZIAs with finite domain. Furthermore, we present a mu-calculus logic for ZIAs, and give a model checking algorithm for this logic.

关键词： model checking interface automata Z notation temporal logic

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：