计算机安全模型的研究

本文简述了访问控制矩阵模型、Bell-LaPadula（BLP）模型、Biba模型、RBAC模型和非形式化安全模型等几种安全模型的基本原理和优缺点,分析了它们的应用特点,给出了计算机安全模型的总体概述,并展望了未来的发展。     

基于改进的隐马尔科夫模型的语音识别方法

针对隐马尔可夫（HMM）语音识别模型状态输出独立同分布等与语音实际特性不够协调的假设以及在使用段长信息时存在的缺陷,对隐马尔可夫模型进行改进,提出马尔可夫族模型。马尔可夫族模型可看作一个数学上由多个马尔可夫链构成的多重随机过程,HMM模型则是双重随机过程,因而,HMM模型可视为马尔可夫族模型的特例。马尔可夫族模型用条件独立性假设取代了HMM模型的独立性假设。相对条件独立性假设,独立性假设是过强假设,因而,基于马尔可夫族模型的语音模型更符合语音实际物理过程。在马尔可夫族语音识别模型中引入状态段长信息,能自动根据语速对语音单元段长进行调整。非特定人连续语音实验结果表明,利用状态段长信息的改进语音识别模型比经典HMM模型的性能明显提高。     

基于Stackelberg模型的供应链的期权契约研究

在供应链期权契约模型的基础上,建立了关于单个供应商与单个零售商组成的基于Stackelberg模型的期权契约模型,基于此探讨了供应链机制的设计问题.研究表明当零售商占主导地位时应选择期权契约模型,当供应商占主导地位时应选择基于stackelberg模型的期权契约模型,且与供应链基本模型相比两种新模型均能提高供应链的总利润.     

几种散射辐射模型精度的对比

通过对既有散射辐射模型的分析,结合上海地区太阳辐射实测数据,建立了各向异性散射辐射新模型,其后从天气类型、朝向、季节和倾角等方面对新模型及既有模型的精度进行了对比分析.对天气类型的研究表明,阴天或多云天时,Klucher模型、Hay模型及Skartveit和Olseth模型与实测值较为吻合;但晴天时,Perez模型和新各向异性散射辐射(NADR)模型更佳.对朝向的研究表明,对于东向和北向,Perez模型和NADR模型较为准确;而对于南向和西向,Liu和Jordan模型,NADR模型较为准确.对季节的研究表明,夏秋季Perez模型和NADR模型较为准确;秋冬季Liu和Jordan模型,NADR模型较为准确.对于倾角的研究表明,Klucher模型与实测值较为吻合,各类散射辐射模型在计算倾角较小的倾斜面散射辐射精度优于倾角较大的情况.对天气、朝向、季节和倾角等多因素的综合考虑表明,Temps和Coulson模型,Gueymard模型准确性相对较低,而NADR模型的准确性最高.     

气象因素对对流层改正模型的影响

初步探讨气压P、气温T和水气压e对各对流层模型(Hopfield模型、Saastamoinen模型、EGNOS模型和UNB3模型)结果的影响.研究表明,EGNOS模型和UNB3模型随各气象因素的变化情况基本吻合.随着气压升高,各模型干(总)延迟量逐渐增加,且该变化并非线性,存在微小的波动;随着气温升高,Saastamoinen模型干延迟恒为常数,其他两个模型干延迟则逐渐增加,各模型湿延迟逐渐减小,Hopfield模型所得的总延迟量呈抛物线状(先减小后增加),EGNOS模型和UNB3模型的总延迟量则逐渐增加;随着水气压的升高,各模型湿延迟量逐渐增加,其中Saastamoinen模型、EGNOS模型和UNB3模型的湿延迟量随水气压变化的幅度接近,略小于Hopfield模型的湿延迟量.     

基于本体的适应人员和业务变化的工作流建模

提出一种基于本体的适应人员和业务变化的工作流模型, 通过加入对子模型内部及子模型之间相关概念和关系的定义, 达到模型对人员和业务变化适应性的目的. 在组织机构模型中, 将机构、 角色和人员分层建模, 减少了人员变化对模型关系和结构的影响. 权限分配子模型采用基于任务的权限分配方法, 使任务变化不涉及组织机构模型的变化, 避免了模型间复杂关系的改变. 由于模型采用本体表示, 与上述建模方式 结合, 使模型能灵活适应变化, 避免了传统模型缺乏共享性的缺点.     

基于栅格的新安江模型的构建和应用

