面向服务的防汛GIS支撑平台设计与实现

将GIS技术和面向服务的集成技术引入到了防汛信息系统建设的实际应用中,系统定义了防汛GIS支撑平台,制定了平台实现的技术路线,阐述了平台的设计思想,论述了平台的构建过程．其中,创建了汛情Web数据服务及其空间数据服务,在此基础上,建了一个面向web数据服务的开放式的防汛平台,实现了应用功能与汛情信息数据的分离,统一了汛情发布功能的展现方式,提高了平台的复用性、可维护性和可扩展性,为三维WebGIS技术在防汛减灾中的应用及建立类似系统提供了良好的设计思路和有益参考．     

基于有限元仿真的东风11型救援小车支撑块结构优化

对东风11型救援小车支撑件进行了有限元分析．通过有限元计算。详细分析了有效应力分布情况；找出了应力集中较大的区域．并分析了其主要原因；观察了应力值最大区域并提出了改善应力集中的方法和措施。从而达到了结构优化的目的．     

因特网防御DoS攻击技术评述Ⅰ--攻击分类与特征·包过滤·攻击检测与防御

概述了因特网上DoS攻击的相应分类及基本特征，评述了包过滤、攻击检测及防御技术的最新成果．前一部分介绍了入口过滤、基于路由的过滤网和有效源地址强制协议．后一方面主要讨论了适合于检测攻击包的技术，介绍了新近提出的频谱分析方法和泛滥检测系统．简要评述了已有的防御SYN泛滥攻击的技术措施，介绍了Cisco的TCP拦截技术，提出了改进策略．     

缓冲容量的新概念

提出了缓冲容量的新概念，推导了它的数学表达式，建立了具有应用价值的计算方法，并在数学概念、物理意义以及实际应用上与缓冲指数进行了比较，澄清了两者间的混淆．本文还将缓冲容量的概念推广至多元酸，建立了定量计算方法．     

一种新型三自由度力控末端执行器及其运动学和性能分析

提出了一种安装在工业机器人末端具有3个平动自由度的力控末端执行器,适用于工件狭小空间处的自动化打磨抛光.该执行器采用了3-PPa R并联机构构型,实现了紧凑对称的结构设计.为了提高执行器的定位精度和力控性能,采用了3个音圈电机驱动.首先,通过修正的G-K公式验证了机构的自由度,进行了机构运动学正逆解的分析;其次,建立了机构的雅可比矩阵,讨论了机构的奇异性;最后,利用数值法分析了机构的可达工作空间.研究成果为该执行器机构优化设计和样机研制提供了理论基础.     

网络攻防对抗策略选择模糊矩阵博弈方法

分析了对抗系统博弈的基本原理和网络攻防对抗过程。讨论了其数学描述的基本方法．研究了网络攻防的策略分类，针对网络对抗中的动态性和不确定性，提出了一种基于模糊矩阵博弈的网络攻防对抗策略选择模型。并论述了网络对抗博弈的动态决策分析方法．给出了简化的网络攻防对抗仿真分析示例。仿真结果验证了模型的正确性和可用性．最后，指出了模型的局限性和改进方向．     

降维dj图及或-符合函数的化简

提出了降维dj图,讨论了获得降维dj图的代数方法和图形方法,给出了利用降维dj图化简或-符合函数的方法,实例验证了化简方法的有效性.降维dj图的引入压缩了dj图的规模,从而扩大了dj图的使用范围.     

基于可供选择的技术的电能计量与控制系统的设计与计算机仿真

设计了一个基于可供选择的技术上的电能计量与控制系统的结构图,推出了一种新型电能表,建立了描述该系统的数学模型,实现了系统的Matlab仿真并对自动抄表系统进行了必要的研究.     

基于Oracle的管理信息系统数据库安全设计

介绍一个面向成人教育教务管理的Oracle数据库应用系统并对其安全威胁进行了分析,提出了安全防护的具体措施.首先,分析了高校成人教育教务管理工作的流程和数据库结构;其次,就高校成教的实际情况,提出了成人教育教务管理信息系统结构的基本设想,阐述了5个基本模块所实现的功能;最后分析了数据库系统面临的安全威胁,给出了应对的安全措施.     

关于bj图的性质及应用

