中介逻辑的模型论性质

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

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

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

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

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

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

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

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

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

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

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

知识表示的F-K系统

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

有限变形塑性的指数算法

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

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

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

基于Petri网和UML的工作流模型设计

介绍了工作流的概念及发展过程,讨论工作流建模的基本方法。重点分析Petri网和UM L在工作流模型设计过程中的应用,结合Petri网语义定义工具和图形化界面以及UM L的面向对象特点,形成基于Petri网和UM L的工作流建模方法。工作流模型的语义定义采用Petri网表达,给出工作流网的形式化描述。工作流系统的设计模型采用UM L进行定义,对于业务逻辑、执行过程、数据结构分别采用用户实例图、顺序图、类图进行描述。在工作流的实现上,采用软组件实现工作流服务组件的分布布置,并通过接口定义语言对功能组件中的服务进行发布。最后给出工作流的发展趋势,并计划开展工作流仿真和优化方面的研究。     

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

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

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

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

基于CIMS环境的MRPⅡ

MRPⅡ(Manufacturing Resource Planning)即制造资源计划,是计算机集成制造系统(CIMS)中管理信息系统的重要组成部分.文中以大批量生产类型的机械制造企业CIMS为背景,从企业生产环境、企业管理思想与方法、企业经营特点、CIMS运行环境等方面分析了CIMS环境对MRPⅡ的软件功能、软件结构的需求,提出了CIMS环境下的MRPⅡ软件的功能、接口及系统结构.最后,分析了摩托车生产企业CIMS环境中的MRPⅡ的实现方案,及采用MRPⅡ的“推”式逻辑进行生产计划,采用“JIT”(Just In Time)的“拉”式逻辑进行生产控制的混合结构的特点.     

Linux Apache Web服务器上的ASP实现方案

介绍利用自由软件iASP1．08和JAVA2SDK1．3配置Linux Apache Web Server实现ASP功能的实用方案。     

设备检维修策略及维修主体匹配问题研究

设备检维修系统设计是设备管理的核心,而设备维修策略和维修主体匹配又是设备检维修系统设计的核心。建立一个可以广泛应用于企业的模型,并已通过实践的验证,为企业建立维修策略,选择维修主体提供了分析和应用的框架。     

基于DCT顺序型模式JPEG图象的分析与实现

本文介绍了基于ＤＣＴ顺序模型ＪＰＥＧ（Ｊｏｉｎｔ Ｐｈｏｔｏｇｒａｐｈｉｃ Ｅｘｐｅｒｔｓ Ｇｒｏｕｐ）图象编码和解码的过程,并对量化,ＤＣＴ变换、Ｈｕｆｆｍａｎ编码的算法进行了深入的研究。     

不同热控涂层的飞艇散热器Fluent仿真分析

为了分析不同热控涂层的性能,采用Fluent模拟了临近空间飞艇上小型散热器在20 km高空的热平衡状态。散热器分别使用S781白漆、S956灰漆及La_1-xSr_xMnO₃化合物热致变材料作为热控涂层,使用UDF（User defined function）编码对热控涂层设置随涂层温度变化的发射率。经过模拟计算,得到了在太阳垂直照射与无太阳辐射两种极端情况下不同热控涂层散热器的温度分布。仿真结果得出在太阳垂直照射下,使用La_1-xSr_xMnO₃化合物作为热控材料散热器的锂电池温度处于最佳工作温度范围,但其在太阳垂直照射与无太阳辐射情况下电源的平均温度温差为8.89 K,略大于S781白漆的温差6.57 K。模拟中,La_1-xSr_xMnO₃热致变材料发射率变化较小,约为0.11,垂直照射时温度最高的散热区域发射率可达到0.8,无太阳辐射时温度最低的散热区域约为0.69。     

平面前刀面的模具铣刀齿槽磨削成形的研究

本文提出了一种直接磨削出具有平面曲线刀刃、平面前刀面及刃带宽度等于零的模具铣刀齿槽的原理与方法.文中,首先阐述了该种铣刀的刀刃形式与齿背线的特点,然后详细研究了磨削系统应具备的砂轮相对于刀具的安装和运动形式以及运动维数,依据啮合原理和微分几何的基本知识,严格地导出了磨削系统中各运动参数之间满足的函数关系,最后设计并制造了一套专门的试验装置,它和改装后的工具磨床配套,进行磨齿加工。磨齿试验验证了本文分析的正确性。     

加跟刀架的细长轴车削加工尺寸误差的仿真

为探索跟刀架的作用机理,开发了一个联合模型用以仿真细长轴车削尺寸误差的形成过程。该模型由3部分组成:切削力统计模型、工件变形模型及尺寸误差的几何分析。值得注意的是,切削力与实际切削深度间存在耦合效应,因此切削力不能直接求得,这里采用二分法进行迭代运算来解决此问题。最后,通过一系列试验对仿真模型进行验证,结果表明仿真值与实测值比较一致。由仿真结果可知,跟刀架刚度对细长轴中部尺寸误差的影响最显著,而降低这个部位的尺寸误差也是细长轴车削的难点所在,因此,改进跟刀架结构是提高尺寸精度的有效途径。本文的主要贡献是在建立跟刀架的力学模型的基础上分析了影响细长轴车削尺寸误差的主要因素。     

直升机技术的若干新发展

综述了近年来直升机技术发展的某些新趋势和新成果，主要包括带弹性铰的铰接式桨毂和无轴承桨毂等新型桨毂；桨叶专用翼型及桨尖形状的发展、桨叶平面形状优化；涵道尾桨和无尾桨等新型反扭矩系统；高阶谐波控制、主动控制襟翼、结构响应主动控制等直升机振动控制新技术；复合材料在旋翼、机身上的应用及其对直升机技术发展的重要影响。文中着重介绍这些新技术的特点及其发展应用情况。