Presupposition failure — A comedy of errors

Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.     

地面反射波谱与卫星磁带记录数据间关系模拟的初步探讨──以冬小麦和土壤为例

根据冬小麦和土壤地面反射波谱测试数据，计算了在卫星高度上与卫星磁带数据相对应波段的辐亮度值，对ＮＯＡＡＡＶＨＲＲ和ＴＭ某些通道的差值绿度植被指数ＤＶＩ、归一化绿度植被指数ＮＤＶＩ和比值绿度植被指数ＲＶＩ的分析，从理论上证明了目前采用ＴＭＤＶＩ＿（４，３）提取冬小麦种植面积和ＮＯＡＡＮＤＶＩ＿（２，１）区分植被和土壤背景的有效性。同时在冬小麦种植面积和长势监测方面提出了一些新建议。     

压缩式致冷设备的电子宽温域多功能控制

设计并研制了一种用于压缩式致冷设备的电子式定温域多功能控制装置。它除具有控温范围宽、精度高、控温参数易调等优点外，还实现了低成本的温度显示、半自动除霜控制、加电延时保护、过欠压保护等功能。全部采用无触点控制方式，有良好的性能／价格比。     

运放滞回比较电路在差动式温度控制中的应用研究

从差动式温度控制的角度研究了两种由集成运算放大器构成的滞回比较器（基型和交叉耦合型）的传输特性，发现它们均能用作闭环差动式控温单元，并都具有在温度设置点转换速度快、抗干扰能力强、控制单元设计简单等优点。分析和比较了这两种控温单元的控制参数的调节性能和参数的稳定性，获知后者的预置温度（Ｔｈ或ＴＬ）和差动温度范围（△Ｔ）的设置值均能各自独立地调节，且系统的Ｔｈ，ＴＬ，△Ｔ的实际值几乎仅决定于设置电路本身，因而显得更为优越。文中还讨论了应用中的有关问题，并给出了相关的应用实例。     

Financial strain, received support, anticipated support, and depressive symptoms in the People's Republic of China.

The purpose of this study is to examine the interface between financial strain, informal received economic support, informal anticipated financial support, and psychological distress in later life. Data provided by a large probability sample of older adults in the People's Republic of China reveal that the relationship between financial difficulty and psychological distress is stronger for older adults who receive more economic assistance. However, the results involving anticipated support are in the opposite direction. More specifically, the association between financial problems and psychological distress is lower for older adults who believe that others stand ready to help in the future should the need arise. A detailed theoretical rationale is developed to explain these results. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

冷轧形变量对钛板材再结晶织构形成的影响

采用三维晶体学取向分布函数（ＣＯＤＦ）分析法研究了工业纯钛板材不同冷轧形变量对织构形成的影响。结果表明，冷轧形变量为５０－７０％时，再结晶退火后形成了（２１１８）（０１１０）和（１０１８）（１２１０）的部分纤维织构，而在３０％较低或８６％较高的形变量冷轧时，形成典型的轧制织构（２１１５）（０１１０）和再结晶织构（１０１３）（１２１０）型式。     

Modeling and analysis of vias in multilayered integrated circuits

A method for modeling and analyzing vias the multilayered integrated circuits is presented. The model is based on microwave network theory. The whole via structure is divided into cascaded subnetworks, including a vertical via passing through different layers and transitions from the microstrip line and/or striplines to the vertical via. The parameters of each subnetwork are obtained from electromagnetic field analysis. Numerical results in the frequency domain and the time domain are presented. Validation of the model has been carried out by both measurements and finite-difference-time-domain (FDTD) modeling. The results show good agreement with the measurements in the frequency range for which the components of the experimental model are within specification. The time domain simulation results also agree well with the FDTD results     

自动力套管补贴加固技术及其在B125井的应用

随着油田开发时间的延长，油水井井下套管的损坏将越来越严重，套管故障井将越来越多，为了恢复套损井生产，将套管损坏所造成的损失降到最低，在配套波纹管补贴，水动力补贴，爆炸补贴等专门修套技术的基础上，通过认真调查研究，又配套了操作方便简单，适用套管损坏类型广的自动力套管补贴加固技术，使各种套管变形，套管断错（错开没有位移或位移量不大时）、套管破裂，误射孔井段封堵，已射开水层封堵等修井作业的难度进一步降低，从而进一步提高了修复井综合开发经济效益。