Bigraph which proposed by Robin Milner is a powerful formalized modeling language. We can get the bigraphical reactive systems (BRS) by using bigraph to represent each state in a system. Model checking is the technology which can verify whether a given model stratifies the specified requirement and it's...

Improving recommender performance is beneficial. However, sparsity and scalability of data is a problem faced by recent recommender systems. Customer interests and available products are changing constantly. Social interactions among users are highly influential on the effectiveness of the recommendation....

Nowadays, more and more social media platforms support hashtags to facilitate information classification. Like Twitter hashtags, a user-initiated hashtag can suggest emotion/mood, convey so much extra information in addition to the actual tweet. Hashtags have been widely used in topic analysis because...

This paper addresses a modified method of extracting acoustic pulse based on the multi-band spectral subtraction and the frequency band variance. In this method, the acoustic pulse is detected, the noise spectrum is estimated and subtracted from the acoustic pulse spectrum. By abandoning the late reverberation...

A novel structure of networked control systems which incorporates output feedback predictive control and event-triggered communication scheme in a unified model based on the networked control system with packet loss is proposed in this paper. The load of communication channel is relieved by event-triggered...

In view of the fact that a server can provide parallel service for multiple customers in the practical application at the same time, the corresponding queuing models are constructed, and the system running indexes are inferred accordingly such as the steady-state probability, average queue length, average...

We present a method for 3D shape reconstruction of inextensible deformable surfaces from a single image. The key of our approach is to represent the surface as a 3D triangulated mesh and formulate the reconstruction problem as a sequence of Linear Programming (LP) problems. We use a closed-form method...

The comparison of the induction motor rotor common fault simulation, the fault characteristics are obtained this kind of failure of the motor through theoretical derivation and simulation model is established in the fault condition of the motor based on the multi loop theory, the running state of a motor...

In order to improve the mechanical structure of the type of fault resolution precision high voltage circuit breaker spring mechanism, the paper analyzes the characteristics of the circuit breaker and the combination of mechanical vibration signal PSO algorithm (PSO) SVM parameter optimization method...

Aiming at the shortage of the actual experimental equipment, virtual reality technology was adopted for setting up an experiment system. The framework is the strange IoC and the engine is Unity3D for the system. A step operation of the experiment is divided into five parts, interaction behavior, interaction...

Dam parameter inversion tool based on ANSYS software and improved Genetic Algorithm is researched. Firstly, traditional GA is improved by introducing power function to rebuilt fitness function; Secondly, quick dam parameter inversion tool based on improved GA is programmed on ANSYS software; Finally,...

In order to reduce the computational cost in the current MIMO-ISAR back projection imaging algorithm, a fast algorithm based on FFT is proposed for MIMO-ISAR back projection. First, we establish the reflected wave signal model for MIMO-ISAR imaging. The approximate representation of linear change of...

With the development of smart grid, electric power system data surges in a short period of time, and the traditional data storage and processing platform can't meet the requirements. In this paper, big data-related technology will be applied to the electric power data management, using Hadoop as a basic...

Car sharing service provides people with a new environmentally friendly way to travel. In car sharing system, one of the major challenges is how to determine the location of the car sharing sites. However, the existing method does not take into account people's demand in reality to select the car sharing...

As the power big data is developing with a wide range of varieties, it is used to manage and analyze data, especially the unstructured data such as power documents. In this paper, HBase database and HDFS are applied to make the document searching easier and faster. Keywords extraction based on Hadoop...

The motion sensing interactive devices can greatly enhance the sense of immersion. In this paper, the flow of the interaction with the HTC Vive is sums up five step. Analyzes the positioning principle of the HTC Lighthouse and introduce the function of the HTC thumbstick. Then defines the quaternion,...

In this paper, we study the augmented reality and its application in intelligent human-computer interaction. The complex structure in the visual background is a major challenge for gesture segmentation. First, we use a robust skin color segmentation method to preprocess the input image. Second, visual...

This paper discusses the problem of road network navigation under polygonal obstacle constraints from an implementation perspective. It implements the problem provided by the 4th ACM SIGSPATIAL GIS Cup 2015 challenge. In the context, it briefly examines some fundamental graph search algorithms and then...

How UI designers and business engineers collaborate to development apps on Android platform conveniently and effectively is a difficult problem to tackle when projects get more complicate and need more effort. This paper compared the commonality and variability of MVVM with the commonly used MVC and...

Peer assessment has got a lot of attention because it serves as a useful tool for scaling the grading of open-ended works. But it does not always produce accurate results because of two important reasons: students' ability and students' attitude. Based on students' peer grades and the evaluation attitude...

