非下采样Contourlet HMT模型

非下采样Contourlet变换（NSCT）不仅具有类似传统小波变换和Contourlet变换的多尺度和多方向特性，而且还具有良好的平移不变特性．文中对NSCT变换系数进行研究，获得NSCT变换的方向子带系数同样具有持续性和聚集性的结论；在此基础上结合隐Markov树模型，建立了一种新的基于NSCT域的隐Markov树模型NSCT—HMT，并且给出了该模型的参数结构以及模型参数的训练方法；最后将所提出的模型应用于图像去噪中取得了很好的仿真效果．     

基于Bayes线性估计的遥感图像融合

将Bayes线性估计应用于不同分辨率遥感图像的观测模型中，提出了一种新的基于统计参数估计的遥感图像融合方法．该方法对于金色波段图像和待估计的多光谱图像的联合分布不做任何假设，只需要估计高分辨率多光谱图像的均值和协方差以提高算法的鲁棒性．另外，文中的方法能够提高多光谱图像的多个主成分的分辨率，而传统的主成分变换方法只限于提高第一主成分的分辨率．实际的Landsat ETM＋的全色波段图像和多光谱图像的融合实验结果表明，所提议方法的性能优于其他基于统计参数估计的方法和基于主成分变换的融合方法以及基于小波变换的融合方法．     

约束切换非线性系统给出初始稳定区域的预测控制设计

有约束切换非线性系统的稳定控制是一个重要的研究问题．通常的预测控制方法可以很好的处理约束问题并使得系统稳定，但一般首先假设其中的优化问题初始可行，而对于初始稳定区域并没有具体的描述．本文针对一类输入变量受约束且状态不可测的非线性切换系统，提出了一种混合非线性预测控制方案．其主要思想是：利用李亚普诺夫函数和状态观测器，设计在预测控制器和有界反馈控制器之间适当切换的混杂控制器，以得到初始稳定区域的描述并使得子系统闭环稳定；对整个切换系统，基于状态估计，设计在各组件间平稳切换的切换律，以保证整个闭环系统的渐近稳定性．最后通过对一个化工过程实例进行仿真，验证了本文所提控制器的有效性．     

一个支持空间上下文的访问控制形式模型

利用上下文信息对授权决策进行控制已越来越受到重视．在无线和移动网络领域中控制资源的访问要求定义支持空间上下文的访问控制形式模型．然而，传统的RBAC模型并不能满足这些空间上的需求．文中对现有的RBAC模型进行扩充，提出了SC-RBAC模型，使其在定义安全策略时能结合用户的当前物理位置信息．提出了空间角色的概念，为角色赋予逻辑位置域以指定角色可以活动的空间范围．角色激活依赖于用户从移动终端获得的当前物理位置．紧接着，给SC—RBAC弓j入层次来表达权限、激活继承等关系．证明用层次化的空间角色在数学上可构建格模型以实施多级安全策略，使其更适合安全关键的位置感知信息系统对信息流的安全控制要求．随后，受限的SC-RBAC描述了3类限制：空间的职责隔离限制、基于位置的基数限制和基于位置的时序限制，这些限制允许表达位置感知系统中细粒度的空间语义．最后，为受限的SC—RBAC模型设置了9个不变量，证明了其基本安全定理，为模型在实际环境中的应用奠定了基础．     

三维Hall MHD数值模拟中初始载流子对场向电流分布的影响

用Hall MHD数值模拟的方法研究了Hall等离子体中不同初始粒子载流情形下磁场拓扑形态结构的改变以及场向电流与Alfven波的产生．在考虑了初始离子载流子的影响后，模拟结果中磁场的拓扑形态结构更加复杂．模拟结果中除了传统的By四极结构以外，还出现了一个与传统By四极结构相反的反四极结构，这种结构的出现使Hall MHD理论能解释完全电子载流情形下不能解释的观测现象，作为事例给出了Cluster卫星观测事例．同时还得出以下几个非常有意义的结果：1）受Hall效应影响的区域（空间变化尺度小于或相当离子回旋半径的区域）电子与离子分离．在非Hall效应影响的大部分区域，受初始离子＋y方向运动的影响整个磁结构向＋y方向偏移；而在受Hall影响的较小区域，受电子运动影响磁力线向-y方向弯曲．随之，By产生；2）由于By的出现，场向电流（FACs）产生．与完全电子载流的情形相比，结果中场向电流分布的中心随离子载流比例的增加向＋y方向偏移，场向电流主要分布在y〉0的区域；3）模拟结果中Ae≈0．76，Ai≈1．36，Ae×Ai≈1．03，完全符合Hall等离子体中的瓦伦关系，证实了Alfven波的存在．     

UC安全的并行可否认认证新方法

