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

The sublimation energy of metal versus temperature and pressure and its influence on blow-off impulse

World Academy of science, Engineering and technology 2011年 81卷 620-623页

作者： Tang, Wenhui Wang, Daorong Huang, Xia Ran, Xianwen Institute of Technological Physics College of Science National University of Defense Technology Changsha 410073 China National Key Laboratory of Science and Technology Test Physics and Numerical Mathematics Beijing 100076 China

Based on the thermodynamic theory, the dependence of sublimation energy of metal on temperature and pressure is discussed, and the results indicate that the sublimation energy decreases linearly with the increase of temperature and pressure. Combined with this result, the blow-off impulse of aluminum induced by pulsed X-ray is simulated by smoothed particle hydrodynamics (SPH) method. The numerical results show that, while the change of sublimation energy with temperature and pressure is considered, the blow-off impulse of aluminum is larger than the case that the sublimation energy is assumed to be a constant.

关键词： Aluminum

来源：评论

学校读者我要写书评

暂无评论

Interdecadal Change of the Relationship Between the Tropical Indian Ocean Dipole Mode and the Summer Climate Anomaly in China

引用

Acta meteorologica Sinica 2011年第2期25卷 129-141页

作者：赵姗姗周天军杨修群朱益民谭言科孙旭光 Division of Climate Impact Assessment National Climate Center State Key Laboratory of Numerical Modeling for Atmospheric Sciences and Geophysical Fluid Dynamics Institute of Atmospheric PhysicsChinese Academy of Sciences School of Atmospheric Sciences Nanjing University Institute of Meteorology PLA University of Science and Technology

The interdecadal change of the relationship between the tropical Indian Ocean dipole（IOD） mode and the summer climate anomaly in China is investigated by using monthly precipitation and temperature records at 210 stations in China and the NCEP/NCAR reanalysis data for *** results indicate that along with the interdecadal shift in the large-scale general circulation around the late 1970s,the relationship between the IOD mode and the summer climate anomaly in some regions of China has significantly *** the late 1970s,a developing IOD event is associated with an enhanced East Asian summer monsoon,which tends to decrease summer precipitation and increase summer temperature in South China;while after the late 1970s,it is associated with a weakened East Asian summer monsoon,which tends to increase（decrease） precipitation and decrease（increase） temperature in the south（north） of the Yangtze *** the next summer,following a positive IOD event,precipitation is increased in most of China before the late 1970s,while it is decreased（increased） south（north） of the Yangtze River after the late *** is no significant correlation between the IOD and surface air temperature anomaly in most of China in the next summer before the late 1970s;however,the IOD tends to increase the next summer temperature south of the Yellow River after the late 1970s.

关键词： tropical Indian Ocean dipole（IOD） summer climate anomaly in China interannual variability interdecadal change

来源：评论

学校读者我要写书评

暂无评论

Investigation of the SISAR imaging of the ground moving target under multipath interference

Investigation of the SISAR imaging of the ground moving targ...

引用

IEEE national Conference on Radar

作者： Xiaoliang Li Cheng Hu Dazhi Zeng Teng Long Xiangrong Liu School of Information and Electronics Beijing Institute of Technology Beijing China Test Physics & Numerical Mathematical National Key Laboratory of Science and Technology Beijing China

In the ground-based FSR, the strong ground reflected signal seriously cancel the useful signal, as a result the estimation methods of the target images in current SISAR imaging technology are no longer applicable. The height difference of the target can't be estimated from the amplitude of complex profile function (CPF). In this paper, firstly, the multipath interference on the forward scatter (FS) signal model and imaging results of the moving target are analyzed by the two ray path model. Then, the estimation methods of the target profile image under multipath interference condition are presented. As a result, the accurate target images that cannot be achieved by using the current imaging algorithm can be extracted using the modified imaging algorithm. Finally, the effectiveness of the estimation methods is validated by the simulations.

关键词： Imaging Estimation Reflection Radar imaging Interference Radar scattering

来源：评论

学校读者我要写书评

暂无评论

A finite point method based on directional derivatives for diffusion equation

引用

World Academy of science, Engineering and technology 2011年 81卷 211-216页

作者： Lv, Guixia Shen, Longjun National Key Laboratory of Science and Technology on Computational Physics Institute of Applied Physics and Computational Mathematics P. O. Box 8009-26 Beijing 100088 China

This paper presents a finite point method based on directional derivatives for diffusion equation on 2D scattered points. To discretize the diffusion operator at a given point, a six-point stencil is derived by employing explicit numerical formulae of directional derivatives, namely, for the point under consideration, only five neighbor points are involved, the number of which is the smallest for discretizing diffusion operator with first-order accuracy. A method for selecting neighbor point set is proposed, which satisfies the solvability condition of numerical derivatives. Some numerical examples are performed to show the good performance of the proposed method.