A novel hybrid fitting energy based active contours model in the level set framework is proposed. The method fuses the local image fitting term and the global image fitting term to drive the contour evolution. Our model can efficiently segment the images with intensity inhomogeneity no matter where the...

In this paper, a dark background image-denosing method based on KPCA is discussed. First of all, the analysis of KPCA features is used to extract features from the training samples, and then discards the features which had small variance to form the feature space. Second, for reducing the noise, the...

Adaptive transmission system selects the suitable transmission rate on the basis of the current channel state. In this paper, we exploit the signal to noise ration (SNR) as a benchmark of standard to measure the channel state. We employ data fitting (DF) to estimate SNR, which is a key technology of...

The interception of the hypersonic weapons in near space is the main problem considered in this paper. The designed interceptor is assumed to have much lower speed than its target and very limited maneuverability in the near space atmosphere. To deal with this problem, a two-loop Partial Integrated Guidance...

In the modern society, static defect detection technology become an effective way to build reliable software. But the phenomena of misinformation and failing to report in the result of static defect detection makes testers needed to confirm the false alarms one by one manually. It is necessary to improve...

Flight or maneuvering at high angle of attack is one of the most important parts for the modern fighters. When the angle of attack is within the usual range, the aerodynamic characteristics have a linear relationship with the dynamic of aircraft. With the increase of angle of attack, the airflow separation...

The main research content is a quantitative description of the structural uncertainty problem (Quantification Uncertainty) based on the finite element theory. For the first time, reduction integration method is used to decompose multi-dimensional random response function, the multi-dimensional function...

The arrival of the information age has gradually expanded the practical application of computer networks, provided more convenience for people's lives, and promoted the rapid development of Chinese information industry. In this situation, the process of using computer network has gradually produced network...

With the development of city construction, civil engineering construction scale becomes bigger, safety problems is gradually serious. This paper introduces the main contents of construction mechanics and time-varying mechanics in civil engineering. We hope to analysis the safety problems in civil engineering...

The technical framework of critical information infrastructure cybersecurity classified protection in this paper is established from the three levels of decision-making, managers and executives which ensures the information security technical framework of an organization is consistent with its strategic...

Through the statistic analysis of the accident data of Heilongjiang freeway from 2010 to 2014, it is concluded the regularities of distribution of the accidents on the Heilongjiang freeway, as well as the factors influencing the security of Heilongjiang freeway system. Then, the evaluation index of Heilongjiang...

Communication networks effectiveness evaluation directly determined whether the communication networks system is successful. This paper investigated the communication networks effectiveness evaluation based on Analytic hierarchy process and fuzzy clustering method. Indicators of communication networks...

Based on low frequency load-shedding practice experiments of Xinyang power supply company, work principles as 'three reports, one examination and a table modification' is proposed to improve the management of power grid in substitute district. The methods introduced in the paper is proved to be effective...

In the intelligent optical networks, there are two key problems in the long-distance and high-speed intensive service transmission. First one, the sharing scheduling problem of the optical networks resources, namely the privacy problem. Second problem, users of network services require high-quality,...

The rapid development of science and technology provides reliable protection for the expansion of electronic engineering applications, and gradually improves the production efficiency of related industries. With the influence of this situation, in order to meet the people's demand for electronic engineering,...

The boundary layer theory is proposed by German scientist Prandtl. When the fluid motion in the large Reynolds number, a thin layer will be concentration to produce in the fluid surface. Because the thin area is very close to the object surface in which the viscous force plays an important role, which...

The quality of flight performance directly determines the execution of flight tasks. For the establishment of a simple and effective methods and calculation of maneuver performance, a lot of work were completed. By the principle, method and steps of calculation maneuvering the aircraft flight performance...

A new copper(I) complex, [Cu( Flu-imPhen)(POP)]PF6, where -Flu-imPhen = 1-(9H-fluoren-2-yl)-1H-imidazo[4,5-f][1,10]phenanthroline , POP=bis(2-diphenylphosphanyl)ether, was synthesized and characterized. The corresponding photophysical properties were investigated using UV-vis and emission spectrometry....

Traditionally, Chinese traditional culture elements always exert an effect on development of modern Chinese game thanks to its rich visual models and profound intrinsic implication. Sanxingdui culture, with its inheritance, individuality and mystique, has unique culture connotation. The paper used Sanxingdui...

With the rapid development of mobile Internet technologies, mobile learning has become a new way of learning, which is playing an increasingly important role in classroom teaching and autonomous inquiry learning. EBook realizes the perfect combination of traditional learning resources and mobile learning,...

