基于身份验证技术的后勤保障审核系统

对身份验证的易仿造和易篡改提出了一种新的解决方案--采用数字水印技术来保证身份验证的完整性和不可否认性.阐述了一种采用非对称密码体制的数字水印应用策略,并以在某部队的具体应用为背景实现了一套对身份验证进行散列、数字签名,然后再通过数字水印技术将信息隐藏入验证系统的方案.该方案有效地确保了部队信息传输的保密性、交易者身份的确定性、数据交换的完整性以及发送信息的不可否认性,具有较好的实用价值.     

析国家赔偿抚慰性原则的不合理性

国家赔偿抚慰性原则是指国家赔偿不足以填补受害人的实际损失 ,仅仅是象征安慰性质给予一定的补偿 ,这种赔偿金的数额往往少于受害人的实际损失。具体表现是没有确立实质性的精神损害赔偿和对可期待利益的不予赔偿 ,这有违公平原则。由于确立此项原则的理论依据不充分 ,且社会实际发生了新的变化 ,此项原则已不适应时代的需要 ,应该予以修改 ,从而更好地保护受害人利益和为市场经济保驾护航。     

目击多种保障方舱联合演练

近日,记者全程参与南海舰队某保障基地多种方舱联合保障演练,深感这些机动性好、实战性强、功能齐全的保障方舱,必将成为未来海战战斗力的“倍增器”——     

航空用绝缘材料发展的几个特点

本文论述了航空用绝缘材料的特点和对耐热性、相容性和阻燃性等关键性能的要求。     

印度皮纳卡多管火箭炮试射成功研制时间达27年

据《印度防务》网报道,印度陆军和国防研究与发展组织（DRDO）8月13日成功进行了“皮纳卡”多管火箭炮的发射试验。此次试射的主要目的是评估火箭弹飞行的稳定性和打击精度,以及整套装置备子系统的匹配性。根据印军方公布的数据,这次试验的结果非常令人满意。     

一类偶数阶非线性中立型偏微分方程组的振动判据

讨论一类偶数阶非线性中立型偏微分方程组的振动性,利用Green公式和边值条件将这类非线性中立型偏微分方程组的振动问题转化为中立型微分不等式不存在最终正解的问题,并利用最终正解的定义和微分不等式方法,获得了该类方程组在两类不同边值条件下所有解振动的若干充分性条件。所得结果为解决物理学、生物学、工程学等学科领域中的实际问题提供了数学理论基础。     

识别和远离社交恐惧

社交恐惧有以下几个特点：当面对不太熟悉的人或被他人注视时,出现显著的持续存在的担忧或恐惧,担心自己将面临窘境。一旦暴露在恐惧的环境中,几乎总会产生紧张和焦虑。这种恐惧是多余的或不适宜的。回避行为、预期性焦虑、环境中产生的痛苦或躯体症状（例如多汗、面红耳赤、胃肠道症状、震颤、心跳过快等）,严重妨碍了他们的正常生活,非常痛苦。     

基于复杂网络的指控组织建模与分析

面对指控组织(C2组织)日益呈现出的复杂性和网络化结构特点,提出基于复杂网络的研究思路,并从现实指控组织网络出发,分析复杂网络理论适用于指控组织建模的现实与理论依据。结合指控组织建设的普遍实际,参考复杂网络适应度模型及组织网络模型后,基于新节点和内部边两方面交互增长的思想,建立了指控组织生成模型。通过仿真实验,验证了无标度性、小世界性等复杂网络特性,符合现实指控组织的特点,为进一步进行指控组织效能评估提供了基础。     

基于模型的系统级故障诊断与预测推理技术

针对装备状态监控和故障预测推理的需求,提出不同的诊断推理模型。首先,提出了基于二值相关性模型的快速推理算法,采用Vx Works平台对方法进行了验证评估。然后,针对应用过程中存在的时延、故障耦合等现象,提出了动态诊断模型。在此基础上,提出了考虑故障预测的诊断和预测一体化诊断推理模型,对推理运算方法进行了阐述,开发了仿真验证软件。以某卫星电源系统为例进行了验证,结果显示模型具有故障诊断和预测能力,能实现故障诊断和预测的一体化推理。     

关于半鞅的可料表示性

利用鞅空间H1的泛函表示定理、泛函分析中的Hahn-Banach定理、半鞅向量随机积分的Girsanov定理,获得了半鞅可料表示性的特征。由于使用的是半鞅的向量随机积分,它推广了经典的结论。