一种抽象缺省推理框架的表示性质

提出了抽象缺省推理框架和D-后承关系的概念。从而进一步给出D-后承关系的表示性质，并由此证明了任意无联结词形式的累积非单调后承关系，可以用抽象缺省推理框架来表示。     

决策表的逻辑表达式分析

用泛布尔代数系统作为逻辑工具,证明了条件属性完全决策表的两种逻辑表达式(蕴涵式和析取范式)是逻辑等价的,但是决策属性相容和不相容决策表的蕴涵式表达式有所不同。继而证明了不完全决策表在1型解释下,其析取范式表达式仍与完全决策表的析取范式表达式形式相同,但与其等价的蕴涵式表达式却比完全决策表的蕴涵式表达式多了一串乘积;而不完全决策表在2型解释下,其蕴涵式表达式仍与完全决策表的蕴涵式表达式形式相同,但与其等价的析取范式表达式却比完全决策表的析取范式表达式多了一串和式。     

基于关联维数的风机失速特征研究

针对非线性系统的特点,区别于以往对线性系统使用的时域、频域定性分析法,用分形维数定量刻画系统运行状态.运用非线性动力学理论,通过相空间重构选取延迟时间为18,嵌入维数为1到25,计算了风机失速前后压力信号的关联维数.研究发现关联维数由失速前的1.428下降到失速后的1.198.研究结果表明关联维数对失速信号是敏感的,可以用作判断风机失速的特征量.     

CO2中速度5~7 km/s自由飞圆球流场参数的实验测量和数值模拟

为研究火星进入条件下的非平衡流动特性，在中国空气动力研究与发展中心超高速空气动力研究所弹道靶上测量了CO₂中针对火星探测器进入速度范围5~7 km/s条件下的自由飞圆球的激波脱体距离。实验数据基于阴影法测量，并将其与数值计算结果进行对比，进一步计算了实验流场温度和组分分布等流场参数。一般认为激波脱体距离随来流速度升高而呈单调减小趋势，但研究结果表明:实验状态下，圆球飞行速度约5.5~7.0 km/s的范围内，圆球激波脱体距离随飞行速度升高而增大；采用Park的双温度非平衡模型和5组分6反应的CO₂化学反应动力模型可基本再现本文自由飞圆球激波脱体距离的实验测量数据；根据计算结果推测，本实验状态下自由飞圆球波后靠近激波一侧区域的流场主要处于热化学非平衡状态；当来流速度在约5.5~7.0 km/s的范围内时，流场组分CO开始发生显著离解，是引起圆球激波脱体距离在该速度范围内随速度升高反而增大的可能原因。     

Ψ(t)R_0──复合非时齐单调Poisson过程模型结构可靠性当量正态设计

本文讨论抗力Ψ（t）R0，荷载效应为强度函数λ（t）＝ae－bt，（t≥0，a，b＞0为实数）的复合非时齐单调Poisson过程结构可靠性模型。获得非时齐非增Poisson过程和非时齐非降Poisson过程样本函数最大值概率分布及统计参数估计。同时获得抗力Ψ（t）R0，其中R0～N（μR0，σ2R0）为初始随机变量，Ψ（t）＞0是t的单调递减连续实函数；荷载效应为复合非时齐单调Poisson过程模型结构可靠性当量正态设计表达式。     

单调节油门的飞控系统研究

对单调节油门的飞行控制系统进行了分析与研究，在论述了单调节油门的飞控系统的基本控制原理之后，以Ｂ－７２０收音机为研究背影对其数学模型进行了分析，文中彩模态加权的ＬＱＲ方法设计了可有效提高飞机稳定性的增强系统；研究了单调节油门的飞控系统地飞机速度进行控制的原理；在增强系统基础上设计了与仪表着陆系统相耦合的自动着陆系统。通过大量的分析与仿真表明，有杉现代控制理论进行单调节油门控制系统的设计是可行的。     

膜片非理想打开行为对自由活塞激波风洞运行的影响

在自由活塞激波风洞中，主膜片非理想打开行为可能对活塞运动和激波形成产生不同程度的影响。基于膜片的剪切-应变模型和活塞动力学模型，得到了膜片打开-活塞运动的耦合方程组，完成了膜片动态打开过程对活塞运动和常压力驱动时间影响的刻画。研究显示:由于活塞前脸压力和活塞速度之间存在博弈，膜片打开行为的差异性对活塞末端速度影响不大，活塞在压缩管末端可以实现"软着陆"。此结论得到试验证实。试验结果还显示:主膜片非理想打开行为对激波形成的影响较大，但是随着激波的传播，这种影响逐渐减弱。     

激波绕楔形物体的流场分析

使用数值计算方法和数值干涉技术并结合实验干涉图片,分析了激波过拐角绕楔形物体运动的流场.并采用数值彩色干涉技术,将数值计算结果转换为彩色条纹编码的数值干涉图,并与实验干涉图比较,可以辨识过激波发生跳跃后的干涉条纹的位移数,从而确定实验干涉照片的密度场.数值计算采用显式二阶迎风TVD格式.采用数值干涉技术将计算密度场转化成数值干涉图与实验干涉图进行了比较,检验了数值结果的可靠性.数值计算结果显示了包括激波、接触间断和旋涡在内的详细的流场结构,与实验相比,更为细致地刻画了流场演变过程的细节.通过数值计算结果观察到激波传播到旋涡中心附近并没有发生明显耗散,旋涡上半部的激波得到减速,下半部分的激波得到加速.     