关键词： numerical methods

来源：评论

学校读者我要写书评

暂无评论

Iteration acceleration for nonlinear coupled parabolic-hyperbolic system

引用

World Academy of science, Engineering and technology 2011年 81卷 624-629页

作者： Cui, Xia Yuan, Guang-Wei Yue, Jing-Yan National Key Laboratory of Science and Technology on Computational Physics Institute of Applied Physics and Computational Mathematics P. O. Box 8009-26 Beijing 100088 China

A Picard-Newton iteration method is studied to accelerate the numerical solution procedure of a class of two-dimensional nonlinear coupled parabolic-hyperbolic system. The Picard-Newton iteration is designed by adding higher-order terms of small quantity to an existing Picard iteration. The discrete functional analysis and inductive hypothesis reasoning techniques are used to overcome difficulties coming from nonlinearity and coupling, and theoretical analysis is made for the convergence and approximation properties of the iteration scheme. The Picard-Newton iteration has a quadratic convergent ratio, and its solution has second order spatial approximation and first order temporal approximation to the exact solution of the original problem. numerical tests verify the results of the theoretical analysis, and show the Picard-Newton iteration is more efficient than the Picard iteration.

关键词： Convergence of numerical methods

来源：评论

学校读者我要写书评

暂无评论

A verification approach for Web service compositions based on epistemic model checking

引用

Jisuanji Xuebao/Chinese Journal of Computers 2011年第6期34卷 1041-1061页

作者： Luo, Xiang-Yu Tan, Zheng Su, Kai-Le Wu, Li-Jun College of Computer Science and Technology Huaqiao University Xiamen Fujian 361021 China School of Software Tsinghua University Beijing 100084 China No 504 Plant China National Nuclear Corporation Lanzhou 730065 China Key Laboratory of High Confidence Software Technologies of Ministry of Education Peking University Beijing 100871 China College of Mathematics Physics and Information Engineering Zhejiang Normal University Jinhua Zhejiang 321004 China School of Computer Science and Engineering University of Electronic Science and Technology Chengdu 410073 China

In recent years, the formal verification of Web service compositions is gradually becoming a hot research area. As a mainstream technique for formal verification, model checking is able to not only overcome the shortcoming of traditional software test techniques that they cannot generate the complete set of test cases, but also automatizes the verification process. In this paper, the authors propose and implement an epistemic model checking approach for the verification of Web service compositions by modeling them as multi-agent systems. After analyzing the BPEL control flow, the authors first propose a formal model for the BPEL activities and give the semantics of the implementation of the BPEL activities. By taking the so-call transition seven-tuple as the intermediate form, the authors further develop two automatic transform algorithms, one converts the BPEL process to the set of seven-tuples and the other converts this set of seven-tuples to the input language of MCTK (a model checker for multi-agent systems developed by the authors), such that can finally implement the verification by MCTK. The experimental results show that the proposed algorithms can effectively verify not only the temporal logical specifications, but also the temporal epistemic logical specifications, which are proper to multi-agent systems.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Performance study of complex application programs on tens of thousands cores

引用

Ruan Jian Xue Bao/Journal of Software 2011年第SUPPL. 2期22卷 157-162页

作者： Gao, Xing-Yu Cao, Xiao-Lin Zhao, Wei-Bo Zhang, Ai-Qing Mo, Ze-Yao High Performance Computing Center Institute of Applied Physics and Computational Mathematics Beijing 100094 China Key Laboratory of Science and Technology for National Defense Institute of Applied Physics and Computational Mathematics Beijing 100094 China

Oriented to the large-scale computation on tens of thousands cores, the parallel software infrastructure named JASMIN has released a new version which has improved the enabling techniques and numerical algorithms. With downward compatible programming interfaces, the new version can enhance the scalability of the programs free of application users' effort. To investigate the scalability of the programs based on JASMIN, we test and analyze the performance of five complex application programs on tens of thousands cores of TH-1A supercomputer. These programs were developed for the high-performance computation arising from inertial confinement fusion, material science as well as the high-power microwave. It is shown that four programs achieve a parallel efficiency of over 60% on 42,000 cores and three ones achieve a parallel efficiency of over 45% on 84,000 cores. ©2011 Journal of Software.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

Potential Predictability of Sea Surface Temperature in a Coupled Ocean-Atmosphere GCM

引用

Advances in Atmospheric sciences 2010年第4期27卷 921-936页

作者：严厉王盘兴俞永强李立娟王斌 Institute of Atmospheric Sciences Nanjing University of Information Science & Technology National Key Laboratory of Numerical Modeling for Atmospheric Sciences and Geophysical Fluid Dynamics Institute of Atmospheric Physics Chinese Academy of Sciences

