相信逻辑的某些性质和定理

本文研究了相信逻辑在相信蕴涵下的某些性质．在相信蕴涵的定义下，相信逻辑是非单调的．本文给出了几个相信逻辑的单调性的充分且必要条件．还证明了一个默认理论的延伸恰好就是对应的相信理论的相信公式的所有相信蕴涵式的全体．从而给默认理论的延伸以一个较为直观、简洁的表述．     

一个基于AI产生式系统的软件开发新模型

在设计一个程序以前，应该完整地并且精确地说明要求解的问题．作为一个产品。软件相对于其形式规格说明来说应该是可靠和正确的．规格说明是程序变换方法的起点，程序变换方法保证了程序的正确性．本文给出了ＡＤＴＳＬ的简要描述，并提出了一个基于人工智能中的产生式系统的软件开发新模型．     

连杆机构准动力学分析的统一建模方法

探讨了基于构件真实质量分布的连杆机构准动力学（动态静力学）分析的统一建模方法，它适用于各种平面、空间连杆机构．采用达朗伯原理和矩阵方法，推导了机构支反力及驱动力求解的统一公式．开发了相应的准动力学通用分析系统，该系统已有效地应用于工程实际之中．     

半黎曼空间形式的极大类空叶状结构

设Ｆ是半黎曼空间形式Ｎｎ＋ｐｐ（ｃ）上的余维ｐ的极大类空叶状结构，如果标准度量是类丛的，则ｃ≥０，如果Ｆ的叶子还是完备的，则Ｆ是全测地叶状结构     

三波长一元线性回归分光光度法的研究与应用

本文提出了三波长一元线性回归分光光度法。该法将几组不同组成的已知混合溶液,在三个测试波长下所测得的吸光度直接进行线性拟合,并建立了三波长线性方程 y=Kx+B。这种方法较好地克眼了三波长法过于依赖仪器波长精度和准确性的缺陷,以及通常三波长法测定实际混合样品时,完全由纯组分所建立的定量公式而引入的误差。提高了测定精度和可靠性,操作简便易行实用,又能兼顾三波长法的灵敏度和原有特长。     

利用反射成像测量薄透镜材料的折射率

给出了一种利用透镜的球面反射像测量薄透镜的材料折射率的方法。     

谱分析方法在经济波动分析中的应用研究

针对我国经济序列较短的特点,将加窗周期图谱估计与最大熵谱估计相结合的谱估计方法用于经济周期波动的分析,并用各隐周期分量单独分辨的办法通过对数据进行三角叠加拟合来确定隐周期长度的准确值。     

Structural basis for self-association and receptor recognition of human TRAF2

Tumour necrosis factor (TNF)-receptor-associated factors (TRAFs) form a family of cytoplasmic adapter proteins that mediate signal transduction from many members of the TNF-receptor superfamily and the interleukin-1 receptor. They are important in the regulation of cell survival and cell death. The carboxy-terminal region of TRAFs (the TRAF domain) is required for self-association and interaction with receptors. The domain contains a predicted coiled-coil region that is followed by a highly conserved TRAF-C domain. Here we report the crystal structure of the TRAF domain of human TRAF2, both alone and in complex with a peptide from TNF receptor-2 (TNF-R2). The structures reveal a trimeric self-association of the TRAF domain, which we confirm by studies in solution. The TRAF-C domain forms a new, eight-stranded antiparallel beta-sandwich structure. The TNF-R2 peptide binds to a conserved shallow surface depression on one TRAF-C domain and does not contact the other protomers of the trimer. The nature of the interaction indicates that an SXXE motif may be a TRAF2-binding consensus sequence. The trimeric structure of the TRAF domain provides an avidity-based explanation for the dependence of TRAF recruitment on the oligomerization of the receptors by their trimeric extracellular ligands.     

高层框架—核心筒体减震结构模型试验

通过单层，三层结构模型的动力试验结果，表明在框架－核心筒体结构体系内安装减震器后，减震效果显著，试验与计算结果吻合较好，说明了计算理论的正确性。