关于坐标的曲线、曲面积分向量教学方法

给出了积分的模型描述与计算描述形式,并给出了元素法的统一描述形式。借助于元素法给出了关于坐标的曲线、曲面积分的向量建模过程与积分模型的向量描述形式,并由向量形式给出了计算方法。     

一种基于区间模糊理论的描述逻辑系统

为了使描述逻辑具有处理模糊信息的能力,Straccia给出了基于单值的模糊描述逻辑处理方法.在该方法的基础上,给出了基于区间模糊理论的描述逻辑系统,讨论了其语法、语义和该系统的计算性质.结果表明基于区间模糊理论的描述逻辑系统是基于单值的模糊描述逻辑方法的泛化,在实际中具有更广泛的应用范围.     

人工压裂井产能模拟研究

利用有限元法对人工裂缝进行了较仔细的刻划,用于描述裂缝宽度的网格尺寸为0.5～10.0 m,通过研究对比发现,模拟计算时对实际裂缝宽度的放大倍数对模拟结果产生一定的影响,给出了影响程度;分析比较了人工裂缝为楔形和矩形的差别.假设裂缝内的导流能力是距离和时间的函数,通过模拟计算,给出了这些因素对裂缝动态特性的影响规律.     

并行面向对象语言的Action演算语义

给出具体的Action演算EP的定义,并且应用该演算进一步给出一个并行面向对象语言的语义.通过这个例子,说明了Action演算簇在实际应用方面的描述能力.     

天然气管网系统的输气能力曲线

输气能力(GTC)是天然气管网系统的关键指标,用于描述系统的输送能力极限.天然气管网系统存在输气能力曲线,能更完整地描述系统的输送能力极限.描述天然气管网系统运行时的工作点和输气安全性,并给出GTC的数学模型.提出GTC曲线的定义、模型、指标及绘制方法.分别基于小型天然气管网和大型比利时天然气管网验证所述方法,并与现有...     

基于混合QoS模型的服务选择策略

目前大部分Web服务质量属性都采用精确数值型描述,不能适应客户对服务QoS描述的需求。为了增强服务QoS描述能力,给出混合QoS模型。该模型将QoS属性分为精确数值型、区间数值型和模糊数值型,并基于OWL-S增加了其QoS信息的描述。在此基础上,采用TOPSIS决策算法给出混合型QoS属性服务的选择过程。提出了一种基于理想解的多属性决策模型。实例验证该模型是可行的。     

面向对象式语言中支持约束的方法及实现技术

给出一种在对象式语言中有效地支持约束的方法及其实现技术 .应用这种具有约束描述机制的面向对象语言进行开发 ,可以较好地结合对象式和约束式这两种程序设计的优势 ,从而增强语言的描述能力和问题求解能力 ,具有更广泛的应用领域     

一类带有时延的非线性网络控制系统的镇定

研究了一类非线性网络控制系统的镇定问题。利用一种新方法描述通讯网络有限传输能力所导致的时延,由T-S模糊模型和平行分布补偿技术建立了带有时延的非线性网络控制系统的模型。通过采用Lyapunov方法和线性矩阵不等式技术,得到了系统随机稳定的充分条件,并给出镇定控制器的设计方法。     

分布式应用系统结构设计的形式化研究

 首先给出并讨论了一般分布式应用系统的层次化结构,并给出了其形式化描述.然后讨论了分布式应用系统层次化结构的性质,从而给出由软件模块化结构出发设计分布式应用系统结构的原理和方法.     

白光处理技术的实验与理论

用光栅的白光处理方法,在光信息处理中已广泛应用。本文以黑白图片假彩色化方法在诊断中应用实例,给出较详细的理论分析和实验描述。     

试论《九歌》的爱情描写