Computer has received more and more applications in various fields. In this paper, many new periodic wave solutions expressed by Jacobi elliptic functions of the Mikhauilov-Novikov- Wang (MNW) hierarchy are obtained by using the extended F-expansion method. In the limit cases, the obtained Jacobi elliptic...

In this paper, a new variable-coefficient AKNS (vcAKNS) hierarchy is derived from the associated with linear spectral problem and its time evolution equation. The derived vcAKNS hierarchy is a solvable mixed hierarchy which contains isospectral nonlinear partial differential equations (PDEs) and nonisospectral...

The oxidation kinetics of natural rubbers prepared by coagulum of fresh natural latex coagulated with formic acid or microorganisms were studied. The maturation time of coagulum is 6, 12, 18 and 24 hours respectively. The results show that the oxidation activation energies of natural rubbers prepared...

With the rapid development of information technology, great changes have taken place in people's reading habits, and paper books are being replaced by eBooks. Digital annotation tool allows readers to highlight or insert notes into eBooks during the process of reading, which is an important way for readers...

An auxiliary model based stochastic gradient estimation algorithm in proposed in this paper. The unknown variables in the information vector can be estimated by using the auxiliary model. Then the unknown parameters can be estimated by the stochastic gradient algorithm. Furthermore, in order to increase...

In this paper, we propose a dynamic gesture recognition approach based on multi-touch devices. This method contains three stages: dynamic gesture stroke collection, gesture feature extraction, gesture analysis and recognition. In order to recognize nine kinds of gestures in classroom interaction process,...

This project is a residential area, the project is composed of two towers and commercial podium, is a collection of commercial, office in a body's comprehensive construction, where two towers total height 46.8m. The project according to a class of building lightning protection grounding design, roof...

In MapReduce environment, problem of data redundancy,a large number of tasks to be processing and mass data storage come up, in order to solve these problems, we put forward the way of data prefetching , preprocessing of hid the remote data access latency, by adjusting the allocation of resources to...

A network traffic detection model based on swarm intelligent optimization neural network algorithm is proposed in this paper. QAPSO algorithm is used to optimize the basis function center and base function width of RBF neural network,and the connection weights of the output layer and the hidden layer...

Web services have been widely used in complex software systems. To guarantee software quality, many researchers have been devoted to the testing of web services. Traditional web service testing approaches mainly focus on the automation of testing process, test case generation etc. However, the web service...

No-reference image quality assessment is the future research direction in the field of image evaluation. A new no-reference image quality assessment based on the generalized evidence theory was proposed in this paper in order to deal with the measuring problem of the large scale samples under the optical...

The generation of solar power are known to be seriously influenced by many factors, such as temperature, humidity, et al. These factors cause the fluctuations of solar power system. This paper considers those fluctuations of different terms by using actual historical data and the different distribution...

The similarity between different subcategories and scarce training data due to the difficulties of Fine-grained recognition. Even in the same subcategories, there can be some differences due to the distinct color and pose of objects. We propose some models for fine-grained plant recognition by taking...

The proportion of the solid part portion in a GGO nodule is one of features to detect lung cancer. It is difficult to segment the solid part in a GGO nodule completely because tissues surrounding GGO nodules include some impurities like noises in image processing technology. This paper proposes Active...

According to the theory used in researching certain type of doubly singular differential equations, by computing directly, we find out that a singular partial differential equation in two complex variables has a unique formal power series solution which is in a special form and whose coefficients can...

Data sharing among organizations is a practical application problem. In 2015, T. Miyamoto, Y. Murakami and M. Kasahara proposed two inter-organization cryptographic schemes for secure communication among organizations. Firstly, we give a security analysis of their RSA-based inter-organization cryptographic...

The paper introduces a flow simulation based clustering algorithm for wireless sensor network. The algorithm is fully decentralized. The proposed algorithm is inspired by simulating flow in the network. The algorithm clusters the nodes that are at distance of at most k hops from the cluster head while...

The digital channel receiver must have the ability of processing large number of data,A improved digital channel arithmetic is proposed, This algorithm put digital down conversion before decimation and filtering operation .Moreover the algorithm is realized by using FPGA parallel process. The key design...

Satellite systems progressively operate in higher frequencies, such as the Ka bands. The signals in Ka band system are seriously affected by the environment constraint. A significant percentage of the VENESAT-1 (Venezuelan Satellite) footprint has the coverage service area over the Amazonian. Due to...

The Amazon has the world's largest tropical forest and about the half of all freshwater in the world. The construction of the wire guided communications systems is denied byinternational environment regulation because the Amazon is a worldwide protected area.Satellite communications systems represents...

