Formal verification for safety-critical software requirements is used to improve the safety of software system. Model checking precisely verifies the related properties of software system, but there still exist limitations in properties extraction which is traditionally obtained by artificial definition....

It is introduced in this paper the principle of wavelet de-noising, wavelet base, the choice of wavelet decomposition level, the wavelet threshold selection for signal de-noising effect is analyzed. Matlab software for simulation study is made on the wavelet noise reduction; In the seabed sediment acoustics...

In recent decades, a lot of quality and design problems of urban footbridge appear, these bridge problems often causes traffic jams and different traffic accidents, more serious bridge problem will cause certain people casualties. This paper uses universal finite element software ANSYS to establish three-dimensional...

Fischer Technik is a high-tech engineering assembled model. It is an ideal teaching aids for demonstrating scientific principles and technological processes. The main components of Fischer Technik are high quality nylon plastic with accurate dimensions; you can repeat disassembly without affecting the...

Wireless sensor network target tracking node selection has a significant impact on the life cycle of wireless sensor networks, therefore this paper proposes a tracking node selection algorithm with tracking quality assurance. First, analyzes three elements wich have impact on residual energy of node...

Aiming at the problems in service oriented real-time multimedia transmission, such as a long delay, frequent jitter and low reliability, this paper proposes LD-RPath algorithm LD/RPath estimates the dynamic data volume on service nodes and links through reasonable data volume approximation. And the data...

A new vibration device of process electrode has been provided in the paper, which achieves the aim of developing process state and improving process speed. Set out from improving system process efficiency and process quality, it analyses the characteristics of EDM and make sure appropriate parameter...

On the basis of cloud model, proposed the intelligence firefly algorithm, analyzes the position, strengths and weakness in objective function’s quantization individuals of solving problems. We propose the applications of improved firefly algorithm in cloud computing task scheduling. Starts with the need...

A method begins by a processing module of a dispersed storage network (DSN) obtaining utilization information regarding a plurality of storage units of the DSN, where first and second sets of storage units support a first logical storage vault. The method continues with the processing module detecting...

A system for promoting the safety of workers comprises a digital imaging device positioned to capture one or more images of a predetermined viewing area. Further, the system comprises an image processor operatively associated with the digital imaging device. The image processor is configured to determine...

Methods, systems and devices are provided for motion-activated display of messages on an activity monitoring device. In one embodiment, method for presenting a message on an activity monitoring device is provided, including the following method operations: downloading a plurality of messages to the device;...

For the massive image data and the problem of “dimension disaster”, this paper proposes the BOF-based image retrieval improved algorithm, and combines with VLAD and soft assignment it generates the soft assignment local aggregation descriptor (SA-VLAD) which has a better ability to resist the dimension...

In order to eliminate the redundancy of the video on visual information and improve the matching speed of video sub-sequence, an efficient solution is to extract a set key frame which is far less than an entire video frame to represent the video content. The common practice of extracting the video key...

A system, method, and computer program product determine when a user's mobile device has left a secured location, such as a house or office, without predefined site security settings being met, and responsively inform the user of any security anomalies. A predetermined distance threshold is compared...

This paper based on the Grey Theory and Markov Theory, the Two Order Grey Markov Model(GMM(2,1)) is established. The modeling process are analyzed firstly, instead of using only one theory model or only using GM(1,1) in the past, this article also through a real instance comparing GM(1, 1) ,GM (2, 1)...

With the development of computer technology, the application of computer technology in foundry industry is becoming more and more widely. This article designs the casting process parameters database through the Delphi technology, and with management and query of the casting process parameters database,...

Through the Delphi technique combined with the application examples, this article processed design for the basic functions of the database system of casting process, through the three dimensional diagram of a casting, it processed draft Angle operation, minimum cast hole operation, the machining allowance...

Support vector machine is a classification algorithm emerged in recent years and has been successfully applied to many areas, and least squares support vector machine is a technology developed from the traditional support vector machine and has important researching significance. Firstly, this paper...

The TSP is a typical NPproblem. Therefore it is very important to the optimization for solving TSP problem. The genetic algorithm is one of ideal methods in solving it. However, the traditional genetic algorithm has the problems of slow convergence speed and local optimum. Aiming at the existing problems,...

Fitness equipment is an important tool and means of physical education curriculum in colleges and universities. In order to improve the scientific, reasonable management of college fitness equipment, this paper studied fitness equipment management system based on a combination of .NET and MVC, the system...

In the artificial neural network, BP neural network is a multilayer feedforward neural network which is used widely. BP neural network uses a classic BP algorithm, and it is in accordance with the error back-propagation algorithm for learning and training. This paper first analyzes the basic idea of...

