Geometric structures of frames of reference and natural language semantics

This article aims at formal specifications of reference systems in spatial cognition. It concentrates on two roles of reference systems connected to spatial language: reference systems resolving ambiguities and reference systems forming a basis for the classification of linguistic terms. Although coordinate systems are often seen as candidates for the geometric structure of reference systems, it is shown here that they do not appear in the explanations that go into the details. An analysis of the German terms vor, hinter, rechts and links (in front of, in back of, right, left) presents an alternative model for the geometric structure of spatial reference systems.     

BZ9真空环境模拟器的全过程自动控制设计

文章着重介绍了BZ9设备的自动控制软件的设计思想、方法,可视化高级语言Visual Basic 6.0的应用技巧和实践过程     

关于外语专业数学教学的调查实践与思考

从当前高等教育研究中的学科交叉、文理渗透这一背景出发，介绍了对国内部分院校外语类专业数学教学情况的调查分析与作者在这方面的教学实践。针对人文专业数学教学的特点，就如何有效、合理地开展教学进行了思考。     

星载SAR图像斑点抑制与质量评估系统

结合星载合成孔径雷达(SAR)单视图像斑点噪声抑制技术与质量评估,并基于为科学数据可视化及数学分析提供完备计算环境的IDL(Interactive Data Language)语言,完成了在IDL环境下开发的SAR图像斑点抑制与质量评估系统,获得了高空间分辨率和高辐射分辨率的星载SAR图像.      

JCVM解析优化设计与实现

针对传统的JCVM(Java Card Virtual Machine)解析过程复杂、指令执行速度慢的问题,依照JCVM特殊的卡内、卡外虚拟机相结合的设计思想,提出了分离式的解析优化方案;分别建立了卡外执行的静态绑定解析过程和卡内执行的动态绑定解析过程,并构建了用于传递中间结果的伪指令集.性能测试结果表明,该方法减少了卡内代码量,缩短了指令执行时间,提高了JCVM的整体性能.      

基于嵌入式汇编角位移变换器的设计

为满足飞行器舵机轴角位移信号测量、变换及数字传输，研制了一种嵌入式汇编角位移变换器。该变换器可接收中心程序指令，启动单片机微控制器，按照时序要求采集角位移传感器的输出信号，经过信号处理后进行数字化传输。通过产品研制，提高了产品的线性度，使这一重要性能指标达到0.05%，优于飞行器系统0.14%的使用要求。     

高职Java程序设计课程“做中学,做中教”教学模式研究

将＂做中学,做中教＂的教育模式应用到高职计算机应用专业的《Java程序设计》课程中,对传统计算机教学方法进行变革。通过学习实践的证明,这种创新的教学模式,对提高学生的计算机实际动手操作能力和创新能力大有帮助,让学生通过自主学习来构建知识体系,促进学生的全面发展,为高职学校的计算机专业的教学的变革和发展提供了有力的现实依据和参考。     

基于SysML的反推力系统安全性分析

通过应用系统工程建模工具SysML(系统建模语言),对反推力系统的使用场景进行建模,分别建立起反推力系统的用例图和顺序图模型.在使用场景模型的基础上,进一步应用HAZOP(危险和可操作性)分析方法对使用场景进行危险分析,得到了反推力系统在使用中可能存在的危险状态,并提出了相应的安全性要求.此方法应用表明,综合SysML...     

语言处理的基本运算集

从属性和实体两个角度对语言处理中的基本运算进行了分类研究,系统定义了两级基本运算集:属性派生运算集、实体转化运算集.这些研究增强了语言处理的可计算性,有助于建立更经济的知识处理模式、更通用的信息描述机制.