函数S-粗集与隐藏规律安全-认证

函数S-粗集是用具有动态特性的冗．函数等价类定义的，函数S-粗集具有动态特性、规律特性与规律隐藏特性．函数S-粗集能够生成f-隐藏规律、f-隐藏规律．把信息安全理论与函数S-粗集嫁接、交叉、渗透；给出f-隐藏规律、f-隐藏规律的安全隐藏与认证．函数S-粗集与信息安全理论融合、共享，是信息系统中信息规律应用研究的一个新的研究方向．     

两个过渡金属一个非过渡金属的合金系三元化合物形成规律

用Miedema建议的Φ（电负性），nws^1/3(Wagner-Seitz元胞的价电子云密度）和元素的金属半径R，价电子数Z四个原子参数和原子参数－模式识别方法，总结由两个过渡金属（T，T′）和一个非过渡金属（N）组成的三元合金系（T－T′－N）中三元化合物的形成规律，求得的数学模型可用于新的三元金属间化合物预报。     

仿射等价Boole函数的分析

利用Boole函数的一些基本变换和相应的不变量，。给出了两个结果：1．Boole函数仿射等价的判定和等价关系求取算法，该算法对Boole函数的科学研究和工程实践都具有重要意义．例如，该算法给出了所有8元3次齐次bent函数的等价关系；2．有效划分了部分参数的Reed—Muller码，如R（4，6）／R（1，6），R（3，7）／R（1，7）．     

考虑偏平面屈服特性的三维耗散应力空间

天然沉积土大多处于复杂三维应力状态．建立岩土材料三维本构模型的方法（三维化方法）应满足热力学定律这一基本物理规律．本文通过引入与塑性剪应变相应的迁移应力,使基于耗散能增量函数建立的岩土材料本构模型能合理地描述偏平面的三维屈服特性．同时,给出了耗散应力空间应力张量与真实应力张量之间的关系表达式,使本构模型能在三维耗散应力空间中采用相关联的流动法则计算不同应力方向的塑性应变．其次,在热力学框架下对比分析了常见三维化方法的热力学本质,如直接引入强度准则的方法、g（θ）方法和变换应力方法等．说明了三维耗散应力空间与变换应力空间的等价性,验证了变换应力方法在热力学框架下的合理性,同时指出直接引入强度准则的方法和g（θ）方法的不合理之处．最后,通过模型预测值与试验值的比较,验证了建立的三维耗散应力空间及其等价的变换应力空间的适用性．     

基于谱聚类的图像多尺度随机树分割

针对谱聚类（spectral clustering）应用于图像分割时权矩阵的谱难以计算的实际问题，定义了像素点与类之间的距离，给出一个采样数定理，设计了一个图像的分层分割（hierarchical divisive）算法．在利用该算法进行图像分割时，由于既要对待分类的点进行随机抽样，又要通过调节尺度因子来合并较小的类或拆分较大的类，因此图像的分割既具有随机性又具有多尺度特性，称之为基于谱聚类的图像多尺度随机树分割（multiscale stochastic hierarchical image segmentation byspectral clustering，简写为MSHISSC）．实验结果表明了算法的有效性．     

谱聚类的扰动分析

以矩阵的扰动理论为工具对谱聚类（spectral clustering）进行了分析，通过引入图的权矩阵并对权矩阵的谱和特征向量进行分析，得到了权矩阵的谱与聚类的类数、权矩阵特征值的大小与每一类所含点的个数、以及权矩阵的特征向量与聚类之间的关系．据此，设计了一个基于权矩阵的无监督谱聚类算法（unsupervised spectral clustering algorithm based on weightmatrix，简记为USCAWM），并在模拟点集和实际的数据集上进行了实验，实验结果肯定了理论分析的正确性．     

基于机器学习的工模具钢硬度预测

硬度是工模具钢性能的一个重要指标.本文通过机器学习中的层次聚类和LASSO回归方法,给出了工模具钢硬度-成分关系的解析表达式.层次聚类将79种牌号工模具钢的合金元素成分-硬度数据集按欧式距离分为了4簇,其中高铬钢和低铬钢两簇包含了几乎所有的数据.然后我们对高铬钢和低铬钢两簇数据分别进行LASSO回归,画出LASSO路径,并利用留一法交叉验证得到具有最佳泛化预测能力的成分-硬度的解析公式.之后引入电负性、原子半径变化率、价电子数、电子亲合能和第一电离能等原子尺度的特征,重新进行LASSO回归,得到了新的硬度公式.结果显示机器学习方法可以成功预报工模具钢的硬度.同时,使用原子尺度的特征为钢铁材料的性能研究提供了新的思路.     

基于可编程hash函数的短签名

数字签名中的短签名由于其签名长度的优势，特别适用于通信带宽受限的场合．现有的短签名方案大多是随机预言模型下可证明安全的，但是随机预言模型通常被认为过于理想化，现实中没有一种hash函数能够模拟随机预言模型，而少数标准模型下可证安全的短签名方案，一般被认为是低效的或者基于强困难假设，即攻击者被给于一定数量的随机的已解决问题实例，要求去解决一个它自己选择的实例．可编程hash函数fprogrammablehashflmctions，PHF）是一种能模拟随机预言的某些可编程特性的特殊hash函数．可编程hash函数可嵌入到签名的基本构造中，产生标准模型下的短签名．本文利用可编程hash函数设计了一个基于因子分解假设的短签名方案．它具有的优点是：1）签名长度短，只需要一个群上的元素和一个小整数；2）签名和验证计算量小，不需要在签名过程中进行生成素数的运算；3）不需要嵌入变色龙hash函数便可实现标准模型下可证明安全．     

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

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

一种基于能量的自适应正交FRIT及其在图像去噪中的应用

研究线奇异特征的高效表示．揭示了“环绕”现象和FRAT系数分布特性的关系，进而在考察按列FRAT重构过程相关特性的基础上，提出一种基于能量的自适应正交有限脊波变换（energy-based adaptiveFRIT，EFRIT）．非线性近似的实验表明该方案相对既有的FRIT及DWT具有更好的能量集中特性，并有效地降低了“环绕”现象的影响．我们进一步对正交FRIT Gauss去噪问题建模，提出了一种基于EFRIT的按列改进闽值．实验结果表明，采用改进阈值EFRIT的重构图像有更高的信噪比改善，视觉效果也更好．     

模糊图灵机的逼近性与通用性

模糊图灵机是模糊算法或模糊计算的形式模型．文中研究了模糊图灵机的几种变形，这包括基于max-★复合运算的非确定型模糊图灵机（简写为NFTM★，其中★为t-模），非确定型模糊图灵机（简写为NFTM），确定型模糊图灵机（简写为DFTM），以及这些变形的多带版本．得到了以下一些结论：第1，若t-模★不满足有限生成条件，则NFTM★，NFTM和DFTM一般不等价，这里等价指的是识别相同的模糊语言．但在逼近意义下等价，也即，NFTM★可以被NFTM以任意精度逼近，并给出了相关的构造．引入了模糊递归可枚举语言与模糊递归语言的概念，并利用递归可枚举语言与递归语言对其进行层次刻画．第2，如果限制NFTM★的模糊隶属函数的取值域为单位区间[0，1]的一个固定的有限子集D3则存在通用模糊图灵机，用该通用模糊图灵机可以模拟上述类型的限制型模糊图灵机．一般地，通用模糊图灵机在逼近意义下存在，该通用模糊图灵机可以以给定精度模拟任意类型的模糊图灵机．     

基于云理论的径流不确定性推理模型研究

针对中长期径流预报中存在许多不确定性因素,本文引入云理论构建径流预报的不确定性推理模型（UR）.首先,该模型应用最大方差方法（MaxVar）对径流序列进行硬性分级,用级别概念表示径流分级区间,以期望（Ex）、熵（En）以及超熵（He）构成的云隶属函数描述径流级别概念的模糊性和随机性,实现分级区间软化,然后将径流量值进行属性转化,以此建立定性推理规则集,运用云算法进行径流不确定推理预报,成功实现径流序列不确定性传递;其次,对径流分级过程中超熵（He）参数确定进行了初探,对推理随机性输出结果进行统计分析,给出相应显著水平下的预报区间;最后,将该模型应用于南方某水库入库月径流预报中,并与广泛应用的最小二乘支持向量机（LSSVM）和ARMA模型进行比较分析,本文模型不仅具有较高的预报精度,而且能够进行区间预报,实例验证说明了模型的有效性和实用性.     

长线天线的矩量法分析

混合位积分（MPIE）是矩量法中常用的积分方程之一,它的优势在于可以有效地处理端接负载的问题。本文中,我们将MPIE与半三角基函数相结合,对具有端接匹配负载的长线天线进行分析。这种方法的创新点在于可以利用半三角基函数对模型的边界进行有效处理,从而使得电流通过边界,这样在计算过程的阻抗矩阵只有第一行和第二行的元素需要计算,其他的元素由对称性原理可以方便得出。用这种方法计算所得的沿线电流、电压和辐射方向图与理论值相吻合。证明了所采用方法的正确性,为今后处理更复杂的天线模型开辟了一个新的途径。     

一种基于自回归隐式半Markov链的设备健康管理新方法

文中通过对隐式Markov模型（HMM：hidden Markov model）假设条件的松弛研究，提出了基于自回归隐式半Markov链（AR—HSMM：auto—regressive hidden semi—markov model）的设备健康诊断和预测新方法．与传统的HMM相比，AR-HSMM具有3个优点：一是将传统HMM所假设的隐藏状态分布改进为显式Gauss分布，因此能够用于设备性能衰退预测；二是改进了传统HMM中各观测变量相互独立的假设，通过自回归建立各观测变量之间的依赖关系，从而使之更加符合实际情况；三是AR-HSMM不必服从不现实的Markov链条件，因而具有更强的建模和分析能力．文中定义了新的“前向．后向”变量，给出了改进的“前向．后向”算法．通过一个实例对所提出的方法进行评价与验证．实验结果表明，基于AR—HSMM的设备健康诊断和性能衰退预测新方法是有效的．     

面向DEMs测量的InSAR系统伴星编队设计优化

为获得高精度的全球数字高程模型（DEMs）的测量,须对主星带伴星编队的干涉合成孔径雷达（InSAR）系统进行设计和优化.首先利用“有效覆盖”的概念,得出了满足全球一重瞬时寻访有效覆盖的伴星编队轨道与构形的约束条件;提出一种新的满足覆盖要求的编队构形调整与控制方法;归纳出满足InSAR系统设计和优化的数学模型,进一步把“对称”的概念引入设计和优化模型,简化了模型求解;最后,给出系统设计和优化的逻辑结构图,并针对三星对称构形的伴星编队进行了设计和优化,结果表明具有可行性.     

互联网软件的可信机理

通过分析互联网软件的可信内涵及互联网应用的基本特征，指出：一方面，在开放、动态的互联网环境下，软件的身份可信、能力可信都面临新的问题和挑战；另一方面，基于自主协同运行模式的新型网络应用需要对软件群体行为进行有效约束，以保障其行为可信．在此基础上，给出了一种面向互联网虚拟计算环境（iVCE）的互联网软件可信概念模型，并提出集身份可信、能力可信和行为可信为一体的网络软件可信保证体系，并以跨域的授权管理机制、高可用的服务保证机制和面向自主协同的行为激励机制为突破口，研究和探索互联网软件可信问题的技术途径．     

基于太赫兹时域光谱图像序列的运动检测研究

太赫兹时域光谱（THz-TDS）图像是一种新的图像形式,THz—TDS图像的每个像素点是一个一维时间脉冲信号,该信号承载了像素点位置处目标材料在太赫兹（THz）波段的吸收谱或散射谱：由于THz频段覆盖了许多有机大分子和半导体材料分子振动和转动的频率,可以预计,随着THz技术发展的不断深入,THz—TDS技术乃至THz—TDS图像分析技术将会成为研究这些材料基础问题的重要手段。本文针对THz-TDS图像的特点,提出了一种对在THz-TDS图像序列中的目标微小运动进行检测和估计的方法。该方法通过假设目标材料的局部THz特性保持守恒,导出了目标物的运动方程,并通过引入矢量同质微分概念,给出了该方程的近似求解方法。本文最后给出的实验结果验证了方法的可行性和有效性.     

RNA二级结构预测的模糊模型

基于模糊集合理论，提出了RNA二级结构预测的模糊模型．该模型通过状态空间的模糊分割以及模糊目标的引入等，可有效利用模糊动态规划算法给出该模糊模型的最优决策序列，并进而获得待预测RNA最优与次优的二级结构．基于模糊模型的方法具有许多优点，如计算复杂性的降低，最优与多个次优二级结构的一并获得，以及定性先验知识的有效融入等．完整地给出了RNA二级结构的模糊模型及其计算方法，并进行了具体的实现．将一个具体的BJK模糊模型结构实际应用于tRNA及tmRNA的数据集中，并与基于最小自由能的mfold工具以及基于SCFG的BJK文法模型进行了比较研究．实验结果表明该模型的有效性，相应的预测精度得到了进一步的提高．     

基于热流与强度复合目标的立式绝热壁构形优化

针对立式绝热壁，引入了热流与强度的幂权积函数作为兼顾隔热性能和机械性能的复合优化目标，在给定外形尺寸和安全性要求的全局约束下，以该复合函数最大化为目标进行了构形优化．研究表明通过允许绝热壁内部结构自由变化（进化），能够获得一定环境条件下的最大目标值及对应的最佳内部结构设计；结果验证了热流与强度复合目标函数的合理性、有效性和适用性，且幂权参数取值在0．4与4之间能更好地兼顾隔热和强度要求．详细讨论了热流与强度并重时的构形优化及结果，给出了不同使用环境下的最优结构设计及性能分析；当使用环境的变化较大且总Rayleigh数较高时，宜采用空腔较多的绝热壁；当总Rayleigh数较小时，合理选用空腔较少的绝热壁，能获得更好的性能．复合目标具有良好的自适应性，最近文献结果是本文研究的特例．     

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

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