Some Notes on the Formal Properties of Bidirectional Optimality Theory

In this paper, we discuss some formal properties of the model ofbidirectional Optimality Theory that was developed inBlutner (2000). We investigate the conditions under whichbidirectional optimization is a well-defined notion, and we give aconceptually simpler reformulation of Blutner's definition. In thesecond part of the paper, we show that bidirectional optimization can bemodeled by means of finite state techniques. There we rely heavily onthe related work of Frank and Satta (1998) about unidirectionaloptimization.     

针对任意传感器失效的反馈设计新方法

本文针对任意传感器的失效，给出了一种反馈设计方法，通过解Ｌｙａｐｕｎｏｖ方程及判定一个不等式的成立，即可给出反馈增益阵的设计，最后用这种方法研究了一个例子。     

两种具有电双稳态的全有机络合物

首次发现两种在室温下即具有电双稳态的全有机（有机-有机）络合物，分别称为MCA＋TCNQ和BBDN＋TCNQ。它们可在真空中制备成薄膜，在数伏电压的作用下，从高电阻至低电阻的跃迁时间小于100ns，因此可作为一次写入的存储器材料。根据我国目前最小刻线宽度的水平，可望在1．6cm2的SiO2平面上做出64Mb的存储器。     

Intranet搜索引擎设计与实现

随着企业内部网络应用的深入,Intranet内部的信息资源越来越庞大,怎样为这些数据信息构建索引是我们面If缶的主要任务,而全文检索的产生解决了这一问题。目前越来越多的中小企业采用Linux系统作为Web平台,并且利用检索系统来管理内部繁多的文本和HTML文件。文章对www搜索引擎的全文检索及其相关技术进行了分析和讨论,实现了一个基于Linux环境的Intranet搜索引擎LISE（Linux Intranet Search Engine）。LISE利用了基于词表的索引方法,为用户提供了更加准确的信息,能满足多种中小企业用户的需求。     

Adaptive fuzzy decentralized control for nonlinear large-scale systems based on high-gain observer

An adaptive fuzzy decentralized backstepping output-feedback control approach is proposed for a class of nonlinear large-scale systems with completely unknown functions,the interconnections mismatched in control inputs,and without the measurements of the states.Fuzzy logic systems are employed to approximate the unknown nonlinear functions,and an adaptive high-gain observer is developed to estimate the unmeasured states.Using the designed high-gain observer,and combining the fuzzy adaptive control theory with backstepping approach,an adaptive fuzzy decentralized backstepping output-feedback control scheme is developed.It is proved that the proposed control approach can guarantee that all the signals of the closed-loop system are semi-globally uniformly ultimately bounded(SUUB),and that the observer errors and the tracking errors converge to a small neighborhood of the origin by appropriate choice of the design parameters.Finally,a simulation example is provided to show the eectiveness of the proposed approach.     

基于交流比例积分控制器的单相逆变器

提出一种电感电流、输出电压瞬时值反馈控制和负载电流前馈控制相结合的复合控制策略。在此基础上,研制了一台800W的单相逆变器。实验结果表明,提出的控制策略改善了逆变器输出电压的波形,提高了系统的暂态特性。     

Deterministic secure quantum communication without unitary operation based on high-dimensional entanglement swapping

By analysis of the basic properties of entanglement swapping of high-dimensional Bell states,a universal and general deterministic secure quantum communication(DSQC)protocol is proposed,in which unitary operation is not required.By making use of the results of high-dimensional Bell measurement,the sender and the receiver can encode and decode the message respectively by performing the modular addition and subtraction.Two mutually complementary bases are constructed;and according to the property of mutual complement,a method for checking security of the high-dimensional quantum channel is put forward.Some common attack strategies are analyzed,and the corresponding error rates are calculated.Then the upper bound of the threshold of error rate is deduced.     

支持状态机建模的工作流引擎研究

为了能清晰地描述存在较多审批环节和步骤跳转的业务流程,提出利用状态机为流程建模的方法。通过改进传统的关系结构工作流引擎,给出一个支持状态机建模的关系结构工作流引擎的设计方案,详细介绍该引擎的设计原理和实现柔性方法。最后通过一个示例,演示支持状态机建模的工作流引擎的工作机制和实例迁移的过程。原型已经应用到高校学费管理系统中。实践证明,该引擎可以有效地支持状态机建模,并缩短关键业务的开发周期。     

电位滴定法研究~(99)Tc-HMDP和~(99)Tc-HEDP中Tc的氧化态

~(99)Tc-HMDP和~(99)Tc-HEDP溶液是在相应的螫合剂存在下,用过量SnCl_2还原~(99)TcO_4-制得。用标准I_2液对SnCl_2进行了剩余量电位滴定,确定了在pH～3的介质中,~(99)Tc-HMDP和~(99)Tc-HE-DP中~(99)Tc的氧化态均为+4。全部实验在N_2气流中进行。~(99)Tc-HMDP和~(99)Tc-HEDP的紫外光谱表明:在用I_2滴定的过程中,~(99)Tc只处于一种氧化态+4;将它们放置在空气中,一小时后仍较稳定。