基于TCP协议的远程控制系统网络时延仿真研究

为了能够在同一网络环境下对远程控制系统进行研究,使用结构数组对网络时延进行了仿真。将数据报的信息存放在与其网络时延相对应的结构数组元素中,在每个采样点系统只使用结构数组相应元素中的信息,实现对网络时延的仿真。在基于时间驱动工作方式的控制系统中,可以采用这样的方法进行网络时延仿真。     

一种新的数组逻辑结构猜想方法

许多编译优化技术都依赖于数组的逻辑结构,然而在实际的应用中,有相当多的数组是无结构的一维数组,从而妨碍了编译器的优化工作。提出了一种新的数组逻辑结构猜想算法,它能将无结构的一维数组自动变换成具有多维逻辑结构的数组,从而使编译器的优化工作成为可能。首先给出一个引理,指出猜想后的多维数组应满足的基本性质,然后基于该引理给出了猜想数组的逻辑结构应遵循的两条基本规则,最后基于这两条基本规则给出了猜想数组逻辑结构的算法。实验结果验证了所提出的数组逻辑结构猜想算法的有效性。     

一种基于0-1整数规划的全局数据分布优化方法

数据分布是影响并行程序在分布主存多处理机上执行性能的重要因素.针对分布主存多处理机中的数据分布问题,提出了一种基于0-1整数规划、利用数据变换技术进行有效数据分布的方法.该方法通过数据变换技术改变数据的存储布局,以使得数据能被有效地分布,并且该方法还利用数据分布图描述程序被并行的情况及其所含数组被访问的情况,并将全局数据分布优化问题转换为求解数据分布图中最优路径的问题,从而可用0-1整数规划求解最优路径问题.该方法能对多个嵌套循环中具有仿射数组下标的任意维数组进行有效的数据分布,并且也能使嵌套循环的并行度尽可能地大.另外,该方法也考虑了偏移常量的对准问题,从而能使数据通信量尽量地小.实验结果验证了该方法的有效性.     

基于SNMP的局域网用户地址管理

对当前局域网管理中普遍存在的用户地址管理问题进行了分析 ,重点对利用SNMP协议实现地址管理进行了深入的研究 ,设计出用户地址管理的体系结构 ,给出了完整的基于LINUX系统的局域网用户地址管理解决方案 ,较好地解决了用户地址盗用、用户信息跟踪等网络用户管理问题     

计算机中的大整数运算技术

对计算机中大整数的“模”“乘”算术运算问题提出了一种快速而有效的算法,即利用汇编语言编程途径实现“模”“乘”的算术运算,并将其嵌入到C语言中用数组实现数据的空间分配.     

并行程序设计语言在串行机上的编译实现

目前,诸如Fortran 8x 程序设计语言中已经引入了并行运算成份。这给普通串行(标量)机上实现编译器带来了困难。本文提出了数组(矩阵)运算串行化的概念,并给出了串行化的判别准则及算法。     

基于元胞数组的多维空间在舰船方案论证设计中的应用

在分析多维空间及元胞数组的基础上,提出了将元胞数组抽象成坐标轴上的点,并以此为基础建立多维空间坐标系.使用多维空间上的离散点来表述水面舰船总体方案设计,用元胞数组来描述组成舰船子系统方案的若干功能属性.该方法将舰船方案用数字化元胞集合表示,集中了基于方案探索的优化论证设计和基于功能积木的虚拟化论证设计的优势.     

面向图计算应用的处理器访存通路优化设计与实现

针对图计算应用的访存特点,提出并实现一种支持高并发、乱序和异步访存的高并发访存模块(High Concurrency and high Performance Fetcher, HCPF)。通过软-硬件协同的设计方法,HCPF可同时处理192条共8种类型的内存访问请求,且访存粒度可由用户定义,满足图计算应用对海量低延迟细粒度数据访问的需求。同时,HCPF扩展了基于内存语义的跨计算节点定制互连技术,支持远程内存的细粒度直接访问,为后续实现分布式图计算框架提供技术基础。结合上述两个核心研究内容,基于流水线RISC-V处理器核,设计并实现了可支持HCPF的RISC-V片上系统(System-on-Chip,SoC)架构,搭建基于FPGA的原型验证平台,并使用自研测试程序对HCPF进行初步性能评测。实验结果表明,HCPF相比原有访存通路,最高可将基于数组和随机地址的两种随机内存访问性能分别提升至3.5倍和2.7倍。远程内存直接访问4 Byte数据的延时仅为1.63μs。     

ASLR机制脆弱性自动分析方法

地址随机化是一种针对控制流劫持漏洞的防御机制。已有的漏洞自动分析与利用技术缺少对地址随机化机制影响的分析,导致生成的测试用例在实际环境中的运行效果受到极大限制。针对地址随机化的缺陷及其绕过技术的特点,提出了一种地址随机化脆弱性分析方法。该方法使用有限状态机描述程序运行路径中各关键节点的状态;针对常见的内存泄漏与控制流劫持场景建立约束条件;通过求解内存泄漏状态约束与控制流劫持状态约束的兼容性,分析地址随机化机制在特定场景下的脆弱性。实验结果表明,该方法可有效检测通过内存泄漏导致的地址随机化绕过及控制流劫持攻击,实现自动化的地址随机化脆弱性分析,提高针对软件安全性分析的效率。     

