Air Defense Forces Academy
Air Defense Forces Academy
Miao D.,Shaoguan University |
Xi J.,South China University of Technology |
Liu X.,Air Defense Forces Academy |
Dai J.,Shaoguan University
International Journal of Simulation: Systems, Science and Technology | Year: 2016
In this paper we consider basic logical structures of indexed co-inductive data type (ICDT, in short) over a fibration such as truth and quotient functor. Wee present an indexed fibration, then propose the relation fibration and equation functor of indexed fibration, and construct co-recursive operation to analyze semantic behavior of ICDT and its co-inductive rule by coalgebra category and functor lifting. Finally, we briefly introduce the applications of Fibrations theory to ICDT by example. © 2016, UK Simulation Society. All rights reserved.
You P.,National University of Defense Technology |
Peng Y.,National University of Defense Technology |
Liu W.,Jiangsu Automation Research Institute |
Xue S.,Air Defense Forces Academy
Proceedings - 32nd IEEE International Conference on Distributed Computing Systems Workshops, ICDCSW 2012 | Year: 2012
Recently, Cloud computing, as one of the hottest words in IT world, has drawn great attention. Many IT companies such as IBM, Google, Amazon, Microsoft, Yahoo and others vigorously develop cloud computing systems and related products to customers. However, there are still some difficulties for customers to adopt cloud computing, in which many security issues exist, because data for a customer is stored and processed in cloud, not in a local machine. This paper briefly introduces cloud computing and its key concepts. In particularly, we intend to discuss security requirements and security issues involving data, application and virtualization in cloud computing, as well as current solutions to these issues. © 2012 IEEE.
Zhongyin L.,Shenzhen University |
Jianjun H.,Shenzhen University |
Jingxiong H.,Air Defense Forces Academy
IEEE Region 10 Annual International Conference, Proceedings/TENCON | Year: 2016
In this paper, a new approach based on Sub-sampled Inverse Fast Fourier Transform (SSIFFT) for efficiently acquiring compressive measurements is proposed, which is motivated by random filter based method and sub-sampled FFT. In our approach, to start with, we multiply the FFT of input signal and that of random-tap FIR filter in frequency domain and then utilize SSIFFT to obtain compressive measurements in the time domain. It requires less data storage and computation than the existing methods based on random filter. Moreover, it is suitable for both one-dimensional and two-dimensional signals. Experimental results show that the proposed approach is effective and efficient. © 2015 IEEE.
Tao Y.,Air Defense Forces Academy |
Xing W.,Zhengzhou University |
Mei Z.,Air Defense Forces Academy
Lecture Notes in Electrical Engineering | Year: 2016
Recruits add fresh blood to army. The quality of recruit training will influence their own growth, army development, and combat effectiveness. In general, recruits’ physical fitness needs to be improved by training. Therefore, the impacts of high-intensity training on recruits’ body function are highly concerned by military administrators. This thesis analyzes recruits’ myocardial health through detecting samples of their myocardial enzymogram. Causes of their myocardial health problems are traced, and strategies on strengthening and innovating recruit training are discussed. Training organizers should adhere to scientific training principles, innovate training methods, and strengthen management and control throughout whole process. This provides an important basis and useful reference for recruit training under current situation. © Springer Science+Business Media Singapore 2016.
Song Z.-X.,Zhengzhou University |
Li W.-W.,Zhengzhou University |
Li X.-H.,Zhengzhou University |
Dai Y.,Zhengzhou University |
And 3 more authors.
International Journal of Hydrogen Energy | Year: 2013
A new fermentative hydrogen-producing strain FS2011 was isolated from an effluent of bio-hydrogen production reactor, and identified as Bacillus amyloliquefaciens on the basis of 16S rDNA gene sequence. The strain could utilize various carbon and nitrogen sources to produce hydrogen in a broad range of initial pH (5.29-7.38). Phosphate buffer concentration and fermentation temperature significantly affected hydrogen production and cell growth. The maximum hydrogen yield of 2.26 mol/mol was observed at glucose concentration of 10 g/l, beef extract concentration of 2 g/l, initial pH 6.98, phosphate buffer of 20 mmol/l, and 35 °C, indicating FS2011 was a high-efficiency hydrogen-producing bacterium.
Zhang Y.,Air Defense Forces Academy |
Wang X.,Air Defense Forces Academy |
Li M.,Air Defense Forces Academy |
Liu Y.,Air Defense Forces Academy
Qiangjiguang Yu Lizishu/High Power Laser and Particle Beams | Year: 2013
Focusing on the random vibration phenomena in infrared video sequences taken from moving vehicles, a BRISK characteristic point matching based high-precision global motion estimation algorithm is proposed. For mismatch in feature point matching and moving objects in the scene, fuzzy clustering method is used to separate global motion and local motion, which improves the robustness of the algorithm. A Kalman particle filter is used to separate the complex scanning movements and random vibration effectively. Meanwhile, we use bilinear interpolation for image compensation. Finally, a panoramic image is acquired by processing the "undefined region" with fast image alignment. A series of experiments have been carried out using video sequences taken on vehicle-borne thermal camera and the experimental results illustrate that the video sequences are well stabilized, which meet the requirements for practical use.
Pang Z.,Air Defense Forces Academy |
Li T.,Air Defense Forces Academy
Lecture Notes in Electrical Engineering | Year: 2014
Based on human-machine operating optimization analysis of a certain type of chariot, using stopwatch time studies, by selecting qualified staff, scientific plotting out operating unit, and calculating the number of observations, and carrying out time data acquisition and analysis in accordance with the operating procedures, and eliminating outlier data, and combining the Westinghouse appraisal coefficient to determine the time standard and so on, operation measurement quantitative scientific and accuracy of a certain type of chariot deploying phase. So as to providing a reference for the formulation of a certain type of chariot operation courses appraisal standards, its core methods also have guiding significance for the study of related comprehend. © 2014 Springer-Verlag.
Yang Z.,Air Defense Forces Academy |
Yang X.,Air Defense Forces Academy
Advances in Intelligent and Soft Computing | Year: 2012
Aiming at the low efficiency and the safety short-board effects by different authentication mechanism in vary wireless networks, the paper proposes IHS mechanism, and the research of the identifier mapping in this mechanism has been take, which provides network with the global memory, mapping and inquires of all the identifier information. It is important to communicate safely in heterogeneous wireless network. © 2012 Springer-Verlag GmbH.
Yun L.,Air Defense Forces Academy |
Jin S.H.,Air Defense Forces Academy
Applied Mechanics and Materials | Year: 2013
This paper introduces a flat plate capacitive sensor, used for humidity test on large plate, mainly expounds the structure, the sensitivity of sensor, detecting depth, detection circuit, etc. © (2013) Trans Tech Publications, Switzerland.
Xiong G.,Nanjing University of Science and Technology |
Zhang S.,Nanjing University of Science and Technology |
Liu Q.,Air Defense Forces Academy
Physica A: Statistical Mechanics and its Applications | Year: 2012
Although the multifractal singularity spectrum revealed the distribution of singularity exponent, it failed to consider the temporal information, therefore it is hard to describe the dynamic evolving process of non-stationary and nonlinear systems. In this paper, we aim for a multifractal analysis and propose a time-singularity multifractal spectrum distribution (TS-MFSD), which will hopefully reveal the spatial dynamic character of fractal systems. Similar to the Wigner-Ville time-frequency distribution, the time-delayed conjugation of fractal signals is selected as the windows function. Furthermore, the time-varying Holder exponent and the time-varying wavelet singularity exponent are deduced based on the instantaneous self-correlation fractal signal. The time-singularity exponent distribution i.e. TS-MFSD is proposed, which involves time-varying Hausdorff singularity spectrum distribution, time-varying large deviation multifractal spectrum and time-varying Legendre spectrum distribution, which exhibit the singularity exponent distribution of fractal signal at arbitrary time. Finally, we studied the algorithm of the TS-MFSD based on the wavelet transform module maxima method, analyzed and discussed the characteristic of TS-MFSD based on Devil Staircase signal, stochastic fractional motion and real sea clutter. © 2012 Elsevier B.V. All rights reserved.