Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。Keisler提出了无穷逻辑的公理系统。本文结合上述两种逻辑系统的思想,应用和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。此文证明了主要是对Lw1w(Q)中的模型存在定理及推演完全性定理

本文首先讨论了对数正态分布及三参数对数正态分布理论,然后重点研究了对数正态克立格法。在分析了无偏条件及最小估计方差之后,给出了对数正态克立格法方程组及对数克立格方差。克立格权系数λa即为该方程组的解。据此,可以估计矿床中每一块段的克立格估值Zv,该估值是具最小估计方差的无偏线性估计量。该法已用于一个铁铜矿床的储量计算

一、股利理论(对股利分配与公司价值相关性的不同观点) (一)股利无关理论(MM理论) 该理论由莫迪格利安尼(Modigliani)和米勒(Miller)提出。基本要点在于:股利分配与公司价值无关。该理论的基本假设:

节肢动物门(Arthropoda) 数量最多的一门无脊椎动物,已知约 126万种,其中昆虫占94%,约118万种 ,凡动物能生存的地方均能生存,生活 方式多样,与人类生活关系密切。 在无脊椎动物中,节肢动物是真正 适应陆栖生活的类群

概述 厌氧菌是指一大群在有氧条件下不能生长,仅在 无氧条件下才能生长的细菌。包括革兰阳性和革 兰阴性的杆菌和球菌。过去一个相当长的时期主 要是研究由梭菌属引起的感染,如破伤风梭菌引 起的破伤风,产气荚膜梭菌引起的气性坏疽和肉 毒梭菌引起的肉中毒等,特别是对这些感染有着 重要影响的毒素方面。近10年来,由于厌氧菌培 养技术的进步,厌氧菌的检出率逐渐提高,并且 培养出许多无芽胞厌氧菌和新种。对于厌氧菌的 基础究以及它引起感染的重要性,已日益受到 重视

分析了三相-单相矩阵变换器(3-1MC)输入侧低次谐波的产生原因,推导了功率补偿拓扑结构下的输出侧与补偿侧调制函数约束关系式.研究输入电压不平衡下,含电容补偿单元的3-1MC单网侧电流反馈控制策略无法对输入两相旋转坐标轴(dq轴)下的直轴与交轴电流分量实现无静差控制,提出了在功率补偿下对输入三相电流作正序、负序dq轴分解,分别独立对输入双dq轴下正序、负序电流作解耦内环,输出侧与补偿侧电压加权合成为外环的双闭环控制.实验与仿真结果均表明该策略不仅使3-1MC具有功率补偿功能,而且有效抑制了电压不平衡引起的输入电流与输出电压所含低次谐波,提高了3-1MC在单相用电场合的实用性

真菌(fungus ）真菌是一种真核细胞形微生物。有典型和完 善的细胞器。不含叶绿素、无根、茎、叶的分 化。 广泛分布、种类繁多,多数无害、少数有益( 食用蕈、生产抗菌素、酿酒)致病真菌:致病、条件致病、产毒、致癌等 感染率上升原因:菌群失调(滥用抗菌素)、 免疫低下(激素、抗癌药物)

基于锈蚀碳钢表面,针对一种多功能型的酸性水性低表面处理涂料中主要防锈组分和配制工艺对涂料和涂层性能的影响进行研究,考察涂层的防护性能,并与同类进口涂层进行对比.结果表明:在基材表面处理等级为St1时,涂层附着力随着防锈组分含量的增加均呈现先上升再下降的趋势,螯合剂所含活性基团稳定了基材表面锈蚀,带来涂层附着性能的提高.复合锈转化剂将基材表面锈蚀络合转化,进一步提高涂层附着力.最佳配制工艺为后加复合锈转化剂与低速搅拌相结合.所得涂层在基材表面处理等级分别为St1和St3时附着性能无明显差异,附着力达5 MPa.涂层耐蚀性能也无明显差异:耐盐水1200 h,耐盐雾1000 h,耐紫外老化2000 h,远高于进口同类水性带锈底漆,适合应用于大气环境中复杂钢铁构件的维护

利用Carr粉体流动指数法评价高炉喷吹煤粉的流动特性及喷流特性,研究了煤岩显微组分、变质程度等煤质特性对高炉喷吹煤粉流动性的影响.研究发现,流动特性与喷流特性几乎呈负相关.煤变质程度对煤粉流动特性及喷流特性都有显著影响.变质程度低的烟煤,流动特性差,喷流特性好;变质程度高的无烟煤,流动特性好,喷流特性差.镜质组体积分数为60%~70%时,流动特性指数较差;体积分数在83%~95%,由于影响因素较多,流动特性与镜质组没有相关性.丝质组与喷流特性正相关,与流动特性负相关.矿物质与煤粉流动性无相关性

为了提高永磁同步电机的转速控制性能,克服扰动对伺服控制的影响,提出了一种基于新型趋近律和扰动观测器的滑模控制方法.设计了一种新型趋近律,以解决传统趋近律滑模面趋近时间和系统抖振之间的矛盾,提高系统响应快速性.综合考虑系统存在内部参数摄动和外部负载扰动,设计了滑模扰动观测器,并将观测值前馈补偿到速度控制器输出端;将观测器切换增益设计为扰动观测误差的函数,以削弱滑模观测值抖振.仿真结果显示,与传统趋近律相比,采用新型趋近律可有效提高系统的响应速度,快速准确的跟踪速度阶跃信号;滑模观测器可准确的观测系统扰动的变化;当系统加入负载扰动时,PI控制最大转速波动值为75 r·min-1,而基于新型趋近律和扰动观测器的滑模控制最大转速波动值较小为30 r·min-1,鲁棒性更好.实验结果显示,采用基于新型趋近律和扰动观测器的滑模控制方法可以快速跟踪400 r·min-1的速度指令,调节时间为0.12 s,稳态跟踪误差为±4 r·min-1,且转速无超调;滑模观测器可准确无超调的估计系统扰动值,进一步提高系统的抗扰动性能;当电机以400 r·min-1稳速运行时,加入0.6 N·m的负载扰动,基于新型趋近律和扰动观测器的滑模控制方法最大转速波动为23 r·min-1,与PI控制相比,转速波动减小了8%.上述仿真和实验结果具有较好的一致性,表明基于新型趋近律和扰动观测器的滑模控制方法可以有效抑制滑模控制系统的抖振,提高转速控制系统的鲁棒性和动态响应性能