屈原《九歌》中的爱情描写扑朔迷离,对于其爱情描写的读解争议颇多。我们应从3个层面来理解《九歌》的爱情描写:《九歌》的爱情描写是当时社会生活的形象反映,是文学艺术发展的必然结果;《九歌》的爱情描写是当时交感巫术意识的体现,是以男女情爱来敬神娱神的描述;《九歌》的爱情描写是用“男女比主臣”的比兴艺术手法,来抒发个人哀怨之情的体现。     

CALIS联合目录CNMARC 200字段的编目

通过列举著录实例，从单本图书题名的著录和多卷书题名的著录两个方面对CALIS联合目录CNMARC 200字段的著录特点、著录原则等进行了总结、分析和探讨。     

RDF-C2元数据方法在服务描述中的应用研究

不同网络平台之间服务共享已经成为网络时代发展的一个亟需解决的问题,对共享服务资源的有效描述是实现服务共享的重要前提。采用RDF-C2元数据方法对共享服务资源进行描述,从整个描述过程中抽象出使用RDF-C2元数据方法描述共享服务的一般设计思路,和其他描述方法相比,现采用的方法具有一定的优势,为网络共享服务描述提供了一种有益的参考。     

面向标准符合性测试的接口标准建模方案

为了减少标准符合性测试工作中标准文档编写以及自然描述语言转化的人工工作量，对自然描述语言向结构化的数据格式的转换进行了研究，提出了对标准进行建模的解决方案，该方案建立了接口类标准的可扩展的公共标签库，基于该标签库可以自动生成接口描述文档及标准文档的接口描述部分，提高标准符合性测试的效率。     

从FRBR看中文图书版本的著录

在传统文献著录工作中,对中文图书版本的著录是一个难点问题,FRBR概念模型的提出有助于我们从新的角度去思考和理解这一问题。从FRBR的实体、属性和关系角度等方面,探讨分析了中文图书版本的著录问题。     

丛书与多卷书的辨识与著录--以西安医学院图书馆为例

从多卷书、丛书的概念谈起，论述了分散著录与集中著录的原则及方法，并对两种著录方式及分类方式的优缺点进行了比较。     

RTL组合电路描述的Verilog HDL编译器的设计

设计了一个针对ISCAS85／89Benchmark,用于RTL组合电路VerilogHDL描述的编译器,这个编译器可以作为RTL电路测试研究的辅助工具,在对VerilogHDL和RTL描述的特点进行分析的基础上,阐述了该编译器解析VerilogHDL描述、创建功能模块类库和RTL描述转化为无层次分块的门级描述的基本原理,提出了主要问题的解决策略。     

略谈新新闻主义

"新新闻主义"一词起源于19世纪初的美国新闻界,它的出现经历了一个漫长的酝酿发展过程。它与传统新闻报道的根本区别在于他们看待世界的方式。新新闻主义运用小说的基本手法有四种:一是场景描写;二是细节描写;三是对话描写,;四是通过角色拼合法塑造人物的整体形象。     

在观察者参考框架下的空间关系自然语言描述

自然语言场景描述是计算机视觉的高级应用,如何自动构建图像中对象间空间关系的描述是自然语言场景描述的重要内容。该文提出了在观察者参考框架下的空间方向关系形式化模型可视域角直方图模型,介绍了基于可视域角直方图的模糊空间方向关系判断方法,建立了基于模糊规则的空间方向关系词、程度修饰词和距离关系词的选取方法,最终生成类人的空间关系自然语言描述。人工图形与真实图片的实验结果表明采用该方法生成类人的自然语言描述是符合人类认知的。     

Web服务语义标注方法

为了对W eb服务语义信息进行描述,提出了一种W eb服务语义标注方法。以现有的W eb服务描述语言(W SDL)文件为基础,充分利用W SDL中XM L schem a的语义信息与本体实体的相似性,从W SDL文件中抽取语义信息,并利用实体之间的名称相似度与结构相似度进行语义标注,生成基于OW L-S的W eb服务语义描述。用该方法对多个领域的W eb服务进行了语义标注,标注正确率在92.5%以上,较好地解决了W eb服务的语义标注问题。