根据分布式模型和新安江模型的最新理论,建立了基于栅格的分布式新安江水文模型,该模型能够考虑网格之间的水量交换.将建立的模型用于钱塘江支流密赛流域的洪水模拟计算,并与新安江模型的计算结果进行比较,可以看出,基于栅格的分布式新安江水文模型可以很好地应用于该流域进行洪水模拟,其模拟精度于原新安江模型的精度相当.     

骨骼肌收缩的本构模型

简要介绍了肌肉力学中骨骼肌的三种代表性本构模型———Hill模型、Huxley模型和流变学模型以及存在的主要问题。Hill模型是描述整个肌肉收缩特性的力学模型,它的建立奠定了肌肉力学的基础;Huxley模型是以骨骼肌的细观解剖结构及生理收缩为基础的生理-力学模型;流变学模型是在Huxley模型的基础上发展起来的,与Huxley模型不同的是,流变学模型考虑了每种肌微丝的固有弹性等因素。旨在阐明骨骼肌收缩的基本机制及研究现状。     

应急管理的模型

模型在应急管理中具有非常重要的作用,论文讨论了应急管理中的模型问题.首先给出了模型的概念和常用模型,然后讨论了应急管理中常用的模型及其特点,最后分别介绍了突发事件机理模型、应急管理机制模型、应急决策模型和应急评价模型。     

一种实用的基于特征的产品建模系统

本文从实用的角度出发,提出了建立基于特征的产品信息模型的方法,包括主形状特征信息模型、辅形状特征信息模型、精度特征信息模型、管理特征信息模型、尺寸标注模型,通过这五个信息模型,实现了ＣＡＤ／ＣＡＰＰ的集成     

半导体中拟中性漂移扩散模型的适定性

研究了半导体中拟中性漂移扩散模型的适定性，证明了其局部解和整体解的存在唯一性，并给出了几个稳态奇性解的例子．     

具扩散的近海捕鱼收获模型

建立并分析了具有扩散的近海海域捕鱼收获模型，得到了正平衡点全局稳定的条件，给出了以最大可持续均衡收获为目标的最优捕获策略．     

具扩散的单种群阶段结构模型的周期解

利用重合度理论中的延拓定理讨论了一类具有扩散和阶段结构的非自治单种群模型正周期解的存在性,其中幼年和成年种群均具有扩散因素,得到了周期解存在的充分条件.     

具有非线性扩散的捕食-食饵模型的整体分歧

 在Dirichlet边界条件下研究一类具有非线性扩散的捕食-食饵模型正解的存在性。首先利用极大值原理及上下解方法给出正解的先验估计。其次考察相关特征值问题,给出无界的分歧曲线,并以食饵生长率为分歧参数,证明了中性曲线附近存在发自半平凡解的局部分歧正解。最后将局部分歧延拓为整体分歧,从而得到正解存在的充分条件。     

具有反应扩散的Leslie两种群生物竞争模型的稳定性

研究了一类具有齐次Neumann边界条件下的两物种反应项的捕食者-食饵扩散模型解的整体性。通过线性化方法和Lyapunov泛函方法分别证明了该模型正平衡点的局部渐近稳定性和全局渐近稳定性。     

具有多孔介质细胞扩散和矩阵敏感性的二维趋化Navier - Stokes系统的全局有界性

本文研究了具有多孔介质细胞扩散和矩阵敏感性的趋化-流体耦合模型的初边值问题弱解的全局有界性.在二维有界区域上，本文首先构造了问题对应的正则化系统，建立系统经典解的全局存在性，然后借助能量估计建立了解的有界性，最后对正则化系统取极限得到了原问题弱解的整体存在性.所得结果推广了Tao和Winkler的相应结果.     

一类扩散具有时滞模型的持久性和周期解

研究了一类扩散具有时滞的非自治捕食系统的持久生存与周期解问题，利用微分不等式和Liapunov泛函的方法得到了该系统持久生存与周期解全局吸引的充分条件．     

一个具有Beddington DeAngelis功能反应项的捕食-食饵反应扩散模型的全局渐近稳定性

利用迭代方法与比较原理讨论一个具有Beddington DeAngelis 功能反应项和齐次Neumann边界条件的捕食-食饵反应扩散模型的全局渐近稳定性, 得到了一些充分判据。     

一类三物种互助模型正平衡解的全局稳定性

研究了一类具有齐次Neumann边界备件的三物种互助模型平衡解的全局稳定性，得出该反应扩散系统拥有唯一的正常数稳定解的结论。     

一个具扩散系统的正平衡点的稳定性

文章研究了在Neumann齐次边值条件下，一个具扩散的捕食一食铒系统正平衡态解的局部和全局渐近稳定性．