SuperDense Quantum Teleportation

Recent advances in experimental technique make SuperDense Teleportation (SDT) possible only now, ten years after my first proposal at an ISI Torino summer conference on Quantum Computing. The effect uses remote state preparation to send more state-specifying parameters per bit than ordinary quantum teleportation (QT) can transmit. The SDT uses a maximally entangled state to teleport the relative phases of an n-dimensional state with equal amplitudes on every standard basis vector. For n greater than or equal to 3, the SDT sends more of these state-specifying parameters than QT. In the limit of large n the ratio is 2 to 1, hence the nomenclature by analogy with Super Dense Coding. Alice’s measurements and Bob’s transformations are far simpler than their corresponding operations in QT. The roles of Charles who chooses the state and Diana who deploys it are different than in QT. My discussion includes a brief review of the progress and possibilities of realization for several different experimental approaches around the world. This paper is the write-up of my remarks at the Festschrift conference for Anton Zeilinger, for many years a close collaborator in the Hampshire College NSF grant continuing our work with Mike Horne and Danny Greenberger started under Cliff Shull at MIT in the late 20th century.     

Information Visualization Within a Digital Video Library

The Informedia Digital Video Library contains over a thousand hours of video, consuming over a terabyte of disk space. This paper summarizes the multimedia abstractions used to represent this video in prior systems and introduces the visualization techniques employed to browse and navigate multiple video documents at once.     

A visual news processing environment

CPP-TRS (Tonfoni 1989–94) is both a methodology and a language. Through the methodology (CPP — Communicative Positioning Program) those invisible aspects of communication are identified and represented by the meta-language (TRS — Text Representation Systems), which complements natural language. CPP-TRS is a new paradigm which applies to any communicative context.Icons in CPP-TRS are not intended to represent words or sentences in order to substitute them; they are rather intended to represent visually what natural language does not convey naturally. The improvement of communication is a challenge of the present and the future: CPP-TRS is designed explicitly for it.The CPP-TRS system thus is able to support the user with a set of visual tools, that are specifically suited to structuring text and communicating effectively.The same tools can support communication very effectively in situations where ambiguity can highly compromise the final result.The system may be used in a way that is either opaque or transparent to the reader of the text.Author of CPP-TRS¢ and CPP-TRS¢ Applications Designer.     

开发计算机管理信息系统推动设备供应管理现代化

本文介绍了我国冶金大型钢铁联合企业设备供应管理系统计算机应用开发过程及研制方法，并分析了取得的经济效益和在国内的推广价值。     

数字化战场的技术体系结构

阐述了信息制胜战中数字战场的三种体系结构（作战体系结构、系统体制结构与技术体系结构）及信息系统技术体系近几年的发展；介绍了信息化战场提出的几种技术体系结构，进而分析指出了数字化战场发展过程中所需要开发的各种信息业务和应当注意加强研究的技术方面。     

EXTENSION OF THE RELATIONAL DATABASE AND ITS ALGEBRA WITH ROUGH SET TECHNIQUES

This paper describes a database model based on the original rough sets theory. Its rough relations permit the representation of a rough set of tuples not definable in terms of the elementary classes, except through use of lower and upper approximations. The rough relational database model also incorporates indiscernibility in the representation and in all the operators of the rough relational algebra. This indiscernibility is based strictly on equivalence classes which must be defined for every attribute domain. There are several obvious applications for which the rough relational database model can more accurately model an enterprise than does the standard relational model. These include systems involving ambiguous, imprecise, or uncertain data. Retrieval over mismatched domains caused by the merging of one or more applications can be facilitated by the use of indiscernibility, and naive system users can achieve greater recall with the rough relational database. In addition, applications inherently “rough” could be more easily implemented and maintained in the rough relational database.     

Input-output finite-time stability of time-varying linear singular systems

This paper studies the input-output finite-time stabilization problem for time-varying linear singular systems. The output and the input refer to the controlled output and the disturbance input,respectively.Two classes of disturbance inputs are considered,which belong to L-two and L-infinity.Sufficient conditions are firstly provided which guarantee the input-output finite-time stability.Based on this,state feedback controllers are designed such that the resultant closed-loop systems are input-output finite-time stable.The conditions are presented in terms of differential linear matrix inequalities.Finally,an example is presented to show the validity of the proposed results.     

Stability analysis for discrete linear systems with state saturation by a saturation-dependent Lyapunov functional

This paper concerns the stability analysis problem of discrete linear systems with state saturation using a saturation-dependent Lyapunov functional.We introduce a free matrix characterized by the sum of the absolute value of each elements for each row less than 1,which makes the state with saturation constraint reside in a convex polyhedron.A saturation-dependent Lyapunov functional is then designed to obtain a sufficient condition for such systems to be globally asymptotically stable.Based on this stability criterion,the state feedback control law synthesis problem is also studied.The obtained results are formulated in terms of bilinear matrix inequalities that can be solved by the presented iterative linear matrix inequality algorithm.Two numerical examples are used to demonstrate the effectiveness of the proposed method.     

二进制分辨矩阵在连续属性约简中的研究

针对二进制分辨矩阵无法处理连续型数据,提出一种基于邻域的改进二进制分辨矩阵及其属性约简方法。实验结果表明,与先数据离散化,后属性约简的方法相比,利用文中方法提取出的特征属性的分类能力更高。     

基于AOP的工作流在信息管理系统中的应用

针对基于面向对象的工作流与信息管理系统在集成时出现的问题,提出了一种基于面向方面的工作流方法。首先介绍了面向方面开发方法的原理和特点,然后分析基于面向方面的工作流管理系统的方案。最后结合基于.NET的信息管理系统的应用,给出了该工作流管理系统的实现过程。应用效果表明,基于面向方面的工作流可以有效地提高软件开发的效率。