模具装配过程的动态模拟及其应用

运用动画模拟软件Solid Works Animator制作了模具装配过程的动画。对于结构比较复杂的模具，实现模其装配过程的动态模拟可以更好地展示模具的内部结构，有助于客户直观感受模具设计模型，从而进一步完善模具设计，而且可以将此动画过程录制成AVI格式动画文件，从而能够在任何基于Windows的媒体播放器中进行播放，同时还可以将此动画应用于多媒体教学当中。     

美国《1990年建筑作品版权保护法》评述

在1990年12月以前,建筑作品是作为绘画、图形和雕塑作品获得版权保护的.但是建筑本身被认为是一种实用物品,因而不受版权的保护.然而在1989年3月1日,美国加入《伯尔尼公约》.为了履行公约义务,美国国会通过了《1990年建筑作品版权保护法》(简称AWCPA),对《1976年版权法》进行了相应的修正,建筑作品作为独立的一类作品受版权法的保护,拓宽了建筑作品的保护范围,对建筑作品侵权的认定标准也发生变化.     

清代大运河之帆船航运

自中国封建王朝定都北京以来,连接北京和杭州的大运河一直作为水上要道发挥着重要作用。特别是在明清两代,大运河作为最重要的漕运通路,承担了江南税粮输送的任务。可以说,从某种意义上看,大运河与北京政权的命运息息相关。但到目前为止,这些承担输送任务的漕船到底如何在大运河上航行的问题,仍然不甚清晰。因此,以清代的档案史料为中心,来分析运河漕船的航行情况。     

浙东运河闸坝控制工程及其技术特征研究

浙东运河是中国大运河的重要组成部分、是内河水运网络与海运联接的纽带。与大运河其他河段相比,浙东运河水系水文、控制工程有其鲜明特点。本文基于水利工程科技史的视角,对浙东运河水系构成及分段特点、浙东运河控制工程分布、闸坝工程型式与功能特征及其原因进行了系统分析,对浙东运河宁波段极具特色的闸坝功能划分特征、闸坝结合的工程型式产生及其技术特点进行了考证、分析,从中国大运河整体视角审视浙东运河水利工程遗产的特点及其科技价值。     

基于功能语境视角下的非物质文化遗产外宣归化异化翻译——以扬州大运河外宣翻译为例

非物质文化遗产的外宣翻译和国家当前提出的"文化走出去战略"不谋而合。归化异化翻译理论更适合于翻译中文化因素的处理已得到了翻译界的认可。文章以扬州大运河非物质文化遗产外宣翻译为研究对象,针对非遗外宣翻译的目的及特点,以功能语境理论为指导方针,以归化异化翻译为手段,来探讨非物质文化遗产的外宣翻译。     

Visual C++对Solid Works二次开发技术及应用

介绍了三维CAD系统Solid Works的特点及其API函数,讨论了对Solid Works进行二次开发的关键技术及系统设计,并通过实例阐述了利用Visual C 工具开发Solid Works动态连接库DLL的步骤和编程方法,这有利于对Solid Works进行本地化和专业化的二次开发工作,使其在我国企业中更有效地发挥作用.     

全球铝轧制工业概览系列综述之十二 法国雷纳铝业公司新布里萨克轧制厂

对法国雷纳铝业公司新布里萨克轧制厂作了全面系统的介绍,并对普基公司的情况简介了一下。雷纳铝业公司是世界第五大铝业公司,是全球生产航空航天硬合金材料的第三大公司。雷纳铝业公司在法国本土有两个板带材轧制厂:新布里萨克轧制厂,专门轧制1×××、3×××、5×××系等民用材料;伊苏瓦尔轧制厂,以生产硬合金板材为主。新布里萨克轧制厂1961年开始建设,1967年投产,1992年对原来的3机架热精连轧生产线改为4机架的,仅用了17天时间,未影响生产。该厂有熔铸、热轧、冷轧、精整、维护等车间。热轧线生产能力450kt/a。     

利用VB在Solid Works环境下开发注射模参数化标准件库

随着CAD技术的发展,CAD软件在模具行业中的使用越来越普及.但同时业内人士对CAD软件的功能要求也越来越高,希望它更专业化和本地化.正是在此期望下针对模具行业的CAD系统的研制和开发就显地格外必要.文章就模具CAD系统中注塑模标准件库模块的建立提出了自己的一些思路.即以Solid Works为开发平台,通过Solid Works提供的API接口和利用VB强大的编程能力,在Solid Works环境下来实现注塑模三维标准件库的建立.为解决模具设计中大量标准件的快速造型提供了有效的途径,提高了模具设计效率.     

基于COSMOS／Works的汽车起重机转台有限元分析

转台是汽车起重机的主要承载件之一,通过分析转台受力情况,建立力学模型,应用COSMOS／Works对转台结构进行有限元分析,其分析结果对汽车起重机设计具有重要指导意义。     

Mechanising a formal model of flash memory

We present second steps in the construction of formal models of NAND flash memory, based on a recently emerged open standard for such devices. The model is intended as a key part of a pilot project to develop a verified file store system based on flash memory. The project was proposed by Joshi and Holzmann as a contribution to the Grand Challenge in Verified Software, and involves constructing a highly assured flash file store for use in space-flight missions. The model is at a level of abstraction that captures the internal architecture of NAND flash devices. In this paper, we focus on mechanising the state model and its initialisation operation, where most of the conceptual complexity resides.