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...

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...

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...

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 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...

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...

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...

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...

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 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 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...

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...

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,...

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...

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...

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...

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...

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...

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...

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...

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...

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...

With advantages like great security and communication quality, optical communication has make good progress. When this technique is developing at staggering speed, people want to it have more high speed, which can propagate the information much quicker. We want to the speed to enhance to several Gb/s....

Convolutional Neural Network (CNN), which has achieved great success in traditional computer vision tasks such as image classification, object detection, scene segmentation, etc. has also gained great success in fields of visual tracking. However, the algorithm based on CNN is both computation and memory...

Energy management in demand side is an important way to realize demand response in smart grid, in this paper we established a household microgrid model which includes PV, battery and home appliances, and then we proposed an intelligent coordination control scheme for home energy management. For the thermostatically...

Holography can display the perspective and depth as a real object, as an ideal three-dimensional display method. As the holography is based on the principle of reestablishing three-dimensional information of an object or a scene by means of optical interference record and diffraction reappearance, the...

Some problems exist in power flow calculation such as complex programming and expensive calculation software, a new method is put forward that traditional power flow calculation can be transferred to the Web. Based on that, this paper designs a power flow calculation service. The users can view the service...

This article uses the partial least square algorithm and the improved differential evolution algorithm to preprocess the ultraviolet-visible absorption spectral data and build a model for detection of cholesterol concentration in human serum. The result indicates that the wavelet decomposition and the...

The assessment of the assessment of operational command and decision, which uses the AHP-FCE to analyze model and judge the single index professionally by building multilevel system of the index evaluation. At the same time, the recursion algorithm was adopted to give the relative degree between object...

In order to further improve the electricity information acquisition system performance, we put forward a kind of Routing Arithmetic Based on Hybrid Algorithm of Ant Colony Algorithm with Genetic and Simulated Annealing. The algorithm takes the hops, latency and packet loss rate factors into the path...

Based on the classical SIR model, we improve the differential equation modal and take the effect of drugs and vaccines into account where Ebola viruses appear. Despite of the improvement, differential equation model is still the principle part of our model. Since the spread of Ebola is concerned with...

In this paper, an analysis system for trace hydrogen sulfide is given in this paper since traditional hydrogen sulfide pollution monitoring technique has such defects as high costs, cumbersome process and bad real time performance. Samples of natural gas can be taken for analysis by using a TDLAS zero-contact...

The advent and advance of ubiquitous computing technologies can be seen to have considerable implications for education, and the teacher-student relationship is influenced by the deployment of technologies. It's shown that enabling technologies create equity and freedom of access to digital resources...

The promotion of learner autonomy in ubiquitous network environment is dependent greatly on how teachers are aware of their new roles through the use of ubiquitous computing technologies. It's shown that roles teachers play in ubiquitous learning space should shift to less control on learning and more...

Internet payment with the rapid development has brought great convenience to people's lives, but also tremendous security risks people's property. At present, on Third-Party Payment Platform, E-bank and other Internet payment methods, to change the password, to pay or to transfer account, only phone...

In the traditional logistics outsourcing contract, inventory and transportation cost is higher, is not conducive to bilateral cooperation. Through this study, the results show that the joint optimization decisions based on shared savings contract mode, the partners and the overall system is better than...

The paper begins with an introduction of some crucial definitions apropos of regression analysis. Then it discusses briefly the concept of R-square that verifies the accuracy of a regression model and of Hypothesis Testing that tests hypothesis made concerning the population. The main part of the paper...

Based on cubic B-Spline curve mathematical properties, theoretical analysis the cubic B-Spline curve recursive formula of Taylor development of first-order, derivation of two order in the interpolation cycle under the condition of certain interpolation increment only and interpolation speed, change the...

In order to solve the problems of modification algorithm of NURBS curve interpolation, Such as interpolation time bigger, NURBS curve step error and chord error are not easy changed ,and so on. A novel proposed a modification algorithm of NURBS curve interpolation .The algorithm has merits such as higher...

