中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

孔-轴-孔配合处的孔位移制误差计算公式的论证

文[1]、[2]中通过线性化假定推导出计算孔-轴-孔配合处的孔位移制误差的简化公式,但缺乏充足的理论支持。本文用矢量随机误差分析法导出计算该误差的另一公式,通过典型孔-轴-孔配合的孔位移制误差计算,证明该简化公式不仅使用方便,而且准确、可靠。     

目前管理信息系统弊病分析及其改善途径

本文在肯定管理信息系统给企业带来经济效益和社会效益的前提下，分析了管理信息系统中存在的主要弊病及产生弊病的主要原因，主要弊病：信息质量问题，适应性差，及系统与用户之间存在着间隙。产生弊病的主要原因是：系统开发队伍的结构不合理，原理数据的局限性、数据集的表态性，及传统开发方法本身的限制。根据对弊病原因的分析，探讨了克服弊病与改善系统性能的基本途径：合理组织系统开发队伍，适当拓宽系统范围（包括拓宽数据     

能谱变硬后的X射线对Ly12铝破坏效应的研究

用数值模拟方法讨论了X射线的能谱向短波方向变化后,对Ly12铝破坏效应的影响,对所得结果进行了分析和解释。     

一类变结构控制系统滑动模态的特征值条件

在单输入双线性常值变结构控制和比例变结构控制及一般双线性常值变结构控制系统的基础上，将系统推广到一般多输入双线性系统的比例变结构控制，引入排序截尾算子取变结构控制律与状态变量中ｍ个绝对值较大的分量成比例实现对ｎ个被控变量的控制，采用李亚普诺夫方法研究这类系统的滑动模态，得出此类系统产生稳定滑模运动的条件，并对该条件进行讨论和简化，将其表述成系统矩阵与双线性矩阵特征值之间的关系式。同时给出了一个三阶     

基于数字滤波的B-样条插值法在图像旋转中的应用

提出一种基于无限脉冲响应和有限脉冲响应数字滤波技术的快速 B-样条插值法 ,并将其应用于实时图像旋转处理中。为了优化旋转后的图像质量 ,本文采用 3次 B-样条对图像旋转后的像素点灰度值进行插值运算。另外 ,通过对传统图像旋转矩阵的分解 ,将图像在二维空间中的旋转运算分解成为三步在一维空间内平移运算 ,使插值运算在一维空间中完成 ,从而简化了图像旋转数据处理中的插值运算。最后 ,还提出了一种以硬件方法完成高阶图像插值运算实现图像旋转的新方法 ,并针对 2 5 6灰度级 ,2 5 6× 2 5 6像素的图像 ,设计出一个以 FPGA为核心的实时、高质量的硬件图像旋转系统。     

经营者股票期权激励制度的经济学分析

经营者股票期权激励制度是一种对经营者实施有效激励的制度创新，它蕴涵着深刻的经济学理论。以往的经济学者从不同的角度对其进行了解说，但这些理论解说缺乏内在统一性，因而对该制度的经济学理论进行系统地分析成为文章的宗旨。     

SINS／GPS组合系统的蒙特卡洛仿真

以考虑位置误差相关项的伪距率观测模型，对遥感中使用的SINS/GPS为距、伪距率组合系统进行了蒙特卡洛仿真。结果表明，组合系统的长期位置精度能达到5m以内；GPS数据更新率低于SINS，在GPS测量时间间隔内，组合系统的性能仅由SINS决定，虽然SINS的误差随时间积累，但在GPS测量时间间隔为秒数量级的情况下，即使采用中等精度的惯性的误差随时间积累，但在GPS测量时间间隔为秒数量级的情况下，即使采用中等精度的惯性仪表，其相对位置精度可达到厘米级（这里相对位置精度指组合系统在GPS测量时间间隔内位置误差的变化范围）。     

非线性随机动态系统学习建模方法

在动态神经网络及扩展卡尔曼滤波算法的基础上，提出了对非线性随机动态系统进行学习建模的迭代算法，用这种方法对非线性随机系统建模，可以获得更准确伯系统模型，并可对非线性随机系统进行状态估计。最后给出相应算法及仿真结果。     

穿透式冷板的传热分析

对航空电子设备上采用的空心冷板冷却系统的传热特性进行了分析求解，得到了空心冷板稳态温度分布表达工和功率－温度－流量关系式，可作为空心冷板系统的设计依据，建立了空心冷板失效的动态温度模型，得到的温度－时间响应特性可用于评估冷板系统耐热冲击性能。