无限维多体量子系统量子态的LPP纠缠判据

给出了无限维n-体量子系统量子态全可分的一个充要条件:系统H=H1H2…Hn上的量子态ρ是全可分的当且仅当(I1Λ)ρ≥0对所有完全有界的LPP映射Λ成立。其中LPP映射Λ:B(H2…Hn)→B(H1)是指积态上的正线性映射。

Driving Behavior Shaping Model in Road Traffic System

In order to give a new way for modeling driving behavior, identifying road traffic accident causation and solving a variety of road traffic safety problems such as driving errors prevention and driving behavior analysis, a new driving behavior shaping model is proposed, which could be used to assess the degree of effect of driving error upon road traffic safety. Driver behavior shaping model based on driving reliability and safety analysis could be used to identify the road traffic accident causation, to supply data for driver's behavior training, to evaluate driving procedures, to human factor design of road traffic system.

Adjacent vertex-distinguishing total colorings of K_s∨K_t

Let G be a simple graph and f be a proper total kcoloring of G. The color set of each vertex v of G is the set of colors appearing on v and the edges incident to v. The coloring f is said to be an adjacent vertex-distinguishing total coloring if the color sets of any two adjacent vertices are distinct. The minimum k for which such a coloring of G exists is called the adjacent vertex-distinguishing total chromatic number of G. The join graph of two vertex-disjoint graphs is the graph union of these two graphs together with all the edges that connect the vertices of one graph with the vertices of the other. The adjacent vertex-distinguishing total chromatic numbers of the join graphs of an empty graph of order s and a complete graph of order t are determined.

Feasibility and safety of autologous bone marrow mononuclear cell transplantation in patients with advanced chronic liver disease

AIM： To evaluate the safety and feasibility of bone marrow cell （BMC） transplantation in patients with chronic liver disease on the waiting list for liver transplantation. METHODS： Ten patients （eight males） with chronic liver disease were enrolled to receive infusion of autologous bone marrow-derived cells. Seven patients were classified as Child-Pugh B and three as Child-Pugh C. Baseline assessment included complete clinical and laboratory evaluation and abdominal MRI. Approximately 50 mL of bone marrow aspirate was prepared by centrifugation in a ficoll-hypaque gradient. At least of 100 millions of mononuclear-enriched BMCs were infused into the hepatic artery using the routine technique for arterial chemoembolization for liver tumors. Patients were followed up for adverse events up to 4 mo. RESULTS： The median age of the patients was 52 years （range 24-70 years）. All patients were discharged 48 h after BMC infusion. Two patients complained ofmild pain at the bone marrow needle puncture site. No other complications or specific side effects related to the procedure were observed. Bilirubin levels were lower at 1 （2.19 ± 0.9） and 4 mo （2.10 ± 1.0） after cell transplantation that baseline levels （238 ± 1.2）. Albumin levels 4 mo after BMC infusion （3.73 ± 0.5） were higher than baseline levels （3.47 ± 0.5）. International normalized ratio （INR） decreased from 1.48 （SD = 0.23） to 1.43 （SD = 0.23） one month after cell transplantation. CONCLUSION： BMC infusion into hepatic artery of patients with advanced chronic liver disease is safe and feasible. In addition, a decrease in mean serum bilirubin and INR levels and an increase in albumin levels are observed. Our data warrant further studies in order to evaluate the effect of BMC transplantation in patients with advanced chronic liver disease.

Credibility and Security of Weighing System for Large Structure Object

The weighing system designed for large structure object is mainly composed of three parts. The part of hydraulic system is made up of hydraulic cylinders, high pressure hydraulic hoses and electric pumps; the part of computer controlling system comprises pressure sensors, displacement sensors, data acquisitions, RS 485 network and the computer controlling model; the part of loading system is composed of the fulcrum structure and the concrete girder. The measurement principle and composition of the weighing system are discussed in this paper. Credibility and security of the weighing system are fully considered during the design phase. The hydraulic system is controlled by pilot operated check valves in case of the sudden loss of system pressure. The states of all gauges and RS485 network are monitored by computer controlling system functioning in different modules. When the system is running incorrectly, it will be switched to manual mode and give alarm. The finite element method is employed to analyze fulcrum structure so that the system has enough intensity to be lifted. Hence the reliability of the whole system is enhanced.

A Multi-homed VPN Architecture Based on Extended SOCKS+TLS Protocols

A multi-homed VPN architecture based on extended SOCKSv5 and TLS was proposed. The architecture employs a dynamic connection mechanism for multiple proxies in the end system,i n which the security-demanded transmission connections can switch smoothly among the multiple proxies by maint aining a coherent connection context.The mechanism is transparent to application programs and can support th e building of VPN.With the cooperation of some other security components,the mechanism guarantees the reso urce availability and reliability of the end system against some attacks to the specific ports or hosts.

