用C#.net设计与实现自动生成Schema文档

万维网联盟所推荐的Schema是对扩展标记性语言(XML)标识进行类型定义的标准.对于Schema文档的编辑方式该文采用了一种图元和数据类型结合在一起并自动生成Schema文档代码的方式,来实现一个有效的、良好的Schema文档,将不同的数据类型用不同的图元来表示.在不同的位置添加图元时,在后台相应的文档位置会自动生成合法的代码;生成的文档按不同的命名空间去分类,并将他们应用到不同XML文档结构中,它可以有效地对XML标识进行定义,最终可以使XML文档具有语义性.     

基于Word平台的煤矿采掘图元库的研究

采掘图元作为采掘工作面作业规程的主要组成部分,在绘制过程中存在工作量大、绘制繁琐等问题。针对该问题,文章提出了一种基于Word平台的煤矿采掘图元库的设计方案。该方案以Word作为软件平台,采用Word内部开发语言VBA编程,在编程过程中利用Word的菜单自定义功能定制菜单、利用Word的宏及自动图文集定义图元命令,将采用AutoCAD绘制的图元转换为Word格式下的图片,最后利用自动图文集命令建立图元库。实际应用表明,该方案简单实用,具有一定的可行性。     

基于XPDL的过程模式研究

通过扩充XPDL语言的语义，建立了一种过程模式的描述技术。对XPDL语义的扩充包括定义产品和资源、定义过程模式、实现描述过程模式的模板、实现描述活动的模板和定义实体的图形化语义等工作。文章对这几个方面的内容进行了描述。     

一种面向嵌入式实时软件的需求建模语言

针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征,提出了一种软件需求规约语言RTRSM。该语言以扩充的层次并发有穷状态机HCA为核心,以支持合成的模板为基本组成单元．利用转换有效期和事件预定机制来描述时间限制,既具有较强的时间限制描述能力,又能自然而直接地支持交互行为的建模,可执行且具有良好的形式语义。给出了该语言的形式化语法,举例说明了其时间描述机制,并通过执行步算法和基于HCA项的结构化操作规则定义了该语言的形式化操作语义。     

程序设计语言的指称语义

本文是由D.Scott和C.Strachey所研究的程序设计语言语义理论的入门指导性读物。它论述了该理论在形式语言描述方面的应用,文章还介绍了该理论在其它方面的应用。本文考察的第一个语言LOOP是十分初级的,它的定义仅仅说明其途径的记号和方法论。然后把环境、存贮与后继等语义概念引入到程序设计语言特征的模型种类中。文章扼要地论述了Scott关于计算的基本数学理论。最后,本文给出语言GEDA-NKEN的形式定义。     

建筑楼板结构平面图的自动识别方法

从三个不同角度提出了分层次、分步骤的建筑楼板结构平面图识别方法．通过消除图元表示方法的多样性、提取特殊图元轮廓信息、建立线条间的几何关系以及基于统计的阈值选取等方法进行规范化处理；通过信息继承实现前导结构图识别结果的重用；通过将梁和墙统一表示成梁段这一辅助数据结构而简化板构件的定义和识别；通过对复制和分布这两种板配筋语义的分析，提出了基于可扩充规则的配筋语义分析方法．该方法已应用于建筑工程算量软件VHRecQS中．     

未来能理解人类语言的智能网络——语义网

文章介绍了语义网的定义、作用和与传统万维网的区别,论述了语义网如何基于可扩展标记语言XML和资源描述框架RDF来实现让计算机能够自动识别和处理网上信息,并对语义网通过本体层来表示出信息的含义及各种信息问的语义联系及本体的构建做了一定的探讨。     

基于草图的人机交互技术研究进展

从草图识别和语义理解这两个方面对基于草图的人机交互技术的研究状况进行了分析和总结．对草图识别方法按其模式单元定义（笔划、图元、特征和组合图形）进行了分类和剖析;对草图语义理解所涉及的语义获取、语义解释和语义应用这三个关键问题及其解决方法进行了分析和阐述;并分别从基于草图的人机交互技术的几何模糊性、用户适应性和应用独旁性及其关系角度提出了这一领域的主要研究课题及其解决思路．     

基于动画设计的图形系统研究

本文利用面向对象的设计思想,主要讨论了图形类库,针对动漫设计中各种基本图元的数据描述的数据结构进行了定义,也对各种图元的结构层次和基本操作给出了定义。该图形编辑系统是结合通用图元编辑系统和动漫制作技术,设计的一个专为动画编辑来研究的专用图形编辑器。     

函数式语言中的赋值语句

文章探讨了怎样在纯函数式语言中加入赋值操作,而又不丧失引用透明性特征的问题,给出了这些操作的指称语义,并用这些赋值操作定义了一个简单的命令式语言的解释程序.     

