一个－阶逻辑公理系统独立性的证明

独立性是公理系统的重要性质之一．给出了一个－阶逻辑的公理系统，采用语义解释和公式变换的方法，证明了它的独立性．     

基于公理设计的产品可靠性要求实现方法

针对可靠性设计要求难以系统、全面落实到产品设计方案的问题,提出了一种基于公理设计的产品可靠性要求实现方法.首先,应用公理设计原理进行产品初步设计,从而确定其功能需求,并针对各项功能的保持要求进一步扩展功能保持需求（扩展的功能保持需求构成功能保持域,该域包含于功能域）,进而系统导出参数化的可靠性设计方案;其次,根据功能保持需求扩展或优化设计参数,构建考虑可靠性设计要求的域映射模型,并给出应用独立公理进行方案评价的方法.同时,以温度传感器设计为例贯穿全文,验证了所提出方法的可行性和有效性.      

星际文明的遗存

应当仔细分析和研究由于外星人物理效应系统的存在而导致的后果——废弃物问题。在外星人物理效应系统中所利用的胶子链，实际上是不可消除的，从能量守恒定律中可找到这个结论的依据。目前已知，能量守恒定律是100余年前由迈耶尔创立的，而其他守恒定律多达12个，但没得到验证，它们是建立在经验主义基础上的。但实际上，可以把那些未得到论证的12个守恒定律作为公理的某些理论基础。     

摩擦学系统的系统工程及其航天应用

空间摩擦学问题已成为影响航天器精度、寿命和可靠性增长需求的关键因素之一。本文从摩擦学的三个公理出发并基于此理论,分析航天器所处环境工况下的润滑问题、微动-摩擦学行为耦合作用现象以及摩擦-电学行为耦合问题,并分析与其相对应的摩擦学系统设计需求。根据需求建立面向航天器的摩擦学系统设计思路,通过摩擦学系统设计知识库的建立和管理,运用摩擦学的三个公理,在求解过程中引入专家判定系统,实现考虑摩擦学行为的系统依赖性、时变依赖性与多学科、跨学科性的摩擦学系统设计。     

欧空局拟打造数据中继星座

为保持欧洲的独立性，并改善“欧洲静地导航重叠业务”这一“伽利略”的增强系统的可靠性和安全性，欧空局准备向其成员国建议兴建一个“欧洲数据中继卫星系统”（EDRSS）。该系统将是一个由3颗静地轨道卫星构成的星座，首颗卫星拟于2012年发射。日前升空的欧空局的“自动转移飞行器”（ATV）货运飞船将采用美国的“跟踪与数据中继卫星系统”（TDRSS），     

欧洲出台“伽利略”导航卫星计划

欧盟的执行机构——欧洲委员会在１９９９年２月１０日公布的有关欧洲导航卫星计划的报告中说，为了欧洲未来的战略独立性和成千上万欧洲高技术产业从业人员的前途，欧洲需要建立一个由欧洲人牢牢控制的导航卫星系统。欧洲委员会在这份长达２９页的报告中，建议欧盟（ＥＵ...     

航天简讯

科索沃战争使欧洲人意识到独立拥有侦察卫星系统的重要性□□在欧洲议员大会上，来自意大利、法国、德国和英国的议员们一致认为：在巴尔干半岛上的这场空战，充分证明了欧洲拥有独立的天基对地侦察系统的必要性。在这场战争中，欧洲部队只能依靠美国卫星所提供的有关塞尔维亚军队及科索沃难民的情报实施作战计划，使欧洲盟国处于被动局面。这充分说明信息就是力量，美国拥有，但欧洲没有。意大利议员极力主张欧洲应拥有自主的天基侦察与导航系统，认为这事关欧洲战略的独立性。只有这样，欧洲才能在国际事务中，尤其是地区性危机中扮演更为…     

“北斗”卫星导航系统面临不可错失的战略机遇期