Blood storage the information on human health, many diseases need to test blood index. Physiological and the pathological changes of the organism often cause the changes on blood component, blood biological indexes monitoring has important significance to improve health level and prevent diseases. This...

Input validation is the problem that need to solve for all Web applications, to calibrate data for its constraints and rules. The Struts2 framework provides a variety of check method, and validation.xml file is the most common method in this research. Firstly, study Struts2 framework architecture composed...

Computer simulation is a discipline which intersects operations research, mathematical statistics and computer science, and it dynamic simulates system or process by using computer. The paper studies financial institution queuing problem by using discrete event system modeling and simulation to provide...

The thesis deals with the design of intelligent household environment monitoring equipment by the use of ZigBee technology. The system design takes STC12c5a60s2 single-chip microcomputer as the core module of data acquisition terminal. It is a ZigBee-based wireless sensor network acquisition system with...

With the rapid development of the Internet and cloud computing applications, the construction of a digital library in the cloud computing environment has been put on the agenda. Construction and management of digital libraries using cloud computing technology, can effectively utilize resources, reduce...

To solve the problem of target detection in heavy sea clutter, we make simulation study on a subspace-based clutter suppression method to improve signal to clutter ratio in the predicted target location, and thus to improve the detection performance. With the compound Gaussian model of the sea clutter,...

This paper begins with the problems encountered in logging while drilling practice, proposing the necessity and requirement of receiving circuit with rigorous design. Considering the fact that the amplitude of noise signal with low frequency is far greater than that of formation wave, this paper provides...

Given the problem that the range resolution is reduced as a result of overcoming the reduction of SNR (Signal to Noise Ratio) of echo signal only by enlarging the pulse length due to deeper water depth and worsened turbidity in multi-beam bathymetry of single frequency pulse, multi-beam bathymetry method...

Thanks to its hierarchical and generative nature, Deep Belief Network (DBN) is effective to feature representation and extraction in signal processing. In this paper, DBN is investigated and implemented to monaural speech separation. Firstly, two separate DBNs are trained to extract features from mixed...

Ultra-short baseline system (USBL) is widely used in ocean observation as a result of small aperture size and ease install. However, the USBL has lower accuracy at a long-range. In order to increase the precision, the estimation algorithm of inserting time-delay in correlation peak is used for passive...

The voice is a kind of composite wave, timbre is different depending on the different overtones. The timbre, namely audio overtones or harmonics components, is determined by the number of the overtone. The pitch is one of the most important parameters of speech. In the process of collecting phonetic...

The range tracking loop is an important part of measuring Radar. Based on the mathematic model,the analysis between -tracker and -trackeris studied. The effect of loop parameters isanalyzed.The formula of -tracker’s equivalent noise bandwidth(ENBW)isderived.The simulation results provide the theoretical...

This document studies the eco monitoring networks. Based on the prior work: the local effectiveness is proved, this paper focus on the global effectiveness of eco monitoring network. Information theoretical measures, i.e., conditional non-uniformity factor is applied. Although our work eventually quantify...

This paper explains and demonstrates a two-dimensional surface-scale model of the torpedo target.In this work,it makes scientific researches on characteristics of the surface-scale targets for torpedo using some sound reflection highlights distributed in two-dimensional scale with different strengths,...

The spatial-temporal compression achieved by time reversal (TR) can reduce the inter-symbol interference (ISI) and increase the signal strength with low computation complexion. The active TR needs two-way propagation to implement focusing, so it cannot be used in simplex underwater acoustic communications....

In this paper, we use the largestLyapunov exponent proved that Duffing oscillators system have the immune to arbitrary distribution with zero-mean noise. For theunknown signal, we can use intermittent chaosto realize signal detection. Through experiment simulation, we use the least number of chaotic...

Network is the basis of the army informationization construction, and security is the guarantee for the army informationization construction. The article firstly analyzes the hidden trouble of the military network and the lack of defense methods, and then introduces a new defense system of military network...

The theory and function of mathematical imaging simulation system based on underwater multi-targets were introduced in this paper. The accuracy and feasibility of the simulation system that had a good image display function and the dynamic simulation function with OpenGL graphics library were provided...

It is important and difficult for underwater weapons to get ship’s structure parameters from limited physical field signals. The degree of recognition will directly affect weapons’ attacking result. Nowadays, some researchers used acoustic model to recognize underwater object, however, few research about...

Based on the model of multibeam synthetic aperture sonar (MBSAS) and the principle of multiple subarray interferometic, a high resolution multibeam synthetic aperture interferometric imaging algorithm was proposed. Firstly, the algorithm got the target rough position via the Back-Projection (BP) algorithm...

