产品与技术

CAXA创新设计系列软件隆重上市CAXA于9月末推出的CAXA创新设计系列软件,月中旬将陆续向市场供货。此次推出的新品包括:CAXA实体设计XP、CAXA三维图板XP、CAXA电子图板XP以及CAXA协同管理XP。CAXA实体设计XP是三维创新设计的 CAD工具,集成零件设计、装配设计、饭金设计、产品真实效果模拟和动画仿真等功能,完全超越了传统CAD造型方法的束缚,将三维设计变得像搭积     

光盘导读

一、 商用软件SolidWorks试用版（单张光盘）SolidWorks是著名的三维CAD设计软件,功能非常强大,很容易上手使用,本套光盘中提供的软件,没有时间限制,可进行草图和建模设计。Solid Edge Origin（单张光盘）Solid Edge 也是一套三维CAD设计软件,功能强大。本套光盘中提供的软件可进行草图和建模设计。1. 开目CAD教学版这个版本没有时间、存盘限制,可以全面使用其二维制图功能。2. 金银花MDA99金银花MDA99是一套三维CAD软件,全功能试用。3. CAXA三维电子图板2000CAXA三维电子图板2000与MDA99一样是一套国产的三维CAD…     

《CAD习题集》

本习题集由北京菁华锐航科技有限公司组织院校教师和企业专家编写,内容包括草图、零件建模、曲线与曲面、钣金与焊接、设计控制、装配等方面。案例精选自院校教学和企业工程实践,覆盖诸多行业,充分体现三维CAD软件的功能特点。适合各类三维CAD软件（如SolidWorks、Pro／E、UGNX、CAXA、Inventor等）的教学和培训。     

捷惠CAD

捷惠CAD软件系统是完全采用面向对象技术,自主版权开发的集二维工程设计绘图、三维实体特征造型的大型CAD软件系统,包括两个相互独立又相互集成的软件系统组成.一是捷惠CAD2000,主要应用于机械、电气设计的二维工程绘图;二是捷惠三维设计软件系统-JHSolid,提供一个完全基于实体特征的,具有产品级的三维零件设计、装配设计、钣金设计和工程图设计环境.     

一种基于八叉树的三维实体内部可视化技术

鉴于传统的图形学-面图形学只能表达三维实体的表面的形状和属性，不能表达实体内部的属性，如纹理、密度场以及温度场等，因而在计算机图形学、CAD以及有限元分析等许多领域都需要一种新的可视化技术-三维实体的可视化技术，以表达实体内部的属性；三维实体的可视化技术是新兴的图形学-体图形学的一个重要组成部分，为了实现三维实体的可视化，针对CAD造型系统中的实际要求，根据体图形学的理论和八叉树的特点，提出了一种基于八叉树的实体内部可视化技术，该技术采用八叉树算法对边界数据结构表达的实体进行体元化。由于实体内部属性变化的不均匀，算法采用了不规则体元，以充分表达实体内部的细节，实际应用效果表明，该算法不但能充分表达实体内部属性，而且也具有一定的造型功能。     

计算机图形学与应用软件教学思考

计算机图形学是利用一种数学算法将二维或三维图形转化为计算机显示器的栅格的科学。它是图形设计和用户界面设计等多个应用领域的基础,文中对计算机图形学与计算机辅助设计应用软件教学相结合进行探讨,从教学和实践中寻求软件的共通性。这对计算机应用软件教学的研究具有重要意义。     

三维CAD支撑软件及其关键技术

[编者按]随着国内二维CAD软件应用的普及，众多用户已日益关注三维CAD软件。如何评价一个三维CAD支撑软件所具备的功能，怎样正确看待二，三维CAD支撑软件的关系，成为当前CAD应用中的一个迫切问题。本次专题组织的两篇文章对上述问题作了论述，希望有助于共同研讨。《三维CAD支撑软件及其关键技术》一文分析了三维CAD支撑软件所应具备的基本功能的依据或造型的出发点。《基于三维模型的二、三维一体化设计》一文指出了基于三维模型的二、三维一体化设计是面向工程应用的CAD系统的发展方向、论述了视图变换、离散线段拟合、二三维…     

计算机图形学的应用及研究前沿

计算机图形学是一门研究计算机图形原理、方法和技术,使用数学算法将二维或三维图形转化为计算机显示器的栅格形式的学科.目前,计算机图形学的应用已经深入到真实感图形、科学计算可视化、虚拟环境、多媒体技术、计算机动画、计算机辅助工程制图等领域.经过30多年的发展,计算机图形学已成为计算机科学中最为活跃的分支之一,并得到广泛的应用.本文将介绍计算机图形学的研究内容、发展历史、应用和图形学前沿的方向.     

