锥度量空间中扩张映象的不动点定理

研究了完备的锥度量空间中不要求锥的正则性条件下扩张型映象不动点的存在性和唯一性问题,对满足不同条件的扩张型映象,采用不同的迭代方法,得到一些新的结果.这些结论推广了近期的一些结果以及度量空间中的经典定理.     

基于场景的形式化测试模型生成方法

在复杂的Web应用软件中,如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言（unified modeling language,UML）状态图对Web应用软件的行为建模,利用已有的方法将已建好的模型形式化成有限状态机(finite state machine,FSM);然后使用UML顺序图表示场景,通过使用场景规约系统行为,最终得到约简后的形式化测试模型用以实现自动测试.     

斜纹夜蛾NPV多角体基因的克隆和部分测序

本文对ＳＩＮＰＶ基因组作了酶解分析，测得其基因组大小为１４５ｋｂ，并用双酶法确定了ＳＩＮＰＶ基因组的ＨｉｎｄⅢ和ＰｓｔⅠ物理图谱。以含ＡｃＮＰＶ多角体基因的质粒ｐＡＣ－Ⅰ的ＳａｌＩ－Ｃ片段为探针，对ＳＩＮＰＶＤＮＡ酶切片段ｓｏｕｔｈｅｒｎ转印杂交结果，初步判断多角体基因定位于ＰｓｔＩ－Ｂ／Ｃ／Ｄ片段、ＢｇｌⅡ－Ｃ／Ｄ片段、ＢａｍＨＩ－Ｂ／Ｃ片段和ＥｃｏＲＩ－Ａ／Ｂ片段上，且ＳＩＮＰＶ与ＡｃＮＰＶ多角体蛋白基因有６４％的同源性，而以大肠仟菌质粒ｐＵＣ１９为载体对ＳＩＮＰＶ的多角体基因试克隆，得到带有ＢｇｌⅡ－ＰｓｔⅠ双酶切片段的２个克隆子。对这两个杂交阳性克隆子之一的核苷酸序列测定，表明插入片段与ＢｍＮＰＶ多角体基因上游序列亦有一定同源性。     

扩频系统中自动频率校正单元的设计与实现

针对ＩＳ－９５码分多址蜂窝通信系统标准,给出了一种在从导引信道上提取信道参数并同时获取对载频频差的估计方案,给出了自动频率校正环路的设计方案,及其ＦＰＧＡ实现。该方案简单可行,硬件资源消耗少,且能明显改善移动台接收机的性能。     

四维空间里两对偶几何元素相关联

研究了四维空间里的对偶几何元素,用代数方程和矩阵的秩分析、研究了对偶几何元素的迹元素及投影,得出了对偶几何元素．其中一个的迹元素与另一个的投影仍然对偶,称为对偶几何元素相关联．该结论可推向高维,亦可用于三维．     

论非构造油气藏综合勘探方法

通过研究构造演化和生烃与油气运聚散的关系,总结成功的地震相和基准面旋回高分辨率层序地层学方法在寻找岩性地层油气藏中的应用,分析了各种特殊地震处理和油气检测方法的适用性和可靠性,提出了３个层次、５类方法的非构造油气藏勘探思路。３个层次及有关方法是：在盆地规模上进行整体、动态、综合研究,寻找有利油气聚集带;在有利油气聚集带规模上,开展高分辨率层序地震地层学研究,寻找各类有效尖灭体和圈闭;在可能的圈闭基础上,利用地震烃类检测和化探技术进行圈闭评价。３个层次５类方法的全面研究和有机结合是减小非构造油气藏勘探风险,提高勘探成功率的有效途径。     

作战单元战场空间感知建模研究

依托仿真进行军事作战过程研究所要解决的建模问题之一就是对作战单元战场空间感知过程进行合理建模,而其有效性需求决定了模型必须要能够正确地表达实际作战过程中作战单元战场空间感知所具有的、面向区域的特性。根据作战单元战场空间感知的区域特性,阐述了基于空间划分的作战单元空间感知建模实现思想,并就基于空间划分的战场空间感知模型实现进行了详细的形式化描述。就基于空间划分的作战单元空间感知模型的运行效率,进行了实例对比分析。     

无标度网络拓扑结构非均匀性研究

利用网络结构熵定量分析了无标度网络拓扑结构的非均匀性.通过引入度秩函数,解析地给出了无标度网络的网络结构熵.研究发现当标度指数大于2时,无标度网络的网络结构熵仅与标度指数有关,与网络规模及最小度无关.在给定网络规模及最小度条件下,无标度网络的网络结构熵在标度指数等于1.7附近取最小值,即此时网络最不均匀,当标度指数大于1.7时,无标度网络的网络结构熵随标度指数单调递增.     

共轭对称和共轭反对称新序列的构造与应用

本文通过对共轭对称序列和共轭反对称序列的分析,指出了一种构造新序列的方法,新序列保持了原序列的性质,用途却比原序列要广。文章着重讨论了新序列在DFT(Discrete Fourier Transform)方面的应用,通过计算一个复序列的N点DFT,便可获得四个实序列的N点DFT。     

Banach空间中一类变分包含解的存在性和唯一性

为了解决Banach空间中一类变分不等式的包含解问题,给出了正规对偶映射、k强增生映射、次微分的概念,利用强增生映射性质证明了复合型映射的强增生性,并证明了对偶空间中,变分包含问题的不动点的存在性.利用一般的对偶原理和不动点理论,证明了自反Banach空间中,满足G teaux微分和k-强增生映射的某一类变分不等式包含解的存在性和唯一性.该结果将许多相关文献中的变分包含问题由"光滑的Banach空间"推广到"自反的Banach空间",扩大了变分不等式包含解问题应用范围.