oalib
Search Results: 1 - 10 of 100 matches for " "
All listed articles are free for downloading (OA Articles)
Page 1 /100
Display every page Item
格值模型力迫法  [PDF]
沈复兴
科学通报 , 1984,
Abstract: Robinson把Cohen力迫法引进模型论,得到一些有趣的结果。本文把力迫法引进格值模型论中。本文所用符号从文献[2,3],并要求是可数语言,C是可数无限新常量集,值格L适合紧致性定理,满足性质(F_1)、(F_2),具有特征式△.理论T是指中和谐分组句子集。
有限力迫伴随的可判定性  [PDF]
沈恩绍
科学通报 , 1989,
Abstract: 众所周知,有限力迫伴随T~f关于T_v通常是超算术的。我们证明如果T~f是∑_1-理论(相对于T_v)则它便是可判定的(相对于T_v)。十九世纪数学的成就之一,是找到一种计算方法,对每一个正的原始公式φ,得出一个无量词公式φ~*(结式),使得,这里T是域的理论。A。Robinson发展了一种模型论的方法,可证明这种结式的存在性。我们进一步说明,计算所需结式的(能行)算法的存在性,亦可用模型论力迫加以证明(由于方法的一般性)。还有其它应用。
添加超实数而不加实数的力迫
FORCING AN ω1-REAL WITHOUT ADDING A REAL
 [PDF]

