形式语言的范畴计算模型研究

分析了传统计算模型处理不确定性问题的局限性,并应用范畴理论建立形式语言的范畴计算模型,以双函子为工具深入研究了字范畴模型与形式文法范畴模型之间象元的关联,有效解决了形式语言识别的不确定性计算问题,为计算模型处理不确定性问题提供了一种新的思路.     

基于Jackknife互信息的高维非线性回归模型研究

确定独立筛选(SIS)方法在处理超高维稀疏线性回归模型的变量选择问题上已得到了广泛的应用,且已被推广到处理广义线性回归模型的变量选择问题.但SIS不能很好地解决非线性回归模型的变量选择问题,关于该问题的现有研究也较少,因此,如何有效地对超高维稀疏非线性回归模型进行变量选择是一个具有研究价值的问题.本文在经典的SIS方法...     

金属板料成形有限元方法中的接触问题算法

接触问题是金属板料成形过程中的重要方面,正确地处理接触问题是板料成形有限元模拟成功的关键环节－ 本文针对动态有限元模型和准静态有限元模型,分别对罚函数法、拉格郎日法和修正刚度法等算法作了讨论,并提出了一种处理简单的板料成形的接触算法     

亚微米GeSi HBT的物理模型与数值模拟方法

系统分析了小尺寸半导体器件中的载流子非本地输运模型,重点研究了非均匀能带结构和异质结效应对电流密度的影响。同时,给出了归一化处理后的系统数学模型,并对器件的边界条件、参数模型、方程的离散及线性化处理等问题进行了讨论。     

有横缝混凝土重力坝接触问题分析

本文基于有限元非线性接触模型,对重力坝横缝非线性进行研究,重点讨论:(1)有限元数值模拟研究的问题处理:选用接触的方式、接触类型、实常数设置和摩擦问题的处理方法;(2)结合某混凝土重力坝模型引入接触分析,用接触单元模拟接触缝模型,分析了滑动面接触刚度的变化对坝体滑移的影响。     

决策树在汽车评测中的应用研究

阐述了ID3决策树算法原理,分析了汽车评测数据,提出了应用决策树来处理汽车评测问题的方法,该方法利用训练数据的信息增益来构建评测模型,并通过对评测模型的查找来完成其它数据的分类预测.实验结果表明：利用决策树来处理汽车评测问题具有良好的预测准确率.     

一个基于两层CES效用函数的垄断竞争模型

Dixit-Stiglitz模型提供了一个易于处理的垄断竞争分析框架，但其对称性假设降低了模型的解释力；产品特征法模型虽然解决了不对性问题，但在实际应用中却很难处理．通过构建一个由两层CES函数组成的效用函数，建立了一个具有不对性特点的垄断竞争模型，并利用模型分析了出境旅游的发展对国内旅游的影响．     

滞回特性复合板的时滞反馈控制

对粘贴有橡胶层的柔性板的时滞反馈控制进行了研究,滞回模型采用Bouc-Wen模型,控制律的设计采用瞬时最优控制方法,传感器和作动器采用压电片。提出了一个处理滞回结构主动控制中的时滞问题的处理方法,该方法直接通过时滞系统的微分方程进行控制设计,并且无需做任何假设和近似处理,因此能够处理任意大小的时滞量的问题。最后通过数值仿真验证了所给方法的有效性。     

一种基于非线性扩散的图像放大算法

针时传统图像放大处理过程中基于线性插值方法通常导致边缘模糊问题,分析了Tikhonov模型、全变差模型和高阶偏微分模型在图像处理中的优缺点,提出了一种全变差和高阶偏微分模型自适应结合的图像放大模型及推导算法.该模型对图像非平滑区域采用全变差模型处理,而平滑区域则采用高阶偏微分模型处理,最终新插入的图像点象素值由该点邻域象素自适应地各向异性加权得到,在保持图像边缘锐度的同时有效克服了平滑区域的阶梯效应.4种模型的实验比较验证了本文算法的有效性.     

基于域的自主式信任模型的研究

网格环境中的信任问题是当前网格研究的一个热点问题,为了解决网格环境的动态性和不确定性带来的安全问题,本文提出了一种新的信任模型来处理网格环境中实体之间的信任关系,该模型对域内信任关系和域间信任关系分别采取不同的方法进行处理。实验和分析结果表明,与以往的信任模型相比,这种信任模型能更加精确地评估实体之间的信任关系,从而能更加有效地解决网格环境中存在的安全问题。     

