首页 > 文章中心 > 信件结束语

信件结束语范文精选

开篇:润墨网以专业的文秘视角,为您筛选了十篇范文,如需获取更多写作素材,在线客服老师一对一协助。欢迎您的阅读与分享!

基于RDF/XML的装配语义建模研究

摘要:为解决异构CAD系统集成及协同装配设计过程中的信息共享问题,在分析装配特征语义信息的基础上,提出了面向协同设计的三元装配语义模型,提出采用RDF/XML表达装配语义元模型,并讨论了基于XML的数据集成关键技术。在文章的最后通过具体的CAD系统实现协同设计过程实例,验证了该模型及实现方法的有效性和可行性。

关键词:协同装配设计;信息共享;装配语义模型;可扩展标记语言

0 引言

CSCW(计算机支持的协同工作)通过提供共享资源的访问接口,支持群体成员在共享环境下协同工作完成同一设计任务。其底层支撑技术为计算机技术、多媒体技术和网络通信技术。协同装配设计是协同设计研究的重要内容,它支持异地团队在共享工作空间进行零部件的协同装配活动。这里装配设计信息的共享是关键。

为了解决异构CAD之间以及CAD与CAM、CAPP等系统间产品模型信息的数据交换,先后出现了很多种中性数据交换格式,如IGES、PDES、STEP等。协同环境下的数据共享采用STEP标准是一种理想的办法。在Web领域为解决异地数据共享产生了XML标准,很多学者将XML标准应用到CAD领域。张帆等提出XML的可重构装配模型,将装配结构数据序列化为XML文件,通过XML节点重构来支持装配模型的重构,但没有将装配结构与约束关系分离,因此难于支持协同设计过程。Chen.Li等建立了基于ACIS的协同装配设计系统,服务器端装配模型采用STEP标准,客户端采用面片模型,并且在设计过程中建立一系列协同规则,以协调、同步用户操作,但面片模型无法支持协同装配特征设计,用户也无法对约束关系进行编辑。

本文在协同装配设计环境下,对装配体的数据结构进行了分析,并定义了装配语义,建立了一个基于RDF/XML协同装配设计模型,详细讨论了协同装配设计模型的语义映射方式。最后在具体的CAD系统上建立了原型系统,验证了该方法的可行性,为实现协同装配设计奠定了基础。

1 装配特征语义建模

1.1 装配特征模型

全文阅读

鉴于ACAD给排水制图过程

摘要:目前,专业给排水设计软件包很多,但在具体使用过程中,会遇到设计习惯不同、使用烦琐等问题。笔者在AUTOCAD平台上,用LISP语言编写了一系列程序,大大简化了设计、制图,并且提高了出图效率和设计的准确性。

关键词:计算机绘图程序给排水设计

目前,几乎所有的设计院都配备了给排水设计软件包,但是设计人员在使用软件过程中,常常会遇到诸多不便之处。如建筑外框不认,初始化数据输入不直观,数据输入不当时出错,修改不便等等。设计人员或是用鼠标,或是用AutoCAD“硬画”。这种方式出图效率很低,而且图面质量难以保证。

1程序设计目的

针对上述软件包使用不便或适应性不强等问题,笔者几年来在这一方面做了一些探索,用AutoLisp成功地开发一套比较完善且易学实用的系列化小程序。此程序的特点在于遵循传统绘图习惯,进行平面化设计的思路,按照传统绘图方式,灵活运用各个程序段,加强人机对话,力求机器的自动生成。

2主要程序介绍

本程序组中包含程序段40余条,分为工具类与专业类,其中主要程序段有:

TK•LSP&TK•DCL:图库管理程序。

全文阅读

基于UML描述的软件体系结构研究

摘要:软件体系结构是软件开发过程中的关键制品,体现了软件设计的早期决策,决定了软件的质量属性,

也制约了软件开发项目的组织结构。本文分析了软件体系结构的关键概念、组成及其描述方面的研究工作,根据统一建模语言(UML)的扩展机制,将软件体系结构与当前主流的面向对象软件开发方法相结合,并根据软件体系结构的核心模型,形式化的描述了软件体系机构。

关键字:软件体系结构描述工具统一建模语言核心模型

中图分类号:TP31文献标识码:A

1引言

