关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果

根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪G2之关系图仅是一个回路,则T(G2)不是P k的最小覆盖成员.     

纯时滞三种群捕食系统持续生存与全局吸引性

研究了具有HollingⅡ功能性反应的纯时滞的两捕食者、一食饵生物系统,通过构造合理的Lyapunov函数讨论了系统的全局吸引性,并得到系统持续生存的充分条件。     

面向对象的软件维护性分析研究

对现有的软件维护性分析方法进行了比较,包括软件维护性度量分析方法、软件维护性指标分析方法和软件维护模型分析方法.针对面向对象的软件维护性的研究现状,在美国空军软件维护性评估理论基础上,提出了适合面向对象的软件维护性的定性分析规则与指标,对于提高软件的维护性具有一定的理论意义和实际应用价值.     

渡海作战无缝综合信息网

本文建议研制一种渡海作战无缝信息网络。采用Ad-Hoc组网方式。对网络的抗毁性、抗截获和抗干扰性能,网络组成和网络物理结构,网络互连等问题进行了讨论。     

小学生教育戏剧的机会生成与演化——基于知识建构理论的《西游记》阅读教学实践

本研究追踪了某小学四年级《西游记》的知识建构阅读教学,发现学生的教育戏剧生成与发展过程:第一阶段是真实问题探究所引发的、偶发性的、零星片段的演出,可以看作教育戏剧的自发性萌发;第二阶段是不同情境片段探究中形成的《西游记》故事的系列表演,可以看作教育戏剧的多元化实践阶段;第三阶段是系统性阅读中逐步形成了戏剧与表演理论,可以看作教育戏剧的理论体系构建。这三个阶段反映了学生自发的教育戏剧形成过程的一般规律,也体现了知识建构教学中生成性课程的演化过程。了解其细节,一方面可以作为生成性教育戏剧的研究素材,另一方面可以作为教师开展相应的阅读教学、教育戏剧可资借鉴的经验。     

单平台纯方位信息的水面编队目标运动要素解算

基于实际背景需求,针对单平台纯方位水面编队目标运动要素解算问题,从可观测性、观测平台机动及解算模型三方面作了探讨.利用线性系统可观测理论,基于伪线性量测方程对编队目标运动要素的可观测性进行了研究,给出了可观测条件.以Fisher信息阵行列式为性能指标,探讨了观测平台最优机动的理论轨线和工程轨线形状.给出了3种编队目标运动要素解算模型,并进行了仿真比较分析.研究结论和仿真结果表明:水下单平台基于纯方位解算编队目标运动要素,自身必须作有效机动,可以采用单目标运动要素解算的最佳机动策略;提出的联合解算模型的效果显著好于已有的两种模型.     

具连续分布滞量的非线性抛物型偏微分方程的振动准则

考虑一类具连续分布滞量的非线性抛物型偏微分方程的振动性,借助Green定理将多维振动问题转化为关于某一类具连续分布滞量的非线性微分不等式的一维问题,给出了该类方程在Robin,Dirichlet边值条件下所有解振动的若干充分判据。所得结论充分地表明,振动是由时滞量引起的。     

基于ADAMS／Car与MATLAB的液压主动悬架平顺性仿真研究

利用ADAMS/Car建立了传统被动弹簧与液压缸串联的主动悬架模型,与其它子系统装配组成整车仿真模型,并在MATLAB/SIMULINK的环境下建立主动悬架的PID控制系统,实现了与整车机械模型的联合仿真。仿真结果表明,采用液压主动悬架系统后,车辆在通过路面凸起处时车体质心垂向加速度得到了有效抑制,从而提高了车辆的行驶平顺性和乘坐舒适性。     

极值指数之推广矩估计量的渐近正态性

首先将推广矩估计量代换为一种新的估计量,然后研究由该估计量引起的一种与尾经验过程有关的函数的弱收敛问题,最后得到与推广矩估计量有关的一随机过程的弱收敛函数,同时也就得到了推广矩估计量的渐近分布,因而证明了推广估计量的渐近正态性.     

核污染的危害及其去除方法

核污染已成为全球十大环境难题之一,成了人类摆脱不掉的阴影.论述了核污染设施的核污染去除方法如物理法、化学法、电化学法、物理-化学联用法、微生物清除法、焚烧、超级压缩法和土壤核污染去除方法如铲土去污、深翻客土、可剥离性膜、森林修复等,并分析了各种去除方法的优缺点,最后提出了加强管理削减核污染源、加强现有处理方法的联用、开发微生物处理新技术和开发基因工程修复植物的建议.