Using the Flexible Global Ocean-Atmosphere-Land System model （FGOALS） version g1.11, a group of seasonal hindcasting experiments were carried out. In order to investigate the potential predictability of sea surface temperature （SST）, singular value decomposition （SVD） analyses were applied to extract dominant coupled modes between observed and predicated SST from the hindcasting experiments in this study. The fields discussed are sea surface temperature anomalies over the tropical Pacific basin （20~0S-20~0N, 120~0E- 80~0W）, respectively starting in four seasons from 1982 to 2005. On the basis of SVD analysis, the simulated pattern was replaced with the corresponding observed pattern to reconstruct SST anomaly fields to improve the ability of the simulation. The predictive skill, anomaly correlation coefficients （ACC）, after systematic error correction using the first five modes was regarded as potential predictability. Results showed that： 1） the statistical postprocessing approach was effective for systematic error correction; 2） model error sources mainly arose from mode 2 extracted from the SVD analysis-that is, during the transition phase of ENSO, the model encountered the spring predictability barrier; and 3） potential predictability （upper limits of predictability） could be high over most of the tropical Pacific basin, including the tropical western Pacific and an extra 10-degrees region of the mid and eastern Pacific.

关键词： coupled GCM hindcasting experiments SST singular value decomposition potential pre-dictability

来源：评论

学校读者我要写书评

暂无评论

test of the hadronic interaction models at around *10 TeV with Tibet EAS core data

Test of the hadronic interaction models at around *10 TeV wi...

引用

32nd International Cosmic Ray Conference, ICRC 2011

作者： Amenomori, M. Bi, X.J. Chen, D. Chen, W.Y. Cui, S.W. Luobu, Danzeng Ding, L.K. Ding, X.H. Feng, C.F. Feng, Zhaoyang Feng, Z.Y. Gou, Q.B. Guo, H.W. Guo, Y.Q. He, H.H. He, Z.T. Hibino, K. Hotta, N. Hu, Haibing Hu, H.B. Huang, J. Li, W.J. Jia, H.Y. Jiang, L. Kajino, F. Kasahara, K. Katayose, Y. Kato, C. Kawata, K. Ciren, Laba Le, G.M. Li, A.F. Liu, C. Liu, J.S. Lu, H. Meng, X.R. Mizutani, K. Munakata, K. Nanjo, H. Nishizawa, M. Ohnishi, M. Ohta, I. Ozawa, S. Qian, X.L. Qu, X.B. Saito, T. Saito, T.Y. Sakata, M. Sako, T.K. Shao, J. Shibata, M. Shiomi, A. Shirai, T. Sugimoto, H. Takita, M. Tan, Y.H. Tateyama, N. Torii, S. Tsuchiya, H. Udo, S. Wang, H. Wu, H.R. Xue, L. Yamamoto, Y. Yang, Z. Yasue, S. Yuan, A.F. Yuda, T. Zhai, L.M. Zhang, H.M. Zhang, J.L. Zhang, X.Y. Zhang, Y. Zhang, Y.I. Zhang, Ying Ngzhu, Zhaxisa Zhou, X.X. Department of Physics Hirosaki University Hirosaki 036-8561 Japan Key Laboratory of Particle Astrophysics Institute of High Energy Physics Chinese Academy of Sciences Beijing 100049 China Institute for Cosmic Ray Research University of Tokyo Kashiwa 277-8582 Japan Department of Physics Hebei Normal University Shijiazhuang 050016 China Department of Mathematics and Physics Tibet University Lhasa 850000 China Department of Physics Shandong University Jinan 250100 China Institute of Modern Physics SouthWest Jiaotong University Chengdu 610031 China Faculty of Engineering Kanagawa University Yokohama 221-8686 Japan Faculty of Education Utsunomiya University Utsunomiya 321-8505 Japan Department of Physics Konan University Kobe 658-8501 Japan Research Institute for Science and Engineering Waseda University Tokyo 169-8555 Japan Faculty of Engineering Yokohama National University Yokohama 240-8501 Japan Department of Physics Shinshu University Matsumoto 390-8621 Japan School of Information Science and Engineering Shandong Agriculture University Taian 271018 China Saitama University Saitama 338-8570 Japan National Institute of Informatics Tokyo 101-8430 Japan Sakushin Gakuin University Utsunomiya 321-3295 Japan Tokyo Metropolitan College of Industrial Technology Tokyo 116-8523 Japan Max-Planck-Institut Für Physik München D-80805 Germany College of Industrial Technology Nihon University Narashino 275-8576 Japan Shonan Institute of Technology Fujisawa 251-8511 Japan RIKEN Wako 351-0198 Japan School of General Education Shinshu University Matsumoto 390-8621 Japan

