JANSIM:基于Java的主动网络仿真模块

原有的主动网络仿真模块对于现有主动网系统的支持度较低，使得开发成本和学习成本都很高。基于Java的主动网络仿真模块JANSIM，实现了在ANTS上开发的主动协议可以无需重新在仿真环境下重新编写即可利用仿真环境的网络仿真功能对其进行仿真测试，从而大幅度的降低了主动网协议开发者的学习成本和移植成本。JANSIM包括ANTS-ESIB的适配嚣包、ANTS协议转换器和ANTS脚本转换器。ANTS-ESIB适配器可以使得基于JANSIM新开发的ANTS应用直接运行在仿真系统上，两个转换器则可以使得原先开发的ANTS协议和脚本自动转换为基于JANSIM的协议，从而在仿真环境下运行。     

低轨卫星辅助的干扰源位置确定

为提高针对影响同步通信卫星正常工作的地面干扰源定位精度,回避无邻近卫星无法定位问题,提出低轨卫星辅助的新方法。该方法充分利用低轨飞行所带来的长基线、近距离的好处,并以多普勒差为观测变量,卫星轨道参数为待估参数,可进一步改善定位精度。针对建立的定位数学模型进行计算,其结果显示,当低轨卫星的高度在5000km时,全区域定位精度优于1km。     

复杂空间热网的拓扑结构及水力过程仿真

针对多热源多环复杂热网的水力过程，提出了基于空间管网的计算方法。该方法可根据网络的固有参数通过求解非线性方程组给出不同工况下管网的流量分配和节点压力，还可解决故障导致的管网水力不对称问题，从而弥补了平面网方法的不足。应用图论理论描述了空间热网的拓扑结构，提出了用平面网信息生成空间网络关联矩阵和基本回路矩阵的实用方法。编制了计算程序，通过算例验证了该方法的正确性和实用性。     

二元分形插值函数的不定积分

介绍了矩形区域上由迭代函数系(iterated function system,IFS)生成的二元分形插值函数的不定积分.首先证明二元插值函数的不定积分也是由迭代函数系迭代生成的,并得到了其迭代函数系.其次,证明了二元插值函数的不定积分的2阶混合偏导数等于其二元插值函数本身的充要条件,并推广到2N阶的情形.     

Ce改性CuO/γ-Al2O3的稳定性及催化活性研究

以CeO2作为改性添加剂、γ-Al2O3为载体、CuO为活性成分，用分层浸渍的方法制备出负载型CuO—Ceo2／γ-Al2O3湿式氧化催化剂；采用TG—DTA、XRD对其进行表征，研究了Ce的掺杂对载体及活性成分高温稳定性的影响并得出结论：在湿武氧化反应过程中，Ce的掺杂有效抑制了γ-Al2O3向α-Al2O3转变的高温相交，以及活性成分CuO与载体间相互作用形成CuAl2O4昀过程。通过对苯酚的湿式氧化降解实验，获知CeO2的加入可明显提高催化剂活性，其中6％CuO-6％CeO2／1—100％Al2O3的质量组分比对苯酚的催化活性最佳，反应30min，苯酚溶液COD的去除率为91．31%。     

改进蒙特数字测井系统的有效途径

蒙特数字测井仪是为煤田测井而设计生产的，为了满足煤层气测井需要增加补偿中子，微球形聚焦和深浅三侧向等方法探管。为此在蒙特数字测井仪数据记录之前设计了一接口面板，使所测数据和容易地进入门特数字测井系统。     

基于视觉词袋和三角函数法的动作识别

为了能够更为迅速与准确地对交警指挥等已知动作进行识别,提出了一种将人体特征点的运动轨迹三角函数化后用视觉词袋进行识别的方法.该方法通过将人体运动肢体的端点定义为特征点后,将特征点的空间位置与时间的关系看作是一组三角函数曲线,用不同的正弦公式的组合代替特征点的运动轨迹,以提取特征;同时此算法利用视觉词袋法,提取人体动作时的特征子通过金字塔模型与视觉词袋词典中的特征进行匹配,再通过抽象隐马尔科夫模型实现动作的预测,从而能够自适应地识别出动作.实验结果表明该算法在针对多个动作时优于传统算法.     

分数阶非线性Schrdinger方程组非平凡基态解的存在性

利用山路引理和Lion引理,结合Pohozaev恒等式,得到了分数阶非线性Schrdinger方程组非平凡基态解的存在性.     

高分辨率阵列感应测井倾角影响校正研究

倾角影响校正是大斜度井和高倾角地层中应用阵列感应测井数据正确解释的前提。针对高分辨率阵列感应测井(HDIL),研究斜井解析几何因子与数值几何因子响应特性,比较分析两种几何因子的优缺点,建立解析体积几何因子和数值电荷几何因子相结合的信号处理倾角影响校正新方法,推导出设计体积滤波器和电荷滤波器的基本方程及约束条件。计算机仿真表明,基于新方法设计的滤波器和算法在倾角小于75°范围内可以有效消除测井数据中的倾角影响。     

一类三阶周期边值共振问题解的存在性

本文研究了三阶周期边值共振问题{v'(t)=f(t,v(t)),t∈[0,T],v~(i)(0)-v~(i)(T)=0,i=0,1,2解的存在性,其中函数f:[0,T]×R→R连续且有界.当非线性项f满足适当条件时,本文发展了上下解方法并得到其解的存在性.主要结果的证明基于Lyapunov-Schmidt过程和解集连通理论.