关于Peterson—Fischer二进程算法的断言式证明

本文旨在为Peterson—Fischer二进程互斥算法提供一个断言式证明,根据麻省理工学院Nancy A.Lynch教授的论述,这是一个未解决的问题,因此本文的意义在于填补这一空缺。

基于S3C44B0X的数据采集系统在uClinux下的二进程实现

介绍了基于微控制器S3C44B0X,在嵌入式操作系统uClinux支持下的数据采集系统.此系统可以代替传统的以单片机为控制芯片的采集系统.此系统可以采集数据并且进行预处理.远程客户可以可以通过网络浏览器访问数据.应用程序被设计成一个两进程的程序.

On Coupled KdV Equations with Self-consistent Sources

The coupled Korteweg-de Vries （CKdV） equation with self-consistent sources （CKdVESCS） and its Lax representation are derived. We present a generalized binary Darboux transformation （GBDT） with an arbitrary time- dependent function for the CKdVESCS as well as the formula for the N-times repeated GBDT. This GBDT provides non-auto-Biicklund transformation between two CKdVESCSs with different degrees of sources and enables us to construct more generM solutions with N arbitrary t-dependent functions. We obtain positon, negaton, complexiton, and negaton- positon solutions of the CKdVESCS.

Network coding resources optimization with transmission delay constraint in multicast networks

Minimizing network coding resources of multicast networks,such as the number of coding nodes or links,has been proved to be NP-hard,and taking propagation delay into account makes the problem more complicated. To resolve this optimal problem,an integer encoding routing-based genetic algorithm( REGA) is presented to map the optimization problem into a genetic algorithm( GA)framework. Moreover,to speed up the search process of the algorithm,an efficient local search procedure which can reduce the searching space size is designed for searching the feasible solution.Compared with the binary link state encoding representation genetic algorithm( BLSGA),the chromosome length of REGA is shorter and just depends on the number of sinks. Simulation results show the advantages of the algorithm in terms of getting the optimal solution and algorithmic convergence speed.

Binary Bell Polynomials Approach to Generalized Nizhnik-Novikov-Veselov Equation

The elementary and systematic binary Bell polynomials method is applied to the generalized NizhnikNovikov-Veselov (GNNV) equation.The bilinear representation,bilinear B&cklund transformation,Lax pair and infiniteconservation laws of the GNNV equation are obtained directly,without too much trick like Hirota’s bilinear method.

Measurement and Correlation of Vapor-Liquid Equilibrium for Binary System 1,2-Epoxycyclohexane ＋ 1,2-Dlchloroethane

Vapor-liquid equilibrium data (T, x, y) of binary system 1,2-epoxycyclohexane + 1,2-dichloroethane were determined experimentally by using a modified ROSE-Williams equilibrium vaporization system at 101.33 kPa. The results show that this binary system does not have azeotropic point. The vapor-liquid equilibrium data are in thermodynamic consistency. The binary interaction parameters in the Wilson equation are presented with the correlation of vapor-liquid equilibrium data. The measurements of liquid phase composition and bubble point temperature are well represented by the Wilson equation. Values of vapor molecular fractions and activity coefficients from the Wilson equation are presented. This work provides important engineering data for the separation of 1,2-dichloroethane and 1,2-epoxycyclohexane .

缓达原则在高花开叫二盖一进程中的应用

先简单说说速达原则和缓达原则。速达就是在一个逼局进程下，直接进局表示差牌，没兴趣，建议止叫；慢叫表示好牌，有兴趣。缓达则是在一个逼局进程下。任何跳叫都是描述性的，既不是表示好牌，也不是表示差牌。而是描述一种特定的牌情。

Co-integration Analysis of the Effect of Population Urbanization on Urban-rural Income Gap in Jiangxi Province

This paper selects related data on the urbanization and the incomes of urban and rural residents in Jiangxi Province from 2000 to 2014, applies the theory of co-integration by Eviews Software, meanwhile, studies and analyzes the population urbanization and the income gap between urban and rural residents in Jiangxi Province through establishing an index system. Results： There is a cause-and-effect relationship, as well as duality, between the urban-rural income gap and the level of population urbanization in Jiangxi Province. With continuous promotion of the urbanization course in 1990-2014, the income gap between urban and rural residents in Jiangxi Province presents a phenomenon of expanding first, narrowing second and expanding again.

Binary Bell Polynomials,Bilinear Approach to Exact Periodic Wave Solutions of(2+l)-Dimensional Nonlinear Evolution Equations

In the present letter, we get the appropriate bilinear forms of （2 ＋ 1）-dimensional KdV equation, extended （2 ＋ 1）-dimensional shallow water wave equation and （2 ＋ 1）-dimensional Sawada -Kotera equation in a quick and natural manner, namely by appling the binary Bell polynomials. Then the Hirota direct method and Riemann theta function are combined to construct the periodic wave solutions of the three types nonlinear evolution equations. And the corresponding figures of the periodic wave solutions are given. Furthermore, the asymptotic properties of the periodic wave solutions indicate that the soliton solutions can be derived from the periodic wave solutions.

