当期目录

• 2006年, 第1期　刊出日期：2006-01-01 上一期    下一期
  本期栏目： 论文

论文

LINUX下一种安全的SSLVPN设计与研究

余胜生 王勇

2006, 28(1): 1-2. doi:

摘要 ( 358 )   PDF (226KB) ( 634 )   　　

结合SSL VPN的实现，本文介绍了SSL的概念和协议，详细阐述了一种SSL VPN服务器的具体架构设计与实现。SSL VPN能够提供更安全的连接。

组合Web服务的分散协调模式

徐正权 杨文军

2006, 28(1): 3-6. doi:

摘要 ( 367 )   PDF (402KB) ( 308 )   　　

本文针对组合Web服务的集中协调模式的弊端，分析了组合Web服务的分散协调模式的优点，并结合在BPWS4J运行环境下的具体例子，讨论分析了分散模式下系统构造期和运行时所面临的问题及解决方案。

无线局域网认证协议及安全性证明

陈卓[1,2] 洪帆[1]

2006, 28(1): 7-8. doi:

摘要 ( 393 )   PDF (195KB) ( 384 )   　　

身份认证和密钥协商方案的安全性是网络和分布式系统安全的重要基础和前提。本文提出了一种适用于无线局域网的认证机制WKE，并采用BAN逻辑对之进行了安全性分析和证明。

通用对等网络模拟器的设计与实现

郑倩冰 彭伟 朱培栋 卢锡城

2006, 28(1): 9-11. doi:

摘要 ( 434 )   PDF (222KB) ( 432 )   　　

通用对等网络模拟器是研究对等系统的基础。本文探讨了通用对等网络模拟器的设计原则，设计了一种易扩展、可配置和模型可选择的通用对等网络模拟器，并给予实现。

基于TLA＋的BRP协议规约及验证

陈立前 王戟 陈火旺

2006, 28(1): 12-15. doi:

摘要 ( 384 )   PDF (302KB) ( 534 )   　　

BRP协议是为不可靠信道上传送大数据包文件设计的工业协议。该协议的正确性依赖于各部件实时方面的假设。本文主要阐述了使用时序规约语言TLA＋对BRP协议进行规约和验证的过程。首先通过自然语言非形式化地描述BRP协议的基本原理和需求，在此基础上建立了BRP的形式化模型，利用TLA＋先对不考虑实时要求的BRP进行规约，然后添加实时约束获得BRP完整的规约，最后使用模型检验器TLC验证BRP协议的各种性质。

一种带时延约束的选播路由算法

陈燕[1] 宋玲[1] 李陶深[1,2]

2006, 28(1): 16-18. doi:

摘要 ( 298 )   PDF (253KB) ( 264 )   　　

