中介逻辑的模型论性质

中介逻辑是朱梧槚与肖奚安合作创立的一个新的逻辑系统,该系统的创立有着很强的哲学背景,因此在创立后得到了很大的发展。但对于该系统语义的研究还不够广泛和深入。本文系统地研究了中介逻辑的模型论性质。第一部分系统地定义了中介逻辑模型论的一些概念:如语言、结构、解释、满足等,第二部分证明了对任一和谐理论,都可在其见证集的等价类上建立其模型。利用此定理,笔者证明了广义完全性定理,并由此证明了中介逻辑的可靠性与完备性。本文最后一部分讨论了中介模型论的其他重要性质。利用中介逻辑的完备性,本文证明了紧致性定理,即一理论有模型当且仅当其任一有穷子集有模型。文中还证明了中介逻辑的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进行定义,对于业务逻辑、执行过程、数据结构分别采用用户实例图、顺序图、类图进行描述。在工作流的实现上,采用软组件实现工作流服务组件的分布布置,并通过接口定义语言对功能组件中的服务进行发布。最后给出工作流的发展趋势,并计划开展工作流仿真和优化方面的研究。     

基于UNIX System V流机制的串行口通信程序的设计与实现

流（ＳＴＲＥＡＭＳ）机制，是ＵＮＩＸ系统中用户进程到设备（伪设备）之间的一条全双工数据通路，它为字符处理、网络服务和数据通信等驱动程序的设计提供模块化手段。本文概要介绍了流机制的组成及原理，着重讨论了用流机制实现ＵＮＩＸ设备驱动程序的方法，在ＳＣＯＳｙｓｔｅｍＶＵＮＩＸ系统中设计并实现了基于流机制的带ｍｏｄｅｍ控制的串行口驱动程序，最后讨论了串行口通信的数据传输控制及串行口通信程序的应用。     

零电压开关PWM变压整流器

讨论了ＰＷＭ式变压整流器和谐振式变压整流器的优缺点，在此基础上，提出了一种零电压开关ＰＷＭ变压整流器。它是ＰＷＭ技术和零电压开关准谐振技术相结合的产物，其特点是功率开关器件的开关转换过程中采用零电压开关准谐振技术，即功率开关器件工作于零电压开关状态──软开关状态下，而能量传输的主要形式采用ＰＷＭ技术，故具有ＰＷＭ式变压整流器和谐振式变压整流器的优点。文中介绍了该变压整流器的电路结构及工作原理，着重分析了其关键部分──全桥零电压开关ＰＷＭＤＣ－ＤＣ变换器的工作过程和设计方法。该变压整流器具有体积小、重量轻、效率高、性能好、输出电压稳定度高的优点。     

基于WEB的产品营销管理系统

以企业CIMS系统实施过程中营销管理系统的设计与开发的背景，分析了目前我国大，中型企业的经营管理式和在营销活动中普遍存在的问题。提出了一种基于WEB的企业营销解决方案，以合同和协议为线索，把营销活动中的各个环节有机地串联起来，实现了产品和经销商的动态管理，本文还提出一种基于WEB的产品售后服务系统模型，论述了故障模式，产品档案和产品售后服务故障识别及处理，并介绍了层次分析和基于知识库的用户服务决策方法。     

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

以海州香薷种子为试材,研究了铜镉污染对种子萌发的影响。结果表明,在实验所选的胁迫浓度范围内,单一铜污染时,海州香薷种子发芽率随着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图象的分析与实现

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

PCB的电磁兼容性设计

概括介绍电磁干扰对电子系统的危害和影响，PCB电磁兼容性设计的原因、原则，PCB抗干扰的一般措施。结合在PCB设计方面的实际经验，阐述电子系统电磁兼容性设计的方法和技巧，确保电子系统实现最优性能。