计算机网络运输层协议的抽象模型

传统协议的改进和新型协议的出现,使得协议比较研究变得更加重要,抛开具体特征,建立协议抽象模型的探索共作也就应运而生。本文简要地反映通过约束演绎和典型归纳方法获得抽象运输模型的过程,并在高速网络环境和新型应用背景下依据该模型分析特定运输层协议的适应性和灵活性,及最终对抽象模型的一些修正。     

主动实时数据库中主动实时机制的抽象描述

从能显示地描述数据和事务的实时性和时间约束，准确地刻划事件，条件，活动及三者之间的关联性的角度出发，给出了主动实时机制的构造模型及抽象描述。     

试论具象表层下的理性抽象秩序

我国绘画基础对抽象认识的不足，表现在教学中长期呈现具象与抽象分离的模式。本文分别针对西方绘画作品和学院绘画基础的“抽象”问题进行思考，阐述了对绘画抽象认识的拓展。揭示具象表层之下藏伏着抽象，抽象形式之间有着理性形式结构秩序的支撑；同时尝试在绘画基础教学中进行形式结构抽象训练，使绘画基础在造型艺术中所涵盖的内容，更具有知识综合性、兼容性和创意诱发性。     

一种改进的基于结构抽象的分层模型诊断方法

基于分层模型诊断算法, 提出一种改进的方法, 对每层进行抽象时, 根据分层表示和抽象条件, 同时实现固定和动态两种抽象过程. 该方法进一步解决了基于模型诊断计算复杂性的问题. 在最终抽象层候选空间相同的前提下, 减少了分层的层次数和诊断问题的个数; 在一定条件下, 第l(l>0)层的诊断可以不必细化到最底层, 即可得到最终的诊断结果. 实验结果表明, 该算法在多数情况下比以往的分层模型诊断
方法效率更高.     

广 义 KRA 抽 象 模 型

针对KRA抽象模型的表示框架进行扩展, 将感知过 程分解为初步感知过程和抽象感知过程两部分: 初步感知过程将该模型提供的一个框架R表示世界W在初步感知系统P的作用下映射为P(W), 该过程不改变W中具体对象的实体属性; 抽象感知过程将P(W)在感知系统P^*的作用下映射为P^*(W), P^*(W)中的对象称为抽象对象, 抽象对象的类型根据感知者预先定义的抽象对象库O_a的不同而不同. 这种建模过程的细化可生成W的不同抽象模型, 使推理得到简化.     

基于G-KRA模型框架的工作流建模

基于广义知识重构与抽象(G KRA)模型框架给出了工作流建模的一般过程, 根据功能知识引入了功能感知的概念, 自动构造工作流抽象对象库WfO_a. 构造基本行为感知和WfO_a中的基于功能的工作流抽象对象之间的映射关系, 实现基本行为感知与相应关系的替换操作. 通过这些映射关系, 生成了基于功能的工作流抽象模型以简化基本工作流模型的表示.     

扩展的G-KRA抽象模型

将广义知识重构与抽象模型框架下的初步感知过程扩展为多重感知过程, 根据物理世界W中对象所属域的不同生成多重域抽象模型, 并讨论了两种情况下域抽象模型Wi和Wj间的域关系： W的多重域模型W_i和W_j中的构成对象交集为空（即W_i和W_j中不存在有跨域行为的实体）; W的多重域模型W_i和W_j中的对象实体存在跨域行为. 扩展后的框架R丰富了物理世界W的模型表示, 使对象感知由平面感知变为立体感知, 应用多种领域知识生成相互关联的不同域模型, 增强了模型的推理能力.     

CAPP框架系统的抽象功能模型

抽象功能模型是与具体应用基本无关的功能模型 ,它可以在使用时由用户定义成具体的功能实例 ,是 CAPP框架系统 (CAPPFS)的重要部分。讨论抽象功能模型的类型 ,提出抽象功能模型本体和功能基库的结构形式 ,研究抽象功能模型本体及工艺设计领域中工步排序和组合优化等功能基的实现技术。实现功能模型可配置化 ,对于解决 CAPP系统的适应性问题 ,具有很重要的意义     

双语句法分析及歧义消解

提出了一个利用待分析句的对译句作为附加信息来排除分析句歧义的双语句法分析器。这种利用语言之间信息排歧的方法基本解决了单纯在某一种语言内难以解决的排歧难题，双语句法分析的核心是反应源语言，目标语言间对译关系的翻译模型理论，提出的“抽象句法树”的概念以及基于抽象句法树的翻译模型理论，能使系统排除翻译异常现象的干扰，从对译句获取有助有助于排歧的信息。     