Analysis of Synonymous Codon Usage Bias in 09H1N1

A novel subtype of influenza A virus 09H1N1 has rapidly spread across the world. Evolutionary analyses of this virus have revealed that 09H1N1 is a triple reassortant of segments from swine, avian and human influenza viruses. In this study, we investigated factors shaping the codon usage bias of 09H1N1 and carried out cluster analysis of 60 strains of influenza A virus from different subtypes based on their codon usage bias. We discovered that more preferentially used codons of 09H1N1 are A-ended or U-ended, and the intra-genomic codon usage bias of 09H1N1 is quite low. Base composition constraint, dinucleotide biases and translational selection are the main factors influencing the codon usage bias of 09H1N1. At the genome level, we find that the codon usage bias of 09H1N1 is similar to H1N1 (A/swine/Kansas/77778/2007H1N1), H9N2 from Asia, H1N2 from Asia and North America and H3N2 from North America. Our results provide insight for understanding the processes governing evolution, regulation of gene expression, and revealing the evolution of 09H1N1.

Experimental Study of Double Diffusion in Binary Solution

Application of temperature gradient to a binary solution can work as a separation process like freezing desalination. Initial salinity is an important parameter on the final composition of the water obtained. In this paper, the authors study experimentally the effect of the concentration in aqueous solution on the double diffusion with phase change. NaCI-H20 solution at different salinity is frozen in a rectangular cavity to obtain ice becoming fresh water. Temperature, concentration and rate growth of the interface ice/brine are presented. Three concentrations are tested： 0.02%, 1% and 3.5%.

A Ternary 4-Point Approximating Subdivision Scheme

In this paper, the author presents a class of stationary ternary 4-point approximating symmetrical subdivision algorithm that reproduces cubic polynomials. By these subdivision algorithms at each refinement step, new insertion control points on a finer grid are computed by weighted sums of already existing control points. In the limit of the recursive process, data is defined on a dense set of point, The objective is to find an improved subdivision approximating algorithm which has a smaller support and a higher approximating order. The author chooses a ternary scheme because the best way to get a smaller support is to pass from the binary to ternary or complex algorithm and uses polynomial reproducing propriety to get higher approximation order. Using the cardinal Lagrange polynomials the author has proposed a 4-point approximating ternary subdivision algorithm and found that a higher regularity of limit function does not guarantee a higher approximating order. The proposed 4-point ternary approximation subdivision family algorithms with the mask a have the limit function in C2 and have approximation order 4. Also the author has demonstrated that in this class there is no algorithm whose limit function is in C3. It can be seen that this stationary ternary 4-point approximating symmetrical subdivision algorithm has a lower computational cost than the 6-point binary approximation subdivision algorithm for a greater range of points.

Multi-objective optimization of p-xylene oxidation process using an improved self-adaptive differential evolution algorithm

The rise in the use of global polyester fiber contributed to strong demand of the Terephthalic acid （TPA）. The liquid-phase catalytic oxidation of p-xylene （PX） to TPA is regarded as a critical and efficient chemical process in industry [ 1 ]. PX oxidation reaction involves many complex side reactions, among which acetic acid combustion and PX combustion are the most important. As the target product of this oxidation process, the quality and yield of TPA are of great concern. However, the improvement of the qualified product yield can bring about the high energy consumption, which means that the economic objectives of this process cannot be achieved simulta- neously because the two objectives are in conflict with each other. In this paper, an improved self-adaptive multi-objective differential evolution algorithm was proposed to handle the multi-objective optimization prob- lems. The immune concept is introduced to the self-adaptive multi-objective differential evolution algorithm （SADE） to strengthen the local search ability and optimization accuracy. The proposed algorithm is successfully tested on several benchmark test problems, and the performance measures such as convergence and divergence metrics are calculated. Subsequently, the multi-objective optimization of an industrial PX oxidation process is carried out using the proposed immune self-adaptive multi-objective differential evolution algorithm （ISADE）. Optimization results indicate that application oflSADE can greatly improve the yield of TPA with low combustion loss without degenerating TA quality.

Optimal variational principle for backward stochastic control systems associated with Lévy processes

The paper is concerned with optimal control of backward stochastic differentiM equation （BSDE） driven by Teugel＇s martingales and an independent multi-dimensional Brownian motion, where Teugel＇s martingales are a family of pairwise strongly orthonormal martingales associated with L6vy processes （see e.g., Nualart and Schoutens＇ paper in 2000）. We derive the necessary and sufficient conditions for the existence of the optimal control by means of convex variation methods and duality techniques. As an application, the optimal control problem of linear backward stochastic differential equation with a quadratic cost criteria （or backward linear-quadratic problem, or BLQ problem for short） is discussed and characterized by a stochastic Hamilton system.

An in-situ Technique for Producing Low-Cost Agricultural Biochar

