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

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

定义 菌血症( bacteremia): 细菌短暂入血,无中毒症状,血菌落<100/m1 败血症( septicemia or sepsis): 病原菌(细菌、真菌)侵入血液、大量繁殖、 释放毒素引起的全身感染性疾病 毒血症( toxemia): 血内无菌,有中毒症状(毒素存在) 脓毒败血症( septicopyaemia): 败血症伴多发性脓肿,若血培养阴性,为脓 毒血症( pyemia

在方程(2-6-1)里p,up,xy都是有量纲的参数,比如 [pl=kg/m2 让我们一如以下的无量纲量 p'=p/p u=wuo v=v/v t'=t/t o p=p/p f =f /fyoA' X=X y=y/C 其中pa,u∞2p∞,μaf以及都是参照值,比如可以 取自由流

一、概述 呕吐:胃失和降,气逆于上,胃 内容物经食道、口腔吐出的一种病证。 有物有声谓之呕 有物无声谓之吐 无物有声谓之呕

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

一、动物性状的分类 质量性状:可心明确区分为若干类。如毛 色,角的有无 数量性状:变异是连续的,无法用形容词 描述,只能通过度量。如产奶量,生长速 度,体重,羊毛的粗细等。 多基因:控制某个数量性状一组基因的一 个基因

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

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

针对间断连接无线网络中节点负载不均衡和能量资源受限的问题,提出了一种能量有效的数据转发策略.该策略根据网络运行的历史相遇信息,充分考虑网络特性,以分布式方式估计节点的活跃度、剩余能量和数据转发率,准确地估计节点效用值,感知网络节点的服务能力,以帕累托最优作为自适应选择最佳下一跳中继节点的理论依据,执行数据转发操作,有效地解决了由于节点自私性所导致的网络性能下降.数值结果表明,与其他能量管理机制相比,所提出的机制能够均衡网络节点负载,有效解决网络\热点\问题,延长网络生存时间,使投递率、时延等系统性能都得到大幅度提升