A new method based on Volterra filter is introduced to extract weak signal in strong chaotic noise. A nonlinear prediction model is established by combining phase space reconstruction and adaptive Volterra filter. Self-noise of ship is used for training the prediction model. The model has a good prediction...

based on the chaotic binary sequence and the baker mapping, this article puts forward an image encryption algorithm combined image scrambling and diffusion. Firstly, we use an improved baker mapping algorithm to scramble the primary image, which expands the range of the mapping to a non-square image....

In this paper, a new type of low frequency spherical vector hydrophone is designed. It can be directly installed on the underwater platform and sense the underwater acoustic particle velocity. The sensing element is a moving-coil geophone. The paper described the structure of the spherical vector hydrophone,...

Underwater complex sound sources have many types. The radiated power of these sound sources was obtained by measuring pressure in the ocean, but the measurement based on sound pressure in the ocean has some uncertainty. The sound pressure for one point or several points is not enough to characterize...

This paper researched on the water filled pipe with elastic wall which is widely used in daily life. Considering the existing of the P-wave and S-wave in the pipe wall, the thin shell model and liquid wall model are not applicable. In this paper, the sound field in the water filled pipe with elastic...

High frequency arc transducer array is mainly used in multi-beam image sonar, transmitting wide beam waves. The directivity diagram of the high frequency arc transducer is calculated based on the theoretical formula and the directivity characteristics are analyzed. Laboratory verification is conducted...

This paper analyzes the impact of coupling effect on the high-frequency circular piston transducer. Focuses on the impact of the direction and the transmission voltage response in the case of constant thickness and mutative diameter. Raised a new method for Circular piezoelectric wafer center opening...

As a kind ofnon-stationary time-frequency signal, Hyperbolic Modulation Frequency is widely used in the field ofunderwater communication, radar and wireless communications. Especially under the condition of the strong doppler effect, the doppler resistance of HFM signal is better than that of linear...

The automatic modulation identification for communication signals is an important problem in the intercepted signal processing and widely used in non-cooperation communication of military and commercial. This paper proposes a method that based on the second and fourth order cumulants of received signal...

Chaos system possesses the characteristics that it is immune to noise and signal whose frequency is quite different from that of inner signal in chaos system and it is sensitive to the signal whose frequency is same as that of inner signal in chaos system. Therefore the method for detection of weak signal...

Considering the location demand of radiated noise source in underwater target, the method of location of line spectrum of radiated noise based on passive synthetic aperture method is presented. Line spectrum signal is received using single hydrophone, and azimuth sampling rate depends on the azimuth...

Impulse noise and large scale single-frequency noise have an enormous effect on underwater acoustic communication and they often exist in the received signal. This paper focuses on noise mitigation when the two kinds of noise both exist. These interferences are sparse, and they have lager amplitudes,...

Sonar operational range is an important tactics and technique parameter for sonar system. It is a variable number because of many factors affecting in the actual using, so it brings more complex in the test. Being analyzing the influencing factors for sonar operational range, this paper summarizes the...

In order to solve problems including the interpolation error, the distortion of phase information and the huge computational costs by using classical truncated-interpolation based back projection (BP) algorithm for multi-receiver synthetic aperture sonar (SAS), a novel BP algorithm is proposed by exploiting...

A pre-processing method for the holography measurement data is proposed to solve the problem caused by the multi-path interferences in finite space. In order to verify the effectiveness of this method, a standard steel plate is measured in an anechoic tank. The sound reflection coefficient of the steel...

Proposed a solution on existing mobile communication network system solutions and validated. Verification test of the gateway device construction show that IPSec gateway support IPSec functions, support IPSec VPN users access multiple functions; support IPSec different access VPN users can access different...

Proposed a smart city management system, which can complete the basic data resource management, geocoding management, accept supervision, teamwork, supervision and management, comprehensive evaluation, video monitoring, application maintenance, wireless data collection, problem reporting, data exchange,...

The unique constraints for the mother ship of towed sonar in bearings-only tracking is that it cann’t maneuver frequently because during maneuvering and a certain time after maneuvering, the bearing measurements are not available. The maneuvering trajectories of the mother ship will greatly affect the...

The symbol error rate is the ultimate measure of the reliability of a data transmission service. How-ever, due to the absence of effective and efficient solutions, the symbol error rate estimation has been long neglected in practice. Kernel pseudo-error monitoring represents the latest effort to fill...

Component-based software development has emerged as an important method in application development to solve the software-crisis. It is now becoming apparent that the technology cannot respond to such diverse requirements or technical challenges because of its insufficient flexible. In this paper the...

