命题逻辑中的可表性

本文给出了可表性概念．应用可表性，处理了命题逻辑符号间的关系．     

0—1多项式与命题逻辑

本文提出了0-1多项式,并将命题逻辑公式转化为0-1多项式.     

命题逻辑中几种常见的推理证明方法

数理逻辑是《离散数学》的难点之一．其主要原因是内容比较抽象且方法较独特，加之题型以知识较广的证明题居多．而命题逻辑又是数理逻辑的基础，熟练而灵活地掌握好命题逻辑中推理证明的方法既是学习命题逻辑的重点，又会为进一步学习谓词逻辑打下良好的基础．本文结合适当的例题总结了命题逻辑中几种常见的推理证明方法，以期在帮助学生掌握命题逻辑的推理证明方法的同时，又能对学生进行逻辑思维能力的训练，培养学生分析问题和解决问题的能力．     

连续归纳法及其应用

本文给出了连续归纳法的几种常见的形式，并举例以展示其应用．     

几乎连续几乎处处连续基本上连续的关系

给出了几乎连续概念，并证明了几乎处处连续函数集合包含于几乎连续函数集合包含于基本上连续函数集合是真包含关系．     

分段连续微分方程θ-方法的稳定性(英文)

讨论分段连续型微分方程x′(t)=ax(t)+a1x([t+3])的解析解的稳定性,得出其渐进稳定的一个充分必要条件。应用θ-方法求解此分段连续型微分方程,得到相应的数值稳定区域,给出数值解的稳定区域包含解析解的稳定区域的一个充分必要条件。应用线性θ-方法求解了微分方程x′(t)=ax(t)+a1x([t+p]),给出此类数值方法渐进稳定的一个充分条件,得出数值解的稳定区域包含解析解的稳定区域的充分条件。     

连续发函数及其性质

本文在灰函数和灰极限基础上,给出了连续灰函数的概念,并研究了它的性质。     

向量函数强(弱)可导的判定与导函数连续的特征

本文提出了向量函数一阶强和弱一致连续等概念,建立了它们的简单性质。得到向量函数强、弱可导的四个判别定理以及强、弱导函数连续的两个充要条件。     

不同部件连续2/3(G)系统的模糊可靠性分析

在模糊可靠性的基本概念和理论的基础上,应用模糊数学的原理和方法,导出了由不同部件组成的线形连续2/3(G)系统和环形连续2/3(G)系统的模糊可靠性数量指标.     

高增敏碘量法连续测定水中微克量级Cr(Ⅲ),Cr(Ⅵ)和Mn(Ⅱ)或Mn(Ⅶ)(英文)

介绍了测定微克量级Ｃｒ（Ⅲ）,Ｃｒ（Ⅳ）和Ｍｎ（Ⅱ）或Ｍｎ（Ⅶ）的简单、快速、高增敏碘量法．用此法成功地测定了不同试液中Ｃｒ（Ⅲ）,Ｃｒ（Ⅵ）和Ｍｎ（Ⅱ）或Ｍｎ（Ⅶ）的分量,对Ｍｎ和Ｃｒ测定分别增敏２０和９倍．     

热力学分析在连续镀锌过程中的应用

热力学分析结合相图研究可用于解决生产实际问题。在连续镀锌过程中，锌液中铝是一种很重要的添加元素。它对镀锌质量有直接的影响。但锌池中铝含量的测量与控制还存在困难。在对Fe-Zn-Al三元体系Fe溶解度曲线的热力学分析的基础上，用Matlab编制了事家图形用户界面的程序，把热力学分析应用于计算锌池中的有效铝含量，将有助于热镀锌工业实现对铝含量的控制。     

Banach空间值的It(o)积分及其性质

设(Ω,(∮),{(∮)t}t≥0,P)为过滤概率空间,X,Y为Banach空间,{Mt}t≥0为Banach空间X值的连续(P,{(∮)t}t≥0)一鞅;f(·,·):[0,∞)×Ω→(∮)(X,Y)为连续算子值的随机过程f(s,ω)s≥0.给出It(o)积分∫t0f(s,ω)dM,的定义,并证得It(o)型不等式,为讨论Banach空间Y值的随机微分方程奠定了基础.     

Midas在连续悬臂施工挂篮主桁检算中的应用

连续悬臂施工挂篮检算整体上各系统受力较为复杂,各系统各杆件受力大小手算有一定的难度。本文通过Midas有限元软件对挂篮采用整体建模分析,能够较为快捷准确的完成计算。     

Banach空间值的It(o)积分及其性质

设(Ω,(∮),{(∮)t}t≥0,P)为过滤概率空间,X,Y为Banach空间,{Mt}t≥0为Banach空间X值的连续(P,{(∮)t}t≥0)一鞅;f(·,·):[0,∞)×Ω→(∮)(X,Y)为连续算子值的随机过程f(s,ω)s≥0.给出It(o)积分∫t0f(s,ω)dM,的定义,并证得It(o)型不等式,...     

扰动模糊逻辑中的连续算子

本文提出了扰动模糊命题逻辑的概念,定义了扰动模糊命题的运算,然后将一维模糊逻辑算子推广到二维的扰动模糊逻辑算子中去,提出了扰动模糊连续算子,同时对这些逻辑算子的性质做了较为系统的研究,从而使模糊逻辑的概念及性质得到进一步的推广。     

元素数论及其应用(Ⅰ)

<正> 本文将陈述《元素数论及其应用》的第一章:元素数及其运算。主要内容有:§1进位算子,§2 元素数的意义,§3 二级分解,§4 若干运算,以便为后继文章作准备。第一章 元素数及其运算翻开数学的史卷,一页页光辉的篇章摆在面前。追溯到我们的祖先,回味那数的列车长船,不由得使我们对如下的沿革惊叹:     

元素数论及其应用(Ⅱ)

<正>鉴于篇幅本文许多证明省略。 第二章 常用元素数5.l常用元素的定义     

二级微积分及其应用(Ⅲ)

本文在[1][2][3]的基础上,再给出若干二级微积分的应用,即:1)关于新的速度概念的提出与探索2)对数坐标系中的分析工具3)关于新的重心概念的提出与探索4)解释宇宙学红移的一种理论§1关于新的速度概念的提出与探索     

金属矿地下连续开采技术研究

目前,适用于金属矿地下连续开采的常见工艺有三种,具体包括房式回采振动、深井式连续推进以及无间断连续分层充填。本文首先分析了金属矿地下连续开采技术的应用情况,然后论证了金属矿地下连续开采技术的应用特点,具体包括优化工作环境、提升生产水平、保障工作安全以及实现高产品回收率四项优势,最后对金属矿地下连续开采技术的应用策略进行了分析,并对该技术的发展前景进行了展望。     

连续刚构桥检测计算要点分析

根据桥梁检测的一般步骤,归纳了常见三跨连续刚构桥的静力、动力一般内容、方法,桥梁应力、挠度测点布置原则,对加载制度作了说明。总结了常见的用于检测分析计算模型,整体计算采用杆系模型布置汽车到达需要的荷载效率,并计算荷载增量效应;对于局部混凝土裂缝的分析建议采用实体模型,并考虑钢筋的作用。总结了四座实际工程的检测数据,列出了静力、动力检测结果,对检测中的常见病害做了说明,可供设计参考。