可否认认证协议允许认证者向接收者认证某个消息，但是接收者不能向第三方证明该认证消息的来源．在考虑开放的异步多方通信网络环境和自适应的主动攻击者能力的情形下，基于UC（universally composable）安全模型提出了解决并行可否认认证问题的新方法．根据可否认认证协议的安全目标，定义了形式化的并行可否认认证理想函数FCDA，然后，利用可验证平滑投影散列函数构造了一个具体的协议方案，在公共参考串模型中，新的协议方案是可证明UC安全的，即新方法能够保证可否认认证协议的不同实例在并行复合情形下是安全的，当与其他协议同时运行时具有非延展性．为了实现可否认认证的前向可否认性，新方法基于陷门承诺构造了新的投影密钥函数和可验证平滑投影散列函数，基于证人不可区分，协议的安全性可以归约为确定性复合剩余假设，改善了协议的计算效率和通信效率．     

岩石节理法向加载非线性变形本构模型研究

鉴于节理法向变形的经典指数模型和双曲线（BB）模型的中应力水平加载阶段变形与部分试验结果存在偏离的不足，采用柔度变形法建立了节理法向加载非线性变形的新本构模型．讨论了节理在法向单调加载条件下变形基本规律，提出了完备的节理法向本构方程应满足的3个基本条件．分析指出基于应力变形坐标系的节理法向本构改进模型：统一指数模型和改进双曲线模型在数学上均是不完备的．选择柔度变形（Cn-u）坐标下介于双曲线和经典指数2种传统模型之间的单调递减柔度变形曲线，使其满足法向变形基本条件，建立了节理法向变形本构三参数模型．分析柔度变形曲线存在的两类主要形式，推导了节理法向变形g-δ本构模型和g-λ构模型的具体数学表达形式，并初步分析了模型参数的取值范围及其相关地质影响因素．引用已有不同岩石节理法向变形试验数据，对2种本构模型验证分析表明：g-λ型既可以适用于耦合节理法向变形又适用于非耦合节理法向变形，同时提出的节理法向变形譬．碳型较BB模型、经典指数模型及对数模型能更好地与试验结果吻合．     

晶体生长过程中的浮力对流现象研究

将实时相移Mach—Zehnder干涉技术与成像技术相结合，应用计算机技术、图象处理技术完成对NaClO3晶体的实时诊断，实时观测了NaClO3晶体溶解和结晶过程，得到了该过程的溶解条纹和生长条纹，反演计算出该过程的浓度场分布，同时分析了晶体生长过程中由重力引起的浮力对流现象，实验证明了这种对流现象直接影响着晶体各个晶面的生长速率．     

基于稀疏元分析的欠定混叠自适应盲分离方法

传统盲分离理论假设源信号相互独立，通常采用独立元分析方法等实现盲分离，无法解决实际应用中出现的欠定混叠、相关源信号混叠等挑战性盲分离问题．稀疏元分析是国际上最近出现的一个新的研究热点，稀疏元分析盲分离方法具有实现欠定混叠盲分离和相关源信号混叠盲分离的能力，因而为广大研究人员所关注．但到目前为止，对于稀疏元分析的研究还很不成熟，特别是非常欠缺有效的算法．仅有的少数几个算法仍然面临许多问题，比如：基于Lewicki和Sejnowski（2000）所给Lewicki—Sejnowski自然梯度的稀疏元分析方法，是目前讨论欠定混叠盲分离的一种有效自适应算法，它较通常的K-均值聚类法有更多的优势．但Lewicki—Sejnowski自然梯度只是一种近似表示，缺乏严格的理论依据．由稀疏元分析代价函数出发，基于矩阵理论以及文中所建立的一个新的数学公式，从理论上导出了一个新的且严格的自然梯度，从而为这类稀疏元分析方法提供了严格的理论基础．在此基础上，给出了稀疏信号欠定混叠的新自适应盲分离算法．该方法具有实现欠定混叠和相关源混叠盲分离的能力（见仿真1）．仿真结果表明，所给的新自然梯度比Lewicki—Sejnowski自然梯度更为稳定可靠，同时算法具有较好的抗噪性．     

高等级安全操作系统的设计

众多因特网安全事件的发生表明，为了对抗现代计算环境中的安全威胁，来自安全操作系统的支持是必不可少的．基于国内外相关标准的要求，结合安胜高等级安全操作系统v4．0（以下简称为安胜OS）的设计与开发实践，讨论高等级安全操作系统设计中的3个关键问题：安全体系结构、安全模型与隐蔽通道分析．对安全体系结构与3种基本的安全策略模型：机密性模型、完整性模型和特权控制模型的设计原则分别进行了阐述，提出了新的安全体系结构与3个新的安全模型，分别介绍它们的主要特色，以及它们在安胜OS中的实现。 隐蔽通道分析是高等级安全操作系统设计中众所周知的难题，迄今缺乏坚实的理论基础与系统的分析方法．为了解决隐蔽通道分析中存在的基本问题，文中提出了隐蔽通道标识完备性的理论基础、一种通用的隐蔽通道标识框架，以及高效的回溯搜索方法．这些新方法在安胜高等级安全操作系统中的成功实现表明，它们可以简化并加快整个隐蔽通道的分析过程。     