Expectation-Maximization (EM) iteration is one of the most efficient algorithms for parameter estimation for Gaussian mixture model, which is a characteristic probability density function model for non-Gaussian processes. In general, EM iteration for multi-dimensional Gaussian mixture is too complicated...

The OpenFlow protocol, as the main south protocol for Software-Defined Network, is researched by many people. This paper proposed a new notion of Muitil-Layer Extended Finite State Machine(MEFSM) to model OpenFlow protocol and derive the executable testing sequence base on it. Using Hierarchical method,...

This paper addresses the MWLP (Minimum Weighted Latency Problem). The problem has previously been proven NP-hard, which makes finding the exact solution impractical when the graph's scale is large. This paper explores the feasibility of using heuristics to solve MWLP. Five classic heuristic algorithms...

Aiming at the problem of difficulty in detection of small targets in large field of view, an image processing algorithm is proposed to detect small targets in large field of view. The algorithm first performs image preprocessing using grayscale transformation and median filtering, then Gabor matched...

Nowadays most of the traffic system of the General research focuses on key points, such as vehicle contour segmentation precision, the effectiveness of vehicle information, research on intersection traffic violation system there are still big problems. By using CodeBook[2] based on time series algorithm...

An ontology is a formal and normalized explanation of a shared conceptualization while information extraction (IE) is a form of natural language processing in which certain types of information must be recognized and extracted from text. The methods of ontology-based IE fall in two broad categories:...

Objective Human action recognition is a hot topic in computer vision. The recognition of human actions from unconstrained videos is difficult because of complex background, illumination variation and camera motion. An improved dense trajectory-based approach is proposed to address such problem. Dense...

Ontology construction is a hot topic in semantic research.This paper proposes constructing the domain ontology of political sensitive Information with Political Information as knowledge source data.By the using of ontology itself contains the description logic consistency reasoning verification mechanism,...

As the problem of aging of population becomes more and more obvious in China, Demands for aging adapting functions in existed residential buildings becomes much more urgent. Virtual Reality as a visual method has received a lot of attention. Using virtual reality method in existed residential buildings...

A two-times interleaved DAC in a standard 65nm CMOS technology is presented with a data-clock frequency of 4GHz with INL ≤±2.9LSB. Since two DACs are placed in parallel, their output current goes to the DAC multiplexer, which alternatively connects one DAC to the output, and the other one to an identical...

Organic agriculture cluster is the trend of the future development of organic agriculture in China. In order to scientific and reasonable evaluation of organic agriculture cluster comprehensive effect, according to the research status of agricultural cluster effect and the characteristics of organic...

This article introduces the application situation and development history of the greenhouse network technology in greenhouse, analyzes the application situation of foreign and domestic networking technology in greenhouse. Finally, summarizes the main problems existing in this field, put forward the personal...

With the continuous development of video services, video applications gradually in order to meet the high resolution, high frame rate, high compression development demand, put forward an H.265 streaming media player system based on QT. Under the QT environment, the use of FFmpeg codec library for video...

Nowadays the world is undergoing a digital revolution, and e-books are becoming an increasingly significant category of digital resource. In this paper, we propose a cloud serving based online electronic book (e-book) platform. On this platform, e-books resource can be distributed and then can be provided...

Currently, Internet and big data as the representative of emerging technologies are widely penetrated into every aspect of the high-end equipment manufacturing industry. Considering the characteristics of multi-source, personalized and potential for high-end equipment, this paper focuses on requirement...

With the rapid deterioration of the world's water resources problem, we need a set of assessment and improvement plan for the current situation. Firstly, with the authoritative historical data, we establish the evaluation model for water-supply ability to measure the ability of a region to provide clean...

with the continuous improvement of people's living standard, people pay more and more attention to their own health problems. The information system for the system of exercise prescription has not attracted the attention of many people, how to make use of the advantages of cloud storage, to share the...

