软件过程建模方法分类概述

本针对当前国际上在软件过程建模领域的研究现状和过程建模方法进行了综合性介绍，给出了三种不同的过程建模方法分类，并对各种建模方法进行了评述。     

IDEF1x语义建模方法及其在数据库设计中的应用

IDEF1x是在E-R方法中引入语义的一种数据库概念建模方法，对E-R方法进行了扩展和规范，更容易转换为物理数据库模型。通过建模实例介绍了IDEF1x语义方法的概念、特性、建模的步骤以及IDEF1x模型中的各种关系。在和E-R模型的比较中阐述了IDEF1x方法的优点。     

基于Opnet的TCP拥塞控制仿真

文章介绍了功能强大的网络仿真软件Opnet,分析了其仿真特点和功能,重点讨论了如何使用Opnet进行网络建模。结合TCP拥塞控制的实例,介绍了基于Opnet的TCP拥塞控制仿真的建模方法、业务应用配置以及各种网络参数的配置,并分析了各种网络环境参数对网络性能和仿真结果的影响。     

一种用于人机交互分析的Concur任务树建模方法

任务建模是用户界面设计和开发的基本活动，一致任务树建模方法是从语义层次上对人机交互的过程进行高层次的形式化描述，具有表现灵活、语义丰富、易于理解、逻辑推理严密等方面的优势，是对传统界面建模方法的改进。文章对一致任务树建模的特点、关系表示等进行了初步的探讨，并与传统方法进行了比较，最后通过一个实例来说明其用法。     

支持多实例模式的动态工作流研究

为了解决多实例模式给工作流的建模和实现带来的动态语义和数据共享冲突问题,在对多实例模式进行深入分析的基础上,讨论了一种具有动态性的建模方法。这种基于XPDL的过程定义方案支持各种多实例活动并且具有较强的动态性,能与不同的实现引擎兼容。同时,提出了一种活动多实例动态组装的活动执行部件设计方案,其中活动实例管理器的设计解决了动态执行多实例活动和数据共享问题。该方案在工作流引擎Shark中得到实现,改进后的Shark表明这种建模方法和引擎设计思想较好地解决了多实例的建模和实现问题,也提高了流程的动态性。     

一种基于构件技术的工作流过程建模的方法研究

通过分析研究工作流建模的各种方法,本文提出了一种基于构件技术的工作流建模方法,引入了构件工作流网的概念和新的建模元素,使工作流过程表达更丰富,提高了可读性和重用性,给出了一个建模应用实例,并指出下一步研究工作和方向.     

基于业务规则的信息系统建模方法研究

信息系统的开发需要对业务过程进行建模。论文提出一种从业务规则的角度对业务过程进行建模的方法。通过对业务规则的分析，讨论了将业务规则转化为建模构件的方法，研究了构件之间的关系——元模型，并给出了利用这些构件建立业务过程的规则模型的方法。最后给出了一个业务规则模型的实例。     

一种基于DEVS的网络设备仿真模型

在分析目前网络设备仿真建模所面临的主要问题的基础上,简要介绍了 DEVS 规范及其基本构成要素;以以太网交换机为实例,对基于 DEVS 的网络设备仿真建模技术进行了研究,并实现了仿真建模。对该网络设备建模方法的优点做了总结,并就此建模方法在网络设备建模中的应用前景进行了展望。     

一种基于构件技术的工作流过程建模的方法研究

通过分析研究工作流建模的各种方法,本文提出了一种基于构件技术的工作流建模方法,引入了构件工作流网的概念和新的建模元素,使工作流过程表达更丰富,提高了可读性和重用性,给出了一个建模应用实例,并指出下一步研究工作和方向。     

对当前过程建模方法的分类评注

对当前存在的各种软件过程建模方法作详细讨论，提出几种分类，并对各种建模方法做了主平注、最的一对过程建模的发展趋势提出看法。     

Numerical solution of a coupled modified Korteweg–de Vries equation by the Galerkin method using quadratic B-splines

In this paper, numerical solutions of a coupled modified Korteweg–de Vries equation have been obtained by the quadratic B-spline Galerkin finite element method. The accuracy of the method has been demonstrated by five test problems. The obtained numerical results are found to be in good agreement with the exact solutions. A Fourier stability analysis of the method is also investigated.     

基于拓扑特征的纳西东巴文象形文字输入方法研究

纳西东巴文字是一种比甲骨文还要原始的图画象形文字,该文针对大量纳西经典古籍资料需要录入、整理、分析的需要,设计一种普通用户即可使用的基于拓扑特征的输入方法。首先针对纳西东巴象形文字的1 561个基本字形的五个拓扑特征-块数、孔数、端点数、三叉点数和四叉点数进行了统计和分析,然后基于Java程序结合TTF字库文件进行了测试,证明了该方法可行。统计结果表明,50%以上的纳西东巴象形文字通过这五个特征可以唯一识别,80%以上的东巴文字通过该方法识别时重复数不高于4,人工输入、识别的效率较高,为纳西东巴象形文字的输入方法提供一种新的思路。     

基于串核的音乐风格聚类

