Repeated sending file delivery protocol in satellite networking communication

Satellite networking communications in navigation satellite system and space-based deep space exploration have the features of a long delay and high bit error rate (BER). Through analyzing the advantages and disadvantages of the Consultative Committee for the Space Data System (CCSDS) file delivery protocol (CFDP), a new improved repeated sending file delivery protocol (RSFDP) based on the adaptive repeated sending is put forward to build an efficient and reliable file transmission. According to the estimation of the BER of the transmission link, RSFDP repeatedly sends the lost protocol data units (PDUs) at the stage of the retransmission to improve the success rate and reduce time of the retransmission. Theoretical analyses and results of the Opnet simulation indicate that the performance of RSFDP has significant improvement gains over CFDP in the link with a long delay and high BER. The realizing results based on the space borne filed programmable gate array (FPGA) platform show the applicability of the proposed algorithm.     

Bug localization based on syntactical and semantic information of source code

The existing software bug localization models treat the source file as natural language, which leads to the loss of syntactical and structure information of the source file. A bug localization model based on syntactical and semantic information of source code is proposed. Firstly, abstract syntax tree(AST) is divided based on node category to obtain statement sequence. The statement tree is encoded into vectors to capture lexical and syntactical knowledge at the statement level.Secondly, the sou...     

New multi-pattern matching algorithm

1 .INTRODUCTIONSearching user-specified patternsinatext fileis a com-mon requirement ininformation retrieval and text edi-ting applications . Deterministic finite state automata(DFSA) is the most common method in solving pat-tern match problem[1 ,2].Before searching process ,theDFSAalgorithm must preprocess the pattern set andconstruct anautomaton based ontree structure.Then,the occurrences of every pattern can be found by scan-ningthe text file just once.So,its ti me complexityisO(n)…     

矿井通风网络的最小能量原理

一、矿井通风网络的能量分析 我们分析一个有F台风机的通风网络。第i号风机的风量是Q_(fi),风压是H_(fi),那么这F台风机提供给该网络的能量为     

Random walk search in unstructured P2P

1 .INTRODUCTIONIn the last few years , unstructured P2P applicationsare very popular ,such as Gnutella[1], Kazaa[2]. Theyare designed for sharing files among the peers in thenetworks .Thereis no precise control over the networktopology or file placement in these systems .In gener-al ,they employ flooding scheme for searching object ,and waste a lot of bandwidth[1]. Today , bandwidthconsumption attributed to these applications amountsto a considerable fraction (upto 60 %) of the total In…     

基于机器学习-优化混合算法的离散交通网络双层规划模型

为求解离散交通网络设计的大规模双层规划问题(Bi-level Programming Program,BPP),提出一种机器学习-优化(ML-OP)混合算法。首先,基于分解方法的求解思路,将双层规划问题转换为:下层一个典型的非线性规划问题(NLP),上层一个整数规划问题来处理。研究设计的混合方法,上层问题用源于机器学习的替代问题代替,采用监督学习算法求解(SLA),下层问题为交通分配问题(TAP),是一个凸非线性规划问题,用Frank-Wolfe算法求解。其次,为了验证机器学习-优化算法的有效性,用一个真实的大规模数据集来测试,并与经典分支定界算法(Branch-and-Bound)进行比较。数据结果表明在处理大规模双层规划问题时,ML-OP混合算法在计算能力方面有较好的表现。     

间断动力系统数字仿真算法(下)

下面我们介绍国内外现有的一些处理属于第二种间断情况的微分方程的算法。 算法1 (O’Reagan) 这是一个早期的算法,算法流程与图1给出的基本流程是一致的。文献[4]针对四阶Runge-Kutta方法,利用K_i(i=1,2,3,4)构造了插值公式y(t_n+a_h),采用牛顿迭代来获得条件函数的零点。 对一般的显式四阶Runge-Kutta方法     

MMIC将应用于开发机载相控阵雷达