The existing safety production management system in the railway department is despised in the prior research, and pays attention to the post processing. The leaders at all levels and risk managers have a comprehensive grasp of the risk management of railway demand, according to the general principles...

Correctly understanding the fluctuation of the securities market has a great effect on Chinese economic development. In order to verify the chaotic characteristics of Shanghai Composite Index time series, we use G-P algorithm and Cao method to calculate the characteristic quantities such as embedding...

General image matching method is faced with many problems like the selection of template and mismatching. In order to solve these problems, in this paper, general image matching method is improved based on contracting mapping principle, matching is implemented by finding the fixed point between images....

In order to study the impact of explosive performance on JPC molding, simulation software of AUTODYN-2D is used in JPC molding. Numerical simulation analysis of influences of five different explosives on JPC molding is performed. Method of determining the molding time is proposed. Two main results can...

Sleep is a complex phenomenon involved important modifications throughout life and changes of autonomic cardiovascular control. In present study, we aimed to analyze the influence of sleep stages on cardiovascular activity. Firstly, heart rate variability (HRV), pulse rate variability (PRV) and pulse...

In order to study the safety of a shot SRM, a simulation model was established. Ignition and growth reactive flow equation was applied to describe the ignition process of the impacted propellant. The process of SRM being shot was simulated numerically by use of nonlinear finite element method of fluid...

In this paper, a novel region based active model integrating self organizing map (SOM) for image segmentation is proposed. The SOM is utilized to describe image intensity distributions in an unsupervised way and establish the entire weights set of the neurons. Then, the weights are divided into two branch...

This paper presents a method of predicting the words with semantic relation based on Hidden Markov Model (HMM). Two words are set as an observation sequence, combined with HMM and the corpus, which has taken some works in Natural Language Processing, to calculate the most probable sequence with semantic...

In his classical work imply that [1], G. Gratzer had asked that for what equational classes , and imply that (see Problem 1.10 in [1] ).In the present note, a necessary and sufficient condition for such classes will be given.

Under the mass data background, the library and information field is connected with the mass data more and more closely. To reveal the library and information field's relation with the mass data and its future development trend, the library and information related mass data collected in the CNKI is taken...

In the first ten years of the 21st century, the rapid development of Internet technology has changed people's daily study and life, and also provided abundant resources for scholar's research. The data resources become the important part of scholars' research. Knowledge economy has produced a lot of...

Aimed at the shortcomings of the existing single-function management systems of electric power marketing management at present, the energy acquisition and operation management system based on the integrated services distribution automation terminal is proposed, through using wireless ad-hoc networks...

In order to characterize uniaxial mechanical properties of modified double base propellant, a one dimensional form of viscoelastic-viscoplastic constitutive model is derived. In order to solve the first-order ordinary differential equations (ODEs) consisted by viscoplastic flow rule and internal state...

Nowadays, parts of complex products are usually developed by different suppliers distributed all over the world. To share the 3D model timely and improve collaboration efficiency among the business partners, it is necessary to support the web based visualization of DMU. Among the widely used standardized...

With the continuous progress of the construction of digital campus, the learning resources are no longer limited to text, images and other static form, students prefer visual and audio dynamic multimedia resources, using streaming media technology to develop teaching resources VOD system, provide teaching...

Named entity disambiguation (NED) is the task that mapping the named entities appearing in the text to their correct corresponding in the knowledge bases (KB). This paper presented a disambiguation approach based mainly on graph ranking by combining the PageRank and LSI(Latent Semantic Index) model....

This paper focuses on the issue of designing of conflict-free airline network Based on the free connecting lines and undirected graph structured by Maklink Graph method, a free airspace model was established, which provided alternative air passages for restricted airspace of airline network. Take the...

Many non-linear (NL) interference cancellation (IC) algorithms characterize vector based operations instead of matrix operations, and their performance can be further improved by a proper sorted preprocessing of the channel information, e.g., successive interference cancellation (SIC) and Tomlinson-Harashima...

