可视化建模语言编辑器的自动生成和配置技术

可视化建模语言是采用图形方式对系统/软件进行描述的语言,可视化建模语言编辑器为其使用提供了工具支持.不同编辑器存在的共性使得可视化语言编辑器自动生成和配置成为可能.基于理论研究和编辑器开发的实践经验,提出了自动生成和配置相结合的可视化建模语言编辑器开发的总体框架以支持编辑器的快速开发,定义了一套支持静态语义的可视化建模语言描述方法RM.RM采用基于规则的形式化描述方法来描述可视化建模语言的语法和编辑器的特性,采用MOF(Meta Object Facility)来描述可视化语言的静态语义.最后,设计实现了可视化建模语言编辑器开发环境Veda,验证了总体框架和描述方法的可行性.      

直升机阵风响应缓和控制律设计

本文提出直升机抑制阵风扰动的最优控制律设计方法。优化性能指标要求在阵风扰动下驾驶员处法向过载、飞机姿态变化、以及控制信号能量损耗最小。最终所综合的系统工程实现简便,只需在直升机姿态控制系统基础上增加垂直升降速率反馈通道即可。为跟踪90年代采用高级语言开发飞控应用软件的总趋势,本文使用C语言对优化控制律进行编程。数模混合仿真表明,控制律优化及数字化实现的效果是令人满意的。     

英语习得与人为目的语环境的创造

"语言习得"与"语言学习"是外语教学理论研究中的两个重要概念,克拉申认为只有"习得"来的语言才能成为流利的口头表达,而"学习"只能起"监查"作用.在"学习"的条件下,通过营造人为目的语习得环境,以用为本,立足实践,学习者同样可以达到习得外语的目标.     

典型轨道环境效应及对在轨卫星影响分析

近年来,各航天大国对空间轨道资源的挖掘与应用不断拓展.超低轨道、椭圆轨道、坟墓轨道、拉格朗日点等,因其在快速重访、定点观测、空间攻防、科学探索等方面的优势,逐步纳入各国防灾减灾、战事快响、导弹预警、空间突防和太阳观测等应用领域.随着卫星在轨经历的空间环境变得更加复杂,空间环境效应引发的卫星故障和异常情况日益突出.本文围...     

由“纯语言”看解构主义翻译观——读本雅明《译者的任务》

通过分析和探讨“纯语言”这一重要概念,评述解构主义翻译观的实质。     

论动机理论对大学英语教学的启示

学习动机是学习者在第二语言习得过程的诸多因素中最具能动性的因素,是推动大学生进行学习活动的动力,直接影响到大学生进行学习活动的积极性。二语习得中的动机理论给我们大学英语教学以重要启示,它将会成为大学英语教学成功与否的关键所在。     

中医色诊客观化系统的开发与初步应用(英文)

研制开发了中医色诊客观化研究专用系统。该系统包括硬件和软件两部分。硬件是一个标准光源环境的图像采集装置,主要由色温为5500K的氙灯、漫反射积分球和高分辨率CCD数码相机组成。软件用于图像处理,处理过程分为3步:首先使用灰度阈值将原始图像进行肤色/非肤色分类,然后通过图像分割和坐标排序定位人脸特征,最后应用形态学技术提取与人体五脏对应的色部区域并且计算区域色度值。使用该系统采集和处理了30例年轻人和53例老年人的样本。实验结果表明年轻人和老年人色部数据有显著性差异。初步应用验证了系统在中医色诊客观化研究中的良好性能。     

AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

CROMEMCO LISP符号微分程序系统

本文说明了符号微分程序系统的一些特征、功能、设计思想和程序设计技术。 该系统是使用人工智能专用语言LISP写成的,并且已经在CROMEMCO系统Ⅲ微型计算机上正确地运行。文中还给出了在该机器上求出的一些复杂函数的符号微分实例。     

航天器测试语言及其运行平台研究

针对测试序列自动执行程度低影响航天器测试效率的问题,提出了一种可控制流程的 高级语言形式的新型航天器测试语言（STL）,并对其语言执行机构进行研究,设计并实现 了基于插件技术的以解释器为核心的集成开发环境——航天器测试语言运行平台。实践表 明航天器测试语言具有较强的通用性与实用性,该语言运行平台能够有效降低航天器地面测 试强度,节约测试成本,提高测试效率。