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

2011 International Conference on Electronic and Mechanical Engineering and Information technology, EMEIT 2011

作者： Xu, Songlin Liu, Yonggui Zheng, Hang Wang, Daorong CAS Key Laboratory for Mechanical Behavior and Design of Materials University of Science and Technology of China Hefei Anhui 230026 China National Key Laboratory of Science and Technology on Test Physics and Numerical Mathematics Beijing 100076 China

ISBN: (纸本)9781612840857

Two kinds of magnetic gauges, including electromagnetic particle velocity (EMV) gauge and a combined gauge composed of EMV gauge and electromagnetic (EM) stress gauge, are introduced to investigate the dynamic damage of brittle materials subjected to shock loading. The former is now used for the measurements of non-magnetic materials under pressure-shear impact loading. The latter one can be used in normal plate impact, and the experimental results with this gauge could be self-proofed. The preliminarily experimental results show that these techniques are satisfactory. © 2011 IEEE.

关键词： Gages

来源：评论

学校读者我要写书评

暂无评论

Nonlinear control algorithm for smooth transition in large-angle attitude maneuver

Nonlinear control algorithm for smooth transition in large-a...

引用

International Conference on Recent Advancements in Electrical, Electronics and Control Engineering (ICONRAEeCE)

作者： Runle Du Jiaqi Liu Yonghai Wang Gang Meng Chenyang Mu National Key Laboratory of Science and Technology on Test Physics and Numerical Mathematics China

Large-angle attitude maneuver is common during the mission of spacecrafts, such as aligning to star to calibrate navigation system. Published works on attitude tracking always focus on optimizing the time and fuel cost, neglecting the smoothness requirement and angular speed limitations. In this paper, a nonlinear control algorithm is prompted for smooth transition in large-angle attitude maneuver. A nonlinear filter is added to the attitude feedback control loop, to carry out angular speed control in large-angle maneuvers. Simulation results demonstrated the effectiveness and reliability of proposed approach.

关键词： Attitude control Space vehicles Mathematical model Equations Switches Fuels

来源：评论

学校读者我要写书评

暂无评论

Relationship Between East Asian Winter Monsoon and Summer Monsoon

引用

Advances in Atmospheric sciences 2011年第6期28卷 1345-1356页

作者：晏红明杨辉袁媛李崇银 Yunnan Climate Center State Key Laboratory of Numerical Modeling for Atmospheric and Geophysical Fluid Dynamics Institute of Atmospheric PhysicsChinese Academy of Sciences National Climate Center School of Meteorology PLA University of Science and Technology

Using national Centers for Environmental Prediction/national Centre for Atmospheric Research（NCEP/NCAR） reanalysis data and monthly Hadley Center sea surface temperature（SST） data,and selecting a representative East Asian winter monsoon（EAWM） index,this study investigated the relationship between EAWM and East Asian summer monsoon（EASM） using statistical analyses and numerical *** possible mechanisms regarding this relationship were also *** indicate a close relationship between EAWM and EASM：a strong EAWM led to a strong EASM in the following summer,and a weak EAWM led to a weak EASM in the following *** EAWM has persistent impacts on the variation of SST in the tropical Indian Ocean and the South China Sea,and on the equatorial atmospheric thermal anomalies at both lower and upper *** these impacts,the EAWM influences the land-sea thermal contrast in summer and the low-level atmospheric divergence and convergence over the Indo-Pacific *** further affects the meridional monsoon circulation and other features of the *** simulations support the results of diagnostic *** study provides useful information for predicting the EASM by analyzing the variations of preceding EAWM and tropical SST.

关键词： East Asian winter monsoon East Asian summer monsoon interannual variation interaction possible mechanism

来源：评论

学校读者我要写书评

暂无评论

Impacts of the MJO on Winter Rainfall and Circulation in China

引用

Advances in Atmospheric sciences 2011年第3期28卷 521-533页

作者：贾小龙陈丽娟任福民李崇银 National Climate Center China Meteorological Administration State Key Laboratory of Numerical Modeling for Atmospheric Sciences and Geophysical Fluid Dynamics Institute of Atmospheric PhysicsChinese Academy of Sciences Institute of Meteorology PLA University of Science and Technology

Impacts of the MJO on winter rainfall and circulation in China are investigated using a real-time multivariate MJO *** results using the daily rainfall anomalies and "rainy day" anomalies according to eight different MJO phases show that the MJO has considerable influence on winter rainfall in China. Rainfall anomalies show systematic and substantial changes(enhanced/suppressed) in the Yangtze River Basin and South China with the eastward propagation of the MJO convective center from the Indian Ocean to the western *** the MJO is in phase 2 and 3(MJO convective center is located over the Indian Ocean),rainfall probability is significantly *** in phase 6 and 7(MJO convective center is over the western Pacific),rainfall probability is significantly reduced. MJO in winter influences the rainfall in China mainly through modulating the circulation in the subtropics and mid-high *** the subtropics,MJO influences the northward moisture transport coming from the Bay of Bengal and the South China Sea by modulating the southern trough of the Bay of Bengal and the western Pacific subtropical *** the mid-high latitudes,the propagation of the low frequency perturbations associated with the eastward-propagating MJO convection modulate the circulation in the mid-high latitudes,*** East Asian winter monsoon and the low trough over central Asia.

关键词： MJO rainfall anomaly subtropics mid-high latitudes vertical motion

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：