CMMI (Capability Maturity Model Integration) is the key architecture of software engineering management which divides the whole software development life cycle into twenty-two process areas. DAR (Decision Analysis and Resolution) process area is one of the key process areas, it is executed when we meet...

With the rapid development of national power grid, large-scale electric power communication network is evolving into OTN network in order to back up the power grid management, operation and maintenance of a large number of data communication. Long-distance optical communication is the characteristic...

Gas Turbine engine is the most advanced large equipment in the world; the automatic control is a very important matter. The closed-loop is the core of automatic control, and it is also the most complex. Jing Neng Gaoantun gas power plant installed Siemens' SGT5-4000F gas turbine. As a typical model of...

The laser-induced damage threshold (LIDT) of KDP crystal affect directly the increase of laser power. In order to research the influence of metal impurities in the subsurface of KDP crystal on LIDT, analyzed the impurities composition and relative content of two kinds of KDP crystal samples by fluorescence...

In this paper, a new vehicle plate recognition method is proposed using the artificial bee colony algorithm. This method can be implemented in entrance admission, security, airport or harbor cargo control, traffic control. Artificial bee colony algorithm was first introduced by Dervis Karaboga in 2005...

The extreme learning machine (ELM), which was originally proposed for "generalized" single-hidden layer feedforward neural networks (SLFNs), provides efficient unified learning solutions for the applications of clustering, regression, and classification. But when the training data have been contaminated,...

Compressed sensing is a new data compression method which can recover a sparse or compressible signal from a small number of linear and non-adaptive measurements. To solve the problems of high sampling rate and massive data storage faced by traditional collection and compression methods of power quality,...

In the mid and late 20th century, with the rapid development of computer technology, control technology, electronic technology and sensor technology, etc., multi-sensor data fusion technology emerged. Data acquired by multi-sensor data fusion technology has multiple levels and grades, which is of more...

Neutral point voltage balancing is an inherent problem of three-level rectifier. This paper first analyzed the cause to the neutral point voltage deviation of the DC-side three-level rectifier, and studied the charge and discharge transient processes of the two DC-side capacitors and the harmonic characteristics...

In order to study the influence of relative permeability of track material in the performance of EMS suspension control, the Single Magnetic Model is established. Then we acquire good suspension performance by designing proper inner and outer controllers. The effect of the relative permeability on suspension...

Taking advantage of independence of chromaticity and brightness in Lab space, this paper transplants the idea separating the brightness distortion from the chromaticity distortion mentioned in the Color Algorithm into Lab space, redefine the brightness distortion and chromaticity distortion. Based on...

2 m InGaAsSb/AlGaAsSb quantum well laser with AlGaAsSb as barrier layer and InGaAsSb as potential well layer. The composition and strain of the material have an important influence on the energy level position and band structure of the quantum well, which affects the performance of the laser. In this...

In this paper, GaSb-based material in the near-infrared semiconductor laser has a broad application prospects. For the problems and etching solution suitable particularly critical of etching GaSb-based material. we studied on different etchant experimental analysis the HCl+HNO3(30+1)@T=5 ,37% HCl, HNO3+(0.08MHCl+CH3COOH)...

For the operating characteristics of limited capacity micro-grid, power quality disturbance impacting on the micro-grid is to be significantly larger than the civilian power grid, especially the transient power quality disturbances can not be ignored. By combining the advantage of wavelet transform and...

Through the modeling and simulating of the synchronous generator, the mechanical and electrical properties of the input load are analyzed. Based on the linear control theory, the optimal excitation control of a mobile station is studied. By comparing the optimal excitation control with the traditional...

In view of the serious impact on the starting process of the motor, the simulation experiment is conducted to study the influence of the diesel generator sets on steady operation.The diesel generator output voltage and frequency waveforms were analyzed by transient adjustment rate and the fluctuation...

Deep convolution neural network (CNN) has achieved a great success on face recognition techniques. But most of CNN models tend to be much deeper, which are at the expenses of high consumption of computation and storage. So, it is hard for these deep CNNs applied to mobile equipments because of poor computational...

There are more and more mobile smart devices with high capabilities in both computing and storage, which leading to the device cooperation in vicinity becomes popular. As the first step in the device cooperation, the device discovery process is particularly important. Because of the mobility of the devices...

It is found the hot forming quality has close related to the initial temperature of the pressing die, the blank, pressing speed, cooling rate and the friction between the part and tools. Through the design of orthogonal test and multiple regression analysis, the regression model of thinning rate and...

Joint is a core component of space manipulator and the foundation of space manipulator system[1]. Hydraulic manipulator is one of the key points for developing and exploring manipulators in recent years. However, servo control of hydraulic executive components still needs further studies. In this thesis,...

