机动输油管线泄漏监测技术

机动输油管线采用露天方式快速铺设,容易发生泄漏事故。根据负压波原理,利用一种基于可变窗长中值滤波器的泄漏检测算法,在不降低检测灵敏度的前提下,能有效降低泄漏误报率。该算法在保证泄漏定位精度的同时,还能保持较高的实时性,较好地满足机动输油管线泄漏监测的需要。     

建立中国式辩诉交易制度的构想

美国的辩诉交易制度具有重要的理论价值和现实意义。有必要借鉴国外辩诉交易制度的合理因素,建立中国式的辩诉交易制度。建立中国式的辩诉交易制度,应对其适用条件、适用案件的范围及适用程序做出明确规定。     

基于小波分析的油料信息安全传输平台框架研究

通过对IPSec实现VPN隧道这种网络安全技术和基于小波分析的信息图像伪装算法的深入研究,将这两种技术有机结合,在应用层对信息进行伪装,在网络层实现VPN 隧道传输,并据此构建一个可解决公用的信道上述问题的信息安全传输平台模型,从而为军队油料信息安全传输提供一种较好的解决方法。     

基于灰色系统理论的火灾事故预测方法

简要叙述应用灰色系统理论进行火灾事故预测的理论和方法 ,建立了火灾事故预测的GM (1,1)模型 ,并用该模型对火灾事故进行预测。     

Single‐machine scheduling with deadlines to minimize the total weighted late work

We consider scheduling a set of jobs with deadlines to minimize the total weighted late work on a single machine, where the late work of a job is the amount of processing of the job that is scheduled after its due date and before its deadline. This is the first study on scheduling with the late work criterion under the deadline restriction. In this paper, we show that (i) the problem is unary NP‐hard even if all the jobs have a unit weight, (ii) the problem is binary NP‐hard and admits a pseudo‐polynomial‐time algorithm and a fully polynomial‐time approximation scheme if all the jobs have a common due date, and (iii) some special cases of the problem are polynomially solvable.     

认知无线网络中不同场景的动态频谱聚合算法

在认知无线电网络中,不连续的频谱片段可以通过频谱聚合来满足认知用户的用频需求。常用的频谱聚合算法有具有聚合能力的频谱分配算法、最大满足算法和最小切换算法等。文章在这几种算法的基础上提出了一种能够预测高级用户出现概率的方法,从而减少网络开销;对于用频需求较大的情况,提出了折中算法和片段最大化算法,增加了可支持的用户数量,并减少了网络开销。仿真结果表明,上述算法具有较好的效果。     

建设与发展：军事系统工程专业委员会第二十届学术年会成果综述

军事系统工程专业委员会第二十届学术年会的主题是＂军事能力建设与军事系统工程＂。在基于信息系统的军事能力建设、海上方向安全与海洋战略、武器装备论证与运用、作战训练理论与实践、现代作战建模与仿真、作战实验分析、作战实验数据采集与应用、模型体系建设、效能评估指标体系和军事需求分析与军事概念模型等方面有深入的研究,取得了重要成果。     

联合火力毁伤下炮兵生存能力分析与行动对策

随着联合火力毁伤已成为现代作战中主要的火力毁伤形式,对于炮兵而言要完成火力毁伤任务,就必须首先解决联合火力毁伤下如何行动的问题.根据联合火力毁伤与炮兵行动的特点,从生存能力这一指标人手,通过建立发现概率、毁伤概率的评价模型对炮兵生存能力进行了模拟分析,并由模拟结果提出了联合火力毁伤下炮兵提高生存能力的行动对策.     

一种新型军用电源智能充电机控制算法

军用电源充电机是一个多参数、时变的非线性系统,传统的PID控制算法难以在线调节达到优化充电曲线的目的。针对该问题,提出了一种基于模糊和免疫机理的自适应PID控制算法。该算法通过模糊免疫反馈机理对PID控制的比例系数进行实时调整,采用模糊自适应控制器对PID控制的微分、积分时间常数进行在线整定。仿真结果表明,该算法具有响应时间短、超调量小,鲁棒性强等特点,极大地改善了系统的适应能力,达到了优化充电曲线的目的。     

SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.