抽象解释全总域模型

抽象解释自1977年提出后,许多作者做了大量工作,将抽象解释理论应用于程序分析和验证研究等领域.本文为有关抽象解释论述构造了一个统一模型,称为抽象解释的全总域模型,目前现存的有关抽象解释文献所采取的框架都相容于全总域模型,且是等价的.在此基础上,我们还提出有关抽象解释理论需要解决的几个基本问题.模型和问题都可以作为今后抽象解释理论发展的参考基点.     

基于概率图模型的图像纹理模型

 纹理作为一种视觉特征,它广泛应用于图像分析。概率图模型由于其自身特点可以很好地描述纹理。高斯图模型结构可根据局部马尔科夫性和高斯变量的条件回归之间的关系来学习。高斯图模型可用一个邻域系统、一个参数集和一个噪声序列表示。利用惩罚正则化方法,可以选择高斯图模型的邻域并估计参数,然后提取纹理特征进行纹理合成和分类。实验结果显示基于高斯图模型的纹理特征更加有效。     

焦炭质量预测模型

随着高炉大型化、富氧喷吹技术的发展,焦炭在高炉中的骨架作用愈加重要,钢铁企业迫切要求提高焦炭质量,为此需建立一组准确的焦炭质量预测模型,以更好地指导炼焦生产.在分析总结了国内外焦炭质量预测模型的基础上,对小焦炉实验数据进行了分析与回归,通过线性加修正的方法建立炼焦配煤数学模型,得到了焦炭灰分、硫分、机械强度(M40,M10)和热性质(CRI,CSR)的预测模型.通过实际生产进行了验证,模型的预测值与实测值间的误差均在6%以下,能很好地满足实际生产需求,为焦化厂快速准确得到配煤方案提供了理论依据.     

基于统计模型的心脏医学图像运动分析

采用最小描述长度建立目标函数,通过参数化过程的优化实现标定点的自动对应;并进一步与活动形状模型结合,将其应用到心脏医学图像的运动特征分析中。实验结果表明,该方法可有效提高统计模型的泛化能力,并实现对心室结构的分割和运动跟踪。     

大学生物理模型知识的调查分析

为了有针对性地设计培养学生物理建模能力的实验方案，对在校大学生物理模型基础知识的掌握情况，对物理模型的认知程度以及对待进行物理建模能力训练的态度等方面进行了广泛调查和认真分析，通过定量统计和定性分析，总结归纳了6个方面的现状。     

大学生物理模型知识的调查分析

为了有针对性地设计培养学生物理建模能力的实验方案，对在校大学生物理模型基础知识的掌握情况，对物理模型的认知程度以及对待进行物理建模能力训练的态度等方面进行了广泛调查和认真分析，通过定量统计和定性分析，总结归纳了6个方面的现状。     

技术商品定价模型的研究初探

本文通过现有的几类技术商品定价模型,指出了现行的技术商品定价方法存在的问题,然后分别建立转让方定价模型和受让方定价模型进行研究。本文以不同的模型形式指出了作为转让方的科研单位和生产企业其不同的定价思路,同时对模糊综合评判应用于作价中预期利润率的确定进行了积极的探索,并尝试在受让方定价模型中运用风险模拟来体现技术商品使用的风险特征。     

软件开发的分析模型

分析现有一些软件开发方法中的分析模型，并提出和探讨了一种新的分析模型．     

集成化企业网络需求分析信息量化模型

集成化企业网络需求分析信息量化模型冯径沈苏彬顾冠群（东南大学计算机科学与工程系,南京２１００９６）集成化企业网络是ＣＩＭＳ网络的典型网络,包括设计制造、控制和管理等各方面的网络集成［１,２］．网络需求分析是网络设计的第一步［３］,它不仅是整个网络设...     

事件反应仿真模型

介绍了事件反应仿真模型建模的特点 .以信号交叉口和公交停靠站范围内的事件反应模型建模为例 ,介绍了将车辆在多种约束条件影响下的逻辑分析过程进行情形划分的方法 .研究表明 ,清晰且符合逻辑的情形划分是事件反应模型准确描述各种交通现象的关键     

双层筒形网壳静力分析模型的研究

本文比较研究了正在我国迅速发展的大跨度空间格构式结构—双层筒形网壳静力分析的力学模型.通过采用线性铰结及刚结两种模型分别计算了各种类型的双层筒形网壳,比较分析了两种力学模型计算所得的位移及内力,指出了两种力学模型的应用范围及合理性.分析表明,在实际工程中,可近似按铰结模型进行设计,但对杆件轴力、钢材的允许应力应作适当修正.