基于程序状态变迁的ASLR机制脆弱性分析方法

地址随机化ASLR是一种针对控制流劫持漏洞的防御机制。已有的漏洞自动分析与利用技术缺少对地址随机化机制影响的分析,导致生成的测试用例在实际环境中的运行效果受到极大限制。针对地址随机化的缺陷及其绕过技术的特点,本文提出了一种地址随机化脆弱性分析方法。该方法使用有限状态机描述程序运行路径中各关键节点的状态；针对常见的内存泄漏与控制流劫持场景建立约束条件；通过求解内存泄露状态约束与控制流劫持状态约束的兼容性,分析地址随机化机制在特定场景下的脆弱性。实验结果显示,该方法可有效检测通过内存泄漏导致的地址随机化绕过及控制流劫持攻击,实现自动化的地址随机化脆弱性分析,提高针对软件安全性分析的效率。     

谈MIS系统的体系结构

体系结构是计算机系统及其组件的物理构造或设计方案 ,文章探讨了 3种典型的体系结构在MIS系统中的应用。     

油罐火灾泡沫灭火剂用量实战系数研究

通过统计我国典型油罐火灾案例,计算出实际火场的泡沫灭火剂实战系数,提出了油罐火灾泡沫灭火剂实际用量的3个影响因素:泡沫飞散罐外因素、着火油罐内部影响因素、气候影响因素。采用层次分析法建立了泡沫灭火剂用量评价数学模型,再将数学模型计算得到的结果与统计得到的实战系数进行对比,分析误差,有助于消防部队在火灾现场更加科学、合理地调用泡沫灭火剂。     

COFF 文件装载机制的研究

结合通用的ＣＯＦＦ目标文件格式,研究了系统加速板执行文件的加载及运行控制机制,阐述了加载ＣＯＦＦ文件的思路和实现方法。文中还设计了能有效提高系统效率的文件预装载机制,讨论了这一机制的原理和具体实现。     

一种雷情录报显示系统的实现

针对当前部分雷达装备在报情方面存在的问题 ,提出了一种雷情录报显示系统。系统由数据录取板和读报显示板两大部分组成 ,将两块模板嵌入现役装备中 ,可改善部分雷达报情的自动化程度和测报数据的精度     

射面交叉分析及武器控制方法研究

通过对影响多武器同时射击安全的重要因素——射面交叉的研究,分析了产生射面交叉的原因,建立了射面交叉的判断模型,研究了控制武器的方法,建立了禁止射击信号的产生模型。研究结果对舰艇的总体设计、武器控制以及作战使用有一定的指导意义。     

拖曳声纳鱼雷的航行动力学模型等价性研究

给出了拖曳声纳鱼雷的动力学仿真与控制算法,采用计算效率较高的离散和递推的方法,算法以f1=fn=0为边界条件进行校核,当该条件满足时,就得到了系统的真实运动.加速度修正方法及搜索方向由优化方法给出,在此动力学模型的基础上,也可以获得封闭的解析式方程,只不过系统方程随n的增加会相当复杂.同时给出了基于Gauss原理的方法,并证明了它们之间的等价性.     

从言语的语言学看翻译的多相面对等

本文从言语的语言学出发寻求和翻译的对等面。翻译是一种跨文化的信息交流与交往传播的活动,研究的是使用中的语言即言语,言语的语言学以言语为研究对象,因此言语的语言学应作为翻译的语言学基础。基于上述理论,本文从言语的语言学的语义、语用和文化三方面寻求和翻译的静态、动态和文化对等,使翻译活动更具实践意义。     

武警总队军用土地利用结构合理性分析

以武警某总队为例,引入经济学中的洛伦茨曲线和基尼系数两种方法,对其进行军用土地利用结构分析,研究军用土地利用类型的分散或集中程度,判断其下辖单位的军用土地利用专门化程度,进而分析其合理性,对不合理之处给出相应的措施。并得出结论认为,运用以上两种方法所分析的结果一致,都能对军用土地利用结构进行分析,且相互补充。     

TETRA直通模式移动台协议仿真

作为 TETRA 通信的一种方式,TETRA DMO 使得 TETRA 移动台在没有设置基站以及基站覆盖范围之外的地区、系统出现故障或过载以至难以快速接人时可以不经过网络基础设施直接进行相互的通信,从而降低了移动台通信对基站的依赖性,扩展了移动台通信的地理范围。文中首先依照协议对直通模式移动台通信方式和呼叫接续过程进行了介绍,并描述了利用工具 SDL and TTCN suite 4.5对其中的电路模式呼叫流程编程、仿真的过程,最后对仿真的结果进行了简要说明。     

利用化学键能评估火箭推进剂的能量特性

本文介绍利用化学键能评估火箭推进剂的能量特性的方法