物流业服务水平与制造业外包绩效关系的实证研究

经验表明，物流业的服务水平和制造企业对物流的观念与认知直接影响到制造企业物流外包水平．而它们又直接或间接影响到企业绩效。根据以上这些变量建立相应的关系假设模型，通过设计调查问卷收集一手数据，并利用结构方程模型方法进行数据的拟舍分析与实证研究。研究结果显示：物流业的服务水平与制造企业物流外包水平正相关；制造企业物流外包水平与制造企业绩效正相关；制造企业现代物流观念和认知与制造企业物流外包水平呈现弱相关性，并且不显著。最后，在此基础之上还进一步提出有关制造业和物流业联动发展的若干建议。     

气动热-气动弹性双向耦合的高超声速曲面壁板颤振分析方法

建立了气动热、气动弹性双向耦合高超声速二维曲面壁板颤振分析方法．基于柯西霍夫假设和冯卡门非线性应变．位移关系，建立了考虑几何非线性的二维简支曲板的气动．热．弹性分析方程；使用迦辽金方法对方程离散处理，采用四阶龙格．库塔法求解微分方程；三阶活塞理论用于气动力分析；使用参考温度法和平板气动热公式计算气动热．研究中重点考虑：1）气动热与气动弹性双向耦合，既分析气动热对结构刚度的影响，又分析气动弹性对气动热的影响；2）结构温度随飞行时间的积累效应；3）弦向和厚度方向非均匀温度分布的影响；4）曲面壁板的初始变形对壁板颤振发生时刻的影响．通过与传统的只考虑气动热．气动弹性单向耦合的分析结果进行对比，发现基于气动热和气动弹性双向耦合的壁板颤振分析结果更危险，这一点在精确分析中应当予以重视．     

改进的三维全矢量有限差分虚位移束传播法

提出了一种改进的三维全矢量有限差分虚位移束传播法，用以分析光波导承载的全矢量本征模．在纵向（z向）离散上，第一个子步采用半矢量公式，而第二个子步采用全矢量公式，但交叉项双倍计算．每个横向电场分量在两个子步中的次序交换，交叉项用隐式形式表示，计算效率高且稳定．在横向x和y向）离散上，基于多项式插值法，建立了一种统一的差分格式，考虑了电场法向分量在芯包分界处的不连续性，可应用于均匀和非均匀网格，差分系数引入了更多邻近节点的折射率分布，且交叉项采用六点差分格式，计算精度高，程序通用性强．首先分析了高折射率分布差的矩形、GaAs／GaAlAs双异质结脊形光波导，给出了全矢量基模及次高阶模（矩形波导）的电场分布及其归一化传播常数，揭示了全矢量本征模的混合特性，验证了该方法的有效性．接着分析了InP基InGaAsP／hGaAsP应变多量子阱脊形光波导，考虑了深刻蚀和浅刻蚀两种情形，讨论了其全矢量基模的模式特性，为设计以此为基础的光子集成回路奠定基础．     

雾化沉积Cu-13．5％Sn合金的显微组织和力学性能研究

本文采用雾化沉积工艺制备了Cu-13．5wt％Sn合金；研究其轧制性能；分析其轧制机理。结果表明：与传统铸造Cu—Sn合金相比，该合金晶粒细小，组织均匀，无宏观偏析，基体为单相α—Cu组织；Sn含量从8wt．％上升到13．5wt．％；轧制后表现出良好的综合力学性能，强度和塑性随着形变量的不同在一个较宽的范围内变化，可以满足不同使用需求；具有高强度（〉800MPa）低弹性模量（～88GPa）的特点。这在晶体金属材料领域是独一无二的，可以预测该合金将会在弹性元件领域具有广泛的应用前景。     

非导电工程陶瓷高能量电容单脉冲放电高效加工试验研究

针对传统加工方法在加工非导电工程陶瓷时存在加工效率低、成本高以及加工表面质量差等缺点，本文提出了非导电工程陶瓷高能量电容高效电火花加工新方法，并进行了单脉冲放电试验研究，结果表明，该方法采用高电压大电容以及较高的放电能量，能够较大地提高材料去除效率，单次脉冲放电陶瓷去除量可达17．63mm3．对加工极性、峰值电压、电容、限流电阻、工具电极进给方式、工具电极截面积以及辅助电极厚度等参数对陶瓷蚀除坑体积、工具电极损耗以及辅助电极损耗等性能的影响进行了试验研究与理论分析，得到了相应的规律关系．采用扫描电子显微镜对单脉冲放电坑的微观形貌进行了观测．结果表明：放电坑表面呈溅射状，陶瓷主要以剥落方式去除，放电通道中心区域部分材料以熔化蒸发方式去除，且材料去除效果随着加工参数的增大而增强．     