软件体系结构以部件和连接作为基本的建模实体,对部件和连接提供了多重接口,可以描述部件间丰富的交互语义,较好地支持软件系统一级的重用及软件的某些特性分析。当前软件体系结构的描述方法主要用ADL等,这些方法不仅难以被开发人员理解,并且目前没有应用于工业界。如果将软件体系结构与面向对象的开发方法统一起来,则一方面可以在软件开发的设计阶段分析软件的某些特性,重用软件的整个组织结构,另一方面又可以利用面向对象方法的支持工具。统一建模语言(UML)是当前主流的面向对象软件开发方法,它引入了形式化定义(对象约束语言OCL)有利于描述软件体系结构,同时又具有很好的扩充机制、众多的工具支持、与具体程序设计语言和开发过程无关等特点。本文选择UML作为描述软件体系结构的基础,利用UML的半形式化特性(OCL)和嵌入的扩充机制描述了软件体系结构核心模型。

2UML元建模及其可扩展机制

2.1UML元建模简介

全文阅读

一种基于UVM的数字波束形成器模块级验证方法

摘 要:本文介绍一种基于UVM验证方法的相控阵雷达数字波束形成模块(DBF)的验证平台及其实现方法。该方法利用DPI接口在激励产生器模块(sequence)中构建c函数模型,实现通道数据,加权系数,校正系数以及波束指向系数的复数运算,并完成浮点数到定点数的转换,激励到DBF模块中。同时,平台会自动采集经DBF模块运算后的波束信息,并与参考模型进行自动化的结果比对,比对正确的结果会由定点数转换为浮点数后写入文件以供后续处理。

关键词: 数字波束形成;UVM;仿真验证;验证方法学

DOI:10.16640/ki.37-1222/t.2017.14.264

1 引言

数字波束形成(DBF) 一直是相控阵雷达的关键技术,传统的数字波束形成器设计流程在选定FPGA 器件后,先进行硬件描述语言的设计输入,简单仿真后就综合出网表并下载到目标板进行调试。仿真验证一般不会作为主要的保证设计质量的手段,也不会使用任何验证方法学。但是伴随DBF系统规模以及设计复杂度的提高,仅靠后期板上调试会浪费大量时间,并且难于定位逻辑错误,所以仿真验证在数字波束形成器模块的设计流程中的重要性逐渐提高,并且倾向使用芯片验证中用到的方法学。

2 DBF基本原理

DBF采用数字处理方法,对于某一方向入射信号,补偿由于传感器在空间位置不同而引起的传播路程差导致的相位差,实现同相叠加,从而实现该方向的最大能量接收,完成该方向上波束形成,主要完成下列运算:

(1)

全文阅读

零件语义关系几何模型及其基因编码

摘 要:为完整描述零件信息,通过分析零件的静态特征构成,定义拉伸和旋转等6种特征操作算子;研究特征间的动态语义关系,得出“和约束特征”和“并约束特征”两种合理性约束特征;将两者有机结合,实现静态特征间的动态语义连接,建立基于特征造型技术的零件语义关系几何模型(Part Semantic Relationship Geometry Model,PSRGM). 根据模型树的动态生成过程以及特征编码结构,完成特征基因编码,实现零件特征序列的DNA编码. 以曲轴为例,说明该方法的应用.

关键词:

语义关系; 几何模型; 特征; 特征约束; 特征操作算子; 编码结构; 基因编码

中图分类号:TP391.72;TH164文献标志码:A

0 引 言

传统几何造型技术促进CAD/CAM技术的发展,可成功解决一些工程问题,但它仅从几何角度定义零件模型,使零件信息定义不完整.特征造型[1]技术能完整描述信息,为CAD/CAM系统提供完备的、多层次的产品信息,能在无人干预的条件下为设计、分析和制造所接受,且能在各应用子系统间自动变换,使CAD/CAM在系统中有很好的基础.

特征模型是产品建模技术的高级阶段,基于特征技术的产品模型很多.基于特征的参数化实体模型,可以指定尺寸与实体的关系,通过改变尺寸来改变零件形状,具有工程对应性,为设计师提供极大的灵活性与便利[2];基于特征的零件信息模型,涵盖进行工艺设计所需的零件设计和工艺等信息,要求信息描述和计算机处理方式与企业制造资源、生产现状相适应,对提高CAPP系统的质量和效率具有决定性影响.但上述模型都不能体现零件的动态生成过程,也缺乏对特征之间动态语义连接关系的描述.本文建立基于特征技术的零件语义关系几何模型,并在此基础上实现零件的特征基因编码.[3]