A hybrid experiment has been started by ASγ collaboration at Tibet, China, since May 2009, that consists of a burst-detector-grid (YAC, Yangbajing Air shower Core array) and the Tibet air-shower array (Tibet-III). The first step of YAC, called YAC-I, contains 16 detector units and observes high energy electromagnetic particles in air-shower cores within several meters from the shower axis, and Tibet-III array measures the total energy and the arrival direction of air showers. YAC-I is used to check hadronic interaction models currently used for air-shower simulations such as QGSJET, SIBYLL , EPOS etc. through the multi-parameter measurement in air-shower cores. In this paper, we used a data set collected from May 1st 2009 through February 23rd 2010 by the YAC-I. The effective live time used for the present analysis is 169.65 days. The preliminary results of the interaction model checking at *10 TeV energy region is reported in this paper.

关键词： Cosmic rays

来源：评论

学校读者我要写书评

暂无评论

Air-shower core detector array to study the mass composition of cosmic rays beyond 100 TeV by Tibet hybrid experiment

Air-shower core detector array to study the mass composition...

引用

32nd International Cosmic Ray Conference, ICRC 2011

作者： Amenomori, M. Bi, X.J. Chen, D. Chen, W.Y. Cui, S.W. Danzengluobu Ding, L.K. Ding, X.H. Feng, C.F. Feng, Zhaoyang Feng, Z.Y. Gou, Q.B. Guo, H.W. Guo, Y.Q. He, H.H. He, Z.T. Hibino, K. Hotta, N. Hu, Haibing Hu, H.B. Huang, J. Li, W.J. Jia, H.Y. Jiang, L. Kajino, F. Kasahara, K. Katayose, Y. Kato, C. Kawata, K. Labaciren Le, G.M. Li, A.F. Liu, C. Liu, J.S. Lu, H. Meng, X.R. Mizutani, K. Munakata, K. Nanjo, H. Nishizawa, M. Ohnishi, M. Ohta, I. Ozawa, S. Qian, X.L. Qu, X.B. Saito, T. Saito, T.Y. Sakata, M. Sako, T.K. Shao, J. Shibata, M. Shiomi, A. Shirai, T. Sugimoto, H. Takita, M. Tan, Y.H. Tateyama, N. Torii, S. Tsuchiya, H. Udo, S. Wang, H. Wu, H.R. Xue, L. Yamamoto, Y. Yang, Z. Yasue, S. Yuan, A.F. Yuda, T. Zhai, L.M. Zhang, H.M. Zhang, J.L. Zhang, X.Y. Zhang, Y. Zhang, Y.I. Zhang, Ying Zhaxisangzhu Zhou, X.X. Department of Physics Hirosaki University Hirosaki 036-8561 Japan Key Laboratory of Particle Astrophysics Institute of High Energy Physics Chinese Academy of Sciences Beijing 100049 China Institute for Cosmic Ray Research University of Tokyo Kashiwa 277-8582 Japan Department of Physics Hebei Normal University Shijiazhuang 050016 China Department of Mathematics and Physics Tibet University Lhasa 850000 China Department of Physics Shandong University Jinan 250100 China Institute of Modern Physics SouthWest Jiaotong University Chengdu 610031 China Faculty of Engineering Kanagawa University Yokohama 221-8686 Japan Faculty of Education Utsunomiya University Utsunomiya 321-8505 Japan Department of Physics Konan University Kobe 658-8501 Japan Research Institute for Science and Engineering Waseda University Tokyo 169-8555 Japan Faculty of Engineering Yokohama National University Yokohama 240-8501 Japan Department of Physics Shinshu University Matsumoto 390-8621 Japan School of Information Science and Engineering Shandong Agriculture University Taian 271018 China Saitama University Saitama 338-8570 Japan National Institute of Informatics Tokyo 101-8430 Japan Sakushin Gakuin University Utsunomiya 321-3295 Japan Tokyo Metropolitan College of Industrial Technology Tokyo 116-8523 Japan Max-Planck-Institut Für Physik München D-80805 Germany College of Industrial Technology Nihon University Narashino 275-8576 Japan Shonan Institute of Technology Fujisawa 251-8511 Japan RIKEN Wako 351-0198 Japan School of General Education Shinshu University Matsumoto 390-8621 Japan

New air-shower core detector YAC has been developed to measure cosmic-ray mass composition around the energy region of the knee. Prototype experiment YAC1 was successfully carried out in 2009-2010 together with Tibet III air-shower array. Enlarged installation YAC2 is also under construction and will be operated in fall 2011. Preliminary result of YAC1 and performance of YAC2 are presented in this paper. The test of interaction models currently used in air-shower simulation was made using YAC1 results. Burst size flux predicted by QGSJET2 and SIBYLL models are compatible with data of YAC1 while QGSJET1 predicts 20 % lower flux and EPOS does 30 % lower flux. Proton flux was derived from YAC1 data based on QGSJET2 model and it is smoothly connected with direct observation data at lower energies and also with previously reported our works at higher energies.

关键词： Cosmic rays

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：