
We introduce some new perfect state transfer and teleportation schemes by
quantum walks with two coins. Encoding the transferred information in coin 1
state and alternatively using two coin operators, we can perfectly recover the
information on coin 1 state at target position only by at most two times of
flipping operation. Based on quantum walks with two coins either on the line or
on the $N$circle, we can perfectly transfer any qubit state. In addition,
using quantum walks with two coins either on complete graphs or regular graphs,
we can first implement perfect qudit state transfer by quantum walks. Compared
with existing schemes driven by one coin, more general graph structures can be
used to perfectly transfer more general state. Moreover, the external control
of coin operator during the transmitting process can be decreased greatly.
Selecting coin 1 as the sender and coin 2 as the receiver, we also study how to
realize generalized teleportation over long steps of walks by the above quantum
walk models. Because quantum walks is an universal quantum computation model,
our schemes may provide an universal platform for the design of quantum network
and quantum computer.

Traditional manifold learning algorithms often bear an assumption that the
local neighborhood of any point on embedded manifold is roughly equal to the
tangent space at that point without considering the curvature. The curvature
indifferent way of manifold processing often makes traditional dimension
reduction poorly neighborhood preserving. To overcome this drawback we propose
a new algorithm called RFML to perform an operation on the manifold with help
of Ricci flow before reducing the dimension of manifold.

Symmetric Positive Definite (SPD) matrices have been widely used as feature
descriptors in image recognition. However, the dimension of an SPD matrix built
by image feature descriptors is usually high. So SPD matrices oriented
dimensionality reduction techniques are needed. The existing manifold learning
algorithms only apply to reduce the dimension of high dimensional vectorform
data. For high dimensional SPD matrices, it is impossible to directly use
manifold learning algorithms to reduce the dimension of matrixform data, but
we need first transform the matrix into a long vector and then reduce the
dimension of this vector. This however breaks the spatial structure of the SPD
matrix space. To overcome this limitation, we propose a new dimension reduction
algorithm on SPD matrix space to transform the high dimensional SPD matrices to
lower dimensional SPD matrices. Our work is based on the fact that the set of
all SPD matrices with the same size is known to have a Lie group structure and
we aims to transform the manifold learning algorithm to SPD matrix Lie group.
We make use of the basic idea of manifold learning algorithm LPP (locality
preserving projection) to construct the corresponding Laplacian matrix on SPD
matrix Lie group. Thus we call our approach LieLPP to emphasize its Lie group
character. Finally our method gets a lower dimensional and more discriminable
SPD matrix Lie group. We also show by experiments that our approach achieves
effective results on Human action recognition and Human face recognition.

In this paper, we consider Turing machines based on unsharp quantum logic.
For a latticeordered quantum multiplevalued (MV) algebra E, we introduce
Evalued nondeterministic Turing machines (ENTMs) and Evalued deterministic
Turing machines (EDTMs). We discuss different Evalued recursively enumerable
languages from widthfirst and depthfirst recognition. We find that
widthfirst recognition is equal to or less than depthfirst recognition in
general. The equivalence requires an underlying E value lattice to degenerate
into an MV algebra. We also study variants of ENTMs. ENTMs with a classical
initial state and ENTMs with a classical final state have the same power as
ENTMs with quantum initial and final states. In particular, the latter can be
simulated by ENTMs with classical transitions under a certain condition. Using
these findings, we prove that ENTMs are not equivalent to EDTMs and that ENTMs
are more powerful than EDTMs. This is a notable difference from the classical
Turing machines.

In this paper we introduced an algebraic semantics for process algebra in
form of abstract data types. For that purpose, we developed a particular type
of algebra, the seed algebra, which describes exactly the behavior of a process
within a labeled transition system. We have shown the possibility of
characterizing the bisimulation of two processes with the isomorphism of their
corresponding seed algebras. We pointed out that the traditional concept of
isomorphism of algebra does not apply here, because there is even no oneone
correspondence between the elements of two seed algebras. The lack of this
oneone correspondence comes from the nondeterministic choice of transitions
of a process. We introduce a technique of hidden operations to mask unwanted
details of elements of a seed algebra, which only reflect nondeterminism or
other implicit control mechanism of process transition. Elements of a seed
algebra are considered as indistinguishable if they show the same behavior
after these unwanted details are masked. Each class of indistinguishable
elements is called a nonhidden closure. We proved that bisimulation of two
processes is equivalent to isomorphism of nonhidden closures of two seed
algebras representing these two processes. We call this kind of isomorphism a
deep isomorphism. We get different models of seed algebra by specifying
different axiom systems for the same signature. Each model corresponds to a
different kind of bisimulation. By proving the relations between these models
we also established relations between 10 different bisimulations, which form a
acyclic directed graph.

This book proposes to separate knowledge from software and to make it a
commodity that is called knowware. The architecture, representation and
function of Knowware are discussed. The principles of knowware engineering and
its three life cycle models: furnace model, crystallization model and spiral
model are proposed and analyzed. Techniques of software/knowware coengineering
are introduced. A software component whose knowledge is replaced by knowware is
called mixware. An object and component oriented development schema of mixware
is introduced. In particular, the tower model and ladder model for mixware
development are proposed and discussed. Finally, knowledge service and knowware
based Web service are introduced and compared with Web service. In summary,
knowware, software and hardware should be considered as three equally important
underpinnings of IT industry.
Ruqian Lu is a professor of computer science of the Institute of Mathematics,
Academy of Mathematics and System Sciences. He is a fellow of Chinese Academy
of Sciences. His research interests include artificial intelligence, knowledge
engineering and knowledge based software engineering. He has published more
than 100 papers and 10 books. He has won two first class awards from the
Academia Sinica and a National second class prize from the Ministry of Science
and Technology. He has also won the sixth Hua Lookeng Mathematics Prize.