AEDMS工程文件编号的生成算法

工程文件编号生成算法是国航工程文件管理系统（AEDMS）开发的难点。提出的．工程文件编号生成算法包括．工程文件流水号和改版号的指派算法与自动编排算法。前者解决了新旧系统．工程文件编号的兼容问题；后者是一种新的基于关系代数的自动编号算法，其利用元组序号，具有紧凑简单、可靠性好、可维护性好、执行效率高、适用面广的特点。实算结果和AEDMS运行实践表明，此工程文件编号生成算法是可行的。     

地球的福星

中国古代把木星叫做“岁星”,是因为木星绕太阳一周大致为12年。它每年在绕太阳运行的黄道上移过的角度约为30度,是一个圆周的1/12,30度相当于一年。中国有12生肖,按木星在天空的角度位置,可以推断出一年是12生肖的哪一年,例如鼠年、龙年或者其他什么年。由于木星身躯十分庞大,西方把木星称为朱庇特,他是罗马神话中的主神,又把它说成是希腊神话中宙斯的化身,宙斯统辖着神仙和人类,是众神之父,万人之王,威力无比,神通广大。如果把九大行星比做兄弟的话,那么,木星无疑是长兄。靠近太阳的水星、金星、地球和火星体积较小,基本上都是以固体为主,…     

论承包经营企业的短期行为及其对策

本文针对承包经营企业中的短期行为问题,列举了它的表现形式并对其成因进行了分析,在此基础上,提出了若干现实对策。     

论固体推进剂配方的计算方法

本文讨论了固体推进剂配方中的粘合剂,固化剂,增塑剂,以及带有活性基团的其他组分的用量计算方法和存在问题,并提出一个简便而通用的当量比计算方法。此法已在实际中应用。     

Σ-演算的范畴模型

Σ-演算是并发演算CC的子理论,集中体现CC中的并行运算部分的特征。本文将并发通信系统看作是由状态加变换构成的动态系统,建立了Σ-演算的范畴模型(Categorical ModeI),其基本思想是:把Σ-演算中的公式对应于范畴构造中的对象(Objects),Σ-演算中的推演对应于范畴中的态射(Morphisms),从而通过Σ-演算的结构操作语义自然地得到一种范畴结构。这种方法可以推广到其它并发理论之中,例如网论和逻辑方法(如线性逻辑Linear Logic),从而范畴论可以作为描述并发、通信和非确定性行为的统一的形式化框架。     

基于析取关系直接变换的冲突解脱方法

针对自由飞行条件下的飞行冲突解脱问题,提出了一种基于析取关系直接变换的联立求解方法(DDTSA)。首先在不引入额外辅助变量的情况下,将基于析取关系的安全边界条件变换成易于联立求解的约束条件,使问题的变量和方程个数大幅度减少,从而降低问题的求解难度。然后为保证求解的精度和稳定性,采用基于Radau配置点的拉格朗日插值多项式对微分代数方程组进行离散化处理,继而求解离散化得到的非线性规划问题。最后分别对2架、3架以及4架飞机的冲突解脱问题进行仿真,仿真结果表明与相关文献中的方法相比,该方法具有更高的计算效率并且能够得到更优的结果。     

现代对策论研究

对策论是研究斗争局势中冲突问题的数学理论,笔者长期以来在此领域进行了大量的研究探讨,本文概要介绍了主要工作。     

太阳黑子与疾病的统计关系

本文采用太阳黑子相对数作为太阳活动指标,根据最近20多年的太阳活动观测数据和江苏省防疫站的疾病统计资料,对9种常见疾病的人数的相对比率与太阳黑子相对数对应作图比较,分析二者之间的关系,并求出其相关系数.研究发现,猩红热、肝炎和脊髓灰质炎的发病率与太阳活动有一定的相关性,特别是猩红热,相关系数达到0.72,相关性很好.