洛克希德的桑德斯公司已研制了一种新型的单片微波集成电路(MMIC),这一器件可望用于开发机载相控阵雷达和电子对抗系统。 为先进飞机开发有源相控阵雷达,有赖于电子发射元件小型化,一个相阵包含大量发射元件,每个发射元件都有一个移相器,移相器是形成正确方向图的关键元件。     

网络中的优势有效点与选址问题

一、引言 设N=(V,A)为一个有限、简单、无向的连通网络,其顶点集为V,连杆集为A。 设U={u_1,u_2,…,u_p}V,每个u_i对应一个定义在N中点集上的函数d_i(i=1,2,…,p),其定义如下: 这里d(x,u_i)表示x与u_i之间在网络中的最短距离(即连接x与u_i的任一条最短路径的长度)。 我们的问题是求x~*N,使每个函数d(x,u_i)在x~*都取“极小”值(i=1,2,…,p)。这显然是一个多目标决策问题。     

简讯

美空军谈空间武器 美国空军副部长E.C.Aldridge 上周说,美国可能要在将来部署空间武器(指空间激光武器),以打破苏联在这方面的垄断和对美国的优势。但是,他也承认,美国要充分具备这种能力尚需若干年的时间。空间可能是未来战争的一个战场,届时苏联将会尽     

先进的制导仿真实验室

先进制导仿真实验室(AGSL)是用于导弹闭合回路半实物(HWIL)仿真的现代化设施。它包括一个五轴飞行运动模拟器(FHS),一个计算机图象生成系统(CIG)和一个红外场景投影机(IRSP)。由于电子联合公司(EAI)的Simftar计算机和先进制导仿真实验室的结合,使得马丁-马里埃塔电子,信息和导弹系统公司能够提供实时的半实物仿真和人在回路(MIL)的仿真,以便进行武器和火控系统的设计,分析和试验。先进制导仿真实验室和技术计算中心(TCC)的仿真测试实验室(STL)之间通过一条光纤线路连接。通过这条线路可以在这个远程实验室中使用PT-2000和其它先进制导仿真实验室的设备进行人在回路和半实物仿真的研究。     

“罗兰特”和“长剑”在西德竞争

美国和西德两国的国防部长于今年2月初聚会,就用来保卫西德空军基地(12个)和设在西德境内的美国空军基地(7个)的地空武器系统的选择问题进行了磋商。双方达成协议,成立一个联合专家小组,来负责研究各种可能的选择方案。西德希望选用法德联合研制的罗兰特武器系统,由西德部队使用。而美国方面却认为,这不能排除选用其它武器系统。英国人则特别建议选用长剑地空导弹系统(总额5,000万美元),配置在     

·《可靠性》之四(上)·高可靠性系统的设计和试验(上)——一、模型技术

一个高可靠性系统的设计阶段贯穿于从最早的可行性研究起直到产品定型为止的全过程。电于系统在最初设计阶段的可靠性,即平均无故障工作时间(MTBF),只能达到定型产品的10—30％。为了提高可靠性,需有一个反复的设计周期,包括:建立可靠性模型,对预计值进行实验室试验以及找出需改进的薄弱环节并进行重新设计。这个过程就叫可靠性增长过程。为使产品在投产前具备足够的可靠性,必须对这一过程进行精心安排。     

法、德联合研制反舰导弹

法国宇航公司公布了新式轻型反舰导弹(ANL)的详细情况。这是法国宇航公司与西德梅伯布公司合作研究的项目。 这两家公司已经着手研制反舰超音速导弹(ANS),这种导弹最终将用来取代飞鱼     

我国人口量度变化的动态分析

一、我国人口量度波动规律 1.我国人口量度波动的历史考察 分析我国人口量度变化的历史统计资料(见表1),尤其是观察我国人口自然增长率写实曲线(见图1),可以发现我国人口量度变化具有一定的规律性。 1) 人口量度波动的周期性 依照一个波动周期包含一个波谷和一个波峰的原则,将我国人口量度发展过程分离为八个周期(见表2)。除去终点尚未明朗的第八周期、政治运动频繁的第五周期以及建国初期的第一周期可知,     