In order to convert the qualitative description to quantitative concept of effectiveness evaluation of ATCC (Air Traffic Control Center), this paper selects artificial, automation equipment, management and operation environment as effectiveness evaluation factors based on cloud theory, and established...

Airspace planning of tactical training is a centralized planning, which is typical for Air Force tactical training. Because of the complexity of airspace and the diversity of training courses, artificial packing can't guarantee the utilization rate of airspace. Due to the irregularities of airspace,...

Image compression is a key component in the transmission and storage process of image data. The major objective of image compression is to reduce the irrelevance and redundancy of the image data in order to store and transmit them in an efficient form. One of the practical approaches is to reduce the...

The study proposed in this paper analyses the problems existing in the college course score prediction methodologies. Because of diversity and multiple choices in course selection, the analysis of college students' course score can be quite complex. This paper proposes a student achievement prediction...

in order to reasonably optimize the military training airspace and ensure the safety interval with civil aviation routes, the paper adopts the improved ellipsoid Event model to evaluate the lateral separation between military training airspace and civil aviation routes. After the lateral position deviation...

Application of computer database technology in information management is growing widely along with the rapid development of society. This development can not only efficiently improve the computer database running performance, but also clear out the whole information management system. This paper conducts...

In order to detect the key nodes in the aviation network, a node detection algorithm is proposed. In view of the fallibility of previous methods, this algorithm integrates the improved closeness sorting algorithm and the importance evaluation matrix. Firstly, the model of the aviation network is constructed....

The integrated electronic information system based on the core processor uses a large number of components which have been finalized or commercially developed, and the system structure is so complicated that common reliability evaluation methods cannot be directly applied to the system. To solve the...

In the traditional software reliability evaluation models, there are assumptions that the detected faults can be eliminated immediately and the new fault will not be introduced, which does not fit for the real final software testing process. This essay modifies the above assumptions, treats the detection...

This paper focuses on the issue of planning and optimization of airline network under PRD (Prohibited Area, Restricted Area and Danger Area) avoiding, in a way of hierarchical and quantitative design. According to the principle of Maklink Graph method, the issue of optimization of airline network was...

In this paper, a new estimate criterion is introduced to make the optimization process reasonable and credible, and it has a good control effect for the convergence of solution. An improved optimization program is exploiting for the directed building structure by means of a distinction design between...

In order to investigate the effect of twin pile group loadings on nearby existing railway subgrade, elastic plastic model was established by adopting finite differential method based on a practical case. It is proved by comparison with field monitoring data that the numerical analysis of the influence...

The application of ESD_FT(Event Sequence Diagram and Fault Tree) method in accident analysis of equipment system was discussed in this paper, a new ESD basic event launched by internal fault tree was proposed, and the ESD_FT analysis model of the equipment system coolant loss accident was established....

the acceleration of global warming and urbanization progress has greatly contributed to the city building thermal environment problems, which causes the attention of people. However, because it involves many aspects, such as, it covers the architectural layout, building materials,trees greening,etc....

with the increase in requirements on fiber-optical communication system by people, transmission quantity has been increased. In order to guarantee quick and effective fiber-optical communication, people have to use LDPC codes to implement correction modulation, of which, the ability of non-binary LDPC...

As one of the highlights in Olympics, sports events always have significant impact on Olympic Strategies due to their levels and have become key programs in the world. Sports events in China have made further development in recent years and created outstanding achievements in many national and international...

Integrated fuzzy logarithm preference programming proposed by the paper can be used to treat AHP and ANP problem effectively and reliably. The method improves FPP defects, such as comparative matrix is treated one by one and weight generated by upper triangular judgment of matrix is different from that...

the partition and hierarchy methods are the most popular clustering technology of the clustering algorithm. Providing that the k-means is sensitive to the initial clustering center and is likely to become partially optimal, an advanced clustering algorithm based on the partial swarm is presented in this...

