英语存现结构对生成语法理论的发展和验证

英语存现结构因其特殊属性在参与语法理论构建和验证理论的解释性中具有重要作用。通过分析格理论中名词词组的赋格,特征核查理论,合并与移动的优先问题及局部经济性原则,多重主语结构,句法推导等方面存现结构的特殊地位,论证了存现结构研究的重要性。     

τ-平坦试验模与τ-平坦覆盖

证明了τ-平坦试验模的存在性, 并给出了{τ-平坦模}构成预包络类或预覆盖类的几个充分条件.     

含缺陷模一维光子晶体的超窄带滤波特性分析

利用传输矩阵方法,计算含缺陷模的一维光子晶体中缺陷模产生的窄透过带的滤波特性。结果得出,缺陷模介质的折射率越小,产生的超窄滤波带滤波性能越好;一维光子晶体的两基元介质折射率比值越大,产生的透过带越窄;缺陷插入一维光子晶体正中间产生的滤波效果最好。     

关于热传导方程有限差分区域分解并行算法精度的注记

以一维热传导模型方程为例来说明用有限差分区域分解算法求解热传导方程中的三个现象.     

支持组合设计的一种可重构计算系统任务模型

针对现有可重构模型的不足,提出一种面向任务的支持组合设计的可重构计算模型系统.以生产者-消费者数据类型显式描述任务间通讯关系,并形式化描述任务的设计和运行时特征,提供组合设计规则,能够自动生成合成任务的各项属性,方便了应用系统的构建和性能评估.基于该模型可进行快速设计空间搜索,寻找最佳的系统设计方案.最后给出该模型的两种不同应用示例.     

■_4型箭图的Hall多项式

利用仿射箭图的表示范畴的性质把Hall多项式的计算问题归结到一些矩阵方程的解的个数问题。用此方法,得到了■4型箭图的不可分解予投射予内射表示的Hall多项式。     

电力系统短期负荷预测应用中小波函数选取的方法

根据信号奇异性检测理论,提出了一种小波函数的选取方法:首先根据负荷序列的特点及短期负荷预测对小波函数的应用要求,粗选使用db(N)小波函数系进行分析;然后根据李普希兹指数与小波分解尺度及模极大值点之间的关系,找出可以检测到最大李氏指数的db小波,并结合小波重构对正则性的要求对N作出选择.算例说明了这种选取方法具有一定的合理性.     

基于ACCESS的网上问卷调查统计系统的设计方案

提出基于ACCESS的问卷调查统计系统的设计方案,并给出了数据库的设计和主要功能模块。     

强迫风冷封闭母线温度控制系统设计

针对强迫风冷封闭母线温控系统的非线性、时变性和不确定性,设计了一种基于模糊控制和PID算法的温度控制系统,通过对强迫风冷封闭母线温度控制回路的应用仿真,结果表明:此系统既可以发挥模糊控制灵活而适应性强的优点,同时又具有PID控制精度高的特点,因此采用模糊PID控制算法的母线温度控制系统可提高对母线温度的跟踪能力,系统具有更优的动态性能。     

基-可数仿紧空间的刻画

引入了基-可数仿紧空间的概念,给出基-可数仿紧空间的一些等价刻画,获得以下结果:(i)X是基-可数仿紧空间当且仅当存在X的一开基B,|B|=ω(X),对于X的每一可数开覆盖U={Ui}i∈N,都存在B′B,使得B′={Bi}i∈N是U的局部有限的可数开加细,且BiUi;(ii)设X是正规空间,X是基-可数仿紧空间当且仅当存在的一开基B,|B|=ω(X),使得X的每一可数开覆盖都存在由B中的元构成的局部有限的收缩.