现代控制论中能控性定理证明方法之比较

就目前在现代控制论科教书中关于战性定常系统的状态能控性的几种常用证明方法提出异议，阐述看法并进行比较。     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

应用核磁共振实验实现量子计算的注记

从量子力学的基本原理出发,阐述了利用核磁共振进行量子计算的实验方法,澄清了有关文献中若干容易混淆而又十分重要的概念,并进一步报道CNOT门操作的实验方法和结果.实验结果与理论的预言一致.     

用于分布式识别的语音参数的提取和性能分析

主要研究用于分布式语音识别(DSR)的语音参数的提取方法以及参数性能分析。以前所用到的语音参数大部分是LPC倒谱参数,但其抗噪声性能较差。文中主要讨论了MEL倒谱参数,并在移动通信环境下,比较了两者的性能。     

线性系统和迭加原理

以系统的观点给出电路分析中的一个重要定理——迭加定理，并对迭加定理的证明。迭加定理与线性系统的关系．迭加定理的齐次性和可加性，作了较详细的论证。     

基于J2EE体系结构实现网上购物系统

J2 EE体系结构采用组件的思想 ,将业务逻辑层从客户、服务器端独立出来 ,从而带来开发、使用和维护的便利 .在分析的基础上 ,给出了一个网上购物系统的设计模型和实现方法 .     

期货交易量和现货交易量在发电公司计划中的经济分配

首先运用投资组合理论和线性规划的方法，建立了发电公司在完成计划交易电量下的利润模型，应用函数求导的单调性判别法，分析讨论期货电量和现货电量之间的不同比例对发电公司利润的影响，并对成本价格进行了相关的探讨。     

逻辑学语境下的科学实用主义

作为实用主义的鼻祖,皮尔士首先和主要是一位逻辑学家.他的实用主义从根本上讲是一种逻辑学说,要求从逻辑学理论上对其进行解读.审视科学实用主义同逻辑学的内在的、历史的联系及其形而上的蕴含,可以更清晰地认识实用主义理论的本真意义.     

永磁同步直线电机弱磁调速时的设计

从凸极率角度出发，对内部磁极结构电机提出了新的设计方法，为使电机的特性具有可比性，假设电机均运行于相同的基值点，并采取相同的控制策略，着重了研究凸极率（ld/lq)对电机最大可能速度，逆变器功能（VA）和电流控制特性的影响，所得结论对电机及其驱动系统的选择和有积极的参考指导作用。     

思维逻辑转换与翻译

翻译和思维逻辑有极其紧密的联系。逻辑活动贯穿于翻译过程的始终。在翻译过程中,译者需要在原语和译 语间进行思维逻辑的转换。从三个层面上阐述了逻辑转换在翻译中的作用:逻辑对确定词义的作用、逻辑对确定译语 句子表达的作用和逻辑对从篇章结构角度检验译文的正误的作用。