1 零件语义关系几何模型的建立

全文阅读

基于Web的实验管理信息系统

(淮阴工学院 计算机工程系,江苏 淮安 223001)

摘要:本文讨论了WEB环境下实验管理信息系统的体系结构、系统功能、数据库设计以及系统的实现技术。

关键词:实验管理信息系统;数据库;COM+;数据完整性

中图分类号:TP391文献标识码:A文章编号:1009-3044(2008)08-10ppp-0c

1 引言

理工科高校实验教育是培养学生工程实践能力的重要环节,它的显著特征是将实践知识与理论知识有机地联系在一起,并借助于一定的实验手段来培养学生的技术应用能力和工程观念。传统的实验课程需要教师完成安排实验任务、评阅文件、收集和批改实验报告等工作。通常以口头和书面的方式进行,已经越来越不能适应现代教学的需求。

随着网络技术、计算机技术的进步,建立完备的实验管理手段成为可能。我们可以通过网络共享远程实验资源和信息,方便地安排学生进行实验,不受时间与空间的限制。这样不仅可以大大地简化了实验教学的过程,还能将教师从繁重的实验管理工作中解脱出来,从而提高实验管理的水平。

2 系统的体系结构

全文阅读

基于语音识别的地震现场对讲通信技术优化研究

摘要:时下,地震应急救援时使用对讲机通话是必不可少的通信方式。但救援人员通话时,必然要用手按住PTT才行,这就影响救援人员工作时便利性。基于此,研究采用最新数字运算处理技术以及编入了只识别人类声音的算法,使得外界声音和冲击等不被识别。当救援人员讲话时,自动识别产生PTT,就可以实现通话。救援人员的双手给彻底解放出来,讲话时对讲机自动发射,这对于通信方法优化,对于提高救援效率,都是有重大益处的。

关键词:PTT;语音识别;通信

中图分类号:TP391 文献标识码:A

Earthquake site intercom communication optimization technology based on speech recognition

XU Nian, LI Wei, CHENG Fei

(Earthquake Administration of Jiangsu Province,Nanjing 210014,China)

Abstract: Nowadays, using walkie-talkie call is an essential method of communication when the earthquake emergency rescue. But when rescue workers call, it is necessary to press PTT by hand,which could influence the work convenience of rescue workers. Based on this, the paper uses the latest digital processing technology and the incorporated algorithm to identify only the human voice,so that the outside sound and shock are not recognized. After that, for the rescue workers in the state of speech, automatic identification could be gotten to produce PTT, and the call could be achieved. Hands of rescue personnel are completely liberated, and intercom speech are automatically launched. It is concluded that the proposed optimization communication method could improve the efficiency of the rescue,therefore gain significant benefits.

Keywords: PTT;speech recognition;communication

全文阅读

公共信息模型的本体解析与校验

摘 要:针对现在电力信息系统中CIM版本更新以及私有拓展导致的模型不一致的问题,提出一个基于Java基础包的公共信息模型本体的解析算法以及特定要求下的校验方法,其中包括解析CIM模型,并重构成Java模型并且完成电力系统所需要的功能校验,实验结果证明整个解析以及模型重构过程能准确而快速得完成,校验过程能准确得将模型中的不匹配信息提取并反馈给用户。

关键词:本体模型解析;模型重构;全模型构建;RDF解析;功能校验

中图分类号:TP391.9

0 引言

标准开放的电力系统信息模型是实现应用集成的基础。IEC61968/IEC61970标准中的公共信息模型(CIM)不仅描述了不同电力应用之间需要交换信息的语义,还为数据交换和利用提供了最大的灵活性和可扩展性[1]。随着城市配电网规模的扩大,电力企业应用增加,应用系统间存在大量信息交换,如何实现业务信息的无缝集成,即已成为电力企业信息化过程中的热点问题。然而在实际应用中,可能遇到以下2个问题:一是公共信息模型(CIM)随着应用的需求不断进化,版本更新频繁,各厂家的产品在版本上不易保持同步,造成模型语义的差异;二是不同应用或不同企业之间可能需要根据内部需求,对CIM进行相应的扩展,那么私有扩展模型可能导致应用间的语义难以辨识。这2个问题可归结为信息模型不匹配,及模型语义缺乏一致性[2]。要实现各个组件或产品间的信息共享或者交互,模型的一致性是重要的前提,模型的版本或者模型定义不同可能会带来数据交互失败以及信息提取错误等问题,因此进行公共信息模型的校验是比较必要的[1]-[2]。

