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

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

关于稀疏分布存贮模型中A连接权阵的讨论

Ｋａｎｅｒｖａ的稀疏分布存贮模型由于对寻址地址采用了稀疏编码，对数据采用了分布式存贮，从而解决了大维数向量的输入问题，ＳＤＭ实际上是一个由输入层，中间层和输出层组成的三层前向网络，其中神经元间的互迦权值在输入层与中间层是预置的（用矩阵Ａ表示），中间层与输出层的连接权阵Ｃ由外积法得到，文中假定在相同的学习规则下，就信噪比意义而言，Ａ的均匀预置能使ＳＤＭ获得最优性能，从而为Ａ的预置提供了理论依据。     

双弹头牵连体再入动稳定性分析

双弹头牵连体再入过程的动稳定性分析是有关工程设计中的重要环节。依据六自由度弹道方程 ,建立了双弹头牵连体再入的动力学模型 ,利用弹道与气动力的耦合 ,初步分析了双弹头牵连体再入的动稳定特性。计算结果表明 ,绳索牵连减弱了弹头再入的动稳定性 ,由动稳定弹头组成的双弹头牵连体在某些条件下可能出现打转、横飞等动不稳定现象。     

风-雨耦合环境超高层三塔连体建筑雨压分布研究

以中国东南沿海某超高层三塔连体建筑为研究对象,以风-雨双向耦合算法为核心,基于计算流体动力学技术采用连续相和离散相模型进行风场和雨场的迭代模拟。首先基于9种风雨组合工况进行三塔连体建筑非定常脉动风场模拟,探讨超高层三塔连体建筑平均风压分布、表面速度流线和流场干扰机理。然后对比研究不同风雨组合工况下主塔表面雨滴附着数量、雨滴冲击力和雨压系数的分布规律,揭示风-雨耦合场中结构表面速度流线、雨滴运行轨迹和最终速度的作用机理。最后提炼出超高层三塔连体建筑最不利风-雨组合工况,并给出对应的雨压系数取值建议。研究表明：风-雨耦合环境下超高层连体建筑迎风面雨荷载作用最为显著,此时雨荷载与风荷载最大比值可达23.81%,局部测点最大雨压系数达到0.301,100 a重现期风速和强大暴雨组合为风-雨耦合作用的最不利组合工况。     

钢结构桁架相贯线焊缝超声检测方法研究

本文应用超声波探伤的基本原理和实际探伤经验对钢结构桁架相贯线焊缝的超声波检测进行了研究。运用缺陷反射回波的包络线法,分析了相贯线焊缝缺陷的性质,总结归纳了一些典型缺陷反射回波的规律,对其它类型焊缝缺陷的定性也有参考作用。     

平面动力系统的ω（α）极限集的一些性质

本文论述了平面动力系统的ω(α)极限集在轨道有界时的一些性质，并对轨道无界情形下其极限集的结构做了一些初步研究。     

直驱风电场并网对系统静态电压稳定性的影响

风电场的大规模接入会对电网静态电压稳定性造成不容忽视的影响。以含直驱风电机组的扩展单机无穷大系统为例,通过2种静态潮流计算方法对含直驱风机的系统等值模型进行分析,推导风电接入后系统并网点母线电压的解析式。在BPA中分别建立含直驱风电机组的扩展单机无穷大系统以及实际电网系统的仿真模型,对比理论计算结果与仿真试验结果。分析并网点母线电压在不同控制方式下,风电渗透率、风机并网位置、负荷接入比例和负荷接入位置等因素对系统静态电压稳定性的影响。     

只含有一个非平凡块连通图的计数

利用组合理论和图的计数理论,讨论了只含有一个非平凡块的连通图的计数问题,给出了新的结论。     

宽带有线接入技术探讨

本文针对基于双绞线的ADSL技术、HFC网的Cable Modem技术、五类线的以太网技术以及光纤接入技术等方面，详细地解析了宽带有线接入网技术。此外，从网络模型的不同层次出发，探讨了宽带有线接入网技术的发展趋势。     

空中运动目标的识别和跟踪控制

针对空中运动目标的识别和跟踪,提出图像匹配算法和连通域算法相结合的方法。该方法主要用图像匹配算法获得目标的位置信息,当图像匹配算法失效时,则采用连通域算法重新捕获目标、获得图像模板。同时,为提高跟踪的实时性,采用最小二乘线性预测法来预测目标的运动轨迹。在实验室的目标跟踪系统平台上,该方法能够对运动目标进行稳定的识别和跟踪。