华东地区围护结构节能研究

根据南京市的典型年逐时气象参数，对于该市的某一座高层建筑物，应用自编的逐时动态负荷模拟程序，输入围护结构（窗户、墙体和屋顶）相关的物理参数及其与周围环境的关系（地点及朝向等），计算围护结构冬季采暖期散热量及夏季制冷得热量。结果表明，采用双层塑窗代替单层塑窗，使用节能墙体代替传统墙体能够使得冬季围护结构传散热量减少51％，夏季围护结构总得热量减少46％。因此，这一结果为华东地区建筑节能技术提供了理论依据。     

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

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

空天飞机的边界层转捩

本文概述了边界层转捩对空天飞机性能的影响。在介绍确定边界层转捩起始点的线性稳定性理论和简单关联公式之后，又从噪声影响、头部钝头影响和钝锥飞行试验结果等几方面，讨论了线性稳定性理论的应用。接着介绍了采用转捩函数来确定转捩区的方法。从飞行试验、理论计算和风洞试验等三方面，探讨了进一步研究高超声速边界层转捩的途径。重点介绍了ＮＡＳＡＬａｎｇｌｅｙ研究中心的超声速、高超声速静风洞技术的发展。最后，对今后空天飞机边界层转捩的研究工作提出了建议。     

带翼梢外挂的CK1机翼颤振分析

本文根据颤振运动方程,应用v～g参数法和非定常气动力的偶极子格网法计算了CK1机翼翼尖带外挂物红外器时的颤振,分析了翼尖外挂物对机翼颤振的影响,确定翼尖外挂有利的配置方案.计算结果表明CK1机翼的颤振对梢部的重量分布是敏感的,红外器的弦向位置及翼尖配重布置得当,则可提高颤振速度,否则也可降低颤振速度。     

控制面临的任务和问题——美国控制界“高峰会议”观点摘编

美国国家科学基金会与 IEEE 控制系统学会联合召开了一次控制界“高峰会议”。由全美控制界最著名的约50位专家学者参加,对于控制学科当前的发展趋势和面临的问题以及对于控制的每一挑战和其中重要的研究课题都进行了认真讨论,最后形成了《控制面临的任务和问题》这份报告。对于我国控制界的同仁,这无疑是一份可惜鉴的重要材料。     

求解最小费用流的复合标号法

本文在求最短路和求最大流标号法的基础上,提出了求解最小费用流的复合标号法。利用这种方法可以在一次标号的过程中找到具有最小费用的增广链。该算法具有简单、易行、迭代次数少,而且易于理解的特点。     

俯仰振荡三角翼在非定常自由流中运动的实验

在南京航空航天大学已建成的国内首座非定常风洞内,研制了一套单自由度俯仰振荡实验装置,设计开发了一套对模型姿态和来流风速进行联合控制的软件。对一60°后掠三角翼模型进行了单独俯仰振荡运动和俯仰振荡与自由来流耦合运动的实验。实验结果表明:模型做单独俯仰振荡时,振动频率和振动幅值的影响只有在迟滞环出现后才起作用,而迟滞环的出现是由于翼面上的不同流态对外界扰动的反应时间不同造成的。非定常自由流对做俯仰振荡的三角翼气动特性有很大的影响,模型上仰过程中来流的减速,进一步提高了最大升力系数,推迟了失速迎角;模型下俯过程中来流的加速,则更进一步推迟了升力系数恢复到静态时的值。当翼面上产生破碎涡流时,非定常自由流的作用表现得更为明显。     

灰色系统理论中二维数据序列均值生成的讨论

灰色系统理论中非等时序序列或含有空穴的序列,通常可以用均值生成方法来填补,生成等时序序列。本文研究发现,用非紧邻均值生成方法生成的内点与实际存在有明显的误差,为此讨论了均值生成和有偏生成算法。利用数据序列点的局部凹凸特性来表示数据序列点的特征,提出了采用数据序列点连线的状态选取生成系数的方法。通过对一维数据序列传统均值生成方法的比较,给出了二维数据序列的定义,讨论了在二维数据序列下的均值生成方法,提出了有偏生成算法中生成系数分解的选取方法。     

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

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

中介公理集合论系统与经典公理集合论系统的关系——形式证明部分

在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。