The power amplifier operating in a low frequency with high output power is always the hot issue in the sonar transmitter system in underwater acoustic field. This paper provides a Class D power amplifier for a transmitter in a sonar system. We first describe the basic principles of power amplifiers....

Narrow-band signal or CW pulse can be effectively detected by ALE algorithm. ALE based on LMS algorithm is widely used. The convergence speed and convergence accuracy of fixed step-size LMS algorithm is a pair of contradictions. The non-stationary data must be normalized before it is applied. The local...

This paper presents the reliability analysis of the wet-end in underwater guard system. The difficulties in using active sonar in an underwater guard system include high reliability and the maintenance ability. The reliability block diagram of the system and main components was modeling, and the hazard...

The Flexural Disc Assembled System is a promising transducer for the acoustic antagonizing device with low frequency and high power in limited size. The flexural disc Arranged axially and by exploiting the acoustic interaction between the benders, we can easily reduce the resonant frequency and improve...

The triplet arrays provide the ability to solve the notorious port-starboard (PS) ambiguity problem of ordinary single line array. Cardioid beam pattern is provided by the triplet arrays structure by using the time delay of received signals and noise correlation model. The received noise is composed...

In this paper, we propose an optimum coding STMV beamformer to improve the performance of suppressing high peak sidelobe level with missing sensors. It considers the choices of sub-array geometry have a significant effect on the performance of STMV method using sub-array (we call it STMV-SA), and the...

This paper proposes a target track detection method based on RHT idea in active sonar image process. The method takes advantage of speed limitation of underwater maneuvering target which means the target track distributed in local space, by means of statistical similarity analysis applied to image pixels...

The transmitting system is the core part of active sonar, its amplitude-frequency response is an important element to judge the system, and an important indicator to measure its performance is the bandwidth flatness of the amplitude frequency response. When the amplitude-frequency response is seriously...

The miniaturization of the low frequency, high-power transducer has becoming the hot spot in the transducers research. With the variety type of sonar’s working frequency went below, the increasing demand for low-frequency performance of the underwater acoustic counter device. The conventional low-frequency...

This paper analyzes the mechanism of non-cavitation tone noise line-spectrum frequency of counter-rotation propeller. The mechanism is interference effect and circumferential harmonics field effect. According to the generalized acoustic analogy equation, the lift and drag which are caused by the mechanism...

The conventional method in target noise simulation which generally applied for verifying signal processing algorithm always use CW or LFM signal plus with pseudo-random sequences. But the reality target which has numerous machines complicates the radiated noise with propulsion, control, and habitability....

The issues of bubble-size spectra estimation were researched using the bubble resonance theory and an iterative approximation, in order to further understanding the performance of the two approaches for determining bubble-size spectra, the estimation accuracy of four bubble-size spectra models have been...

For DS/DPSK, carrier synchronization is not necessary in the receiver end, it outperforms DS/PSK systems respect to anti-frequency shift and anti-phase-jitter ability in phase changing shallow water channels, thus is considered as a robust modulation scheme in shallow water mid- and long-range acoustic...

When modeling sound propagation through the uppermost layers of the ocean, the presence of bubble clouds cannot be ignored. Their existence can convert a range-independent sound propagation problem into a range-dependent one. Based on available test data and within the framework of previous work, a model...

This study numerical demonstrates the principle of parameter design of the two vertical source-receiver arrays system for separation of eigenrays in shallow water multipath environment. The two arrays performed transmission and reception of acoustic pulse signal repeatedly, and use a double beamforming...

Signal parameter estimation is a part of the signal processing, this paper focus on the weak LFM parameter estimation by stochastic resonance, the twice sampling and different step make sure the bistabe system reach to resonance, then the SNR is improved, the high resolution estimation is come from the...

Two designs of parametric sonar with respect to their linear counterparts which usually used as harbor and port security sonar are presented. One design is working at the frequency of 30 kHz according to the frequency of a linear sonar, but this frequency is the difference frequency for the parametric...

The research of UUV route planning is becoming an important topic nowadays. In this paper, stream function method coming from fluid dynamics is presented, and it is applicable in the field of local route planning research. In addition, in terms of two problems in application considering maneuver and...

Working in a passive mode, the result of instability, slow convergence and low convergence precision were easy to appear when the underwater target is located by using Kalman filtering algorithm, so an adaptive Kalman filtering algorithm based on Doppler frequency was proposed. The algorithm estimated...

