战术导弹的离散突风响应及动载荷计算研究

研究了战术导弹在穿越离散突风区域时,弹体的动力学响应及产生的动载荷.首先,给出了导弹在穿越突风区时的运动方程,其中不仅考虑了弹体的刚体运动,而且考虑了弹体各分站位置及空气舵位置的结构动力学响应引起的附加攻角,以及突风对空气舵的滞后影响效果等.其次,建立了导弹结构动力学模型和"1-cos"突风模型,并给出了弹体动载荷计算公式.最后,通过算例研究了导弹在穿越突风过程中,弹体的动力学响应以及载荷计算问题.     

Birkhoff框架下Whittaker方程的离散变分算法

本文在Birkhoff框架下,采用离散变分方法研究了非Hamilton系统-Whittaker方程的数值解法,并通过和传统的Runge-Kutta方法进行比较,说明了在Birkhoff框架下研究非Hamilton系统可以得到更加可靠和精确的数值结果.     

Image denoising algorithms based on fractional sincα with the covariance of fractional Gaussian fields

Image denoising has been considered as an essential image processing problem that is difficult to address. In this study, two image denoising algorithms based on fractional calculus operators are proposed. The first algorithm uses the convolution of covariance of fractional Gaussian fields with the fractional sinc_α (FS) (sinc function of order α). The second algorithm uses the convolution of covariance of fractional Gaussian fields with the fractional differential Heaviside function, which is the limit of FS. In the proposed algorithms, the given noisy image is processed in a blockwise manner. Each processed pixel is convolved with the mask windows on four directions. The final filtered image based on either FS or fractional differential Heaviside function (FDHS) can be obtained by determining the average magnitude of the four convolution test results for each filter mask windows. The outcomes are evaluated using visual perception and peak signal to noise ratio. Experiments prove the effectiveness of the proposed algorithms in removing Gaussian and Speckle noise. The proposed FS and FDHS achieved average PSNR of 28.88, 28.26?dB, respectively, for Gaussian noise. The improvements outperform those achieved with the use of Gaussian and Wiener filters.     

Fractional heat conduction equation for an infinitely generalized,thermoelastic, long solid cylinder

In this work, we consider the one-dimensional problem for an infinitely long solid cylinder in the context of the theory of generalized thermoelasticity with one relaxation time. The heat conduction equation with the Caputo fractional derivative of order α is used. The curved surface of the cylinder is assumed to be in contact with a rigid surface and is subjected to constant heat flux. By means of the Laplace transform and numerical Laplace inversion the problem is solved. Numerical computations for the temperature, displacement and stress distributions are carried out and displayed graphically as well as the results are discussed comprehensively.     

Combustion Waves on the Point Set Surface

This paper introduces a combustion model of heat transfer and fuel consumption for the propagation of a fire front on a point cloud surface. The heat transfer includes the heat advection by the airflow as well as diffusion, chemical reaction, and heat loss to generate complex, but controllable heat flows with a designed airflow velocity. For the stable heat advection, we solve a semi‐Lagrangian method on point samples using discrete exponential maps to trace the position from which the wind blows while preserving the geodesic distance. We also propose angular Voronoi weights for a discrete Laplace‐Beltrami operator that shows better isotropic diffusion on the inhomogeneous distribution of point clouds than the cotangent or moving least‐squares schemes. We demonstrate a diversity of burning scenarios by incorporating factors affecting the fire spreading such as buoyancy and object geometries in the airflow velocity fields, or by synthesizing patterns.     

A Novel Approach to Improve the Speech Intelligibility Using Fractional Delta-amplitude Modulation Spectrogram

Abstract

Speech enhancement is an interesting research area that aims at improving the quality and intelligibility of the speech that is affected by the additive noises, such as airport noise, train noise, restaurant noise, and so on. The presence of these background noises degrades the comfort of listening of the end user. This article proposes a speech enhancement method that uses a novel feature extraction which removes the noise spectrum from the noisy speech signal using a novel fractional delta-AMS (amplitude modulation spectrogram) feature extraction and the D-matrix feature extraction method. The fractional delta-AMS feature extraction strategy is the modification of the delta-AMS with the fractional calculus that increases the sharpness of the feature extraction. The extracted features from the frames are used to determine the optimal mask of all the frames of the noisy speech signal and the mask is employed for training the deep belief neural networks (DBN). The two metrics root mean square error (RMSE) and perceptual evaluation of speech quality (PESQ) are used to evaluate the method. The proposed method yields a better value of PESQ at all level of noise and RMSE decreases with increased noise level.     

Knowledge representation of the software architecture design process based on situation calculus

Software architecture design is an interactive, complex, decision‐making process. Such a design process involves the exploration, evaluation, and composition of design alternatives. Increasingly, new computer‐aided tools are available to help designers in these complex activities. However, these tools do not know how design is actually done, in other words, by means of which design activities the final artefact was obtained. In fact, the architectural design knowledge exclusively rests in the mind of designers, and there is an urgent need to move it, as much as possible, to a computer‐supported environment that enables the capture of this type of knowledge. This contribution addresses this need by introducing a model for capturing how products under development are generated and transformed along the software architecture design process. The proposed model follows an operational perspective, where architectural design decisions are modelled by means of sequences of operations that are applied on the design products. Situation calculus is used to formally express the existence of an object in a given state of a design process. In addition, this formalism allows us expressing without ambiguities when an operation can be performed in a specific state of the design process.     

AN APPROACH TO REASONING ABOUT HYBRID SYSTEMS

A formal approach is presented for proving temporal properties of dynamic systems. Its main advantage is that it can be used to prove properties of hybrid systems, i.e. those whose state contains both discrete and continuous parameters. In contrast, most current temporal reasoning techniques are restricted either to purely discrete systems or to purely continuous systems. Our approach is based upon a new modeling technique called DMOD. A DMOD model of a system defines the causality relation between events in the system, using definite clauses, i.e. logic programs. Thereby, the problem of reasoning about hybrid systems is reduced to one of reasoning about the behavior of definite clauses. As these possess a simple proof theory, reasoning is substantially simplified.     

FILTRONS AND THEIR ASSOCIATED RING COMPUTATIONS

Certain special computational models called the filter automata (FA) are presented. We use them in iterative, pipelined processing of discrete sequences. Such computations reveal characteristic moving, periodic objects, with soliton-like properties referred to as the filtrons. Filter automata play the role of a transmitting medium or a field, while filtrons behave like waves or particles

We characterise FA by showing their distinguishing features, and fillrons—by introducing some parameters, such as edge numbers, number of FA cycles involved, distribution of internal idle pulses, etc. We show that filtrons may be generated in parallel by a multiprocessor ring net. This means that each filtron has its associated ring computation. If such a computation succeeds then its companion filtron exists, too. The link between filtrons and their ring computations is established simply by the filtron edge numbers. This gives a method of calculating a whole filtron if its edge number and supporting FA are known, and of looking for possible filter automata capable of supporting a prescribed filtron

A number of FA computational phenomena, recently discovered, are also presented. Some of them call for physical experiments to verify to what extent the filter automata may model physical reality. We believe that such experiments could be performed in optical fibres using solitons of light.