基于模型的飞行控制系统一体化设计技术研究

飞行控制系统设计是一项复杂的系统工程,涉及众多的专业。为了提高系统开发效率,采用MATLAB软件构建了统一的设计平台,使得各专业能够借助平台开展相关设计工作。飞行控制系统一体化设计思路来源于基于模型的设计思想。采用基于模型的设计流程,能够快速完成设计迭代,缩短产品研制周期。作者从飞行控制系统设计的角度,对采用MATLAB软件构建的一体化设计平台及涉及的相关专业技术进行了研究,供广大工程设计人员借鉴。     

由“概率统计”谈对高中新课程标准的认识

从新课程标准（以下简称新课标）的设置理念要求在新课标和原教学大纲的比较以及“典型题，以及对数学教师提出的新要求。体现新课标和原教学大纲的异同，力求改变目前数学课程教学中某些“繁、难、偏、旧”状况，关注学生的情感态度和价值观方面的发展变化。     

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

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

泛Loeb可测集的S-饱和性

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

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

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

Petri网系统的可达性分析

对Petri网系统的可达性问题做了综合性的阐述和分析, 提出了利用能量优化方法来解决可达性问题的方法, 并在此基础上结合计算代数方法和神经计算模型对可达性问题做了进一步的研究. 主要工作包括 1.给出了Petri网到线性空间的映射规则及其可达性的等价性定理; 2.建立了能量优化模型, 将可达性判断化为优化问题; 3.用神经网络来求解能量优化模型; 4. 最后综合了计算代数方法和能量优化模型的优点给出一个基于计算代数和神经计算的方法. 作者提出了一种利用基于硬件的大规模并行的神经计算来代替基于软件的串行的数字计算的可达性判断的解决方案.     

基于语义WEB的远程学习支持系统构建

在概述语义WEB的基础上,设计一个面向学习者用户网站的语义WEB体系结构,提出了多代理结构的学习支持系统中的学习者模型本体和学习者模型代理.目的是为了说明建立学习者本体及其代理对于学习者的有效学习所带来的益处.