2D 系统的因果能达性

本文给出了２ＤＲｏｅｓｓｅｒ模型的一种新的能达性定义，并证明了这一新概念与Ｂｉｓｉａｃｃｏ在１９８５年提出了因果能观性是对偶的，从而最终完善了现有２Ｄ离散系统性能达（能现）性与能控（可重构）性理论，最后本文还将结果推广到２Ｄ一般离散模型，并利用陈文德在１９８４年的结果给出了这种新的能达性的一类应用。     

一类分布参数系统的镇定问题

本文讨论Hilbert空间H中的线性系统[A,B]:dx/dt=Ax+Bu在反馈控制u(t)=Kx(t)下的渐近稳定性问题,这里A是正常算子,C_0类算子半群的母元,B:E~r→H有界。本文给出了[A,B]亚渐近能稳的某些必要条件和一个充分条件。     

应用无源性分析时变非线性系统的稳定性

应用无源性分析研究时变非线性系统的稳定性.通过引进一个非线性复合微分算子dI(x)=k(x)s和一个时变非线性复合微分算子dLI(x,t)=k(x,t)sk(x,t),讨论了基于无源系统理论的时变非线性系统的稳定性分析.这里s=d/dt为普通的微分算子,x为所研究系统的状态变量.应用复合微分算子,构造出了一类严格无源的时变非线性系统,进一步给出了相应系统的渐近稳定条件.     

时滞线性系统(t)=Ax(t) Bx(t-τ)稳定性的新判据

提出了 x(t) =Ax(t) Bx(t- τ)时滞无关稳定的一个充分条件 ,并进而研究了系统在不满足时滞无关稳定条件下 ,不稳定特征根的区域范围 ,给出了一个与时滞相关稳定的新的充分条件 .文末 ,给出了本文结论的示例 ,并与已有结果进行了比较 ,表明了该方法的有效性和可行性 .     

线性切换系统的能控性与能达性*

本文针对一般线性切换系统,严格定义了系统的能控性、能达性和能控集、能达集,导出了能控性的一个必要条件,给出了三维单输入双切换系统能控性的充分必要条件,并指出现有文献中有关结论的一个错误.     

基于随机模型的软实时系统的任务期望可调度性

本文基于随机模型研究了软实时系统中任务的可调度性特征,提出了期望可调度性的概念. 期望可调度性是与实时任务到达时间t相关的, 因此, 提出的方法能研究任务子集在任意给定时间间隔的可调度性特征. 本文给出了期望可调度性的条件, 如果任务的持续时间满足该条件, 则实时任务具有期望可调度性. 基于理论结果的数值分析与模拟结果是一致的,这表明当软实时系统的负载率小于69%(某些确定性模型提供的)时, 实时任务总是期望可 调度的. 这一结果也表明基于随机模型的期望可调度性方法能为软实时系统的任务可调度性分析提供一个更大的阈值和更好的适应性.     

时滞线性系统(t)=Ax(t)+Bx(t-τ)稳定性的新判据

提出了(t)=Ax(t)+Bx(t-τ)时滞无关稳定的一个充分条件,并进而研究了系统在不满足时滞无关稳定条件下,不稳定特征根的区域范围,给出了一个与时滞相关稳定的新的充分条件. 文末,给出了本文结论的示例,并与已有结果进行了比较,表明了该方法的有效性和可行性.     

Hilbert空间中广义分布参数系统的精确能控性

首先,应用泛函分析和算子理论研究了Hilbert空间中广义算子半群的一些性质,并应用广义算子半群理论给出了Hilbert空间中广义分布参数系统的解的存在唯一性及解的构造性表达式;其次,应用泛函分析及广义算子半群理论讨论了Hilbert空间中广义分布参数系统的精确能控性。给出了精确能控的必要及充分条件。说明了广义分布参数系统精确能控性和稳定性之间的关系。所得结果对广义分布参数的研究有重要的理论意义。     

仿射非线性系统的能控性

