Guangxi Key Laboratory of Hybrid Computational and IC Design Analysis

Nanning, China

Guangxi Key Laboratory of Hybrid Computational and IC Design Analysis

Nanning, China
SEARCH FILTERS
Time filter
Source Type

Liu X.,Guangxi University for Nationalities | Liu X.,Guangxi Key Laboratory of Hybrid Computational and IC Design Analysis | Zhu G.,Guangxi University for Nationalities | Zhou G.,Guangxi University for Nationalities | Yu Y.,Monash University
Mathematical Problems in Engineering | Year: 2012

We investigate the determinantal representation by exploiting the limiting expression for the generalized inverse A T,S (2). We show the equivalent relationship between the existence and limiting expression of A T,S (2) and some limiting processes of matrices and deduce the new determinantal representations of A T,S (2), based on some analog of the classical adjoint matrix. Using the analog of the classical adjoint matrix, we present Cramer rules for the restricted matrix equation AXB = D,R(X)⊂T,N(X)⊃S̃. © 2012 Xiaoji Liu et al.


Yang S.,Guangxi University for Nationalities | Yang S.,Chinese Academy of Sciences | Wu J.,Guangxi Key Laboratory of Hybrid Computational and IC Design Analysis | He A.,Guangxi Key Laboratory of Hybrid Computational and IC Design Analysis
Applied Mechanics and Materials | Year: 2013

It is a challenge to transform legacy XML-based data into ontology for applications of the semantic web, such as semantic-based integrations, intelligent web searching, and internet based knowledge reasoning. We propose a new technique to transform XML data into ontology data automatically by modeling XML documents semantically. Firstly, we provide the XML a semantically interpretation by developing a graph-based formal language, w-graph. Then, the result of the interpretation can be automatically mapped into OWL web ontology language with semantics preserved. The proof of semantics preserved also been considered, and automatic mapping tool has been developed. © (2013) Trans Tech Publications, Switzerland.


Li Z.,Guangxi University for Nationalities | Li Z.,Guangxi Key Laboratory of Hybrid Computational and IC Design Analysis | Xie N.,Guangxi University for Nationalities | Wen G.,Guangxi University for Nationalities
Applied Soft Computing Journal | Year: 2015

Soft set theory is a new mathematical tool to deal with uncertain information. This paper studies soft coverings and their parameter reductions. Firstly, we define a soft set on the power set of an initial universe and discuss its properties. Secondly, we introduce soft coverings and obtain the lattice structure of soft sets induced by them. Thirdly, we investigate parameter reductions of a soft covering by means of attribute reductions in a covering information system and present their algorithm. Finally, we give an application to show the usefulness of parameter reductions of a soft covering. © 2015 Elsevier B.V. All rights reserved.


Liao Y.-M.,Guangxi University for Nationalities | Zhou P.,Guangxi University for Nationalities | Zhou P.,Guangxi Key Laboratory of Hybrid Computational and IC Design Analysis | Qin X.-C.,Guangxi University for Nationalities | He Y.-H.,Guangxi University for Nationalities
Quantum Information Processing | Year: 2014

In this paper, we present a possible improvement of the successful probability of joint remote state preparation via cluster states following some ideals from probabilistic joint remote state preparation (Wang et al. in Opt Commun, 284:5835, 2011). The success probability can be improved from 1/4 to 1 via the same quantum entangled channel by adding some classical information and performing some unitary operations. Moreover, we also discussed the scheme for joint remote preparation via cluster-type states. Compared with other schemes, our schemes have the advantage of having high successful probability for joint preparation of an arbitrary two-qubit state via cluster states and cluster-type states. © 2013 Springer Science+Business Media New York.


Tang Y.-Y.,Guangxi University for Nationalities | Liao C.-Z.,Guangxi University for Nationalities | Meng J.-L.,Guangxi University for Nationalities | Zhu J.-M.,Guangxi University for Nationalities | And 4 more authors.
Rare Metals | Year: 2013

Phase equilibria in the Fe-Nb-Zr system at 1,200 C were determined by X-ray diffraction (XRD) and scanning electron microscope (SEM) coupled with energy-dispersive X-ray spectroscopy (EDS) techniques. Extensive NbFe 2 domain was proposed in the current work. This compound existed in the composition range from 35 at% to 73 at% Fe, 12 at% to 32 at% Nb, and 0 to 32 at% Zr. In the present work, four three-phase regions (1) β-(Nb,Zr) + NbFe + NbFe2, (2) β-(Nb,Zr) + NbFe2 + Liquid, (3) NbFe2 + Liquid + ZrFe2, and (4) ZrFe2 + Fe + NbFe2, were established. © 2013 The Nonferrous Metals Society of China and Springer-Verlag Berlin Heidelberg.


Liao Y.-M.,Guangxi University for Nationalities | Zhou P.,Guangxi University for Nationalities | Zhou P.,Guangxi Key Laboratory of Hybrid Computational and IC Design Analysis | Qin X.-C.,Guangxi University for Nationalities | And 2 more authors.
Communications in Theoretical Physics | Year: 2014