A dynamic programming (DP) multi-target detection and tracking algorithm is developed for the simultaneous detection and tracking of low signal – noise ratio (SNR) targets in passive sonar processing. The detecting and tracking approach is considered as a special problem of multiple dimensional image...

Feature extraction of underwater targets and line spectrum comparison are the key of the target fusion. The changing characteristics of the ocean noise field and individual differences of receiving arrays make the line spectrum feature extraction of underwater target unstable, which leads to the target...

Ship propeller beats have obvious amplitude modulation to the cavitation noise of its radiation. The DEMON (Detection of Envelope Modulation on Noise) spectrum analysis technology is to demodulate the high frequency components to get the low frequency modulation components. This paper studied the new...

GACI (Generalized Adaptive Coherent Integrator) algorithm is quite effective in detecting pulse signals. We aim to improve it further and present in this paper improved GACI algorithm, called by us IGACI algorithm. In IGACI algorithm, momentum factors, more than those in GACI algorithm, are introduced...

According to the nonlinear and non-Gaussian characteristics of the traffic flow, we propose a SMC based traffic flow congestion event reconstruction framework based on traffic flow signals. The simulation states can get close to the real scene continuously along with the data assimilation model assimilates...

To solve the problem that the algorithm's slow convergence, or the lower computational efficiency, which caused by the uncertainty of the search accuracy in Doppler frequency shift space, an improved target motion analysis algorithm of bearing-line Doppler frequency shift is introduced. The filter equation...

The rapid development of modern financial economics puts forward higher requirements on the training of financial professionals. Not only require students to master a wealth of theoretical knowledge, but also require them have some ability in practical operation and innovation. However, nowadays the...

In order to remove the salt and pepper noise and Gauss noise in an image, an improved mean filtering algorithm was presented. The algorithm statistics the non-extreme pixels in a 3x3 filtering window, if the number is smaller than five, then expends the size of filtering window to 5x5, finds out the...

In April 2020, Atlantis Press was alerted to fake proceedings articles hosted on our platform. These articles, mostly in computer science and engineering, were generated by the SCIgen computer program and were all published between 2006-2018. Immediately after receiving the alert, Atlantis Press initiated...

In April 2020, Atlantis Press was alerted to fake proceedings articles hosted on our platform. These articles, mostly in computer science and engineering, were generated by the SCIgen computer program and were all published between 2006-2018. Immediately after receiving the alert, Atlantis Press initiated...

In April 2020, Atlantis Press was alerted to fake proceedings articles hosted on our platform. These articles, mostly in computer science and engineering, were generated by the SCIgen computer program and were all published between 2006-2018. Immediately after receiving the alert, Atlantis Press initiated...

In April 2020, Atlantis Press was alerted to fake proceedings articles hosted on our platform. These articles, mostly in computer science and engineering, were generated by the SCIgen computer program and were all published between 2006-2018. Immediately after receiving the alert, Atlantis Press initiated...

According to the vehicle safety characteristics,a wireless positioning system based on vehicle active safety was designed by vehicle-to-vehicle communication technology.As the demands,ZigBee technology was chosen to accomplish wireless communication.Both software and hardware aspects of the system were...

Collision is of great importance in many modern sports, especially in table tennis. Research on collision should first pays attention to modeling the flight process. The paper analyzes the kinematic mechanics of collision in flight process for table tennis. It first discusses the great importance of...

In this paper, we consider the quasilinear Schr dinger equation with critical growth .We employ the perturbation approach developed by Xiangqing Liu [9] and the generalized linking approach and obtain the infinitely many geometrically distinct solutions.

The paper analyzes the layout structure and working principle of driving axle performance closed test bench. The design concepts of test bench drive mechanism and loading mechanism are described on the basis of confirming the design scheme. Layout reasonability of the design structure is analyzed, and...

Tapered interference fits can avoid the influence of keyways on the parts strength and transfer large torques. In this paper, a model was developed to study the influence of the taper on the interference fit between a hub and a shaft. Using the classic elastic plane stress theory, the exact solutions...

The linear motion of CNC machine is generally converted from rotary motion of servo motor through a ball screw nut pair. As most CNC machine is controlled by semi-closed loop system, ball screw nut pitch error is among the main factors influencing machine positioning accuracy. A method is introduced...

Two kinds of application of log-polar coordinate transform based on human visual structure model in image processing are introduced: image registration and image compression. New solutions and improved measures are proposed in these two areas. In the field of image registration, improvement measures...

In this paper, the recognition algorithm of dynamic gestures, which based on depth information, is proposed. A new human-computer interaction controlled by dynamic gestures is also achieved. The proposed algorithm extracts Histogram of Oriented Gradients (HOG) and weighted Hu invariant moments from RGB...