卫星导航系统是国家重要的战略性空间资产,同时也是确保国家安全、经济利益和战略独立性的关键空间基础设施。当前,全球导航卫星系统(GNSS)进入了多星座既竞争又合作的新阶段,美、俄、中、欧"一超三强"的竞争格局正在全球形成。各主要航天大国在卫星导航领域竞争的重点是:争     

美国商业公司执行私人航天员任务分析

<正>北京时间2023年5月22日5:37，美国公理空间公司（Axiom Space）在佛罗里达州肯尼迪航天中心39A发射台利用猎鹰-9(Falcon-9)运载火箭成功发射“载人龙”（Crew Dragon）飞船，执行第二次“国际空间站”（ISS）私人航天员任务。“载人龙”飞船经过约15.5h飞行后，与“国际空间站”和谐号（Harmony）节点舱天顶点对接。飞船搭载的4名航天员以私人航天员身份在轨开展了为期8天的短期考察任务。5月30日23:05，搭载Ax-2乘组的自由号（Freedom）“载人龙”飞船从“国际空间站”脱离对接，经过12h飞行，“载人龙”飞船在佛罗里达海岸安全溅落。     

人造黑洞

几十年来，现代物理学一直存在着一个难以解决的矛盾，这个矛盾使科学家们有时感到无所适从。这就是：我们有两个而不是一个解释宇宙现象的体系？科学家们认识到，要想全面、准确地理解宇宙，必须将两个体系结合起来，将它们合二为一，这样才能更准确地解释宇宙现状。然而，这两个体系都具有各自的独立性。科学家们所面临的挑战就是要努力找出量子力学和广义相对论在宇宙中的共同作用点。     

历法:一道难解的数学题

人们常说,天文学是一门古老的学科,从人类有记载的第一幅图示开始,就开始了对宇宙的探索,天文学的诞生和发展,伴随了人类文明进步的整个进程。但是与简练的牛顿三定律、漂亮的化学方程式和完美的几何学公理相比,天文学留给我们的恐怕更多的是疑惑。没错,斗转星移、四季更迭这些天文现象我们早已耳熟能详,但这就是天文学     

面向复杂系统的三维Bayes网络测试性验证模型

针对当前武器装备复杂的系统结构,现有基于装备整机系统测试性先验信息的测试性验证方法难以适用,基于分系统测试性先验信息的测试性验证方法不能系统有效地处理先验信息,导致测试性验证结果可信度不高的问题,提出一种面向复杂系统的三维Bayes网络测试性验证模型。该模型能充分运用装备各层级结构中所蕴含的条件独立性,有效降低构建Bayes网络模型的复杂度,同时能融合装备各层级单元的先验信息。通过给出的三维Bayes网络的条件概率学习方法及G/M-H算法,由底层单元数据通过模型逐步向上融合,得到顶层测试性指标的后验分布,进一步利用顶层后验分布求取故障样本量。结果表明:该模型能充分考虑复杂系统的系统结构及各层级单元先验信息,并能通过模型推理得到的指标后验分布达到有效减少测试性验证故障样本量的目的。      

中国VSAT通信市场现状与发展趋势(下)

2.3 中国VAST卫星通信的应用状况 VSAT卫星通信业务具有很大的发展潜力,由于其覆盖范围大、灵活性强、独立性好和具有一点对多点的通信能力,历来受到业界的普遍关注与重视.     

函数型正则广义典型相关分析

基于正则广义典型相关分析理论框架,提出一类对于多元函数型数据的充分降维方法。通过积分形式,将平方可积空间中的函数型数据投影至实空间中的一系列数值变量,在整体相关性度量最大的目标准则下,同时确定这些函数型投影方向,实现多元函数型数据向传统数值变量转化的特征信息提取及快速降维过程。在一般基函数系统表示下,推导得到最优投影权重函数的迭代计算方法,该方法对于基函数系统的选取具有独立性。大量仿真结果表明,在有限样本情况下,所提方法能够有效探测多元函数型数据之间的相关关系,且对投影权重函数的估计具有一致性。关于帕金森综合征患者步态的实例数据研究表明,由函数型数据投影得到的数值特征信息具有可解释性,所提方法具有一定实用价值。      

