时间频率设备自动监控系统的设计与实现CSCD

针对时间频率实验室设备实时监控的需求,在Microsoft NET平台上结合C++语言和Microsoft SQL server数据库技术,构建了时间频率设备自动监控系统。该系统可以实时监测设备的运行状态,并远程设置相关参数,在设备运行异常时,系统可自动弹出报警信息。实际应用表明系统具有较好的实用性、可维护性,为时间频率实验室的有序运行提供了保障。     

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10...     

实时数据库的主动机制研究与实现

主动机制是实时数据库管理系统（ＤＢＭＳ）的一个重要功能。在主动机制的基础上,实时ＤＢＭＳ能够根据数据库中某些数据及环境的变化,主动地作出一定的反应,执行预先设计的动作,而不仅仅是被动地执行用户的命令。文中主要介绍一个实时ＤＢＭＳ的主动子系统,采用事件－条件－动作的规则来实现其主动功能;讨论了规则的表示和存储结构,规则子系统的系统结构及与ＤＢＭＳ的联系;并详细介绍了条件评价器、规则检索优化、规则冲突     

人工智能产生式系统的分析(上)

产生式系统是一种问题求解系统,可用于人工智能的各个领域。本文从理论上详细地分析了产生式系统的三个重要组成部分,即一个综合数据库,一组产生式规则和一个控制系统;讨论了属于不同领域若干例题,如华容道游戏、皇后问题、机器人的积木世界、求最短路径问题,以及古老的梵塔问题。文章还附有用LISP语言编写的程序和在Cromemco系统Ⅲ计算机上求出的结果。     

跨声速翼型风洞数据库管理系统

本文主要介绍在西北工业大学跨声速翼型风洞(TAWX)中的PC/XT微机上,采用数据库管理软件 C-dBAsE Ⅲ,对该风洞翼型实验数据、计算数据,几何数据和应用程序进行系统化管理的方法。文中着重说明了使用的情况,并针对该风洞的性能、特点,简单描述了所用数据库的结构框图,在此基础上较详细地叙述了实现风洞实验数据共享和存贮的具体过程,其中也涉及到了数据库的管理和维护措施。从文中可领略到使用数据库的好处和必要性。该数据库的建立和开发应用,解决了长期以来实验数据零散、管理困难、使用不便、资源无法共享等问题,提高了工作效率,为实现风洞-计算机一体化的宏伟目标迈出了第一步。     

《航空动力学报》征稿简则

《航空动力学报》是中国航空学会主办、北京航空航天大学承办的学术性期刊(月刊)。本刊坚持"创新性、实用性、科学性"的编辑方针,主要刊登航空航天发动机的原理与设计、气动热力学、叶轮机械、燃烧学、传热传质、强度与振动、自动控制、机械传动、实验技术以及热动力工程等方面的最新科技成果。     

基于ANSYS的模态分析二次开发及应用

在充分利用 ANSYS 模态分析功能的基础上,结合大量振动台用夹具模态分析的科研课题和实际分析经验,提出编程开发程序以自动生成 ANSYS 宏代码并将宏封装的新思路以及采用数据库管理结果文件的办法。实现了分析过程模块化自动完成,分析结果由数据库管理系统管理的便捷、高效的模态分析。     

数字化数控立铣刀设计与制造系统

本文介绍的"数字化数控立铣刀设计与制造系统"是具有优化数据库参数化设计的软件,该系统主要包括参数化数控立铣刀CAD/CAPP/CAM软件以及刀具图纸数据库、刀具工艺规程数据库、刀具优化参数数据库,并进行系统的钛合金数控加工参数优化试验。