The aim of the study is to determine the dependency of the viscosity of the aqueous solutions of hydrolyzed acrylic fiber on the concentration and temperature. Aqueous solutions of hydrolyzed acrylic fiber were prepared by hydrolysis of the waste fiber in water at elevated temperature. The solution viscosities...

Pyrolysis properties of Dianchi lake sediment in China at 10 /min and 20 /min were investigated by TG. Comparison to the TG and DTG curves at different heating rates, the pyrolysis reaction at 10 /min was in advance and more completely than at 20 /min, thus the process of sediment pyrolysis could be...

Image processing technology plays an important role in fighting against crime and criminal cases. In the case investigation, the image processing technology can provide evidence for the trial and the litigation of the case, the case investigators can take this as a clue, and then detect the case. However,...

To support the high efficient and fast data quality assessment of electrical operation, we need to make optimization of high performance computing technology on computing platform, this paper carry out in-depth research on the performance bottleneck that the data quality evaluation system faces, after...

Apparent age estimation from face image has become relevant to an increasing amount of applications, particularly since the rise of social platforms and social media. In this paper ,we tackle the estimation of apparent age in still face images with deep convolutional neural networks (CNN).Our convolutional...

Aiming at the 3-dimensional positioning problem in the indoor wireless environment, TDOA-based localization model is presented in this paper. The Two-Step Least Squares(TSLS) and unscented Kalman filter (UKF) algorithm are used to solve the target's position. In the case that the line-of-sight(LOS) or...

According to the characteristics of space robot, the test data are sorted and research on Hadoop-based data management technology, and further study for a variety of application needs space robots data analysis techniques, whereby the proposed management and analysis system test data framework, and from...

It is of great significance for human beings to explore and develop marine resources. Nowadays, Unmanned Aerial Vehicle (UVA) is reaching a point where it can be used in marine environment research with multi-sensors. Abundant marine data acquisition, transmission, management in real-time are preconditions...

In this paper, a Space Keying Shift(SSK) system based on a Single Photon Avalanche Diode (SPAD) receiver is presented. SSK modulation has the advantage of faster transmission rate than OOK modulation, and the implementation complexity is not high, it will become a widely used modulation method in single...

To solve the problem that missing feature and non-geometric information when MBD (Model Based Definition) model is exchanged among heterogeneous CAD systems, a feature-based heterogeneous MBD model exchange method is proposed considering geometric feature information, non-geometric information and the...

In order to reflect the dynamic characteristics of satellite on-orbit deployment more precisely, a Modelica-based modeling and simulation of satellite on-orbit deployment and attitude control was achieved. Form Modelica standard library, world component was extended, this simulation system integrates...

Ships are characterized by complex structure and poor operation environment. It is very important to monitor the health state of the ship structure. In the paper, one-way and three-way optical fiber sensors in ship structure monitoring are designed and produced. Related values are simulated. Related...

Using first-principles computations, the structural, electronic properties of P - and P -Si3N4 in the pressure ranges of 40-50 GPa were investigated systematically, and the band structures and density of states have been analyzed in detail. the results show both P - and P -Si3N4 are insulators, and there...

Based on analyzing software quality, the model provided by GB / T 16260.2 was adopted as the grounds of evaluation index system, and the index weight was determined by analytic hierarchy process (AHP). In addition, take the incompleteness and randomness of information into consideration, the evaluation...

This study reported the feasibility of flushing remediation of cadmium contaminated soil using bacteria fermentation solution. Batch experiments were performed to test the factors influencing remediation of cadmium contaminated soil. The effects of concentration, pH value and contact time on the removal...

Based on the gray system theory, the original gray predicting model, the residual correction model and the residual model have been established for PM10, SO2 and NO2, which are the major atmospheric pollution factors in Beijing. After comparing those three models, this paper established a new improved...

Axial compression test of 9 high-strength reinforcement confined ultra-high strength concrete with PVA fibers columns were presented. The influence of concrete strength, reinforcement spacing on the behavior of the confined concrete was investigated. The results show that the ductility of columns decrease...

In order to obtain a deep understanding on the influence of process parameters on punch force evolution during deep drawing of AA6111 sheet at elevated temperatures, the design of experiment (DOE) and analysis of variance (ANOVA) were employed. The process parameters analyzed in this paper are forming...

The convection heat transfer coefficient and equivalent radial thermal conductivity are two important parameters of the heat transfer process in bell-type annealing furnace. This paper establishes finite element model and calculates temperature field. The model treats the boundary condition based on...