Stability assessment and feature analysis of slope in Nanfen Open Pit Iron Mine

Under the combined influences of special topography and the long term mining in Nanfen Open Pit Iron Mine, many large scale landslide masses appeared in heading side of stope, and tens of millions of iron mine is buried underside, making great economic losses. In order to guide the safety mining and increase the supply quantity, this paper through the use of MSARMA-method and the ''MSARMA evaluation and analytical system for slope stability analysis'' based on this method, which aimed at the quantitative evaluating of the slope stability before and after the actual mining below the slip mass, and the sensitivity analysis for the main influencing factor, providing scientific proof for the parameter optimization of open mine surface slope, the security and sustainable exploitation.

Carbon Productivity Analysis to Address Global Climate Change

Developing low-carbon economy and enhancing carbon productivity are basic approaches to coordinating economic development and protecting global environment, which are also the major ways to address climate change under the framework of sustainable development. In this paper, the authors analyze the annual rate of carbon productivity growth, the differences of carbon productivity of different countries, and the factors for enhancing carbon productivity. Consequently, the authors clarify their viewpoint that the annual rate of carbon productivity growth can be used to weigh the efforts that a country takes to address climate change, and propose policies and suggestions on promoting carbon production.

Fatigue reliability for LNG carrier

The procedure of reliability-based fatigue analysis of liquefied natural gas(LNG) carrier of membrane type under wave loads is presented. The stress responses of the hotspots in regular waves with different wave heading angles and wave lengths are evaluated by global ship finite element method(FEM) . Based on the probabilistic distribution function of hotspots' short-term stress-range using spectral-based analysis,Weibull distribution is adopted and discussed for fitting the long-term probabilistic distribution of stress-range. Based on linear cumulative damage theory,fatigue damage is characterized by an S-N relationship,and limit state function is established. Structural fatigue damage behavior of several typical hotspots of LNG middle ship section is clarified and reliability analysis is performed. It is believed that the presented results and conclusions can be of use in calibration for practical design and initial fatigue safety evaluation for membrane type LNG carrier.

Some Structure and Comparison Results for Sequential Martingales in the Limit

There are several important generalizations of martingales such as games fairer with time, quasi-mils and sequential martingales in the limit. In the note, we shall consider all possible structures of a probability space （Ω,A, （An）, P） associated with a stochastic basis（An） of sub a-fields of A with An ↑ A. Then, we shall apply them to establish some comparison results for the aforementioned generalizations of martingales.

Scalable Arbitrated Quantum Signature of Classical Messages with Multi-Signers

Unconditionally secure signature is an important part of quantum cryptography. Usually, a signature scheme only provides an environment for a single signer. Nevertheless, in real applications, many signers may collaboratively send a message to the verifier and convince the verifier that the message is actually transmitted by them. In this paper, we give a scalable arbitrated signature protocol of classical proved to be secure even with a compromised arbitrator. messages with multi-signers. Its security is analyzed and proved to be secure even with a compromised arbitrator.

Dependability Analysis for Fault-Tolerant Computer Systems Using Dynamic Fault Graphs

Dependability analysis is an important step in designing and analyzing safety computer systems and protection systems.Introducing multi-processor and virtual machine increases the system faults' complexity,diversity and dynamic,in particular for software-induced failures,with an impact on the overall dependability.Moreover,it is very different for safety system to operate successfully at any active phase,since there is a huge difference in failure rate between hardware-induced and softwareinduced failures.To handle these difficulties and achieve accurate dependability evaluation,consistently reflecting the construct it measures,a new formalism derived from dynamic fault graphs(DFG) is developed in this paper.DFG exploits the concept of system event as fault state sequences to represent dynamic behaviors,which allows us to execute probabilistic measures at each timestamp when change occurs.The approach automatically combines the reliability analysis with the system dynamics.In this paper,we describe how to use the proposed methodology drives to the overall system dependability analysis through the phases of modeling,structural discovery and probability analysis,which is also discussed using an example of a virtual computing system.

Analysis of Fast and Secure Protocol Based on Continuous-Time Markov Chain

To provide an optimal alternative to traditional Transmission Control Protocol(TCP)-based transport technologies,Aspera's Fast and Secure Protocol(FASP)is proposed as an innovative bulky data transport technology.To accurately analyse the reliability and rapidness of FASP,an automated formal technique - probabilistic model checking - is used for formally analysing FASP in this paper.First,FASP's transmission process is decomposed into three modules:the Sender,the Receiver and the transmission Channel.Each module is then modelled as a Continuous-Time Markov Chain(CTMC).Second,the reward structure for CTMC is introduced so that the reliability and rapidness can be specified with the Continuous-time Stochastic Logic(CSL).Finally,the probabilistic model checker,PRISM is used for analysing the impact of different parameters on the reliability and rapidness of FASP.The probability that the Sender finishes sending data and the Receiver successfully receives data is always 1,which indicates that FASP can transport data reliably.The result that FASP takes approximately 10 s to complete transferring the file of 1 G irrespective of the network configuration shows that FASP can transport data very quickly.Further,by the comparison of throughput between FASP and TCP under various latency and packet loss conditions,FASP's throughput is shown to be perfectly independent of network delays and robust to extreme packet loss.

