中介逻辑的模型论性质

中介逻辑是朱梧槚与肖奚安合作创立的一个新的逻辑系统,该系统的创立有着很强的哲学背景,因此在创立后得到了很大的发展。但对于该系统语义的研究还不够广泛和深入。本文系统地研究了中介逻辑的模型论性质。第一部分系统地定义了中介逻辑模型论的一些概念:如语言、结构、解释、满足等,第二部分证明了对任一和谐理论,都可在其见证集的等价类上建立其模型。利用此定理,笔者证明了广义完全性定理,并由此证明了中介逻辑的可靠性与完备性。本文最后一部分讨论了中介模型论的其他重要性质。利用中介逻辑的完备性,本文证明了紧致性定理,即一理论有模型当且仅当其任一有穷子集有模型。文中还证明了中介逻辑的Lowenheim-Skolem-Tarski定理。     

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

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

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

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

社会化标注系统中用户需求偏好的一种获取方法

传统的检索系统由于其通用的性质,难以满足不同用户所拥有的不同需求偏好.在社会化标注系统中,信息用户能够主动参与网络信息资源的组织与获取,因而其个性化的需求偏好能够较充分地得以体现.文中基于专家制定的叙词表来确定用户需求可能的语义空间维度,然后对用户标注过程中所运用的标签词汇进行量化,在此基础上,运用较成熟的BP神经网络模型,计算出标签词汇与叙词表之间的关联权重,进而用该权重矩阵来表示用户的语义性偏好特征,该语义模型能够在语义空间中定量化地确定信息用户的偏好向量.     

二元语义判断矩阵的性质及其在航线优选中的应用

研究二元语义语言判断矩阵的性质及相关问题。利用二元语义的定义,讨论二元语义判断矩阵的定义与性质,探讨这些性质之间的内在联系,并给出基于二元语义判断矩阵的排序算法;通过对二元语义评价值与模糊数以及语言评价值的转化关系的研究,论证转化后的二元语义判断矩阵仍然具有一致性等性质,从而保证评价信息的完整性与真实性。最后给出一个航线优选的算例。     

交换环上高层序与赋值对的相容性

本文的主要目的是把域上高层序与赋值对的相容性推广到含单位元的交换环上来。本文提出了交换环上高层序与赋值对相容的概念,由此得到高层序与赋值对相容的四个等价条件。本文的关键是藉助于赋值环的凸性来刻划高层序与赋值对的相容性。本文的方法是通过取序的特殊化以及整环的商域,使环的情形下的问题转化到域的情形来解决。     

广义2一D系统Roess er模型的可接受输入序列研究

通过将有限矩形上的广义２－Ｄ Ｓｏｅｓｓｅｒ模型转化为等价的代数方程，给出了有限矩形上所有输入均为该系统的可接受输入的充要条件；利用２－Ｄ Ｚ－变换以及多项式矩阵的性质，给出了无限矩形上所有输入均可接受的充要条件。证明了当系统的输入矩阵行满秩时，只要系统在某个有限矩形上的所有输入均为可接受输入，则在无限矩形上的所有输入也均为可接受输入。基于矩阵的初等行变换，提出了确定广义２－Ｄ系统Ｒｏｅｓｓｅｒ模     

知识表示的F-K系统

对经典知识表示系统（多系统）进行了扩充，引入一个刻划“大概知道”的模态词“Ｆ”，并建立了相应的公理系统Ｆ－Ｋ，该公理系统除包含“Ｆ”外也包含经典模态词“Ｋ”。同时，基于滤子对经典Ｋｒｉｐｋｅ框架及模型进行了扩充，从而给出了“Ｆ”的语义，并证明了该语义下Ｆ－Ｋ的完备性与可靠性。     

有限变形塑性的指数算法

基于不同的应力测量方式，将得到不同形式的有限变形塑性的算法列式。本文基于柯西应力来表示屈服准则，给出了以柯西应力表示的有限变形塑性的指数算法列式。利用对数应变，在主轴下建立了返回映射算法，得到了一种非对称的算法切线模量。它保持了在无穷小理论中返回映射的算法结构。算例表明，对于静水压力相关的塑性材料，应力测量形式的选择对数值结果有较大的影响，柯西应力列式得到了合理的结果。     

基于语义理解的中文智能检索模型研究

针对传统关键词匹配检索存在的缺陷,论文深刻剖析了语言信息量化机制及词间的语义关系,采用语义空间转换成可以量化的信息量空间,设计了一种基于语义理解的中文智能信息检索模型,从语言量化机制及语境双层次上阐述了模型的设计思想。在分析提取用户检索语义机制的基础上,提出一种计算用户查询语句语义与文档语义及语境相关度的新方法。实验表明这种检索方法可以提高搜索引擎的查全率和查准率。     

空气动力学与航空飞行器

本文简述了当今航空飞行器的发展概貌;回顾并剖析了空气动力学在航空飞行器发展过程中的重要作用;最后,对今后的发展前景作了展望。     

TW-1拖靶缆绳张力与形状参数的计算