解大规模无约束优化的新有限储存对称秩1校正算法

提出了一个新的有限储存对称秩1校正算法,该算法把自适应调比对称秩1校正与有限储存、非单调线搜索技术相结合。算法中的下降方向由有限储存逆自适应调比对称秩1校正产生从而简化计算。将算法与著名的LBFGS进行了数值比较,结果表明,新算法能较好地解一类大规模无约束优化问题。     

化学发光火焰三维重建研究综述

燃烧过程具有三维、高温、湍流、非稳态等特性,其精确测量存在一定的难度,一直是国内外研究的热点。化学发光计算断层成像（CTC）技术将化学发光技术和计算机断层成像（CT）技术相结合,通过直接拍摄不同角度的火焰图像,利用重构算法进行重建,可以快速准确地实现火焰三维结构的精细刻画。CTC系统以火焰的自发光作为光源,因此不需要额外的光源设备,这使得该系统具有容易搭建、可在复杂环境下实现等优势,可以用于高温、湍流火焰的实时测量,对于研究复杂燃烧流场、提高燃烧效率有着十分重要的意义。本文首先介绍了CTC技术的基本原理,然后从成像模型、重构算法、实验方法和应用方向4个方面介绍了CTC技术在火焰重构方向的研究进展,最后讨论了CTC技术的发展趋势。     

基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。     

间接言语行为的话语含义

本文从关联理论、认知语境两个方面对间接言语行为的话语含义进行了阐释。只有当话语含义得以成功表达时,间接言语行为才能够得以成功实施。     

概括原则与悖论研究的进展

悖论的出现与概括原则中的造集的任意性有很大关系。然而,历史上各种排除悖论的方案要么修改概括原则而过多地限制了概括原则的合理内容,要么修改与之配套的逻辑系统而导致失败。近年来,这些问题的研究又取得了新的进展,有必要历史地加以评介,本文从类型论、ZFC公理系统、BG公理系统、多值逻辑系统和中介数学系统五个方面综述逻辑数学悖论之解释方法的研究情况。     

中介谓词演算系统ME与ME之间的化归算法及其应用

在经典二值逻辑中，带等词的谓词演算系统Ｆ１与Ｆ１＊的函词系统等价，在互推关系下这两个系统也等价，然而在中介逻辑中，带等词的中介谓词演算系统ＭＥ与ＭＥ＊函词系统不等价，本文定理１指出，在互推关系下，任何ＭＥ＊中的公式均可化为ＭＥ中的标准前束范式，因此在互推意义下两系统等价，在中介逻辑中，ＭＥ是一个较为特殊的子系统，它具有许多与二值逻辑相类似的性质，本文的结果为将这些性质进一步推广到ＭＥ＊上提供了基础     

超疏水表面对湍流边界层相干结构影响的TRPIV实验研究

湍流边界层中的相干结构是壁面摩擦阻力的主要来源。通过研究超疏水壁面对相干结构的影响，揭示其减阻机理。利用高时间分辨率粒子图像测速技术（TRPIV），分别对流速为0.165m/s的亲水壁面和超疏水壁面平板湍流边界层进行测量，得到了2种壁面瞬时速度矢量场的大样本时间序列。通过对比分析2种壁面的平均速度剖面和湍流度，得到了5.39%的减阻效果。通过二维空间两点相关函数的方法定义并提取相干结构，对比得到超疏水壁面能够有效减小相干结构流向尺度的结论。进一步采用λ_ci准则对发卡涡头进行识别，并以此为条件事件对其周围的脉动速度分布情况进行线性随机估计。结果表明:超疏水壁面能够有效削弱单个发卡涡头的强度，并且能够影响其周围发卡涡包结构的组织形式，整体减弱涡包下方近壁区低速流体质点的流向脉动，从而有效减小壁面摩擦阻力。     

ECK2007模型与其他密钥协商协议模型安全强弱关系的形式化证明

比较了安全性模型Extended Canetti＆Krawczyk 2007（ECK 2007）与其他4个安全模型（Bellare＆Rogaway 1993（BR93）,Bellare＆Rogaway 1995（BR95）,Bellare,Pointcheval＆Rogaway 2000（BPR 2000）和Canetti＆Krawczyk 2001（CK2001））的不同点,并形式化地分析了这些模型之间的强弱关系,对模型间存在的蕴含关系提供了形式化证明,对非蕴含关系提供了反例。     

含有文字序逻辑程序的一种辩论语义

有序逻辑程序的语义研究是常识推理的重要研究内容。文中对Dung的辩论框架进行了扩充,针对含有文字序的逻辑程序提出了一种优先辩论框架,加入了对文字之间优先序的处理,进而定义了相应的优先回答集语义和优先扩充语义。证明了文中的优先回答集是Sakama回答集的特例,而优先扩充语义可以处理没有回答集的优先逻辑程序。     

无人机单片机控制系统软件容错设计

本文介绍了某型无人驾驶飞机系列MCS-51单片机控制系统的软件容错设计方法与实现。该软件采用了关键数据的余度管理技术,在充分考虑了本系统的任务功能及单片机固有特点的基础上,采用了若干行之有效的软件检错技术,包括执行条件检测、数据合理性检测、异常复位检测及软件陷井等。在检测到软件错误后,软件将执行一个恢复操作。恢复操作的基础是依据一组经过余度管理及相容性分析而保证为正确可靠的关键数据。恢复操作将消除软件系统所有可能的错误状态,将系统恢复至出错前的运行状态。实践表明,该软件的容错设计是可靠且有效的。