_（ω1ω）语言格值模型论的省略型定理及其应用

利用和谐性质的方法给出_(ω_１ω)片断上的省略型定理。作为应用，对中的完备理论Ｔ，讨论了原子模型的存在性，Ｔ有素模型的充要条件以及模型ｕ为素模型的充要条件，并给出了原子模型与素模型之间的关系。     

Lω1ω语言格值模型论的省略型定理及其应用

利用用谐性质的方法给出Ｌω１ω片断Ｌｆ上的省略型定理，作为应用，对Ｌｆ中的完备理论Ｔ，讨论了原子模型的存在性，Ｔ有素模型的充要条件以及模型ｕ的素模型的充要条件，并给出了原子模型与素模型之间的关系。     

时间序列预测模型及其应用

预测预报是时间序列分析的应用之一，人们根据大量的观测数据对系统进行分析，主要原因是为了能够预测出系统在未来的特性，以便对系统的特性进行处理或控制．文章给出了自回归-滑动评价混合模型（ARMA模型）、平稳序列模型、差分序列模型（ARIMA模型）三种时间序列预测模型，并给出了具体的例子．     

武器装备仿真模型体系框架的研究及应用

基于武器装备仿真模型体系框架的研究现状,提出一种建立模型体系框架的通用性、统一性原则,在该原则下给出了基于通用目的的仿真模型体系框架对的顶层结构、分类及相互关系,并给出了基于此模型体系框架开发模型的方法.     

层次分析模型在实习生分配中的应用

利用层次分析模型建立了一个实习生分配的数学算法模型,并给出了具体模型的求解。首先,根据学生的在校成绩将20个学生分为具有如下特长的五类学生：语文、音乐、美术、计算机和管理学,给所有学生的特长科目打分;其次,根据每类特长生中的每位学生的成绩计算出每位学生对实习贡献的权重;最后,建立算法模型,并给出具体问题的模型求解。本论文还将模型进行了推广,并给出了本模型的不足之处和改进的方向。     

并行数据库系统实现技术的研究

在分析并行数据库现有的两种模型的基础上 ,提出了半重写变换模型 (简称SRT)。并给出了和Oracle系统采用的扩充模型的对比情况     

考虑出生与死亡因素的传染病模型

给出了考虑出生率与死亡率影响的一个传染病模型，并且给出了模型的解，分析了模型的实际意义。     

具有不完全测量数据和无溢出现象的实二次模型修正问题的解

二次模型修正问题来自于振动工程,本文旨在解决具有不完全测量数据和无溢出现象的实二次模型修正问题。利用矩阵分块和矩阵列向量的方法,分别给出了实二次模型修正问题的可解条件和解的参数表达式,并给出了该问题的一个求解算法,最后给出了一个数值实例。数值实例说明所提出的方法的有效性,即利用测量到的部分谱信息修正一个实二次模型,使未被观测到的谱信息保持不变。     

标准模型下的代理多重签名的安全性

目的 研究标准模型下代理多重签名的安全性问题.方法 基于Waters签名,拓展了代理签名模型,并利用双线性对提出了标准模型下的代理多重签名模型.结果 根据攻击者可以获得有助于进行攻击资源的多少,把其分为两种类型并给出了相应的形式化定义.随后给出了标准模型下的代理多重签名算法,对标准模型下的代理多重签名的安全性进行了分析和数学证明.结论 在计算性Diffie-Hellman问题困难的假设前提条件下,标准模型下的代理多重签名是安全的.     

物理学中的模型研究之物理模型的分类体系

论述了物理模型的分类体系（即主要类型包括对象模型、空间模型、条件模型、过程模型、状态模型等），给出了每种物理模型的定义，并分析了他们的特点、应用等。     

城市产业规划的经济分析模型库设计

针对城市产业规划中经济分析模型的复杂化特点,从减少模型库冗余性的角度,提出5条模型库设计原则,区分部件模型与执行模型,以可执行文件为部件模型形式,以数据序列描述执行模型,通过代数式数据化和执行模型数据化,增强了关系数据库的知识表达能力,改善了模型的可读性,并给出了混合型模型库管理系统的逻辑设计.     

智能决策支持系统中的模型库及其管理系统

给出了模型、模型章及模型库管理系统的基本概念,介绍了模型的常用分类,阐述了模型的表示方法,对模型的生成进行了分类及详细的探讨,最后指出了模型系统的发展方向。     

广域环境下的空间模型库管理

模型管理是决策支持系统研究的核心.从空间分析模型的分析入手,讨论广域环境下空间分析模型的表示方法和实现方法,通过对空间模型库的组织和管理的设计,能够使一个模型库系统适应不同的区域环境下的要求,从而使模型能够与子区域对应,提高模型的重要性和独立性.     

面向对象的OMT建模技术的应用

通过一个生产质量监造系统具体地介绍了面向对象的建模过程,即如何对一个实际系统进行分析,建立对象模型、动态模型及功能模型,然后优化设计。     

网络教育技术模式比较研究

研究了网络教育环境的技术构成 ,提出三种网络教育的技术模式 ,即模拟型、数字型和综合型 ,并对其教育传播特性进行横向对比研究 .     

一种新的宏观交通流模型

为了更好地进行城市交通规划与控制,亟待发展一种有效描述交通流动的数学模型.基于交通流研究中通常采用的微观-宏观参量间的联系方法,得到了一种新的动力学模型.它以线性加权的方式考虑了车辆相对速度的影响,使得新模型更加符合实际的交通情况.新模型考虑了车辆间相对距离对后车加速度的影响,一些经典的连续交通流模型可以视为新模型的特例,如Payne模型、Wiltham模型和Zhang模型.此外,研究了新模型的特征速度和线性稳定性,发现新模型恒稳定,且模型是否具有各向异性由各向异性因子决定.     

水循环综合模拟系统的降雨产流模型研究

重点阐述国内自主研发的水循环综合模拟系统(HIMS,hydro-infomatic modelling system)降雨产流模型的新发展。HIMS原有产流计算主要是基于降雨动态入渗机制的LCM模型,该产流模型是通过大量野外小流域观测试验提出的经验模型。为进一步揭示其物理机制,HIMS研究团队基于物理机制清晰的Green-Ampt模型,提出了新的GAF模型。从理论上通过GAF模型可以直接推导出LCM模型,以及SCS-CN模型,并证明了LCM模型是GAF模型的高精度幂指数近似,而SCSCN模型是GAF模型的倒数线性近似解简化;通过对GAF模型解析解的深入分析,提出了两参数SCS-CN修正模型,使之包含了雨强的影响。     

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

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

输电线路防雷计算中的新杆塔模型

为了超高压输电线路防雷计算的需要,建立了新的杆塔模型,即多波阻抗模型.新的杆塔模型与传统的集中电感模型、单一波阻抗模型相比,既计及了杆塔参数随高度的变化,又包含了波在杆塔上的运动过程,因此其计算准确度有很大提高.实例计算结果表明:在超高压输电系统中,采用多波阻抗模型进行计算,塔顶电位更低,受接地电阻的影响较小;塔基电位的计算结果相差不大,受接地电阻的影响很大.