机场到港旅客换乘时间效率评价指标优选

换乘时间效率评价对提升机场综合交通的换乘效率有着重大意义，传统的指标优选方法应用在民航机场到港旅客换乘评价中难以真实反映指标关系并且缺乏指标筛选规则。针对上述问题，根据指标体系中目标层、因素层、指标层各自与指标的关联特征，抽象出指标的重要性、关联均衡性、独立性3种数据关系，并使用DS证据理论融合得到指标综合关系。基于指标综合关系和综合评价方法，定义评估精度作为筛选指标的理论支撑，并设计算法构建优选模型。使用国内37个机场的到港旅客换乘时间数据进行实证分析，结果表明:指标综合关系能够更精确地反映指标关系，优化了指标排序，比基于主成分分析和最大互信息系数的指标排序更优异，能剔除更多冗余指标。评估精度将可剔除的指标直观展示出来，为筛选指标提供了切实依据，完善了指标优选模型。      

运载火箭飞行振动信号盲源分离方法

针对振动信号在火箭复杂结构传播过程中产生强卷积效应导致振动源信号提取精度低的难题,研究了一种基于卷积盲源分离的火箭振动信号自适应提取方法。该方法基于振动源之间的独立性,建立四阶统计量的目标函数,并采用随机梯度法实现参数的自适应更新,优化建立火箭复杂结构系统的逆滤波器结构,进而得到原始的振动源信号。通过对某运载火箭发动机的高频振动数据进行分析,结果表明：相比于线性自适应盲源分离方法、非线性自适应盲源分离方法,卷积自适应盲源分离由于考虑了实际中的卷积效应和欠定情况,分离结果中能够明显找到与涡轮转动和燃烧对应的频率,以及一些宽频激励,验证了提出方法的有效性。     

通用再入飞行器多学科协同优化设计

探讨了协同优化方法在通用再入飞行器总体优化设计中的应用以及各学科间耦合关系.对协同优化方法的流程及特点进行了分析,以通用再入飞行器总体优化设计为对象,研究如何利用协同优化方法建立此类问题的优化模型.研究结果表明协同优化方法相对多学科可行法具有较快的收敛速度,主要是由于协同优化方法中的系统级在搜索空间时受到了3个子系统级优化一致性的制约,而3个子系统级并行地对升阻比最大、质量最小、弹道设计中气动加热量最小3个主要影响射程的因素进行了优化,最终共同缩小了设计搜索空间,同时利用学科的独立性进行并行计算,从而较快地实现了迭代收敛.      

原子时系统主备钟同步技术研究

主钟系统作为原子时系统的重要组成部分，其运行状态直接关系到整个原子时系统的性能。为了提高系统的可靠性，建立备份主钟系统尤为必要。本文围绕原子时系统中的主备钟同步技术开展相关研究，建立了主备钟同步系统。通过分析原子钟性能，建立钟差模型；并根据钟差模型对备份主钟的频率进行驾驭调整，实现主备钟之间的时间频率一致性。通过调整，原子时系统的主备钟时差可实时保持在1ns以内，频率偏差实时保持在10E-15量级，为原子时系统的主备无缝切换奠定良好基础。     

挠性空间结构的H∞辨识

重点研究挠性空间结构的Ｈ∞辨识，研究表明：依据系统的输入输出空间，对系统的未知动力学参数估计和对高维数截断的适当操作，将导致适合于控制的低维数学模型。模型维数确定时，系统模型与实际系统的距离在Ｈ∞范数的意义下几乎为最小，模型维数足够大时，系统模型与实际系统的距离可任意小，这是文下间提出了挠性空间结构Ｈ∞辨识的基本思想，为此，以带挠性梁的卫星系统为背景，首先分析了系统的动力学特性，引入了挠性系统Ｈ∞