黑海的秘密(连载之十八)

~~黑海的秘密(连载之十八)@德·杜埃 @贝尔热~~     

并行系统软件工程(续)

软件设计过程的目的是针对要求规范中表达的问题,提供解决办法。对并行软件工程师来说,必须将解决方法规定为一组相互作用的过程和数据结构。为支持这种活动,就需要有设计方法,提供如何将问题分成若干并行过程的指导方法与规则。这些方法还应根据过程、数据结构和它们的相互作用提供表达并行设计的符号表示。合适的表示法应作为设计者传递、制定文     

Ada走向海洋

你印象中的Ada是常常被许多人中伤为负担而不是帮手的计算机语言。但是,如果你对美国海军这样说的话,他们会告诉你好好看看“海狼”潜艇中的“大脑”——这是Ada语言的一个成功范例。     

空军研制可能需费三百亿美元的洲际导弹

说美正全力试制威力更大、更准确的X洲际导弹,以作为美苏在限制战略武器会谈中进行讨价还价的筹码,并准备作为谈判失败后的一种防范措施。美官员认为这将促使核均势趋于不稳定。空军在这个月悄悄地进入了一种威力更大、准确程度更高的洲际弹道导弹的实体研制阶段,这种导弹的费用最终可能高达三百亿美元。计划是用这种X导弹(这是五角大楼对这种新式战略武器的叫法)在八十年代代替民兵式导弹。民兵式导弹十五年来一直是美国陆基核威慑力量的主力。     

日本“领土”野心将使其得不偿失

据日本《读卖新闻》报道,日本政府正在尽最大努力与美国缔结范围更广、层次更深的军事合作新条约,以进一步提升两国之间的合作等级,密切两国的军事关系。日美两国联合防御的基本原则形成于上世纪70年代末,当时日本认为朝鲜是其主要的军事威胁。如今,日本政府与华盛顿已开始就东亚地区出现新威胁这个问题进行讨论。出于众所周知的原因,日美两国并没有明确指出这些新威胁的来源,但明眼人很容易就能猜到,被日美两国视为东亚地区主要对手的国家名单里又增添了哪一个新成员。当然,俄罗斯自二战结束以来就一直被美日看作是强劲的敌手,这点至今也没有改变。对于美日之间加强军事合作关系一事,虽然美国方面目前没有作出任何回应,但有消息称美国打算接受日本的相关建议,证据就是美国与日本近期正在举行的东海联合军事演习。请注意,这次演习的规模是近几年来最大的。如果说五六年前美日举行如此大规模的联合军事演习,必然不会引起像今天这般的轰动效应。现今的中日关系由于钓鱼岛问题已紧张到了极限,而钓鱼岛（日本称之为尖阁诸岛）恰恰就位于东海之上。美日在此时此地开展大规模联合军事演习,难道只是一种偶然的巧合吗？事情绝对没有那幺简单。     

用多任务雷达和光学传感器进行目标跟踪的异步数据融合

本文研究了融合来自两个不同传感器的异步数据的技术,其中一个传感器以比另一个传感器高的速率提供数据。目的是:当用另一个传感器观察时,同时获得高数据率传感器数据的最小二乘法估计。先前研究的同步数据融合算法被用来融合时间一致的数据以更新目标状态估计。考虑了融合来自光学传感器和雷达数据的情况,其中,光学传感器以高速率提供周期性数据而雷达以低数据速率提供拟周期数据。通过提供类似于由际准序次数据处理方法所得的结果的仿真,证明了利用这种数据融合方法的跟踪滤波器的性能,这种标准的序次数据处理方法需要更多的有效计算。     

孙子与国际冲突中的策对论

美欧当代的政治——经济研究非常倚重于决策理论中的一支,叫做策对论。策对论采用数学似的严帑方法,力图说明以下两个问题:(1)如何确立正式的程序,在一个人的行动后罘取决于他人的行动时,阐明某项决策的战略特征;(2)如何发现人们在战略形势下即     

多目标跟踪的数据互联——使用分层博尔兹曼机求解

数据互联是确定多目标跟踪算法中的量测源和分配概率β_i~t问题,其中β_i~t是表示第i个量测来自第t个目标这一事件的概率。本文介绍使用一个分层博尔兹曼机求解数据互联问题的新并行计算方法。研究证明,如果能得到充分多的二元神经元层数,就可以用任意小的误差计算互联概率。特别是,证明了概率β_i~j等于分层的两维网络中神经元v(i,j)激发的相对频率。文中还介绍一些简单的跟踪例子,这些例子将对用于精确的数据互联解的博尔兹曼算法的性能与使用Hopfield神经网络的另一种并行算法的性能进行比较。     

装备短缺制约印军发展

2008年～2009年的经济衰退目前看来对许多国家的国防计划造成了严重影响,整个世界都在从某种程度上削减国防开支。     

含有约束数目顺序旁路站的环网

用以前的图论技术与代数技术相结合的一种新技术来获得环形拓扑网络的闭合形式终端对可靠性表达式。双向反旋转环网使用自愈合和站旁路开关,其中的所有部件(站、链路和旁路开关)都可能出故障,对这样的环网导出闭合形式终端对可靠性表达式,以此来说明这种技术的可应用性。由于光功率损失约束引起的网络配置限制,这些表达式明显地扩展了环网可靠性在以前工作的效用。光功率损失约束限制了以FDDI环或同步光纤网络(SONET)环为代表的光纤拓扑网络中顺序旁路站故障的数目。组合的图论和代数技术允许利用n中选K:F系统可靠性的已知结果,以导出闭合形式的终端对可靠性表达式。 其结果是形成网络可靠性分析的新方法,并明显地把已知理论扩展到以前不分析的新情况。特别是,这里开发的组合的图论和代数分析工具允许环网设计者分析环网结构的可靠性,以前认为这样的环网结构太困难而不能用闭合形式表达式来分析,只能求助于通过仿真的可靠性近似。我们在推导双反向旋转环网中终端对可靠性的闭合形式表达式中使用这种新技术。这种新技术也可用来有效的获得更复杂的环网结构中的闭合形式表达式。