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

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

基于π-演算的web服务流的分析与建模

为了提高web服务流程的有效性和可靠性,提出了π-演算形式化方法.该方法能克服web服务流语言不能表明一致性及进行验证等缺陷.讨论了web服务流的π-演算分析和建模,对WS-BPEL语法元素及动态基本活动进行了分析和形式化刻画,同时,对π-演算和WS-BPEL的相互映射进行了描述.最后,利用π-演算描述web商业流程基本结构,并从不同角度探讨了用π-演算进行商业建模的方法,有效地对WS-BPEL所述商业流程进行了π-演算的分析和建模.     

P2P网络模型的形式化描述方法(英文)

为了更好地适应对Intemet中迅速发展的新形态P2P网络应用进行建模的需求,深入研究了适于描述多方并发网络交互的形式化建模方法.首先,对P2P网络系统模型的各项特征及其分类进行了探讨.然后,参照构件化建模的研究思路,基于对P2P应用建模需求的分析,提出了一种运用通信顺序进程(CSP)进行描述的P2P网络应用的形式化描述方法.借助CSP进程组表示,该方法能够更为方便精确地描述P2P系统中以多方交互为主的动态交互关系,探讨了CSP非确定性语义在P2P交互建模中的应用.最后通过一个新型P2P媒体点播系统的实例展示了以上描述方法的应用,验证了该方法在描述并行交互关系等方面的能力.     

基于构件的动态工作流柔性变更策略

针对目前工作流管理系统在描述能力和动态修改上存在的不足,提出一种基于构件的柔性变更策略．该策略引入新的建模元素和动态变更的体系结构,从时间和工作流组成两个角度对工作流的动态变更进行了分类,详细阐述了工作流的组合策略、修改方法和移交策略;最后论述了这种策略的优越性、可行性和正确性．     

用例驱动需求建模过程的探讨

需求分析是软件生命周期中的一个重要阶段。用例是一种描述系统需求的方法。用例建模主要是分离出系统活动的参与者和用例,用例模型易于被不同的角色所理解。通过一个ATM系统的实例说明了如何寻找用例,如何构建用例模型以及用例规约,通过“提款”的活动图实现了对用例的进一步求精,展现了用例驱动需求建模的全过程,明确了用例建模的过程要避免功能分解和数据流建模;用例分析技术是一种合成技术;用例建模的核心是用例描述;不要描述系统之外的情况。     

三维虚拟场景建模技术

在虚拟场景中,实体建模技术是最基本的技术,建模的好坏直接影响虚拟场景的生成效果。论文首先介绍了场景建模的三种方法,详细分析了几何建模法中的场景模型描述技术,最后给出了用多边形方式建立的模型结构框架实例。     

三维虚拟场景建模技术

在虚拟场景中,实体建模技术是最基本的技术,建模的好坏直接影响虚拟场景的生成效果。论文首先介绍了场景建模的三种方法,详细分析了几何建模法中的场景模型描述技术,最后给出了用多边形方式建立的模型结构框架实例。     

浅析表示集合的描述法

集合的表示中,描述法是应用最普遍的一种方法,同时描述法也是一种典型的符号语言．对初学者,用描述法表示集合时,在表示集合的一般元素的属性和元素所具有的共同特征的描述上常常模糊不清,不识其真面目,导致错误．本文主要从代表元素的属性和对元素的共同特征的描述这两方面加以说明．     

数学建模：优化应用型本科高校创新人才培养的路径

数学建模日趋成为多学科交叉的活动,为应用型本科高校创新人才培养注入了新元素。文章研究数学建模在应用型本科高校创新人才培养中的价值与意义,分析国际国内数学建模活动的特点和趋势,并阐述数学建模在优化创新人才培养模式中的实施策略。     

增长混合建模:读者阅读能力发展异质轨迹描述的有效策略

读者阅读能力发展研究常常需要采用重复测量数据描述发展轨迹的特征。传统的数据处理方法是依据样本均值建立一个统一的模型描述整个群体的发展,如果样本的发展轨迹存在异质性,研究结果就会扭曲现实。这种情况下,一种有效的替代方法是增长混合建模。增长混合建模允许根据发展特征将样本区分为不同的异质亚组,并在模型中同时展示不同亚组的发展轨迹。本文讨论了利用增长混合建模描述读者阅读能力发展异质轨迹的方法。     

基于“4+1”视图的软件设计模型描述框架与应用

如何组织软件设计模型中的大量设计元素,影响软件设计工作和从设计模型生成设计文档。采用"4+1"视图体系结构和UML构造型机制,扩充了软件设计模型描述元素,提出了由用例实现、软件结构、软件组件、软件接口、软件进程、软件部署等六部分组成的设计模型描述框架。该描述框架用于在Rose和SoDA工具上建立设计模型模板和设计文档模板,实现了软件设计模板化和文档生成自动化。     

基于语义网的数字化家具模型本体设计与检索

针对传统检索方式在三维模型爆发性增长背景下出现的种种缺陷,以家具模型为切入点,对基于语义网和本体技术的三维创意素材模型的本体构建与检索进行研究设计,实现三维数字模型智能化检索。将本体技术和语义检索与三维模型结合,对不同类型的家具模型进行数字化描述、特征提取及要素分类,通过OWL本体描述语言创建本体,并将本体模型存入数据库从而形成模型素材本体库,根据语义规则构造可被机器理解的检索方式,为实现大众参与下的创新创意设计和产品快速原型设计打下基础。     

火电厂耐热钢的弹塑性蠕变损伤本构模型研究

针对火电厂蒸汽管道与汽包一类承压部件常用耐热钢材 ,由于长时间承受高温高压作用 ,处于蠕应变Ⅱ阶段过程中 ,发生弹塑性蠕变损伤问题 ,给出完整的损伤本构描述 ,建立起弹塑性蠕变损伤本构模型及其数值变分原理与有限元离散化形式 ,从而形成完整的数值变分新方法     

高温高压用耐热钢弹性蠕变损伤本构模型研究

针对火电厂中蒸汽管道与汽包类承压部件用的耐热钢 ,在承受高温高压时发生弹性蠕变损伤问题 ,给出完整的损伤本构描述 ,建立起唯象学蠕变损伤理论。主要提出耐热钢的弹性蠕变损伤本构模型 ,建立起相应的数值变分原理以及有限元离散化形式 ,从而形成完整的数值变分方法。     

VoIP音频质量研究

介绍了影响VoIP语音质量的要素及提高语音质量的方法。     

组合式因素神经网络系统的数学描述

本文对组合式因素神经网络系统的组成结构进行了分析和论述,作出了数学描述.