The Analysis of Chinese Basic Pension Funds into Capital Markets

That is a global issue to preserve and increase the value of pension funds, also has caused widespread concern of the governments around the world. China＇s basic pension funds are also facing the severe problem. In this background, The State Council issued ＂the Measures for the Administration of Investment in Basic Pension Insurance Funds＂, Basic Pension Funds into Capital Markers finally＂ have laws to go by ＂. To explore the basic pension funds into the market has a realistic social significance. Based on the SWOT analysis method, make a detailed analysis of the pension market from four aspects, put forward some views and hope that these opinions can provide reference for the sustainable development of China＇s basic pension fund system.

Identity-based proxy multi-signature applicable to secure E-transaction delegations

To enhance the robustness of a proxy multi-signature scheme and improve its efficiency, a novel proxy signature paradigm is proposed referred to as In this paradigm, multiple proxy signer candidates identity-based proxy multi-signature （IBPMS）. are employed to play a role of the single proxy signer in the existing model. A provably secure IBPMS scheme is presented which requires only one round broadcast operation. Performance analysis demonstrates that the new scheme outperforms the existing multi-signature schemes in robustness and communication. These properties are rendered to our IBPMS scheme as a more practical solution to secure e-transaction delegation applications of proxy signatures.

Conflicts Affecting Sustainable Development in West China since the Start of China’s Western Development Policy

West China provides important ecological services to the rest of the country, and has attracted great attention because of its serious ecological degradation and frequent natural disasters, and its strong connection with the industrial and economic development in East China. In order to strengthen ecological restoration and promote sustainable economic development in West China, the Chinese government adopted the Western Development Policy, which offered financial aid to and initiated a large number of projects in the region. Although many previous studies have emphasized the positive effects of ecological restoration in West China on ecological security and sustainable development of China, relatively less attention has been paid to analyzing multiple conflicts related to sustainable development in the region. This paper examines the main development goals and interests that have caused these conflicts. The authors suggest that integrated conflict management should be carried out for the sustainable development in West China.

Global Attractors and Determining Modes for the 3D Navier-Stokes-Voight Equations

The authors investigate the long-term dynamics of the three-dimensional Navier- Stokes-Voight model of viscoelastic incompressible fluid. Specifically, upper bounds for the number of determining modes are derived for the 3D Navier-Stokes-Voight equations and for the dimension of a global attractor of a semigroup generated by these equations. Viewed from the numerical analysis point of view the authors consider the Navier-Stokes-Voight model as a non-viscous （inviscid） regularization of the three-dimensional Navier-Stokes equations. Furthermore, it is also shown that the weak solutions of the Navier-Stokes- Voight equations converge, in the appropriate norm, to the weak solutions of the inviscid simplified Bardina model, as the viscosity coefficient v →0.

Quantitative deterministic versus probability analyses based on a safety margin criterion

This paper proposes a new criterion called the ratio of safety margin(RSM)for use in the areas of the global factor of safety,reliability and limit states analyses with reference to their respective allowable criteria.An equation for calculating RSM based on the reliability index is formulated.Efforts for proving the applicability of this criterion include a theoretical demonstration in a simple one-variable case;an investigation on a test problem involving two random variables,followed by a slope stability study on a 156 m high embankment dam and an illustrative example presented in a EuroCode 7 guidebook.Calculation of the ratios of safety margin in the three areas provides a quantitative way to accommodate the analytical results within the same theoretical framework and makes the outcomes mutually comparable and supportive,which is much more enlightening than that would be the case by considering only one of them.Calculating RSMs for reliability and limit states methods has also helped solve the key issue concerning the uniqueness of the partial factors calibrated from a particular‘target case’.

The Exact Traveling Wave Solutions to Two Integrable KdV6 Equations

The exact explicit traveling solutions to the two completely integrable sixthorder nonlinear equations KdV6 are given by using the method of dynamical systems and Cosgrove's work.It is proved that these traveling wave solutions correspond to some orbits in the 4-dimensional phase space of two 4-dimensional dynamical systems.These orbits lie in the intersection of two level sets defined by two first integrals.

THE LINEAR ARBORICITY OF COMPOSITION GRAPHS

The linear arboricity la(G) of a graph G is the minimum number of linear forests which partition the edges of G. Akiyama, Exoo and Harary conjectured that la(G) = [△(G)+1/2] for any regular graph G. In this paper, we prove the conjecture for some composition graphs, in particular, for complete multipartite graphs.