作者,朱慧灵,郑馥丹
- , 2017,
Abstract: 本文研究了加强型Mathias力迫及其在不可数情形下的推广.通过力迫法,证明了Mathias力迫添加支配性实数,而加强型Mathias力迫添加的是无界、非支配性的实数.还证明了ω1上的Mathias型力迫添加的是无界、非支配性的ω1类实数且不添加新的实数.这些结论可应用于对实数上的基数不变量的研究.
In this paper, we study strong Mathias forcing and its generalizations to uncountable cases. By applying the method of forcing, we show that strong Mathias forcing adds unbounded but not dominating reals, which is in contrast to usual Mathias forcing. We also show that the ω1-version of strong Mathias forcing adds unbounded but not dominating ω1-reals and meanwhile, this forcing adds no new reals, which are applied to the consistency of cardinal invariants on the real line
力迫演算在开放逻辑系统中的嵌入  [PDF]
李未
科学通报 , 1994,
Abstract: 令A为一个可数一阶语言,T为A的一个协调理论,亦可以为空理论,引入一个可数无穷的新常项符号集(?)={c_1,c_2,……},组成一个新的一阶语言A_c.令A_c={F_i,R_i,(?)},A_A是只含(?)中常项符号的所有原子公式及原子公式的否定组成的句集,定义1.1A_A的一个有穷子集P,若T∪P协调,则称P为一个力迫条件.
窄锥结构的最不利动冰力  [PDF]
李锋,岳前进
工程力学 , 2010,
Abstract: 破坏模式效应是锥体结构动冰力的主导的综合效应。过渡型弯曲破坏峰值冰力最大,周期性最强,对冰速敏感,是最不利破坏模式,可产生最不利动冰力。通过1个案例、4个分析模型和1个数值模型论证了这一破坏模式效应假设。据此提出了一个窄锥动冰力函数,给出了3个参数的表达式。算例结果显示,在过渡破坏条件下预测的动冰力接近实测值。
喷动床DEM模拟曳力模型评价  [PDF]
朱卫兵,朱润孺,邢力超,孙巧群
哈尔滨工程大学学报 , 2011, DOI: doi:10.3969/j.issn.1006-7043.2011.05.008
Abstract: 针对喷动床DEM模拟中的曳力模型选择问题,利用CFD??DEM方法,对几种曳力模型在矩形喷动床模拟中的应用进行了讨论,研究采用标准??k-ε??模型和Beer & Johnson表达式考虑湍流和滚动摩擦的影响.结果表明:Arastoopour、Syamlal & O’Brien和Tsuji模型均可较好地预测流动结构和空隙率、颗粒速度分布,Tsuji模型模拟结果与实验值最为接近;在环隙区,滚动摩阻力矩大于切向接触力矩,滚动摩阻力矩的加入使颗粒轴向速度最大值的预测更加精确;滚动摩阻力矩与颗粒速度梯度两者之间的相互作用,速度梯度起主导作用.
带粘结层智能结构压电作动器的修正点力模型  [PDF]
缪增华,雷跃明,唐凤
重庆大学学报 , 2004,
Abstract: 在有压电应变作动器的具有振动主动控制功能的智能杆梁结构中,考虑了粘结层的影响,并且假设应变沿各层的厚度方向为线性分布.对Crawley-Luis与Euler-Bernoulli所建立的压电作动器点力模型进行了修正,提出了一种更具一般性的诱导应变作动器的点力模型,分别导出了双面对称粘贴和单面粘贴压电作动器时的修正点力模型的计算公式.并进行了计算机仿真研究,表明了修正模型的合理性.修正点力模型更具一般性,这对设计压电智能结构具有指导意义.
非相似余度作动系统静态力均衡控制策略  [PDF]
付永领,范殿梁,李祝锋
北京航空航天大学学报 , 2014, DOI: 10.13700/j.bh.1001-5965.2013.0699
Abstract: 由功率电传作动器EHA(Electro-HydrostaticActuator)与EMA(Electro-MechanicalActuator)构成的非相似余度作动系统取消了中央液压源和遍布机身的液压管路,同时克服了共性故障,是飞机多电化的发展趋势.阐述了非相似余度作动系统的结构组成与工作原理,考虑舵面空气负载和连接刚度,建立了在主动/主动工作模式下闭环系统数学模型.在此基础上,论述了非相似余度作动系统静态力纷争的产生机理,提出了采用调整电气参数偏差的方法补偿静态力纷争的思想,基于上述原理提出了3种减小静态力纷争的力均衡控制策略,并对其进行理论和仿真分析.最后,对3种力均衡控制策略在静态力纷争消除性、隔离性等方面进行了综合对比分析.分析结果对非相似余度作动系统的设计及力纷争的解决提供了理论依据.
Orographic cirrus in the future climate  [PDF]
H. Joos,P. Spichtinger,U. Lohmann
Atmospheric Chemistry and Physics Discussions , 2009,
Abstract: A cloud resolving model (CRM) is used to investigate the formation of orographic cirrus clouds in the current and future climate. The formation of cirrus clouds depends on a variety of dynamical and thermodynamical processes, which act on different scales. First, the capability of the CRM in realistically simulating orographic cirrus clouds has been tested by comparing the simulated results to aircraft measurements of an orographic cirrus cloud. The influence of a warmer climate on the microphysical and optical properties of cirrus clouds has been investigated by initializing the CRM with vertical profiles of horizontal wind, temperature and moisture from IPCC A1B simulations for the current climate and for the period 2090–2099 for two regions representative for North and South America. In a future climate, the increase in moisture dampens the vertical propagation of gravity waves and the occurring vertical velocities. Together with higher temperatures fewer ice crystals nucleate homogeneously. Assuming that the relative humidity does not change in a warmer climate the specific humidity in the model is increased. This increase in specific humidity in a warmer climate results in a higher ice water content. The net effect of a reduced ice crystal number concentration and a higher ice water content is an increased optical depth.
齿形尾坎消力池消能紊动特性研究  [PDF]
冬俊瑞李永祥
力学学报 , 1989, DOI: 10.6052/0459-1879-1989-5-1989-339
Abstract: 应用激光测速仪对齿形尾坎消力池下游水流的紊动特性进行了系统试验研究,并与梯形尾坎作对比试验。分析了紊动强度、紊动能量、功率谱密度函数及实际消能率等,求出这些紊动参数沿水深的分布和沿流程转换与衰减的规律以及与佛劳德数的关系,规律性较好,得出齿形尾坎的紊动参数均比梯形尾坎明显减小;由于槽齿分流,齿形尾坎不仅改善了流速分布,而且紊动交界面增多,衰减紊动能的作用较强,因而消能效率比梯形尾坎者大,故冲刷深度比梯形尾坎小的多,初步探明了消能机理。
Page 1 /100
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.