选播是一种新型的网络服务，它使用户通过一个选播地址就能访问到该地址所表示的一组服务器中对用户来说“最近”的一个。在实时性要求较高的业务传输过程中，保证信息传榆时延尽可能小是非常重要的。本文研究时延受限的选播路由问题，提出一种时延受限的选播路由（DCAR）算法，生成一棵以时延为度量且代价最小的选播生成树。仿真实验结果表明了该算法的正确性和高效性。 [

基于系统观的网络突现性研究

尹春华[1] 陈雷[2]

2006, 28(1): 19-21. doi:

摘要 ( 343 )   PDF (212KB) ( 285 )   　　

因特网作为一个复杂适应系统，呈现了许多突现性。本文重点提出因特网中的两个突现现象：网络流量呈现自相似以及拓扑结构呈Power-law分布，并对其现象及其形成机制 进行了初步探讨；同时，对网络上业务量的自组织临界性进行了简单的分析，从而提出用复杂科学理论来研究探索网络复杂性，对研究和开发下一代网络体系结构具有积极作
用和影响。

安全协议的进程代数规约到逻辑程序的自动转换

周倜 李梦君 刘万伟 李舟军

2006, 28(1): 22-24. doi:

摘要 ( 505 )   PDF (287KB) ( 368 )   　　

安全协议用于实现开放互连网络的安全通讯，它本质上是分布式并发程序，使用进程代数可以将其描述为角色进程的并发合成系统。使用抽象方法，安全协议角色进程并发合成模型可以转化为逻辑程序；通过计算逻辑程序的不动点，能够对安全协议无穷会话的并发交叠运行进行验证。本文基于Objective Caml语言，实现了安全协议进程代数描述 述到安全协议逻辑程序的自动转化。

WLAN QoS机制的分析及改进

王化宗 张春业 李波

2006, 28(1): 25-27. doi:

摘要 ( 339 )   PDF (203KB) ( 366 )   　　

本文首先分析了IEEE802．11无线局域网的MAC接入机制，针对802．11e在提供QoS上的局限性，CFB的使用让EDCF机制得到了更为有效的扩展。本文在EDCF-CFB的基础上提出了一种群ACK确认机制并从理论上进行了分析。

基于网络教育集成平台的安全系统的设计与实现

王慧 罗军舟

2006, 28(1): 28-30. doi:

摘要 ( 390 )   PDF (235KB) ( 286 )   　　

本文以网络教育系统集成为应用背景，阐述在支撑平台中实现的一个基于XML安全技术系统的设计方法、系统结构和功能模块，为开发其他应用系统提供了一个具有互操作性   、可移植性、可扩充性和可雏护性的安全平台。

一种基于移动IP的RSVP协议扩展方案

张浩 彭宇行

2006, 28(1): 31-32. doi:

摘要 ( 325 )   PDF (220KB) ( 326 )   　　

目前的RSVP协议是针对固定网络的特性设计的，不适于移动无线网络。本文提出了一种RSVP协议的扩展方案，使其适用于移动IP网络，减小了发生拥塞的可能；最后通过模拟验证了其性能。 [

基于APDR信息系统安全防护体系模型的分级防护策略研究

裴晋泽[1] 胡华平[1] 周金泉[1,2]

2006, 28(1): 33-35. doi:

摘要 ( 336 )   PDF (313KB) ( 415 )   　　

本文在提出APDR信息系统安全防护体系模型的基础上，对信息系统中信息价值级别及其可能面临的最大威胁强度进行了划分，并针对相应的安全防护强度等级和安全防护技术等级制定出了相应的安全防护策略，这对信息系统进行安全防护体系设计具有非常重要的意义。

基于背景构造的视频对象分割技术

于跃龙 卢焕章

2006, 28(1): 36-38. doi:

摘要 ( 323 )   PDF (217KB) ( 317 )   　　

基于背景帧通过变化检测技术分割视频对象时，背景构造和阴影消除是两个非常重要的问题。本文提出了一种稳健的背景构造技术，利用计数器累积判决像素点是否属于背景 ，使得构造的背景帧更加可靠，背景的自动更新可以自适应于光照的慢变化。最后，根据光反射模型消除了阴影的影响。

LCD定标器图像缩放引擎的设计

刘政林 李仕杰 邹雪城 赵慧波

2006, 28(1): 39-40. doi:

摘要 ( 349 )   PDF (225KB) ( 411 )   　　

定标器（Scaler）的主要功能是时视频图像的分辨率进行变换，使图像能够正确地显示在分辨率固定的LCD显示器上。本文首先对定标器的输入输出数据格式进行说明，然后给出一种定标器图像缩放引擎的设计。 [

结合指纹识别的电子印章系统的研究

许钟[1] 王小兵[2] 黄勇[2] 曹莉[3]

2006, 28(1): 41-44. doi:

摘要 ( 419 )   PDF (314KB) ( 388 )   　　

针对办公自动化、电子商务和电子政务等应用对印章提出的新要求，本文根据指纹识别的基本原理，在PKI模型下结合数字签名和数字水印技术，提出一种既符合人们习惯又具有法律效用的电子印章系统解决方案。

基于OpenGL的一种三维拾取方法

何健鹰 徐强华 游佳

2006, 28(1): 45-46. doi:

摘要 ( 492 )   PDF (214KB) ( 1018 )   　　

本文介绍了一种基于OpenGL的三维拾取方法，该方法可对三维地形图上的任意点进行拾取，并反馈拾取点的三维信息。在正交投影模型中，将整个图形划分成若干块均匀区域 ，先判断二维输入点落在哪块区域；然后再对选中的区域细化，判断输入点所选中的图元，并根据该图元的顶点信息求出二维输入设备所对应的第三维的值；最终返回该拾取 取点在物体坐标系下的真实三维坐标，从而实现图形交互功能。

基于Java 3D的生物大分子模拟可视化系统

文元桥[1,2] 余胜生[1] 周敬利[1]

2006, 28(1): 47-50. doi:

摘要 ( 305 )   PDF (309KB) ( 482 )   　　

本文采用基于Java 3D的三维可视化编程环境，利用Java 3D、Java Applet、Java多线程等技术，开发了一个适于网络环境的生物大分子模拟的可视化系统，有效地解决了网络环境下生物大分子模拟计算中的三维图像的动静态显示、用户交互、进程控制等问题。

一种改进的基于三角形折叠和包络的网格简化

刘坚 丁友东

2006, 28(1): 51-53. doi:

摘要 ( 398 )   PDF (195KB) ( 425 )   　　

我们提出了一种带属性的三角形网格简化方法，该方法利用包络和二次误差矩阵来共同控制简化：利用包络控制网格简化的全局误差，保证简化的整体效果；利用二次误差矩 阵对网格简化的局部误差进行控制，以保持模型的局部特征和细节。算法中还加入了颜色、纹理方面的参数，以保持模型的颜色和纹理特征。

基于P2P的可靠直播视频服务模型的建立和分析

谭玉波[1,2] 陈福接[1]

2006, 28(1): 54-56. doi:

摘要 ( 472 )   PDF (266KB) ( 303 )   　　

本文充分利用P2P技术具有多客户机资源的优势，克服其具有不稳定性和波动性的不足；针对直播业务，提出两种P2P结构模型，在发行商、运营商和用户之间构架可靠的P2P模型；提出了一种新的激励机制，有效解决了用户的扩展问题、用户的服务质量问题以及发行商的利益问题等。分析表明，这种激励机制可以保证系统的可靠性，并且可以避免由于节点频繁加入和退出引起的波动，保障了用户的服务质量。

基于参数的分形地形可控性研究

聂朝阳 盛建平

2006, 28(1): 57-58. doi:

摘要 ( 344 )   PDF (135KB) ( 352 )   　　

本文在深入研究分形布朗运动原理和中点位移算法的基础上，推导出分形地形参数之间的关系表达公式，分析了分形参数对地形形状的影响，提出了基于参数的可控分形地形生成方法，并进行了仿真。试验表明，该方法能快速有效地对分形地形进行控制，是自然景观仿真的一种有效手段。

带有给定切线多边形的曲率连续的有理二次样条曲线

吴晓勤 严秀坤

2006, 28(1): 59-61. doi:

摘要 ( 406 )   PDF (156KB) ( 357 )   　　

本文论述了与给定切线多边形相切的有理二次Bézier曲线，构造曲线是曲率连续的，具有局部可调性，且对切线多边形是保形的；跟三次（四次）Bézier曲线或B样条曲线方法相比，具有切点的变动范围更大、曲线次数低、结构简单、计算量少、显示更快的特点。最后，通过实例加以说明。

一种基于DMWT与SVD相结合的图像数字水印算法

谢小贤[1] 舒志彪[2]

2006, 28(1): 62-64. doi:

摘要 ( 483 )   PDF (212KB) ( 715 )   　　

本文提出了一种新的盲数字水印算法，它充分利用了离散多小渡变换（DMWT）的多分辨率特性和矩阵奇异值分解（SVD）所固有的特征，通过量化处理把二值水印图像嵌入到 原始图像中。水印的提取不需要原始图像的参与，但受到密钥的限制，不知道密钥的人无法正确地恢复数字水印。实验结果表明了算法的不可感知性、鲁棒性和安全性。

使用光子映射渲染参与介质

张宇阳[1] 刘二莉[1] 张君琦[2]

2006, 28(1): 65-67. doi:

摘要 ( 378 )   PDF (255KB) ( 777 )   　　

光子映射是近年发展起来的一种新的全局光照算法。本文依据光子映射对实体物体的渲染，将其扩展到对包含参与介质的场景的渲染，为此提出了一个两路的渲染算法。在第一路中，光子从光源发射，并使用光子追踪来构造体光子图；第二路从视点出发向场景中发射光线，使用光线追踪来进行渲染，其中，根据构造好的光子图，用光线步进进行
行递归的辐射估计，得出最终光强。

G．729语音编码算法线谱频率量化的研究

欧阳毅 郭立 唐建 许令凡

2006, 28(1): 68-70. doi:

摘要 ( 424 )   PDF (195KB) ( 631 )   　　

在G．729的语音编码算法中，线谱频率量化是采用预测式矢量量化。当语音传送中出现帧丢失时，采用该方法在译码端会产生误差积累，从而导致语音质量下降。为了降低误 差积累的影响，本文提出了一种新型的矢量量化方法。实验结果表明，该方法在防止误差积累方面与G．729相比，性能有明显的提高。

面向应用集成的内存数据索引算法的实现

张金[1,2] 游承启[1] 陈卓宁[1,2]

2006, 28(1): 71-74. doi:

摘要 ( 330 )   PDF (274KB) ( 324 )   　　

本文通过分析企业实施信息化建设和应用集成对于内存数据处理的要求和特点，提出了一种面向企业信息化、适合于应用集成和分布式处理的内存数据索引结构及算法，并对该算法的实现加以详细阐述；最后，通过与CMap映射和SQL语言检索效率的比较，分析了该索引算法的性能。

一种基于圆周划分的模板匹配算法

卢炎生[1] 孙钢波[1] 韩根甲[2]

2006, 28(1): 75-77. doi:

摘要 ( 447 )   PDF (195KB) ( 415 )   　　

本文提出了一种基于圆周划分的模板匹配算法，与传统模板匹配算法相比，本算法具有速度较快、有一定的旋转不变性、抗干扰性好的特点。

混合进化策略算法在多准则决策中的应用研究

高阳 李蔷

2006, 28(1): 78-81. doi:

摘要 ( 418 )   PDF (269KB) ( 394 )   　　

针对多变量、强约束的复杂非线性规划优化问题，本文将进化策略引入其中，并结合动态及模拟退火罚函数给出了一种快速、易实现的混合求解算法，并成功应用于多准则决策问题中，解决了以往计算难度大的问题。最后通过实例进行验证，结果表明该混合算法效率高、优化性能好。此算法亦可用于其他领域中的类似问题，具有一定借鉴作用 和较强的实用性。

基于投影特征的快速图像稳定算法

黄金权 王程 王润生

2006, 28(1): 82-85. doi:

摘要 ( 404 )   PDF (323KB) ( 365 )   　　

本文针对摄像机的栽体既有抖动又有正常扫描运动的图像稳定问题提出了一种快速算法。该算法首先把二雏图像数据投影为一维数据，并在投影数据上估计图像序列的偏移量；然后通过卡尔曼滤波从图像序列的偏移量序列中消除抖动带来的影响，从而保持正常的扫描运动；最后依据滤波后的偏移矢量对图像进行运动补偿。实验结果表明，该算法
法在保持与块匹配算法相当的稳像准确度的前提下，大大减少了计算量。

基于A^＊搜索方法的主动轮廓提取算法

陈欣[1,2] 熊岳山[1] 谭珂[3] 郭光友[3]

2006, 28(1): 86-88. doi:

摘要 ( 379 )   PDF (203KB) ( 416 )   　　

在主动轮廓模型Snake的研究与应用中，如何降低Snake对初始轮廓的敏感性以厦如何保证能量极小化过程收敛到全局最小值，是两个极其重要的问题。为提取两点间的目标轮廓线，本文提出了基于A^＊搜索过程的Snake算法，将Snake能量极小化问题转换成势能地图的最短路径搜索问题。实验结果表明，该算法简化了Snake的初始化过程，而且Snaake能量收敛至全局最小值，具有良好的实用性与鲁棒性。

一种从MPEG视频流中快速分割镜头的算法

马国栋 陈一民

2006, 28(1): 89-92. doi:

摘要 ( 460 )   PDF (233KB) ( 494 )   　　

镜头分割算法是实现视频检索的关键，本文提出一种针对MPEG视频流的快速分割镜头的算法，介绍了该算法的基本原理与实现过程。该算法利用压缩视频中的可用信息，通过计算帧的内编码宏块数量的比例作为是否需要进行镜头分割判别的标识，进而计算MPEG视频流B帧各宏块编码类型来检测发生镜头分割的帧住置，并进行了相关的实验。实验
 结果表明，该算法能快速有效地检测镜头分割，且计算量较小。

应用于远程异地存储FC—SAN的CWDM实现方法

周敬利 马吉峰 秦磊华

2006, 28(1): 93-94. doi:

摘要 ( 352 )   PDF (210KB) ( 408 )   　　

本文结合FC-SAN的网络传输模型，分析了在远程异地存储系统中传统使用的DWDM的实现方法的利弊，并由此提出了一种新的实现方法，即CWDM的实现方法。该方法能有效地实现FC-SAN和CWDM的无缝集成，在远程异地存储系统中，相对于DWDM而言能带来较大的经济效益。

基于网络存储的等待队列调度模型的设计

赵鹏飞 李先国 叶敏

2006, 28(1): 95-97. doi:

摘要 ( 375 )   PDF (204KB) ( 310 )   　　

存储虚拟化可以使用户更方便地管理存储系统。本文分析和比较了在存储区域网络体系结构中存储虚拟化的多种实现方式，并设计了一种基于网络存储的等待队列调度模型，可以更高效地执行调度，提高存储虚拟化管理的性能和效率。

广域存储虚拟化系统的文件访问

石柯 刘志坤 吴松

2006, 28(1): 98-100. doi:

摘要 ( 394 )   PDF (250KB) ( 272 )   　　

广域存储虚拟化所要解决的一个问题是如何实现对分布的文件进行方便高效的访问。本文在分析了几种常见的文件系统后，针对广域存储虚拟化系统的特征，设计了客户端的文件访问模式，并实现了一套应用于该系统的文件访问接口，使用户能够像使用本地系统一样使用广域存储虚拟化系统的存储资源。

提高附网存储（NAS）可靠性的研究

蒋博雅 张江陵

2006, 28(1): 101-103. doi:

摘要 ( 329 )   PDF (179KB) ( 373 )   　　

本文通过高可用性技术一双击冗余热备份来提高网络附加存储系统的可靠性，给出了两种双机系统模型，且对两种双机系统模型进行了分析比较。

一种二维转置多通道读写存储体组件的设计与实现

罗玉平 马晏 蒋勇 叶新

2006, 28(1): 104-106. doi:

摘要 ( 325 )   PDF (178KB) ( 320 )   　　

本文用FPGA设计、实现了一种可4路读写控制，且全硬件实现二维转置操作的存储体组件，可同时提供4路64位数据给多个运算器使用，实现了4路并行操作。该组件已在实际运用中使用。

引导扇区剖析与实例分析

蔡山枫 周凤岐

2006, 28(1): 107-109. doi:

摘要 ( 337 )   PDF (185KB) ( 775 )   　　

引导扇区实现了由裸机到操作系统的过渡。本文将介绍与引导扇区相关的软硬件知识，并提供了分析引导扇区的方法，最后以硬盘的MBR扇区为实例，剖析引导代码，解读引导过程。分析引导扇区从另一个角度提供了学习和实践计算机硬件和操作系统相关知识的途径。

一种高效结构的多输入浮点加法器在FPGA上的实现

杜勇[1] 陈健[2] 朱亮[1] 韩方景[1]

2006, 28(1): 110-111. doi:

摘要 ( 471 )   PDF (197KB) ( 641 )   　　

传统的多输入浮点加法运算是通过级联二输入浮点加法器来实现的，这种结构不可避免地使运算时延和所需逻辑资源成倍增加，从而越来越难以满足需要进行高速数字信号处理的需求。本文提出了一种适合在FPGA上实现的浮点数据格式和可以在四级流水线内完成的一种高效多输入浮点加法器结构，并给出了在Xilinx公司Virtex系列芯片上的测试
试数据。

一种通用中间件安全模型及形式化描述

吴景阳 毋国庆

2006, 28(1): 112-114. doi:

摘要 ( 423 )   PDF (235KB) ( 271 )   　　

本文通过对中间件安全性的分析，结合传统安全模型的特点，从中间件安全模型设计要求的特点出发，建立了一个可应用于任何中间件技术的通用中间件安全模型；最后对该 模型的特征进行分析，并运用有穷状态自动机（FSM）对该模型进行形式化描述，并证明了系统的安全性。

定量型关联规则在高层建筑结构选型中的应用

涂庆 黄启

2006, 28(1): 115-118. doi:

摘要 ( 343 )   PDF (282KB) ( 277 )   　　

本文针对高层建筑结构实例库的特点，定义了同义词典和值域词典，给出同义词典的构造算法和简化方法，实现值域规范化动态管理；对Apriori算法作了一定的改进，提出高度的动态划分法，并探讨高层建筑结构实例库中定量型关联规则的发现以及应用。

UCard中动态地址映射的实现方法研究

曹计昌 邱鹏 张斌

2006, 28(1): 119-121. doi:

摘要 ( 449 )   PDF (258KB) ( 342 )   　　

本文根据智能卡应用的现状和发展趋势，分析目前解决方法存在的问题，提出了一种新的智能卡模型-UCard。通过分析其核心的地址映射问题，给出了基于块选以及基于可编 程逻辑器件的两类方法，分别针对其实现，做了详细的分析和研究，指出了其中的关键技术和各自的优缺点。对前一种方法进行了数学推导，并给出了实现范例；对后一种方 方法给出了原理图和伪码表示，采用VHDL语言进行了仿真实验，并取得了如期的效果。

中文词聚类研究

胡和平 曾庆锐 路松峰

2006, 28(1): 122-124. doi:

摘要 ( 346 )   PDF (282KB) ( 675 )   　　

词聚类是语言自动处理中一个重要的基础环节。针对中文词聚类研究中训练数据缺乏、质量不高而影响聚类效果这一主要障碍，本文提出一种面向中文的词聚类算法，算法以词的上下文分布相似度作距离量度；然后分析了仪依据距离量度进行中文词聚类的缺陷，提出词的临近空间概念，并根据词的临近空间概念进行聚类，使得在不用指定类的数
数目与大小的情况下，依靠词的内在语义进行聚类；最后，算法再将聚类结果作为计算相似度的依据，进行EM迭代聚类，使聚类结果得到明显优化。实验证明，算法有效地克服了中文训练数据的数量和质量问题，聚类结果好。

基于嵌入式Ijnux操作系统内核实时性的改进方法研究

任旭龙 周纬杰

2006, 28(1): 125-127. doi:

摘要 ( 478 )   PDF (275KB) ( 307 )   　　

分析当前Linux内核在实时性方面的不足，从不同侧面讨论几种改进的方法。根据嵌入式系统的不同设计目标，针对Linux内核实时性在某些方面的缺陷，使用相应的改进方法

基于问题域与视点代理的需求工程研究

喻超 毋国庆

2006, 28(1): 128-130. doi:

摘要 ( 346 )   PDF (245KB) ( 354 )   　　

在当前需求工程中有关多视点的研究基础上，本文提出了视点代理的概念，给出了代理模板的基本结构，并在此基础上简要介绍了关于模型转换及一致性检查等问题。最后给 出如何将视点代理和问题域相结合形成新的需求工程开发方法。

基于自对偶MDS码的P置换研究

李强[1] 李超[1,2,3]

2006, 28(1): 131-134. doi:

摘要 ( 329 )   PDF (232KB) ( 491 )   　　

P置换的设计是分组密码设计中的一个重要课题。一直以来，利用编码理论中的MDS码可以设计出许多性质优良的P置换。本文讨论了线性码中的自对偶MDS码，基于这种码，我 们可以设计出性质比一般MDS码更好的P线性置换。文中我们给出了一种基于自对偶的广义RS码的线性置换的构造方法。

可伸缩分布共享大规模并行I／O系统设计

李琼 郭御风 庞征斌 刘光明

2006, 28(1): 135-138. doi:

摘要 ( 308 )   PDF (294KB) ( 317 )   　　

如何有效地解决I／O瓶颈问题，一直是高性能并行计算机有待研究解决的关键技术。我们提出了一种可伸缩分布共享并行I／O系统方案，并自行研制了结点控制器芯片和路由 器芯片，研制了原型系统SDSP604。为实现系统的计算、通讯和I／O性能随着系统规模均衡扩展的目标，该系统基于CC-NUMA系统结构，采用了合理的分布共享并行I／O系统 结构。

基于概念模型工程的工作流建模研究

汪文元 沙基昌 谭东风

2006, 28(1): 139-142. doi:

摘要 ( 389 )   PDF (324KB) ( 320 )   　　

Workflow is playing more and more important roles in more and more domains. But there are still no effective solutions to workflow modelling for huge  systems. In this paper, conceptual modelling engineering is introduced into work flow modelling to extend the modelling process. The whole workflow mode  lling process is then divided into four phases according to modelling engineering. Formatted description and formal description are particular expatiate d in this paper. Conceptual ontology is very import for formatted deseription.