Applied Mechanics and Materials Vols. 644-650

Abstract: The determination of the rational layered water injection intensity is the basis to stable oil production and high-yield in oil field. This article analyzes the various influential factors of the separated layer water injection intensity, using grey synthetic degree to determine the dominant influential factors. The weight value is obtained by normalization, each influence factor is quantization. Using grey correlation analysis method to determine the plane dividing coefficient and the vertical dividing coefficient, a reasonable stratified water injection intensity formula is got. This method considers the impact of these factors which consist of permeability, the measure transformation coefficient, perforation thickness, injector producer distance, location coefficient and the number of injector and producer. The problem which the contradiction exists in the same layer or between the layer and layer is obvious in the D block through combining with the current water injection development, reasonable dividing coefficient of block is established, a reasonable stratified water injection intensity formula is got, making well block reasonable injection and increasing adjustment effect of water flooding.

Abstract: In modern pilot-aircraft closed-loop system, the presence of actuator rate limiting is a key feature of the phenomenon of PIO. In this paper, the MPC controller is applied to the closed-loop system and compared with SAAB and DASA compensation schemes which were proposed in other articles. Appropriate models of pilot and aircraft are selected to do the simulation, the results show that the effect of each method on preventing PIO is different, especially the MPC controller is better than others slightly.

Abstract: In order to meet the large-scale promotion of household heat metering in north China and respond positively the call of the national “Twelfth Five Year” plan for energy-saving and emission-reduction,the design combines the advantage of the cloud computing and cloud software and presents the overall structure of management system based on the cloud computing. Then, the paper focuses on the design of upper computer software and database^[1], The upper computer software consists of two parts,one is automatic meter reading software,which is communicated with every collectors by GPRS; the other is cloud software, The cloud software improves the current heat management system by combining the smart home service concept and provides personalized services for many heating companies and vast number of families^[2].

Abstract: Though Cloud storage has developed rapidly in recent years, there still exist some problems obviously. Provable Data Possession (PDP) is proposed to solve the problem of data integrity verification at untrusted cloud stores. This study built a new delegation Provable Data Possession (delegation-PDP), which solves problem when the client has no ability to check its remote data. We study the delegation-PDP and use proxy re-encryption to design it. Then we use the improved Elgamal-based algorithm to implement the scheme. Through security analysis and performance analysis, our protocol is provable secure and efficient.

Abstract: Large vocabulary continuous speech recognition system performance largely depends on the quality of speech corpus and how to select corpus is the key of corpus design. By taking Tibetan Amdo dialect in XiaHe as the research object, this paper builds continuous speech corpus based on triphone. At first, we collected text corpus with 1000 thousand Tibetan sentences and transformed them into IPA according to real pronunciation in XiaHe dialect, and then summarized the structure of triphone juncture, analyzed the combination types and frequency of triphone in corpus statistically with text-processing platform in detail. At last by comprehensively considering coverage rate and sparseness of triphone and class-triphone we designed the algorithm for extraction of corpus and realized automatic selection to corpus.

Abstract: Based on feasibility and rationality, the path of the distribution centers, cargo terminal and receiving point as the optimized object.Using the Dijkstra algorithm and to improve it,set up customer logistics cost minimum as the target of route choice model;Using the improved Dijkstra algorithm greatly improves the operation speed,especially in the cross area for the shortest path,division graph method has very big enhancement to the time complexity of the algorithm ,enable the customer logistics total cost minimum.Therefore, route choice model can accurately describe the logistics distribution problem.

Abstract: In real-time systems, periodic tasks and aperiodic tasks exist simultaneously. In a uniprocessor system, mainly there are Deferrable Server algorithm (DS) [1], Slack Stealing algorithm (SSA) [2] and their extended version for software/hardware hybrid real-time task scheduling. DS algorithm sets a high priority periodic task server to provide services for aperiodic tasks, while SSA algorithm computes tasks unoccupied time offline, and then schedule aperiodic tasks during the unoccupied period. The two algorithms are both proposed for soft real-time tasks, reducing the response time of the real-time tasks, but cannot guarantee that these aperiodic real-time tasks received can meet deadlines. In this paper, through combination of DS algorithm and EDF (Earliest Deadline First) algorithm [6], a new algorithm called DS-EDF is introduced, which can scheduling hard real-time aperiodic tasks on the DS server. This algorithm is not only suitable for uniprocessor systems, but also has the ability to extend to multiprocessor systems.

Abstract: The interfacial length scale which affect the simulation accuracy of boiling heat transfer was derived by theorety principle. The boiling heat transfer in vertical rectangular channel was simulated by CFX based on Euler-Euler model. The simulation was validated by the experiment data in literature. The result show that the error between simulation and experiment is within ± 15%. These results would provide some constructive instructions in interfacial length scale which is determined in CFX and the investigation of boiling heat transfer mechanism in vertical rectangular channel.

Abstract: With the increasing of Chip integration and operation velocity, the gap between validation and design is becoming larger and larger. Now the focus is on generating efficient test vector. Different weights are appropriately set based on the relationships between the code logical depth of function test points and the test points covered by a test vector. A test vector generation method based on adaptive genetic algorithm is proposed. The experimental results show that the method can reduce the time of writing constraint files, auto-generate a stimulation, which is more efficient and targeted, and improve the efficiency and reliability of the chip functional verification.

Abstract: In artificial society simulation, each artificial population needs road path planning in the process of travel. However, because of the large amounts of populations in artificial society, road path planning will cost lots computational resources and time, thus this process has terrible efficiency to the performance of the simulation system. In order to solve this problem, this article firstly makes use of CPU to generate the artificial populations, travel logs, and construct the road network models; then computes the shortest road path between each two environments and load the results in RAM for prepare; lastly, sends the ID and its start point and destination of the population who need road path querying to GPU at current simulation time in the simulation process, and then takes advantages of GPU to query the road path and return the results back. In this way, we can obviously reduce the time costs in the process of road path querying and enormously improve the performance of the whole simulation system.