目前国内外正在使用的重点常见本体解析工具包可给出如下阐释描述。

1) Jena解析工具包。时下,国外公司通过OWL解析包Jena制作了一个用于CIM模型解析以及校验的工具,可以完成特定版本CIM模型的解析和校验。但是由于CIM模型更新快速,以致于由Jena构建的解析工具整体滞后CIM的更新速度,即使得最新的CIM模型有效实现优质解析及校验,已有研究指出该解析校验工具在电力系统的使用将存在重大的局限性[3]。

2) Protégé OWL API工具包。 Protégé是一种树形式的本体编辑方式,能够允许本体模型操作人员在创建或解析相应视图时维护概念、关系与属性的树状层次结构,通过本体模型的树状层次结构对本体模型所包含的信息进行解析。只是这种方式要更加侧重于如下人群,也就是:对于本体模型的结构以及语义具有清晰理解的专业人员适宜使用。

全文阅读

在FPGA中实现波束形成算法

摘要:本文以在LATTICE公司的EDA环境下对波束形成的算法整个设计为例,对使用VHDL设计FPGA的流程作了全面的介绍。

关键词:EDA、现场可编程逻辑陈列(FPGA)、硬件描述语言(VHDL)、PLD(可编辑逻辑器件)、ASIC

1、引言

随着EDA技术的高速发展,现场可编程门阵列器件(FPGA)及可编辑逻辑器件(PLD)的出现,给工程设计人员带来了极大的方便,大大缩短了产品的研发周期。而VHDL而作为一种新型硬件描述语言与其他传统集成电路描述语言相比,具有明显优势。功能强大,描述力强。可用于门级、电路级甚至系统级的描述、仿真和设计。这样设计师将在自上而下设计的全过程中均可方便地使用同一种语言。而且,对设计的描述具有相对独立性,语言标准、规范,可移植性较好。因此,VHDL设计技术对可编程专用集成电路(ASIC)的发展起着极为重要的作用。

本文以在LATTICE公司的EDA环境下对波束形成的算法整个设计为例,对用FPGA实现波束形成算法过程作了全面的介绍。

2、波束形成的算法简介

2.1 数字波束形成的基本算法

波束形成的基本算法用下述公式加以说明。例中,基阵为一个基元数为N的圆形阵,N个基元用相连的Jp个基元输出信号X(j+k)modN(n),(j=0,1,…,Jp-1),形成一个宽带波束输出Bk(n) :

全文阅读

英语社交信函写作技巧大揭秘

摘要:社交信函是人们在生活和工作中经常使用的社交方式,随着商务活动的国际化发展,英语的社交信函使用得也愈加频繁。本文对各类英语社交信函进行了深度剖析,详细介绍了英语社交信函的写作技巧,希望对各位能有所帮助。

关键词:英语;社交信函;写作技巧

中图分类号:G712 文献标志码:A 文章编号:1674-9324(2013)35-0276-02

社交信函是人们在生活和工作中经常使用的沟通方式,它所包含的范围非常广泛,有祝贺信、邀请信、感谢信、投诉信和道歉信等等。从形式上看,社交信函可分为正式信函和非正式信函两种。通常在正式场合使用的都是正式信函,它具有结构完整、内容精确等特点。而在非正式场合进行书信往来时,通常使用的都是非正式信函,它的格式可根据具体情况进行适当省略,并具有重点突出、简洁明了的特点。下面笔者就从信函的构成、格式、内容等方面对上述几种信函进行介绍。

一、信函的构成

传统信函包含以下部分,即信封、信头、信内地址、收信人称呼、信函正文、结束敬语、署名和附件。

二、信函的格式

社交信函的格式跟信件的格式是一致的。

全文阅读