给出了一种新的映射音乐到R°空间的方法和基于串核的音乐风格聚类法.利用统计方法分析大量音乐的旋律轮廓线得到合适的编码模式,用它把旋律轮廓线编码为有限字母表(8个字母)的字符串.利用连续子串嵌入法把音乐串显式映射到高维R°空间,并用核表示这一映射.通过用基于核的山方法选择聚类的适合初始点,最后使用基于核的K-means方法聚类音乐数据集,比较了3个不同串核在5个音乐数据集上的聚类性能.     

面向对象方法在嵌入式应用软件开发中的应用

根据嵌入式系统及开发环境的特点,以手机五彩球游戏程序为实例,对将面向对象思想应用于嵌入式软件开发的方法进行了研究.对五彩球游戏进行了系统分析并建立了系统类图,使用C语言模拟了面向对象机制:封装、继承和多态,提出了构造函数和析构函数的定义和调用规则,描述了与MiniGUI的结合方法.应用结果表明,此方法能够消除C语言程序中的全局变量,提高程序的可读性、可维护性和可移植性.     

二维欧拉程序中一种新的分界面跟踪技术

１．引言 二维流体力学计算方法按其采用Ｌａｇｒａｎｇｅ坐标系还是Ｅｕｌｅｒ坐标系,分为Ｌａｓｒａｎｇｅ方法和 Ｅｕｌｅｒ方法两大类． Ｌａｇｒａｎｇｅ坐标是随材料质团运动的,由于每个有限网格点总是与初始时同一部分流体相联系,所以拉氏程序能够清晰显示解域内部多种物质的分界向和自由界向,而且描述材料分界面的运动是自动完成的．然而在二维计算中,当材料发生大变形时,拉氏网格发生扭曲,甚至使相邻网格彼此相交和重叠,使计算过程无法进行下去．因此,Ｌａｇｒａｎｇｅ方法在二维计算中有其局限性,只能用了变形较小的模…     

基于C8051F040单片机的导热系数自动测量仪的研制

介绍了以高速单片机C8051F040为核心,基于稳态比较法测量原理的导热系数自动测量装置。在阐述测量原理的基础上,详细介绍了测量装置的构成和各部分的硬件实现原理,给出了软件设计要点,探讨了提高测量精度的可能途径。使用表明,该仪器可快速测量常温下的硬质圆柱型固体材料的导热系数,重复精度达到了5%,具有一定的应用价值。     

CHRIS/PROBA数据条带噪声去除方法比较

PROBA是欧空局于2001年发射的一颗最小的对地观测卫星,CHRIS是搭载于PROBA平台上的最主要的成像光谱分光计,具有五个成像模式,以其卓越的光谱空间分辨率及多角度的优势为着不同的研究目的分别对陆地、海洋及内陆水体进行成像。但CHRIS/PROBA数据本身被严重的条带噪声所污染,尤其是垂直条带噪声,因而去除条带噪声则成为使用CHRIS数据的首要与处理工作。本文描述了几种去除条带方法,包括传统的矩匹配方法,新的迭代辐射纠正方法,校正因子法及比值法。由于这些方法基于不同的理念,各个方法的去噪效果必定有所差异,本文目的是通过比较选出其中最好的一种方法。每种方法的结果从两方面进行了比较、评定:定性的视觉效果及图像变换前后的定量的灰度偏移值,比较结果列成表格,从而挑选出最优秀的一种方法。     

Application of fixed point-collocation method for solving an optimal control problem of a parabolic–hyperbolic free boundary problem modeling the growth of tumor with drug application

In this paper, employing a fixed point-collocation method, we solve an optimal control problem for a model of tumor growth with drug application. This model is a free boundary problem and consists of five time-dependent partial differential equations including three different first-order hyperbolic equations describing the evolution of cells and two second-order parabolic equations describing the diffusion of nutrient and drug concentration. In the mentioned optimal control problem, the concentration of nutrient and drug is controlled using some control variables in order to destroy the tumor cells. In this study, applying the fixed point method, we construct a sequence converging to the solution of the optimal control problem. In each step of the fixed point iteration, the problem changes to a linear one and the parabolic equations are solved using the collocation method. The stability of the method is also proved. Some examples are considered to illustrate the efficiency of method.     

基于闭环矢量法的五杆合作机器人运动学建模及仿真

利用闭环矢量法对五杆机构进行正运动学建模,给出了五杆并联机器人的闭环矢量方程,推导了其运动学方程,并用MATLAB软件编写MATLAB函数来求解运动学方程.利用Simulink仿真工具建立了五杆合作机器人的运动学仿真模型,仿真分析得到了运动学仿真曲线.研究过程表明,采用闭环矢量法对五杆并联机器人进行运动学分析既简便又快捷.这种方法对其他复杂平面并联机构的运动学分析具有一定的参考价值.     

Solving delay differential equations by the five-point one-step block method using Neville's interpolation

A five-point one-step block method based on the Newton backward divided difference formulae for the solution of first-order delay differential equations is derived. The proposed block method will approximate the solutions of initial value problems at five points simultaneously using variable step size. The approximation of the delay term is calculated using Neville's interpolation. The block method will be formulated in terms of linear multistep method, but the method is equivalent to one-step method. The order of the block method will be discussed. The P-stability and Q-stability regions of the block method using Neville's interpolation for the delay term are presented for a fixed step size. Numerical results are given to show the efficiency of the proposed method and compared with the existing method.