HB/Z 183—90 《Ada编程支持环境公用接口》简介

本文在介绍CAIS基本概念、体系结构的基础上,概述了HB/Z 183—90规定的普通节点管理、进程管理、输入输出管理和表管理等内容。     

微型铅酸电池的研制

本文介绍了两种微型铅酸蓄电池的开发研究工作。研究结果表明，这两种电池的容量、密封反应效率、高率放电性能、过放电特性、过充电特性、贮存性能及循环寿命等各项指标均达到日本标准ＪＩＳ８７０２－１９８８的要求。     

螺旋结构日珥的内螺度

本文导出了螺旋结构日珥内螺度的表达式,并利用观测资料计算内螺度．结果表明,内螺度的大小与日珥的稳定性有关;宁静日珥的内螺度较小,爆发日珥的内螺度较大;在日用从宁静-爆发-匀速上升的演化过程中,螺度将不断积累-释放-转移到日冕空间．      

1980年7月14日耀斑和磁流浮现模型

本文利用云南天文台耀斑H_α巡视观测、活动区白光照相及速度场资料,结合SMM的X射线资料和北京天文台的射电观测资料,对1980年7月14日日面3B级大耀斑进行了综合研究。对照耀斑过程的磁流浮现(EMF)模型,我们分析了活动区的形态变化特征,估算了耀斑释放的磁能、耀斑过程的特征时间及耀斑爆发时加速的电子总数和加速电子的平均能量。结果表明:(1)耀斑过程的EMF模型与观测结果基本符合,可以认为EMF模型能够较好地说明耀斑的物理过程。(2)根据对速度场资料及耀斑产生位置的分析,初步认为电流片可能位于速度中性线与磁中性线的交点处及其附近,或速度中性线与暗条的交点处及其附近[3]。(3)观测和计算表明,硬x射线爆是由电流片中加速的高能非热电子所产生,而软X射线爆则由耀斑区的高温等离子体的热轫致辐射所产生。      

用对象实现构件的原型开发方法

基于面向对象语言的基本特征,分析了用对象表示构件的诸多有利因素,提出了用对象实现构件的原型开发方法。该方法规定了构件的外部接口,构件间“联系”函数及原型合成过程中的择优方案等。它对原型法的实用化将会起很大的推进作用。     

Ada软件测试与认证模型及支持系统

首先讨论Ａｄａ软件测试与认证模型，然后描述根据上述模型建立的Ａｄａ软件测试与认证活动的支持系统，并介绍该系统的结构、功能和特点．     

Ada层次化并发软件模型的研究

基于对象Petri网,提出了层次化并发软件模型,这种模型在结构上参考了统一建模语言UML的描述机制,并用一种扩展Petri网ECPN分层描述对象的内部状态,以及对象间的相互作用,易于仿真与程序生成.模型的实际应用将有利于保证并发软件,特别是Ada95并发软件的质量,提高开发效率.     

对象Petri网模型的并发软件仿真技术的研究

并发软件的性能评价是提高软件开发质量的重要手段之一.本文重点讨论了将面向对象与Petri网相结合的思想用于并发软件开发中的系统建模,以及基于对象Petri网(OPN)的并发软件系统的仿真技术,同时,也探讨了实现一个基于OPN的动态仿真工具所面临的关键技术和解决方法.实践结果表明,文中讨论的实现机制与处理方法是有效和可行的.      

一种支持工作流模式的扩展工作流网

为了满足企业用户对工作流模型在描述能力和分析能力上的要求,提出了一种 支持工作流模式的扩展工作流网(EWF_net,Extended WorkFlow net).EWF_net是在工作 流网(WF_net,WorkFlow net)的基础上增加一些机制扩展而成的,它改善了WF_net对于动态工作流模型的描述能力,直接支持所有工作流模式,特别是多实例 、取消、高级同步等WF_net不能直接描述的模式.EWF_net通过引入控制变量 来描述工作流模型的相关数据信息;通过引入一类特殊的变迁——传递变迁,来 支持模型的动态路由.在Petri网分析技术的基础上提出EWF_net的形式化的正确性分析方 法.该方法由一致性分析和对应的WF_net的合理性分析2部分组成.最后,通过一个应用实例 来说明EWF_net强大的描述和分析能力.