论文部分内容阅读
Theory of Σ-(α-tautologies) in revised Kleene systems
【出 处】
：
中国科学：技术科学英文版
【发表日期】
：
1998年2期
【基金项目】
：
ProjectsupportedbytheNationalNaturalScienceFoundationofChina (GrantNo .193310 30 )
其他文献
氧化铝和 boehmite 雏晶的 solvothermal 准备被调查了，并且象阶段，结晶化形态学和雏晶的尺寸上的反应媒介和温度那样的 solvothermal 条件的效果被讨论了。雏晶的生长单位的稳
In engineering practice, single-phase water hammer models are still employed to analyze the water hammer of solid-liquid flow. According to the characteristics
A new self-organizing neural network model is presented, which can get rid of some fatal defects facing the Kohonen self-organizing neural network, known as the
The generation mechanism of stress wave induced by laser-shocking is described and the stress wave is measured with a PVDF transducer. The visual inspections an
Microstructure and mechanical properties of Ni3Al intermetallics prepared by directional solidificat
现在的工作集中了于 Ni <sub>3</sub > 有一个高融化点的基于 Al 的合金。研究的目的是在微观结构和方向性地团结的 Ni-25Al 合金的机械性质上学习退却率的效果。Ni <sub>3</
The counter-gravity casting methods have been developed to remove the casting defects of Mg based alloys.However,the effects of different counter-gravity castin
A new identity is proved that represents the kth order B-splines as linear combinations of the (k + 1) th order B-splines A new method for degree-raising of B-spline curves is presented based on the i
Optimization model and algorithm for system operation division of labor at two-way marshaling statio
在双向整理车站基于操作过程的系统的分析，操作方法通过汽车流动，排序的汽车流动和装载汽车，流动包括地被学习。劳动的系统操作分割的一个最佳的模型基于资源限制被构造。模型被
The laser oscillation of the lowest triplet-triplet transition in Na2 is reported for the first time and its kinetic process is tentatively discussed.