二坐标交互式图形数控程序自动编程系统研究

 本文探讨了如何将交互式图形理论同二坐标数控程序的编制集成为一体,并发展了自动编程的软件包AUTOP。 研究表明,用交互式图形进行二维数控程序编制,具有良好的透明性和用户界面;应用动态仿真算法,具有形象,快速和准确的优点;在二坐标方面,可以用交互式图形数控程序自动编程系统来取代APT语言。     

平台式惯导系统初始对准及导航的软件设计

方位锁定小转角对准法是近年来提出的一种新的平台式惯导系统初始对准法。除限于实验设备等因素外,还由于采用汇编语言编制惯导系统软件是一项极为繁琐的工作,需要花费大量的时间和精力;因此,在此之前,本方案和很多其它方案一样,所能做的仅仅是数学仿真。本文的目的就是通过对这种初始对准方法进行软件设计与研究,力求编制一     

基于MATLAB的CAI课件的开发与设计

设计了一套控制系统计算机辅助教学软件 ,给出了其设计思想和设计方法。该软件是利用MATLAB语言开发制作的 ,它概括了自动控制理论、过程控制、系统仿真和智能控制等课程内容 ,是一种较为实用的计算机辅助教学软件。     

优化Java程序访问数据库的效率

分析了Java应用程序管理数据库的底层机制。从如何选择JDBC驱动程序和为什么要使用连接池两方面,分析了对Java程序数据库访问效率的优化方法。     

Common Lisp语言在Prolog／Lisp协处理器板上的实现

首先对Common Lisp语言和Prolog/Lisp(简称PLC)协处理器板的特点作一介绍,然后介绍了common Lisp在PLC上的数据表示、运行机制以及面向Common Lisp语言的指令集的设计,最后给出了PLC板在硬件设计上对CommonLisp语言的一些关键操作的硬件支持手段。模拟运行结果表明:PLC体系结构设计、指令集设计是合理的,其运行速度达到了设计要求。     

UML在软件可靠性测试数据自动生成中的运用

为了自动生成实时嵌入式软件的可靠性测试数据,利用UML(统一建模语言)提供的建模机 制,从软件可靠性测试的角度建立use-case剖面、接口模型和测试数据实现模型,然后根 据 这些模型的描述进行随机抽样,自动生成可靠性测试数据.利用该方法能够开发出相应的测 试数据自动生成工具,在软件可靠性测试领域有着较大的实用价值.     

高级语言在数字飞行控制系统中的应用

为跟踪90年代由高级语言开发飞控实时软件的总趋势,本文综述了高级语言在飞控中应用前景;归纳了编译器效率指标、编译器与目标计算机、软件生产率等问题。还简要地以C语言开发某直升机数字飞行控制系统为例,对高级语言开发实时飞控软件作了初步探讨,叙述了方法步骤,仿真验证手段及其结论。     

Rhetorical shadows: The conceptual representation of incongruent shadows

ABSTRACT

This article addresses the topic of conceptual representation of shadows. We analyze several examples of contemporary imagery, taken from advertising and cartooning, to shed light on the way shadow depictions are used as rhetorical devices. Instead of being inserted as a natural phenomenon, rhetorical shadows invite the construction of meaning, and instead of being a mere natural companion of their casters, they reveal things about their casters. Three so-called “shadow incongruity types” are distinguished: (1) shadows revealing the “true nature” of their caster or the “hidden contents” of the caster’s mind; (2) shadows marking some transition their caster is involved in; and (3) shadows suggesting a certain quality attached to one of a shadow’s main ingredients (casting object, light source or surface). For each of these types of rhetorical shadows, we demonstrate that the way they convey meaning basically follows the principles of perceiving and understanding natural shadows.     

1553B多功能RT IP核的设计与实现

介绍了采用一种自主研发多功能IP核实现总线全地址响应的设计方案,其可在FPGA中灵活配置,配备外围电路后可以方便实现各种功能.设计采用VHDL硬件描述语言进行编程,采用综合工具ISE Foundation对设计进行综合、优化,在ModelSim - SE 6.1g中进行时序仿真,并且最后在FPGA上实现.     

航天器控制高级语言的设计与实现

针对航天测控任务中存在的卫星控制人员手工操作多、任务准备周期长、自动化水平低等问题,在分析航天器控制流程的基础上,抽象出面向卫星控制人员的航天器控制高级语言,设计语言规范,描述Windows平台的编辑、编译、运行功能的设计与实现。该语言成功应用于某中心的卫星测控任务中,任务准备快速高效,大大减轻了卫星控制人员的工作量,任务过程自动执行,无需人工干预,提高了航天器控制过程的自动化水平。