大学英语网络教学平台之建构

《大学英语课程教学要求》颁布以来,我国一些高校积极探索采用以建构主义学习理论为基础的大学英语网络教学模式,以适应学生朝个性化自主学习方向发展的需求并解决我国大学英语教学中的普遍问题。本文介绍了基于局域网和基于校园网的大学英语教学,探讨了网络英语教学中师生角色的定位。     

基于CBS有限元的流动-传热-变形耦合计算方法

研究了基于CBS有限元法和常规有限元法相结合的流动-传热-变形耦合计算方法。在该方法中,流体流动和传热采用CBS有限元方法计算,固体变形采用常规的有限元方法计算,实现了流体域和固体域统一的有限元网格划分,简化了变形过程中的网格生成和不同网格间的数据交换。然后,依据此方法发展了计算程序,并通过算例分析,校验了计算方法的可行性和程序的计算能力。     

多级安全关系数据模型研究及其改进

讨论了基本的多级安全模型存在的主要缺陷，如推理通道问题。系统的可用性、灵活性受到严格的“向下读，向上写”规则的限制问题．不能保证数据完整性。通过引入多实例和伪元组．并重新定义读写规则．使改进后的模型更具安全性、灵活性和可用性。     

用薄板等积变换方法制造起伏构造的工艺问题研究(英文)

研究了用于夹层壁板的新型轻质芯材的制造问题。该种芯材是一种可改变平面方向的褶皱构造。采用薄板等积变换通过局部弯曲而不拉伸材料的方法制造该种芯材已成为可能。其主要难点在于 ,必须实现沿复杂的展开图上所有的画线同时弯曲。现借助于成形过程中使原来的构形组件变形解决其造型问题。本文提出的工艺方法可用于不同材料的深度起伏构造制造 ,如金属薄板和纸等。     

先进的目视回收光学助降系统纵向着舰精度

先进的目视回收光学助降系统(Advanced visual carrier aircraft recovery system,AVCARS)是在常规的菲涅尔透镜光学助降系统中加入"肉球"偏移速度的指示信息,以提高着舰时的操纵品质和着舰精度.本文研究了AVCARS光学助降系统的工作原理,给出了其结构配置,设计了飞控系统、飞行员模型和助降控制律,并导出着舰终端误差方程.最后对在典型海浪作用下的AVCARS光学助降着舰导引系统进行了动态仿真验证,计算出了着舰终端误差,为研究舰载飞机着舰精度提供了基本思路与研究手段.     

面向NXD的XML数据函数依赖

XML的半结构化特性造成了Native XML 数据库中数据模式规范化设计中的很多问题.采用结构信息和数据信息相结合的方法,给出XML数据间函数依赖的定义,解决数据模式规范化设计中的理论问题.建立了XML模式路径和XML数据树节点路径的定义,描述XML数据中的路径;给出了XML文档有效性的形式化定义;在此基础上定义了树元组和树元组相等的概念.运用树元组及其相等的概念定义了XML数据的函数依赖关系,进而给出了相应的自反、增广、传递推理规则,用于推导给定集合所蕴涵的函数依赖关系.并证明了这一推理规则是正确的.上述工作为Native XML 数据库系统中数据模式的规范化设计提供了一定的理论基础,增强了XML数据的语义特性.     

基于UDDI的应用服务注册中心的设计与实现

Web服务是当前基于Web的分布式计算与应用的关键技术基础.通用描述发现集成协议(UDDI)是Web服务的核心技术标准,提供了Web服务的信息注册查找规范,解决了Web服务的描述、发布以及查找问题.UDDI规范仅提供了标准接口及数据结构,缺乏对UDDI注册中心的安全性、可管理性等明确的定义和实现机制.基于Web服务及UDDI技术分析,设计实现了基于UDDI的应用服务注册中心(ASC).ASC由ASC客户端、ASC服务器、ASC管理控制台组成,支持Web服务的发布、查找、管理等操作.根据实际应用需求,设计并实现了发布者声明关联匹配算法,扩展了UDDI标准的应用编程接口,提供了安全、管理等功能,形成了一个具有较强安全性和易管理性的应用服务注册系统.     

基于设计特征模型的加工特征映射技术

为了实现数控编程过程中能够自动确定加工区域,对基于特征设计系统构建产品模型的方法、产品信息模型、信息模型间的关联关系、飞机结构件加工特征定义分类、设计特征与加工特征间的内在关系进行了深入的研究,提出了基于设计特征模型映射加工特征的方法.该方法通过遍历特征设计树,判断特征间的关系,查询特征组成面信息,从而构建出特征属性邻接图,进而采用基于图匹配的特征识别方法得到加工特征,并提取加工特征信息.该方法压缩了图匹配空间,大大提高了特征识别的速度,应用此方法实现了飞机壁板类零件的特征识别.      

一种计算复合材料层合板面外应力的新型线性分析方法

复合材料层合板壳结构的面外应力对于层间分层的起始和扩展具有重要意义。首先简要地给出了经典的非协调位移有限元列式,然后基于修正的H-R变分原理导出了单元面外应力变量与位移变量的关系。面外应力的有限元线性系统为面外应力边界条件的引入提供了方便。同时,通过该线性系统可直接获得节点上唯一且连续的面外应力结果。与非协调位移有限元的结果比较,本文的方法可明显地提高数值结果的精度,且计算效率及资源要求均优于非协调辛元法和非协调广义混合元法。