利用bj图的读图规则和积项中变量数图对bj图的性质作了进一步的研究，提出了若干新的性质，给出了相应的证明，此外，文中还讨论了它们的应用，并用实例作了说明，本文的讨论揭示了bj图的内在规律，有助于开拓bj图的应用领域。     

关于对偏微分方程数值逼近的求解算法

本文针对由子结构法来逼近偏微分方程所得到的线性方程组给出了一个求解算法。并就其平行性的实现进行了分析。最后给出了一种消除亏秩矩阵广义逆矩阵的不连续的Household方法。     

高维可积模型构造和解析解

根据Virasoro可积性(具有无限维无中心Virasoro型对称代数意义下的可积性)的定义建立了一种系统构造(3+1)维Virasoro可积模型的方法. 利用广义Virasoro型对称代数的每一种具体实现, 可以得到大量的高维Virasoro意义下可积模型. 同时, 还获得了具有共形不变性、Painlevé和Lax对意义下的高维可积方程. 最后, 研究了部分方程的解析解.     

对角模范畴中相容性关系的确定

FRT构造提供了Hopf代数理论求解一类非线性代数方程的方法，不同的方程需要由不同的相容性关系来确定范畴的对象，讨论了FRT关系与相容性关系的联系，并指出这样的相容性关系是由FRT关系所确定的。     

多值模代数方程组的对偶定理

本文指出在多值模代数系统中任一有唯一解的方程组必伴随另一方程组，它们的系数和解都存在对偶关系.     

线性函数的性质及其应用 线性函数的性质及其应用

给出了线性函数、部分线性函数和线性变量的定义,提出了它们的性质.根据上述定义,利用布尔代数中的基本定理和公式以及自双反函数和对称函数的定义对这些性质给出了证明.最后讨论了它们在逻辑综合以及计算逻辑函数的布尔差分中的应用.     

一类求解方程根的改进粒子群优化算法

在群集智能研究的新进展粒子群优化算法（PSO）的基础上，从初始种群的产生、目标函数的处理的角度改进PSO，并在分析讨论代数方程根的分布规律基础上，从优化的角度求解复系数方程和超越方程．数值计算表明，改进算法具有不依赖于迭代初值、良好的适应性和较高的精度的特点，是求解代数方程根的一种成功的算法。     

线性函数和部分线性函数的图形检测方法

线性函数是布尔代数中常用的特殊函数之一,本文根据线性函数、部分线性函数的定义与性质,提出了检测线性函数与部分线性函数六个定理．在此基础上,给出了基于K图与bj图的线性函数与部分线性函数的图形检测方法,并举例说明具体检测过程．     

矩阵的合同、相似与二次型

矩阵的合同关系、相似关系都是等价关系，它们虽然不同。但又有联系．对称矩阵是这两个知识点的交汇点。即两个实对称矩阵合同当且仅当它们相似．进一步得到二次型可以通过一个正交变换化为标准型。这一理论是高等代数教科书的重要内容。然而．现行的教科书对该理论的证明至少涉及到二次型、线性空间、线性变换和欧氏空间的内容．本文利用欧氏空间的正交性质给出这一理论新的简洁证明。以供教学参考之用。     

广义度量方程的改进及其应用（Ⅱ）

作为著名的Cayley-Menger代数的推广,度量方程在距离几何中扮演主要的角色,涉及欧氏空间中点、超平面、定向超球和假想元素φ等基本元素之间重要的度量关系．推广了n维欧氏空间中的广义度量方程,即证明了在由基本元素点、超平面、定向超球和假想元素φ组成的集合{ei}和{e′j}中,并且至多有一个假想元素φ,当N〉n＋2时,仍有广义度量方程：det[g（ei,e′j）]=0（i,j=0,1,…,N）．     

基于布尔e导数的特殊逻辑函数检测方法

布尔代数中的特殊逻辑函数具有独特的性质,而布尔e导数是一种新的特殊运算.为探索简化数字电路实现的方法,在介绍线性函数、自双反函数以及布尔e导数概念的基础上,提出了利用布尔e导数判别线性函数和自双反函数的定理,给出了基于布尔e导数检测线性函数、自双反函数的方法,并通过3个实例,展示了应用该方法检测线性函数和自双反函数的过程.进一步拓宽了布尔e导数的应用领域.