一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

浅谈上海明挖地铁车站的结构设计

对于钢筋混凝土地铁地下车站，如何结合建筑结构规范和特殊的地质条件进行结构设计，作了较为全面的分析和介绍，并结合工程实例，就构件设计要求划分、荷载分类组合及结构受力分析，提出了明确的看法和系统的总结。     

荧光法测定酒类中的双乙酰

实验采用邻苯二胺与双乙酰形成的化合物产生荧光的方法测定酒类中的双乙酰，其测定范围为0.005-0.36μg/mL，方法的检出限为3.2ppb。并对实验条件、干扰、回收率、精密度和可靠性实验等进行了研究和最优化，此方法简便、灵敏、准确。     

大学英语听力课堂教学结构优化设计

听力课堂教学改革关键在于引入教学设计。本文对听力课堂教学中预听活动、操练活动等教学环节的内容、媒体、方法等进行了系统设计 ,旨在寻求一种实效的听力课堂教学模式 ,求教于同行专家     

Dynamic Allocation Strategy Based on Pre-allocation and Agent to Implement Ada95‘s Distributed Computing

This paper discusses the model of how the Agent is applied to implement distributed computing of Ada95 and presents a dynamic allocation strategy for distributed computing that based on pre-allocationand Agent. The aim of this strategy is realizing dynamic equilibrium allocation.     

杂交稻亲本始穗期与栽培条件关系的研究

本文研究了杂交稻制种中,营养生长阶段的栽培条件与亲本始穗期的关系,适宜的营养面积和空间与植株个体和群体生长势,花粉密度呈正相关。利用栽培技术来调节花期和花粉密度,对提高制种产量有重要作用。     

二层线性规划的几何特性与最优性条件

二层系统模型是描述具有层次特性管理决策系统的有效方法, 本文讨论了一类有广泛代表性的二层线性规划模型及其几何特性, 给出了这类二层线性规划模型最优解的几种最优性条件。     

无序瞬子媒质中的两胶子凝聚

在量子色动力学瞬子真空模型中，研究了ＳＵｃ（２）、ＳＵｃ（３）规范场论中两胶子凝聚的温度依赖关系，用费曼变分原理和平均场近似方法，发现两胶子凝聚随温度升高而衰减，在Ｔ≈４．５∧ｍｓ时，凝聚几乎消失；色磁凝聚和色电凝聚的干涉部分同非干涉部分相比，虽然比较小，但在低温区不可忽略。     

GRAMMATICAL COMPLEXITY OF FEIGENBAUM TYPE ATTRACTORS IN PERIODIC WINDOWS

In [7,8] the grammatical complexity of the Feigenbaurn attractor and the general Feigenbaurn attractors, generated by period - n - tupling, are studied. In this paper we study the grammatical complexity of the Feigenbaurn type attractors, including Feigenbaurn attractors and general Feigenbaurn attractors,in periodic windows. It is shown that the languages determined by these attractors are CLS and are. not CFL.