军队被装协议采购现状分析及后续管理对策

2010年我军被装采购进入以协议采购为主的新时期。这种采购方式具有稳定被装供应商队伍、实施区域化保障、降低采购成本及端正行业风气等特点,但也存在制度体系不健全、价格调控机制不灵活等不足。在后续工作中应逐步健全协议采购制度体系,积极培育新的竞争机制,实时掌握生产供应情况,加强对产品质量的监控。     

奇摄动椭圆方程边值问题的边界元法及一致敛速估计

利用边界元方法,讨论了三维奇摄动椭圆方程边值问题,得到了关于ε的一致的误差的最优估计。     

一类非线性问题的数值分析

利用Ｌａｐｌａｃｅ方程的基本解,将变系数非齐次Ｈｅｌｍｈｏｌｔｚ偏微分方程的边值问题化为积分方程问题。再用边界无法进行离散,并对区域结点及边界结点的方程耦合求解。文末算例表明本文方法能够达到较高精度。     

高精度分数时延滤波器设计的边界拟合Remez算法

在卫星星间测距模拟信号仿真及实际测试中,为提高测距模拟信号精度和系统可用带宽,提出基于边界拟合Remez算法的高精度分数时延滤波器的设计算法。该算法利用Farrow结构的多项式近似思想,采用多项式拟合Remez算法设计滤波器的冲激响应边界系数,通过多相分解实现分数时延滤波器组。该算法改善了当设计的滤波器阶数较高时冲激响应边界的不连续现象,进而降低了群时延误差,提高了精度。仿真结果表明,该算法设计的滤波器的分数时延精度得到了提高,同时系统可用带宽提高近一倍,实现时需使用的乘法器数目也有明显降低。     

基于LEACH协议的研究与改进

无线传感器网络中如何节能是一个关键问题。对经典的LEACH协议做研究与改进,并提出了一种新型的动态网络转换机制。该算法通过综合考虑候选节点的地理位置、剩余能量等参数来进行网络协议的选择,从而有效地降低了低能量与位置不佳的节点被选为簇首的可能性,进一步保证网络内节点能量负载的均衡性。仿真结果表明,新型的动态网络协议机制能够有效平衡节点的能量消耗分布,延长节点与网络的寿命。     

附连水质量的边界元法求解

研究了计算水下结构动态响应中附连水质量的边界元方法;根据数值积分和边界元法的原理,应用直线单元对结构边界进行离散,将原有表达形式中复杂的曲线积分转化成可直接计算的数值积分形式,从而解决了奇异积分的问题;得到了更适于直接计算的系数矩阵和向量的表达形式,使边界元法更方便地应用于计算无限流场中不规则截面物体的附连水质量.最后,给出了典型算例,并与经典计算结果比较,误差均在4%以内.     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

多功能·超实用·强监管——解读卫士通安全新品USG3000系列

近日,卫士通隆重地向大型企业市场及各级行业市场推出新一代多功能综合安全网关——CG-USG3000系列。该系列共包括USG3010、USG3020、USG3030、USG3040、USG3050、USG3060六款产品,基于卫士通公司在安全行业数十年的技术积累，结合了行业发展特征和客户的广泛需求，USG3000系列在支持防火墙、     

基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分，是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模，基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性，也表明了扩展标记变迁模型对于协议验证的有效性。     

基于EPA的分布式控制系统研究与设计

在模拟信号控制的数控系统基础上,设计了基于EPA标准的分布式控制系统;介绍了EPA标准,研究了确定性通信调度机制和精确时钟同步协议的应用这两个关键技术,设计了控制系统中通信模块和嵌入式转接电路板,并对试验结果进行了演示.结果表明,该系统运行稳定,各项性能满足应用需求,对军用控制系统的研究提供了较好的借鉴经验.