基于VB与MATLAB接口实现三维图输出技术

三维图是观测和分析数据最直观和最有效的手段之一。但是,现有的计算机高级语言对于三维图的输出能力相对较弱,而更多的数据采集与测试系统需要输出三维图形,为了解决这一问题,发挥高级语言的编程灵活性和MATLAB语言的强大计算和图形输出能力,提出了一种新的三维图输出方法。该方法用VB将采集数据构成二维数组,通过VB与MATLAB接口实现数据的传递,并在VB中直接调用MATLAB语句实现三维图的绘制与输出。该方法编程简便易行,对大多数的应用系统有推广应用价值。     

OpenGL3．0新技术及其应用研究

随着计算机图形学的快速发展,OpenGL不断改变着人们对计算机图形显示的认识。OpenGL是一个优秀的三维图形硬件的软件接口,同时也是一个跨平台的、开放性的三维图形和模型库。从OpenGL发展历程以及各个阶段版本功能及特点,详细阐述了OpenGL3．0的新功能和新特性。从着色语言,顶点数组对象和条件渲染等方面介绍了OpenGL3．0的几个新技术,最后给出了一个以VC＋＋6．0为平台基于OpenGL3．0图像显示的例子。     

基于SceneLib的三维服装建模技术研究

使用几何建模法，结合传统的表面建模方法，提出了一种改良的曲面片法，成功地建立了人体模型和服装模型。文章基于SceneLib的函数库，实现曲面片建模，并以计算机图形学的知识，对建立的模型进行有效的控制，为建立服装模型提供了一种新的思路。     

供配电CAD工程图中文本和数据的智能识别与匹配

介绍了一种智能识别算法,通过VB(VBA)语言,实现对工程图中的图形数据和各种标称数据智能识别提取,并与Excel电子表格或数据库进行数据交换,最终实现,智能生成电缆清册等报表。     

基于VB与MATLAB接口实现三维图输出技术

现有的计算机高级语言对于三维图的输出能力相对较弱,而更多的数据采集与测试系统需要输出三维图形,发挥高级语言的编程灵活性和MATLAB语言的强大计算和图形输出功能,提出了一种新的三维图输出方法。该方法用VB将采集数据构成二维数组,通过VB与MATLAB接口实现数据的传递,并在VB中直接调用MATLAB语句实现三维图的绘制与输出。     

计算机辅助纸样设计和裁片自动生成系统

本文描述了一个纸样设计和服装裁剪ＣＡＤ系统及其实现的基本算法。通过对纸样进行参数化设计，该系统可快速得到合体的服装裁片。系统以图形库和参数化图形库为基础，应用包括Ｂｅｚｉｅｒ曲线的线索进行纸样设计。参数组合方便，系统功能齐全，纸样裁片实现数据库管理。实践表明，系统实用有效，算法可靠，可以推广应用。     

基于XML的多媒体信息展示系统设计

系统基于现有主流的NET平台,采用Http协议,当用户将图形图像、音频、视频、动画等多媒体信息上传至WEB服务器后,服务器生成动态可扩展标记语言（XML）文件,客户端零配置,用flash player动态加载XML,实现播客系统一样的多媒体信息展示,较之传统的多媒体信息展示,提高了信息的加载及播放速度。     

消息序列图的范畴论语义描述

消息序列图(MSC)作为一种描述和规范系统部件之间交互行为的图文语言,对实例和消息等元素本身没有相应的描述结构,使得描述功能扩展有诸多限制.为了增强MSC描述的精确性与灵活性,对其进行语义形式化.在原有消息机制的基础上,采用范畴论的数学方法,给出MSC的语义描述结构,并对其结构进行扩展,增强带时间概念的MSC描述功能.     

基于ArcSDE的地理数据入库和实例开发

文中介绍了基于AreSDE的地理数据入库和实例开发的过程。文中选用ArcSDEforOracle进行建库工作,借助ArcSDE空间数据引擎实现了空间数据与属性数据的统一存储,而不需要直接和数据库进行交互,就可以完成地理数据的入库及二次开发工作。整个系统在开发过程中采用的是C／S（客户／服务器）模式,服务器端以相关的地理信息数据详细地介绍了数据入库的过程;客户端采用Visual studi02005＋C#语言开发环境ArcEngine（AE）开发方式进行了实例开发。实现了地理数据入库、查询、浏览和管理等功能。     

基于C／S和B／S混合模式的银行业考试考务管理系统的设计

文章以中国银行业从业人员资格考试考务管理系统为例,描述应用UML进行考务管理系统建模的过程,并对其进行需求分析、总体设计和详细设计,最终采用面向对象的语言设计实现银行业从业人员资格考试考务管理系统。实践表明：本文所设计的考务管理系统开发周期短,系统的稳定性好、安全性高,并具有很强的可维护性和可重用性。