基于系统科学的复杂系统软件生命周期模型研究

复杂系统的核心功能主要由软件实现,软件对复杂系统的可信性和质量有至关重要的影响.目前复杂系统软件的研制和管理主要采用基于一般系统工程的方法,未考虑复杂系统所具有的开放性、涌现性、自组织性等特征,存在一定局限性.为保证复杂系统软件的可信性和质量,基于复杂系统的主要特征,引入系统科学的方法及理论对现有方法进行扩展,并结合敏...     

“机械设计课程设计”CAI软件的开发

由于没有一个适用的软件,机械设计课程设计至今采用的基本上仍是传统的手工设计方法。针对这一情况,我们开发了一个机械设计课程计算机辅助教学软件。本文主要讨论了该软件开发的有关问题。     

防错技术在自动校准软件中的应用

为提高自动校准软件的质量和可靠性,在自动校准软件开发中应用了防错技术。经实践表明,采用防错技术后,开发的数字多用表自动校准软件的质量和可靠性有较大提高,工作效率提高10％以上。     

Encounter trajectories for deep space mission ASTER to the triple near Earth asteroid 2001-SN263. The laser altimeter (ALR) point of view

In cooperation with Russia, the Brazilian deep space mission ASTER plans to send a small spacecraft to investigate the triple asteroid 2001-SN263. The nearest launch opportunities for this project include June 2022 and June 2025. One main exploration campaign is being planned with focus on the largest asteroid (Alpha). Among the instruments under development, a laser altimeter (named ALR) was preliminarily designed and presented in 2010–2011. Many studies to define mission and instruments requirements were performed aiming at the characterization of important issues for the successful realization of the mission. Among them, the identification of a suitable trajectory that could be followed by the ASTER spacecraft in the encounter phase, when the main campaign will take place. This paper describes the effort undertaken with focus on the laser altimeter operation. Possible encounter trajectories were modelled and simulated to identify suitable approach parameters and conditions allowing the accomplishment of the intended investigation. The simulation also involves the instrument operation, considering approach geometry, attitude, relative motion, time/date, and the dynamics of the main asteroid. From the laser altimeter point of view, keeping in mind the desired coverage results (50% minimum surface coverage of asteroid Alpha, complying with horizontal and vertical resolution requirements), results point out crucial features for the encounter trajectory, like the need for a small inclination (10^-6 degrees; with respect to the asteroid's orbit), the most favourable spacecraft positioning (between the Sun and the asteroid) and pointing condition (back to the Sun), the minimum amount of achievable surface coverage (58%, focused on central areas), and the most proper time to conduct the main campaign (January 2025). Concerning the instrument, results offer refined values for divergence angle (500 to 650 μrad, half-cone), pulse repetition frequencies (from 1/20 to 1 Hz), and consequent data generation rates. A simulation tool that can use any 3D generated trajectories as input data was created for the analyses presented here. Although created for the ALR in this mission, this simple analysis tool can be adapted to other instruments in this or other missions.     

美国空军标准语言JOVIAL的分析与评价

JOVIAL语言是美国空军唯一的标准语言。本文根据作者从事军用计算机语言研究的经验,从可靠性、可读性、效率、可维护性、可移植性、可用性、简明性、抽象性以及实现等角度对JOVIAL进行了分析、评价,并将JOVIAL与Pascal、Ada等语言进行了适当的比较,最后指出了作为军用语言的JOVIAL还缺少的语言设施。     

车身三坐标检测数据图形分析软件开发

根据三坐标测量机检测汽车车身后输出的数据特点,提出了一种计算机图形分析方法,并介绍了软件的编制.实施后,大大减少了车身精度分析时间,提高了分析准确性,并有效地提高了白车身质量.     

空管软件开发过程的极限编程实践

空中交通流量压力的日益增加要求空管自动化水平不断提升,导致国内空管系统升级需求频繁,传统的软件工程方法已经难以满足空管软件开发实施要求。提出了一种将现代软件工程中极限编程(extremeprogramming,XP)模式引入空管软件开发的思想,有效解决了开发过程中稳定性和灵活性的问题。     

嵌入式软件仿真测试平台构件化技术研究

软件测试在航天嵌入式软件研制过程中占有极为重要的地位,使用全数字仿真测试平台进行软件测试是行之有效的方法.对仿真测试平台进行层次化构件分解和构件设计,研究航天软件仿真测试平台构件化开发方法,并给出应用实例,证明了该方法可大幅提高平台开发效率.     

马尔科夫链模型在空管自动化系统可靠性分析中的应用

空中交通管理的主要任务是保证航空器间隔,确保空中交通的安全高效运行。空管系统与旅客生命及航空公司的经济利益息息相关这种特殊性决定了系统必须有相当高的保障,须做到及早发现及早处理问题。目前,国内主要考虑软件对空管自动化系统的影响,采用模糊数学、灰色系统理论、加权算法等对其软件可靠性进行评估。为了做到及早发现及早处理问题,提出采用马尔科夫链模型对空管自动化系统软件s1,s2,s3三个状态进行预测和验证,取得了较好的结果。     

DESIGNOFMULTI┐SLOTANDUNEQUAL┐TEMPERATUREPIDCONTROLLERBASEDONSINGLECHIPMICROCOMPUTER

以一个具体的生产过程为例，介绍以单片机为核心的多段不等温ＰＩＤ控制器的设计。文中讨论了ＰＩＤ算法数学实现的模型及实现该算法的软硬件设计方法，给出了实现这一控制算法的硬件原理框图及软件设计的特点