研究仿射非线性系统的能控性问题.利用向量场族对应的积分曲线定义系统的能控性,建立一个新的基于漂移向量场弱泊松稳定的能控性判据,并给出了完整的证明.利用该结论对定义在紧致黎曼流形上的解析系统,给出了漂移向量场为保守场条件下的能控性的充要条件,并用状态流形的紧致性证明了弱泊松稳定性的几个等价条件.进一步利用保守系统的判据给出了一般仿射非线性系统能控的充分条件,井应用所得结论分析了欠驱动航天器姿态系统的能控性.     

非匀称模型下系统的t/s诊断

自Friedman提出系统的t/s诊断[3]以来,仅对特殊的系统设计——单环系统与D?系统——获得了结果,但对一般系统的t/s诊断,除了Kyung-Yong Chwa和Hakimi研究了系统的t/t可诊断充要条件外,还未有特征性的描述.本文描述了非匀称模型[2]下一般系统的t/t和t/s可诊断性特性,对D?系统给出了t/s诊断的具体数据,从而完善了非匀称模型下对系统的各种诊断的论述.     

一个小型程控交换机的设计

介绍一个由AT89C51、DTMF收发器MT8880、语音芯片ISD4004及开关矩阵MT8816构成的小型程控交换机的硬件设计和工作原理。     

When A Business Abandons A Data Mine: A Case Study

This case study examines the corporate expectations, conduct, and reactions surrounding a data-mining effort. Faced with the pressures of a still-restructuring business environment, even the executives who had initiated the effort failed to probe its value. They abandoned their commitment to prospecting and then the whole of the mining effort, despite its payback and promise. This article analyzes the project's failures and successes, offering guidelines that could make a difference in similar situations. If data mining is allowed to lose its strategic business focus, its potentialities will not be acknowledged.     

一种新的删除红黑树的结点的算法

提出一种新的删除红黑树的结点的算法,其主要思想是先自上而下处理某些子树再删除结点,不涉及自下而上的后退。证明新算法是正确的。设n是红黑树的内部结点的个数。执行新算法时进行O（1）次旋转。新算法的时间复杂性是O（log2n）。实验结果表明新算法的平均执行时间比Tarjan的算法和Guibas-Sedgewick算法的短。新算法的空间复杂性是O（1）。     

一花一世界 一叶一天堂

自然是动物和植物互相作用所产生的表象,从生物存在的那一刻开始,地球就无时无刻不在发生着变化。人类赖以洒息的建筑,其筑造过程势必将对自然造成无可避免的破坏影响。城市是由建筑构成的,你无法不关注这个城市里的建筑,不管你是不是设计师。     

回首十年——从程序员到CTO

我在美国工作了十年,从一名普通的程序员成长为FreeWheel的CTO。我的职业生涯,从DoubleClick开始。进入DoubleClick,起始于一个机缘巧合,九年以后,我在离开DoubleClick时的告别信中讲道:……destiny landed me at DoubleClick……,指的就是这个巧合。     

带上Acer宏碁A100滑雪去！

一想到周末要去滑雪,就会不由地激动起来！ 这两天一有空,我就会在心里盘算了,出来要带上精良的滑雪器具以外,我们的包里还得放些什么。想来想去,     

圆与多边形重叠区域的判定算法

本文提出了一种实用的圆与多边形重叠区域的判定算法，它集判断与确定功能于一体。该算法将多边形的边视为有向线段，通过引入多边形顶点的入边，出边交点的概念，研究了圆与多边形重叠区域的确定问题，并给出了作出其重叠区域的定理。     

机器人抓取运动目标的轨迹规划方法

本文讨论了机器人在抓取运动目标前的接近轨迹规划问题，给出了一种新的在平面上抓取目标的方案。这种方案适用于机器人接近作直线运动或轨迹已知的平面曲线运动的目标的轨迹规划。本文还研究了当目标沿直线以不同速度运动时机器人手爪要抓取它而必须达到的最小末端速度，最后给出了一些仿真结果。