We present a scheme for symmetric controlled remote preparation of an arbitrary 2-qudit state form a sender to either of the two receivers via positive operator-valued measurement and pure entangled two-particle states. The first sender transforms the quantum channel shared by all the agents via POVM according to her knowledge of prepared state. All the senders perform single- or two-particle projective measurements on their entangled particles and the receiver can probabilisticaly reconstruct the original state on her entangled particles via unitary transformation and auxiliary qubit. The scheme is optimal as the probability which the receiver prepares the original state equals to the entanglement of the quantum channel. Moreover, it is more convenience in application than others as it requires only two-particle entanglements for preparing an arbitrary two-qudit state. © 2013 Chinese Physical Society and IOP Publishing Ltd.


Ai L.-T.,Guangxi University for Nationalities | Nong L.,Guangxi University for Nationalities | Zhou P.,Guangxi University for Nationalities | Zhou P.,Guangxi Key Laboratory of Hybrid Computational and IC Design Analysis
International Journal of Theoretical Physics | Year: 2014

We present an efficient scheme for multiparty joint remote preparation of an arbitrary m-qudit state by using partially entangled states as the quantum channel. One of the senders first performs a collective unitary transformation on his entangled particles and the auxiliary qubit, and then he performs a Z-basis measurement on the auxiliary qubit for transforming the partially entangled quantum channel into the two types of multi-particle entangled states. In the first case, the quantum channel shared by all the senders and the receiver is the target channel. In the second case, the quantum channel transforms into another partially entangled state which is the resource for the quantum channel transformation in the next round. Compared with other protocols, our scheme has advantage of having high success probability for joint remote preparation of an arbitrary m-qudit state via partially entangled states. © 2013 Springer Science+Business Media New York.


Yang H.,Chinese Academy of Sciences | Wu J.,Guangxi University for Nationalities | Wu J.,Beijing Jiaotong University | Wu J.,Guangxi Key Laboratory of Hybrid Computational and IC Design Analysis | Zhang Z.,Chinese Academy of Sciences
International Journal of Advancements in Computing Technology | Year: 2012

In terms of completed trace equivalence of labeled transition systems, it is inefficient to eliminate states. This paper proposed the approximate completed trace equivalence of inhomogeneous linear transition systems. In order to extend the system actions, inhomogeneous linear polynomial programs are applied to describe system actions. Then the completed trace equivalence of inhomogeneous linear transition systems is established. Subsequently, it proposed the theory and algorithm of approximate completed trace equivalence of inhomogeneous linear transition systems. Under certain conditions, the approximate completed trace equivalence can eliminate states efficiently. Finally, above view is verified by a simple spreading model of E-mail viruses.


Zhou P.,Guangxi University for Nationalities | Zhou P.,Guangxi Key Laboratory of Hybrid Computational and IC Design Analysis | Li H.-W.,Guangxi University for Nationalities | Long L.-R.,Guangxi University for Nationalities
International Journal of Theoretical Physics | Year: 2013

We present a scheme for multiparty joint remote preparation of an arbitrary m-qubit state with a multiparticle entangled quantum channel against collective noise. All the senders share the information of the prepared state and perform corresponding measurement according to their knowledge of the prepared state, the receiver can reconstruct the original state by performing corresponding unitary operation on his particles if he cooperates with all the senders. Moreover, the agents use decoherence-free subspace to tolerate the collective noise. This scheme has the advantage of having high success probability for multiparty joint remote preparation of an arbitrary m-qubit state via pure entangled states. © 2012 Springer Science+Business Media New York.


Liu S.-H.,Chinese Academy of Sciences | Liu S.-H.,Command Colleges of Armed Police Forces in Shenyang | Wu J.-Z.,Guangxi Key Laboratory of Hybrid Computational and IC Design Analysis | An N.,Academy of Equipment Command and Technology
Journal of Theoretical and Applied Information Technology | Year: 2013

It is a major scientific theoretical significance and practical value that the identification of the hub node in the transport network. This paper presents a new method which can detect the hub node of the urban transportation based on the idea of local modularity measure. Evaluation indicators include node degree, clustering coefficient, peak hour traffic flow. First, apply a complex network of local modularity Societies division method. Second, looking for societies where the node with the largest peak-hour traffic flow.Last, identify the hub nodes in the transport network. Since the algorithm is reflected from the static and dynamic characteristics of the transport network node, it is the Hub node identification in the transport network that is a high degree of accuracy. Through the surrounding junctions along the Chang'an Avenue in Beijing as an example, verify the feasibility of the method. © 2005 - 2013 JATIT & LLS. All rights reserved.

Loading Guangxi Key Laboratory of Hybrid Computational and IC Design Analysis collaborators
Loading Guangxi Key Laboratory of Hybrid Computational and IC Design Analysis collaborators