关于褶积的几个基本概念

一 函数的时移 给定一个函数K(τ),当自变量τ变动时,有下列这些常见的情况函数(例) 定义域     

图上博弈的Page-Shapley值

对合作博弈(N,v)和交流图(N,L)所产生的交流局面(N,v,L),现有的分配法则都是重新定义一个特征函数,再归结为新特征函数的Shapley值.为了避免定义新特征函数时的失真(从而使得计算Shapley值出现一定偏差),本文提出一个新的分配法则.设原博弈(N,v)的Shapley值为Sh(N,v)=(S_1,S_2,…,s_n),其中s_i可视为参与者i的实力.类似于Google的网络搜索算法,对连通的交流图L和表示参与者相互合作程度的转移矩阵P,定义参与者的PageRank (参与者的级别或地位),记为(r_1,r_2,…,r_n),其中r_i表示参与者i在合作交流中的地位.新的分配法则,称为Page-Shapley值:其中参与者i所得为c_Nr_is_iv(N),而C_N取为1/Σ_(j∈N)r_jS_j以便保证值的有效性.当L不连通时,其Page-Shapley值由各分支的Page-Shapley值拼接而成.     

串并联排队网络系统的计算机模拟及数学规划相结合的算法

一、问题的提出 复杂随机服务系统的优化或规划设计问题,因系统和运行环境的复杂性及随机性,一般都采用计算机模拟技术。如果把N个随机服务系统组成一个复杂的排队网络系统,用计算机模拟也能得到比较好的解决。可是,当每个子系统的状态都比较多(设i子系统的状态数为S_i),因为模拟技术不能直接求最优解这一固有缺陷,要确定系统的最优运行状态就必须把所有各子系统不同状态之间的匹配情况都进行模拟(这便需要对整个系统模拟S_1 S_2…S_N次),然后再比较各次模拟结果,从中选出最优解。如果系统的状态数较大或一次模拟花费的机时较长,则S_1 S_2…S_N次模拟所花费的总机时     

■-生成规律与系统规律识别

一个系统(控制系统、通讯系统)没有受到某个规律的干扰(或攻击),则系统处于稳定运动状态或者按预定的规律运动。未知规律进入到系统中,对系统进行干扰,使得系统的运动规律紊乱。利用函数单向S-粗集对偶(dual of function one direction singular rough sets),给出系统中■-生成规律的概念,给出■-生成规律的生成模型和对系统规律的识别。函数单向S-粗集对偶是识别系统中存在干扰规律,识别系统规律的一个新的理论与方法。     

雷达信号处理中的自适应算法

对接收的信号进行频谱分析,是当前雷达系统从受到干扰的环境中检测出有用目标信号的最新方法。应该指出,当雷达在同一距离分辨单元内含有两个或多个杂波(例如地杂波和雨杂波等)干扰,特剐当它们的多普勒频率未知时,采用这种处理方法尤为必要。 当前,最常用的办法是根据FFT算法设计出一组滤波器(自适应或非自适应的),即所谓动目标检测器。采用这一技术就能同时满足频率分辨和相干积累的要求。 为了克服由频谱失真造成的遮蔽效应,并获得更好的频谱分辨力(它受到采样窗的限制),本文分析了应用频谱分析方法来设计自适应滤波器的可能性。 这种技术的基础是: (1)选择一个合适的模型(一般为自回归AR模型); (2)通过直接处理输入数据或间接地通过它们的自相关函数来估计模型的参数。 在这篇文章中,我们将集中讨论: (1)由于估计误差造成的改善因子损失; (2)采用低成本计算技术估计相关函数; (3)硬件分析和性能与计算成本之间的权衡。