The agricultural economy is still a critical component for the development of national economy in modern China; therefore, the efficiency of agricultural product logistics has huge impact on the development of agricultural economy and the industrial competition. Moreover, scientifically and systematically...

Sport industry is the inevitable outcome of market economy, while sport socialization and industrialization is the inevitable course for sport development. The Thesis proposes matters needing attention in sport industry development direction and development courses in our country, integration of sport...

Ontology has the characteristics of consistency, sharing and extensibility, which plays an important role in the study of text knowledge extraction. In the reality of work flow text knowledge extraction, based on the construction of domain ontology, this paper establishes the basic process of work flow...

With the development of scientific research and production organization, a large number of audio and video data resources are accumulated in the business system, which is a distinctive feature of scientific research and production. In this paper, a modeling method which extracts semantic sequence from...

This paper establishes the optimization model of low-carbon closed-loop supply chain network with multiple objectives. Aiming at the model, a kind of improved genetic algorithm combined with constraint method is raised to get the pareto optimal solution, which has been verified by algorithm case. The...

This paper proposes an effective data distribution mechanism based on RPL to maximize the survival times of sensors. For balancing energy consumption of sensors, an optimal data distribution algorithm is presented. The results show that the presented mechanism prolongs the survival time of network and...

The self-adaptive Kalman filter algorithm can solve the problem of filtering divergence and tracking in conventional Kalman filter algorithm, so it is widely used in GPS data processing of vehicles and ships. But in practical application, the tracking of adaptive algorithm is still insufficient. Therefore,...

By the research on the clustering problem of multiple attributes data processing based on K-Prototypes algorithm, this paper improves distance formula, which can more accurately reflect the differences between tuples. Besides, according to the various demand of privacy preservation, the sensitive value...

Image segmentation is an important technology for computer-aided diagnosis. Purpose of medical image segmentation is to separate the images' regions with special meanings and to make the segmentation as close as possible to the anatomical structure so as to provide a reliable foundation for clinical...

This paper presents a heuristic approach based on answer set program in bilateral negotiation. The well-founded semantics for general logic program is used to simplify the process of negotiation. In this approach, demands of each side in negotiation are transformed into a general logic program. The process...

This paper applies the refined increasing difference property to XOR-based MDS codes and obtains a lower storage complexity for distributed storage nodes. For a message of kL bits stored in n distinct storage nodes, a data collector connects any k out of the n storage nodes to recover the message. In...

Non-local means image denoising with bilateral structure tensor algorithm is put forward for the reason that Non-local means(NLM) algorithm has a weaker detail retention and noise immunity. Different from the initial structure tensor, we can get better texture description between similar blocks by using...

Through mathematical analysis, the motor is established, and then the tracking stability control loop is set up. The control loop is designed to correct the network design and improve the stability and tracking performance. Research shows that through the stabilization loop lag correction network design,...

In the building integrated photovoltaic (BIPV) system, the influence of partial shading on the energy efficiency of the BIPV system is large in certain circumstance. Energy efficiency of the centralized system and multi string type system are researched in four typical shading conditions. Results show...

Image segmentation is required to be studied in detail some particular features (areas of interest) of a digital image. It forms an important and exigent part of image processing and requires an exhaustive and robust search technique for its implementation. In the present work we have studied working...

With the rapid development of the internet, the excessive information of user and item leads to user-item rating matrix becomes bigger and more sparse, also, accuracy of the traditional collaborative filtering recommendation algorithm gets lower. So in order to improve the precision of recommendation...

To process the fog and haze image,a local histogram equalization based on distant scale factor interpolation method to deal with the blocking effect was proposed .In this paper,We analyzed the basic features of the haze image,that is, low brightness and low contrast. And then,for these features we choose...

The range-gated imaging technique can effectively restrain the backscattering of light and greatly improve the observation distance of photoelectric imaging system in day and night with bad weather. In this paper, a miniature near-infrared laser range-gated imaging system is designed. It is convenient...