现代逻辑三题

现代逻辑是综合运用多种一般思维方法，广泛联系其他科学技术领域，深入研究不同类型推导形式的逻辑学科群．相对于传统逻辑来说，它具有两大特征：一是形式化，二是实用性。     

研究肿瘤侵袭行为的理想模型——裸鼠视网膜

食管癌细胞在体外用SD大鼠视网膜为其侵袭靶子,经扫描电镜、透视电镜观察,显示了肿瘤细胞借助其丝状伪足粘附于内界膜上,进一步向下侵袭视网膜深层。对照组用巨噬细胞、纤维母细胞和直径9.28μm的胶粒分别种植在视网膜上均不见上述改变。此外,又将6株人肺癌细胞分别注射于裸鼠眼玻璃体房内,在注射后第15天、30天取出眼球,制片经光镜观察,结果发现在体外实验表现出高移动性、高粘连性的肺巨细胞癌在体内对视网膜侵袭力最强,为6株肺癌之冠;相反,体外实验表现低移动性、低粘连性的一株肺癌腺在体内对视网膜的侵袭力亦最低。体内、体外实验结果基本一致。证明视网膜既可以用于体内又可以用于体外实验,它是用来作为研究肿瘤侵袭行为理想的实验模型。     

Becker齐次模型参数估计的A-最优设计

利用椭园型偏微分方程极值原理和对称多项式这两种数学工具,解决了三分量 Bech-er 齐次模型(Ⅲ),(Ⅱ)和(Ⅰ)的参数估计的 A-最优设计。     

外场与腔场非共振驱动Jaynes－Cummings系统的准能解

本文主要求出了Ｊ－Ｃ系统受与腔场非共振的外场驱动时的准能级及态的近似表达式，设外场与腔模的失谐量△_ｃ远小于耦合常数ｇ，并且腔模光子数较小，在计算中可略去。结果可知，失谐量△_ｃ存在使能级中心位置移动，但对能级分裂量没有影响。相应的光场态为两个位移福克态的叠加。     

泛Loeb可测集的S-饱和性

在 K-饱和的非标准模型中,研究了泛 Loeb 可测集 m(A),pns(~*X),cpt(~*X),fin(~*X),ns(~*X)的 S-饱和性.当 A 是紧致 Hausdorff 空间 X 的子集时,得到了 st~(-1)(A)是标准集的充分条件.     

C~3I系统工程可靠性评估技术研究

针对Ｃ￣３Ｉ系统分层管理拓扑结构模式，文章重点对系统可靠性度量指标及其相互关系、系统可靠性模型设计与可靠度计算等重要技术进行了研究。本文可对Ｃ￣３Ｉ系统工程总体技术设计可行性论证，以及系统验收评审提供参考。