市场·软件天地

CAXA电子图板 类型:设计开发工具 是一套适用于通用绘图和设计的CAD软件,适合于机械设计,电器设计、建筑设计、平面包装设计等所有需要二维绘图的场合,是一种高效方便智能化的设计绘图软件。直接运行在Windows操作系统之上,采用图标和中文界面,可利用Windows提供的扩充字库和中文输入法,具有自主版权,软件提供的图标、图库、文字标注、工程标注全部采用最新国标设计并通过标准化审查。技工学校在讲授《机械制图》课时,将CAXA电子图板作为上机练习的指定软件,“全国制图民职业资格培训”项目(中专)已将CAXA电子图板作为全国技工考级唯一指定软件和教材。     

2MCL压缩机3D敏捷设计系统

随着三维CAD软件的日趋成熟和不断发展,越来越多的企业开始在产品的设计中应用三维CAD软件.2MCL系列压缩机是沈阳鼓风机集团的重要产品之一,由于采用传统的二维CAD软件的设计方法,使得设计效率低下,这就迫切需要新的设计工具和设计方法.     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Models and Complexity of Problems of Design and Reconstruction of Telecommunication and Transport Systems

This article considers network synthesis problems arising in the design and exploitation of telecommunication and transportation systems. A formalization of network synthesis problems on graphs is proposed in which constraints on cut capacities are given and possibilities of failing some network components are taken into account. Approaches to the solution and analysis of the complexity of the considered problems are described.     

Teamcenter与NX集成客户化定制技术研究与实现

PDM产品实施过程中一项重要工作是系统集成与客户化定制。对Teamcenter Engineering(简称Teamcenter)与NX系统集成客户化定制中业务建模、属性映射等相关技术进行了研究,提出了Teamcenter与NX集成客户化定制的技术思路,并以客户化定制NX工程图纸标题栏为例,介绍了Teamcenter与NX集成定制实现的关键步骤及方法。     

椭圆拉伸变形长短轴的计算及应用

在CAD应用软件程序编制中,椭圆的长短轴是很重要的参数。应用相关数学知识推导出6个计算公式,可利用这些公式确定椭圆沿坐标轴拉伸变形后的长短轴大小与位置并在CAD软件中实现与之相关的功能。     

IPSEC与防火墙协同工作设计与实现

IPSEC提供网络层的安全服务，通过对IP报文的加密和验证，保证数据在传输过程中的安全．由于IPSEC封装了报文中一些重要信息，使得IPSEC与防火墙不能同时有效地工作．本文提出一种分层IPSEC(Layered IP Security，L_IPSEC)思想，即将协议头和数据部分分别进行安全处理．并将这种分层思想与分布式处理技术结合，设计与实现一种IPSEC与防火墙协同工作方案．     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通。文中首先介绍了互通的种类和方案，并重点讲述了智能网和软交换互通过程中模型的重要部分——软交换侧的SSP。在此基础上，提出了智能网和软交换互通的实现方案，并且以智能用的典型业务FPH为例简明分析了方案，对利用业务服务器实现软交换中的智能业务进行了插述和分析。     

Kohonen与Madaline用于解析重叠光谱测定钨和钼

首先应用Kohonen网络对钨、钼的混合吸收光谱进行波长选择，在全光谱中优选最能代表光谱特征的波长，被选波长处吸光度作为Madaline网络的输入，设定输出目标函数为G（λ）＝∑Aiexp[-4(ln20）(λ-t）^2/2]，进行解析重叠光谱，同时测定了钨和钼，该法利用特征光谱代表全谱进行光谱解析，减少了解析光谱中大量的数据。     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通.文中首先介绍了互通的种类和方案,并重点讲述了智能网和软交换互通过程中模型的重要部分--软交换侧的SSP.在此基础上,提出了智能网和软交换互通的实现方案,并且以智能网的典型业务FPH为例简明分析了方案,对利用业务服务器实现软交换中的智能业务进行了描述和分析.     

Binary perfect and extended perfect codes of lengths 15 and 16 and of ranks 13 and 14

Inaccuracies in computations in the paper of the authors on classification of perfect binary codes of lengths 15 and 16 and of rank 13 are fixed. An explicit construction of all extended perfect codes of length 16 and rank 13 with a given kernel size is presented. Perfect binary codes of length 15 and rank 14 obtained by the general doubling construction are classified.