本文通过拖靶平衡受力分析,得到拖靶放出后,稳定飞行时平衡攻角的近似计算公式。并通过缆绳微元受力分析,求得缆绳张力与飞行速度、高度及缆绳长度关系的计算公式及给出缆绳形状参数的计算公式。运用本文提供的公式计算出的MK3靶的缆绳张力曲线与实际测量之张力曲线吻合较好。因此,运用本文提供的公式进行了TW-1拖靶缆绳的设计及计算,取得了可信的依据,完全满足工作设计要求。     

航天领域国外标准化文件的类型与辨析

基于国内标准化文件类型单一及标准应用需求多样化的现状，调研了航天领域的国外相关7个标准化组织/机构发布的标准化文件类型及其定义解释，并采用对比分析和归类研究的方法进行了研究。基于文件的权威性、制定过程的规范性、内容的规范性综合分析，航天领域国外标准化文件概括起来主要包括4个类别：正式标准、不成熟标准、指南/手册、信息文件。此外，结合国内现状，提出了国内标准化文件类型多样性的建议，以期为用户提供多层次、全方位、更丰富的标准化信息，有助于用户对标准的理解及应用实施。     

动态燃烧过程参数测量原理与系统

为了满足动态燃烧试验对燃烧过程中燃烧放热量、温度、压力多参数动态测量的要求，研制了一套燃烧动态测试系统。首先从理论上分析了碳氢燃料燃烧时的化学反应过程与物理现象，采用光电传感技术，实现了对动态燃烧过程放热量的非接触式测量；其次运用动态理论详细研究了热电偶的动态特性，完善了用双丝频谱补偿法测量动态温度的方法；最后选择了合理的动态压力的测量方案。同时介绍了该系统的结构及工作特点、系统的动态联调结果等。试验表明了测试该系统具有所测参数多、工作性能稳定、动态响应快等特点，可广泛应用于动态与稳态燃烧试验研究或工业过程监控测量中     

在线三维几何量测量软件研究

介绍了最近研制成功的依维柯汽车底盘潢梁在三维几何量微电脑测量系统的测量原理和测量软件。该系统采用相对测量原理建立三维测量坐标系，通过系统误差软补偿提高测量系统精度。并根据优化原理提出了三坐标测量中一种新的几何量误差计算方法，该方法通过模拟被测件装配过程，对相关几何量误差进行最优计算，使测量误检率大大降低，保证了在实际测量中最大程度地通过合格件。     

微量天平校准装置及精度分析

装置适用于风洞应变式微量天平六分量精密静态校准。通过高精度复位工件台和电视测量实现了微量天平的五分量体轴校;应用力的精密传递与转换实现了微量载荷在水平方向的准确加载。对三分量天平的综合加载精度以及影响因素进行了分析,同时还给出了该设备对三分量微量天平校准的结果,并与其他设备校准结果进行了比较     

铜镉污染对海州香薷种子萌发的影响

以海州香薷种子为试材,研究了铜镉污染对种子萌发的影响。结果表明,在实验所选的胁迫浓度范围内,单一铜污染时,海州香薷种子发芽率随着Cu2+浓度的升高,先升后降,在20mg/L Cu2+处理时出现了毒性兴奋效应现象。铜镉污染对海州香薷幼苗苗长和根长的抑制作用极显著。根据综合效应指标,铜镉复合污染对海州香薷种子萌发的影响表现形式为铜、镉的协同作用。     

数码相机标定方法研究

数码相机在计算机视觉中的应用逐渐普及和深入，在应用中数码相机的标定是相当重要的，根据数码相机的特点，提出了一种新的标定方法，针对数码相机的某一状态，先确定其内部参数矩阵，再通过采集的图像术出外部参数矩阵，首先建立了相机成像的几何模型，并将此模型分解成内、外参数矩阵。文中详细介绍了数码相机内部参数矩阵中的各元素 应的物理参数以及求解它们的原理和方法，从而建立内部参数矩阵，推导了求解外部参数矩阵的计算公式，并且介绍了相应的求解方法，再由外部参数矩阵求解出对应的物理参数，通过实验表明这种方法有相当高的精度，且操作方便。     

论巨型工件大直径的电测量

为提高巨型工件大直径测量精度，可将直径的测量转化为弦及弦高的测量，但其刻度是非均匀的，如果采用光电数字式测量，可以改善性能，实现高精度的测量。     

关于Hermite矩阵的任意扰动

给出了如下的Ｈｅｒｍｉｔｅ矩阵特征值的可计算的扰动界，设Ｈｅｒｍｉｔｅ矩阵Ａ的特征值为ａ１，ａ２，．．．．，ａｎ矩阵Ｂ的特征值为λ１，λ２，．．．，λｎ则存在的（１，２，．．．．，ｎ）的一个排列π使得对１≤ｊ≤ｎ均有│ａｊ－λπ（ｊ）│≤∥Ａ－１／２（Ｂ＋Ｂ＾Ｈ）∥２＋∥１／２（Ｂ－Ｂ＾Ｈ）∥Ｆ并且还存在（１，２．．．．，ｎ）的一个排列π′使得√ｎ∑ｊ＝１│ａｊ－λπ′（ｊ）│＾２≤∥Ａ－１／２（