求解扩展一般变分不等式的预测校正算法

给出了一个求解扩展一般变分不等式的预测—校正投影迭代算法,并在更弱的条件下证明了该算法的收敛性.所得的结果可以看作是一种新的和对先前一些结论的重要推广改进.     

面向太空网络战威胁的态势感知本体建模

实现对卫星网络空间威胁的态势感知，是太空网络安全防御的前提。针对卫星网络空间安全防御，提出了卫星网络空间威胁态势感知需要回答的一系列问题，构建了卫星网络空间态势感知本体(ontology of cyberspace situational awareness for satellite, OntoCSA4Sat),用于对卫星网络空间多源情报进行自动关联和推理。通过对一个案例进行表示和推理实验，验证了OntoCSA4Sat的一致性和用于推理解决卫星网络空间威胁态势感知问题的可行性，表明OntoCSA4Sat可为卫星网络空间威胁的态势感知提供分析框架，为太空网络安全防御辅助决策提供支撑。     

强半压缩映象带误差的Ishikawa迭代的稳定性

在任意实Banach空间中，讨论了非线性强半压缩映带误差的Ishikawa迭代的稳定性，其结果推广和改进了已有的相应结果。     

一种采用移动投影条纹模式的三维数据获取方法

物体的三维数据获取是计算机视觉研究的一个重要领域。虽然采用三维测量仪器可以获得高精确度,但是由于获取数据成本相对较高,从而限制了其使用范围。提出一种采用移动投影条纹模式的三维数据获取方法,利用投影仪向物体投射黑色线形条纹,移动并扫描过整个物体,根据条纹在物体上的变形来估计物体的三维形状,最后采用三维过滤器去处噪音。该方法仅使用投影仪和数码相机等设备,实现简单快速,没有人工干预,精度比较高,适用范围广,对于物体表面材质没有限制,可扩展性强。     

双核茂铁Schiff碱化合物的合成和混合价性质

二茂铁甲醛和相应的二胺反应制备了标题双核茂铁席夫碱化合物(1)和(2),用元素分析,1H NMR对其结构进行了表征.电化学测量表明,化合物(1)中2个茂铁单元之间存在着较强的相互作用.     

多Agent计算组织及其建模方法研究

主要从管理的角度分析主体计算组织的典型特性，探讨计算组织的定义，概念集合，并在此基础上提出一种将人工智能技术与组织设计原理相结合的计算组织建模方法，该方法的基本思路是将复杂多主体系统看作一个多主体组织，依据组织设计原理分析多主体系统组织特性，从组织结构和组织过程两个方面建立多主体组织模型，从而形成多主体系统客观结构和功能需求的严格规范；然后，根据现有技术和可用资源确定承担各类组织职能的多个主体，由此确定了各主体的职责和粒度，为多主体计算组织的机上实现建立清晰的宏观框架。     

一类非线性双曲方程的局部解

研究如下非线性双曲方程的初边值问题utt-m(‖ u‖22)Δu-γΔut=β｜u｜αu,其中α>0,γ 0,β>0,α,β,γ均为常数.利用Galerkin方法和改进的势井理论:当m(s)和α满足一定的条件,且初值充分小时,证明了该方程局部解的存在性和唯一性.     

对映体与固定相作用热力学参数的测定

用纤维素-三(3，5-二甲基苯基氨基甲酸酯)手性固定相拆分了5种咔唑羧酸衍生物对映异构体。考查了流动相中不同的有机酸添加剂和异丙醇含量对样品拆分的影响。通过考查温度对样品保留因子和分离因子的影响，计算了样品与固定相作用的热力学参数。     

一般混合似变分不等式组的迭代算法

对一类新包含n个不同非线性算子和n个不同二元泛函的一般混合似变分不等式组进行了研究;利用预解算子技巧,给出了一个求解这种一般混合似变分不等式组的显式n步迭代算法,并证明了该算法在适当的条件下收敛.     

县域土地集约与节约利用存在的问题与对策探讨——以贵州省天柱县为例

根据天柱县土地利用变更调查数据,基于天柱县土地利用现状,分析该县土地集约节约利用状况,提出天柱县土地资源集约利用中所存在的问题,以天柱实际为参照为县域土地集约节约利用提出建议。