顺层岩质边坡加陡开采的稳定性研究

为了研究确定顺层边坡陡帮开采的稳定性，以元宝山露天矿南帮边坡为研究对象，基于刚体极限平衡理论，采用RFPA中的细观本构模型，研究分析南帮边坡受采动影响应力和位移随时间的变化规律，分析滑坡机理、滑坡模式，并确定最终境界的合理边坡角。结果表明：采用细观模型得到的岩体变形随时间的变化规律与现场观测基本吻合，上部岩体沿圆弧滑面拉裂滑移，下部沿弱层组合滑面剪切滑移，且滑体上部均以下沉为主，向采空区发生水平位移，下部以水平位移为主。计算剖面边坡的稳定系数Fs〈1．2，应放缓边坡角使φ=18°以保证边坡稳定使露天矿安全生产并获得最大效益。     

三角曲面显式最佳降多阶的一个新颖算法

计算机辅助设计（CAD）系统中的数据通讯和数据压缩经常需要把参数曲面近似地降阶．而其中对三角曲面一次性降多阶是一个悬而未决的技术难题．文中把三角Jacobi基正交的代数性质应用到几何逼近，借助三角Bemstein基和三角Jacobi基相互转换的最新成果，自然地诱导出三角B6zier曲面一次性降多阶的一个新颖算法．此算法具有误差预测、显式表达、机时最少、精度最佳的4个特点：第一，降阶前可迅速判断是否存在满足给定公差的降多阶曲面；第二，全部降多阶运算仅需对曲面的控制顶点序列按词典顺序排序所写成的列向量执行一个矩阵乘法；第三，此矩阵无需临时计算而是从数据库中直接调用；第四，这张降多阶曲面在L2范数意义下达到最佳逼近效果．数值实验证实了理论推导的正确性，表明此算法对CAD系统的产品信息处理将会带来显著的应用效益。     

结构随机响应计算的一种数值方法

摘要应用降维数值积分和C型Gram．Charlier级数展开方法，基于有限元理论讨论了随机结构响应概率分布的计算问题．首先依据正交多项式权函数与随机变量概率密度函数的关系，给出了随机响应统计矩计算的降维数值积分公式；进而应用C型Gram—Charlier级数逼近获得了随机响应的概率密度函数；提出了基于有限元方法求取结构随机响应概率分布的计算流程．数值算例中介绍了平面十杆桁架结构最大位移的概率分布、由随机参数表征的某型车架固有频率计算和弯管结构随机VonMises应力分析问题，所得结果同蒙特卡罗数值模拟结果进行了对比验证．结果表明：文中计算流程能够获得较为准确的随机响应概率分布，特别是对概率分布尾部的估计精度达到10^-44-10^-3数量级，为机械结构安全性分析与设计打下基础；同时，算法的计算效率较高，与传统的数值模拟方法相比通常能够节约计算资源消耗两个数量级以上；第三，算法流程实现简单，不需要计算结构响应对基本随机参数的梯度和二阶灵敏度信息，也不需要对结构有限元矩阵的修改，因此可以充分发挥现有成熟有限元程序的优点，在个人计算机上实现工程随机问题的分析与计算．     

高速可压缩流动壁函数边界条件的改进与应用

为发展适用于高速流动的壁函数边界条件以降低摩阻和热流模拟时的网格相关性，针对Nichols等人提出的可压缩壁函数边界条件开展了改进研究．首先，通过数值试验修正了可压缩速度壁面律的参数取值·9其次，基于数值试验和理论分析，对温度壁面律的表达式进行了修正；最后，推导了近壁区的热传导项表达式，更准确地实现了壁函数边界条件与CFD程序的耦合．之后，对修正的可压缩壁函数边界条件开展了应用研究．对超声速平板湍流边界层的模拟结果表明：壁函数在壁面法向第1层网格y＋〈400时均能给出准确的壁面热流密度和摩擦系数值，且在稀网格下也可得到合理的边界层速度型、温度型以及湍流涡黏性系数分布；数值实验表明对原始壁函数的修正显著提高了热流密度和摩擦系数的模拟精度．对包含分离流动的超声速凹槽和高超声速轴对称压缩拐角算例的数值模拟发现：基于充分发展的附着湍流边界层理论建立的可压缩速度壁面律对分离区内部近壁区仍然近似适用，可保证分离区内部给出可靠的摩擦系数和热流密度；而对于分离／再附点附近，壁函数的模拟精度相对较差，其原因在于分离／再附点附近的真实速度型与壁函数中速度壁面律形式出现明显差别．