Application of biochar to agricultural soils is effective to sequester atmospheric carbon and improve soil quality, but current pyrolysis and transportation costs are high, making biochar too costly to be used at the field scale. This study developed a new in-situ technique, burning and soil covering(B-SC), which can be used by farmers for production of biochar with crop residue. In this study,the air-dried feedstocks, elephant grass and corn residue, were burnt in situ for biochar production in the field. After approximately 90% of the leaves were combusted, the burning process was dramatically slowed down by covering the feedstock with soil. The biochar yield averaged 18.0 ± 1.3(n = 15) and 13.7 ± 1.3(n = 10) kg per 100 kg air-dried feedstock for the elephant grass and corn residue,respectively. The biochar properties were suitable for soil improvement. The inputs for biochar production of the B-SC process only included low labor force, open field, feedstock(e.g., grass and crop residue), and simple tools. The operation time for processing 10 kg of the corn residue by an individual farmer was 24.4 ± 4.1 min(n = 10). As compared with the conventional field burning process, the B-SC process drastically shortened the time for biomass burning and generated a significantly lower emission of smoke and thermal energy. This simple technique can be particularly practical and effective for farmers to improve the soils of poor quality in China.

THE OPTIMAL LINEAR SECRET SHARING SCHEME FOR ANY GIVEN ACCESS STRUCTURE

Any linear code can be used to construct a linear secret sharing scheme.In this paper,it is shown how to decide optimal linear codes(i.e.,with the biggest information rate)realizing a given access structure over finite fields.It amounts to solving a system of quadratic equations constructed from the given access structure and the corresponding adversary structure.The system becomes a linear system for binary codes.An algorithm is also given for finding the adversary structure for any given access structure.

Constraints on a scalar-tensor theory with an intermediate-range force by binary pulsars

Searching for an intermediate-range force has been considerable interests in gravity experiments. In this paper, aiming at a scalartensor theory with an intermediate-range force, we have derived the metric and equations of motion （EOMs） in the first post- Newtonian （1PN） approximation for general matter without specific equation of state and N point masses firstly. Subsequently, the secular periastron precession ω of binary pulsars in harmonic coordinates is given. After that, ω of four binary pulsars data （PSR B1913＋16, PSR B1534＋12, PSR J0737-3039 and PSR B2127＋11C） have been used to constrain the intermediate-range force, namely, the parameters G and λ. α and λ respectively represent the strength of the intermediate-range force coupling and its length scale. The limits from four binary pulsars data are respectively A = （4.95 ±0.02）× 10^8 m and a = （2.30±0.01）× 10^8 if β = 1, where fl is a parameter like standard parametrized post-Newtonian parameter βPPN. When three degrees of freedom （α, λ and β = β - 1 ） in lσ confidence level are considered, it yields α = （4.21 ±0.01）× 10^4, λ= （4.51 ±0.01）× 10^7 m and β = （-3.30 ±0.01）× 10^-3. Through our research on the scalar-tensor theory with the intermediate-range force, it shows that the parameter α is directly related to the parameter γ （α = （1 - γ）/（1 ＋ γ））. Thus, this presents the constraints on 1 - γ by binary pulsars which is about 10^-4 for three degrees of freedom.

New Rogue Wave Solutions of （1＋2）-Dimensional Non-Isospectral KP-II Equation

The generalized binary Darboux transformation for the （1 ＋2）-dimensional non-isospectral KP-H equation is presented. Moreover, as a direct application, the new rogue wave solutions for the （1＋2）-dimensional non-isospectral KP-II equation are constructed by the generalized binary Darboux transformation.

Navigation using binary pulsars

The issue of navigation using binary pulsars is investigated in this paper.We show how the effect of the binary motion is incorporated in the navigation measurement equation.Necessary reference systems and time scales are introduced and the transformation between different time scales is derived.Based mainly on Damour and Deruelle's binary model and the TEMPO2 software,the timing model resolving the time delay from emission to arrival is established with the solar system,interstellar and binary system delays included,which retains all the terms exceeding 1 ns.The navigation measurement equation is thus built and the parameters needed are listed.A comparison is made between Sheikh's measurement equation and that in this paper.It is found that it is not necessary to introduce a fictitious SSB arrival time as Sheikh does.Near-Earth navigation for the Keplerian orbit in the case of observing one pulsar is investigated.The uncertainties of the orbit parameters are derived using the least square fitting method,which reveals that observing one pulsar enables one to navigate near-Earth spacecraft.

Test of a low-mass contact binary model by comparing the relations obtained from theory with those from observations

The W UMa-type contact binaries have been observed for several decades.To construct the evolutionary model for W UMa-type contact binaries,many difficulties were encountered due to the existence of complicated physical processes in such systems.The model introduced by Huang,Song and Bi includes some special and unique understandings of the physical processes of contact binaries.It is necessary to test whether this model can be used for W UMa-type contact binaries.The best way to test a theoretical model is to know whether this model can explain the observational phenomena of such systems.For this aim,a comparison is performed for the relations of mass-luminosity,mass-radius,and the distribution in the HR diagram obtained from the model introduced by Huang et al.and those from the astronomical observations.The result of the comparison indicates that this model can be applied to W UMa-type contact binaries and can explain the observational phenomena of such binaries.