一种人脸定位的几何匹配算法设计与实现

通过对几何关系模型的评价函数构造进行改进,提出了一套实用的匹配算法。实验结果显示此算法达到非常高的定位准确率,对图像中嘴巴破碎问题做了很好的处理,也解决了处理眉毛与眼睛易混淆等问题。     

分布式并行编程模型MapReduce及其应用研究

在传统的并行编程模型中,对大量数据如何进行并行计算、如何为每个任务分发数据、如何处理单点故障等问题,都需要大量的程序分析和设计,这些问题的有效处理都需要程序员显式地使用有关技术来解决.对于程序员来说,这是一项具有极大困难的工作,使得原本简单的运算反而变得非常复杂,这些问题的存在也在一定程度上制约了并行程序的普及.而MapReduce计算模型能有效地解决上述问题,阐述了Google的MapReduce计算模型的实现机制,并通过实例描述了该模型的执行过程.     

合成孔径雷达图像斑点噪声滤波方法研究

探讨了适于合成孔径雷达图像斑点噪声滤波的小波基选择与小波提升问题.在分析了利用马尔科夫模型描述小波系数相关性问题的基础上,提出了一种基于小波系数高斯混合模型和隐马尔科夫模型的雷达图像斑点噪声滤波方法.使用几种典型的滤波处理方法,分别对星载和机载的合成孔径雷达图像进行滤波处理.实验表明,所提出的图像滤波方法能够更好地抑制雷达图像的斑点噪声.     

一种改进的Bayesian网络模型用于蛋白质二级结构预测

分析了蛋白质二级结构预测问题的Bayesian模型,给出了基于这种模型的神经网络,并提出了一种改进的网络模型,通过实验表明这一新模型能较好地处理蛋白质二级结构预测问题.     

一种计及压载的裂纹扩展寿命模型

在随机载荷谱中，往往存在压缩载荷的作用，而现有的模型对压载问题的考虑较少，基于闭合理论，建立了一种计及压缩的裂纹扩展寿命模型，并对短裂纹问题以及三维裂纹问题进行了相应的处理，计算结果表明，此模型精度高，适用范围广。     

设备更新问题的非线性规划模型

建立了设备更新问题的非线性0-1规划模型,并针对具体的实例,应用优化建模软件LINGO高效的求解技术,进行了模型求解,得到了正确的结果.在建模过程中,阐述了建立静态规划模型的关键技术和具体方法.处理问题的方法与思路具有一般性和推广的价值,为处理类似的优化问题提供了一个有益的思路.     

交通流中红绿灯模型的格子玻尔兹曼模型

介绍了一种适用于交通流中红绿灯模型的两格子的格子玻尔兹曼模型.通过最大值原理证明了该模型的稳定性.数值模拟说明了模型的数值解与理论分析的间断解高度吻合,表明了该模型对处理多间断交通流问题是高效和稳定的.     

基于指挥Agent协作模型研究

多Agent协作求解是分布武人工智能要研究的基本问题.分析了指挥Agent的结构特点,并基于指挥Agent概念提出一个新的协作模型,该模型利用指挥Agent对多Agent系统进行全局协作分配,协作申请分级处理,解决了传统协作模型中存在的模型与应用领域中有关只适用于静态环境的问题.     

基于多模态信息的三维模型检索算法

提出了1种基于多模态三维模型数据的新算法,用来解决模型检索问题.首先,从每个三维模型中提取模型的结构信息和视觉信息.然后,采用图匹配的方法处理不同模型之间的相似性度量问题.最后,利用1个简单的统计模型是用来处理相似性测量和并完成检索过程.最后的对比实验证明了该方法的优越性.     

模型与GIS集成理论初步研究

探讨了模型与地理信息系统的集成问题，指出问题的实质是对象状态数据模型、对象模拟模型和对象分析处理模型的综合表达与处理．提出了建立在元数据和元模型基础上的二层次集成方案．首先把对象状态数据模型、对象模拟模型和对象分析处理模型以规范化的元数据和元模型形式表达出来，在此基础上实现的地理信息系统、模型库管理系统和空间分析处理系统也就能提供基本的数据集成和功能集成．其次，提出了基于数据流机制的应用集成方案，满足能把应用方案数据流图化的综合性集成应用的需要．