基于动态自适应语言模型的中文输入系统的设计与实现

首先介绍采用平滑算法构建通用语言模型、领域语言模型和用户语言模型的方法;然后提出了一种模型融合方法,形成了一个动态自适应语言模型.最后,将此模型与输入系统实现技术相结合,实现了一个基于动态自适应语言模型的中文输入系统.实验表明,应用该模型的输入系统不仅降低了平均码长,而且显著提高了首字命中率.     

模式识别与人工智能系统的生存期模型建立

提出一种对模式识别与人工智能系统都适应的生存期模型——树状模型.模型先以类似瀑布模型的方式,用少量模型单元生成一个模式识别系统的原型,或用少量知识单元生成一个人工智能系统的原型.然后,以此原型为基础,领域的每一个模型单元或领域的每一个知识单元按类似瀑布模型的不同阶段,以流水线生产方式生产出来.最后,把它们一一以近似分类(树状结构)方式装入库中,如此循环往复,生成该系统的不同软件版本.     

面向Spring框架的模型转换技术研究

提出一种面向Spring框架的MDA模型转换方法,通过建立适合Spring框架的UML Profile,完成基于UML Profile的领域应用系统的PIM模型到基于Spring框架的Web应用系统PSM模型的转换,并结合一个具体实例予以说明.     

基于向量空间模型的信息检索系统的研究与实现

基于向量空间模型的信息检索系统具有良好的性能。本文阐述了向量空间模型的基本概念和思想,提出了一个基于向量空间模型的信息检索系统的体系结构模型,进一步讨论了该系统实现的关键技术和实现方法。     

MRPI系统面向对象的分析

通过建立ＭＲＰＩＩ系统对象模型、动态模型和功能模型,分析了ＭＲＰＩＩ管理软件包的组织结构,为软件包开发的程序设计与实现提供基础研究了ＭＲＰＩ系统各主要构成模块及彼此之间的相互作用,抽象出系统的基本对象类、对象的合法变化序列,以及系统中数值之间的函数关系通过分析ＭＲＰＩ系统事件追踪图和数据流图,建立系统的三种模型从而从一个全新的角度来分析研究ＭＲＰＩＩ系统     

基于UML考试系统的分析

建立一个好的考试系统,就需要有一个好的系统模型.UML是一种标准化图形化的建模语言.使用UML建立系统模型,有利于提高系统的稳定性、可维护性和可重用性,并为不同背景,不同领域的专家、开发人员以及用户提供一条标准的交流途径.     

一类具Logistic增长的SIS传染病模型的周期解

讨论一类非自治两种传染病传染的Logistic增长SIS模型,得到系统至少存在一个正周期解的条件。     

基于B/S的网络安全管理系统的设计与实现

本文提出了一个基于B/S的安全管理系统的模型,并描述了一个基于该模型的安全管理系统--SMP(Security Management Platform )的组成结构及其具体实现机制,讨论了系统实现中的关键技术问题及其解决方法,其中包括系统架构、系统安全机制、安全风险模型等.     

基于AndroMDA的监管教育系统的设计与实现

本文介绍了基于MDA的软件开发的一个应用,该应用使用了遵循MDA规范的开源工具AndroMDA。在研究AndroMDA的应用体系结构的基础上,使用AndroMDA实现监管教育系统。根据MDA的思想,把系统实现的重点放在平台无关模型的建模上,系统实现的框架和大部分代码就是使用AndroMDA通过所建的模型生成的。     

含有指数项的新混沌系统

本文提出了一个含有指数项的新混沌系统模型,系统中只有5个代数项,混沌系统模型简单,理论分析和数值模拟表明,该系统能产生混沌吸引子。     

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

一种新的宏观交通流模型

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

拱坝地质力学模型试验技术探讨

本文对拱坝地质力学模型试验研究的几个重要技术问题作了初步探讨.文中论述了模型类型及模型比、模型制作、模型坝及坝基模拟技术、加荷方法、量测系统及试验程序等内容方面的一些新见解和提供的新试验技术.并针对这类试验目前存在的关键问题,提出了改革的途径.