用逻辑方法验证移动Ad Hoc网络协议

针对移动Ad Hoc网络节点移动和无线广播通信特征,引入移动算子和广播算子,扩展形式逻辑LS2,提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2.ELS2把网络模型化为不同位置上执行程序的线程复合,把攻击者模型化为与协议参与方并发运行的线程.ELS2中提出网络迹概念,描述网络节点内部计算和外部交互,以及节点移...     

中国无缝钢管技术装备的发展对策探讨

结合中国无缝钢管技术装备发展的问题,从充分发挥现有先进装备的特长和作用进行结构调整等方面探讨了中国无缝钢管技术装备的发展对策。     

实对称矩阵空间到Hermitian矩阵空间保秩1的加法映射

Sn(R)记实数域R上全体n(n≥2)阶对称矩阵构成的线性空间,Hn(C)记复数域R上全体n阶Hermitian矩阵构成的线性空间.确定了从Sn(R)到Hn(C)保秩1的加法映射的结构.     

稀疏网络编码中秩分布分析模型研究

针对现有稀疏网络编码研究中线性相关概率性能指标精准度较低的问题,提出基于马尔可夫链的性能分析模型。对线性相关概率、秩的概率分布等性能指标及其复杂度进行分析,并通过该性能分析模型分析编码包传输后期的译码成功概率;基于吸收马尔可夫链计算编码包传输过程中的瞬态、吸收态以及各状态间的状态转移概率,并对状态转移概率中蒙特卡罗模拟误差较大的问题进行改进,由状态转移概率构建吸收马尔可夫链基本矩阵,得出信宿端收到非再生包的线性相关概率,进而推导出秩的概率分布和译码成功概率性能指标。仿真结果表明,在相同条件下所提模型性能指标精确度均优于对比模型,且能精确地评估信宿端解码矩阵秩的概率分布、译码成功概率等稀疏网络编码的译码行为。     

专利管理在企业知识管理中的应用

企业是技术创新主体.专利是技术创新的重要产出.因此,专利资产是企业重要的战略性资产,有效的专利管理是企业知识管理的重要组成.本文比较了当前国外企业专利管理的几种基本模式与组织架构,分析了各自优劣及适用条件,并探讨了专利情报分析在企业专利管理中的重要应用.     

柔臂弯曲和挠转振动的非线性应力反馈控制

用数值仿真的方法讨论了一种用新型的应力及其微分的非线性反馈律来镇定柔性臂的弯曲和扭转振动的问题。该法使用跟踪－微分器取得柔性臂根部应力信号和微分信号,并与根部应力信号以及端咪的挠率信号一起组成非线性控制输入来控制柔性臂的弯曲和扭转振动。其镇定的仿真实验效果很好。     

基于虚拟激励法的变速行驶车辆振动分析

在虚拟激励法的基础上,建立了人车路垂向动力学模型和道路虚拟输入模型,推导了车辆非匀速行驶的时-空频率关系,得到了车辆非平稳响应的瞬时功率谱,应用Mathematic语言编制了四分之一人车模型的仿真程序,以简化模型为例,考察了变速车辆行驶的平顺性.数值仿真结果表明,虚拟激励法用于求解车辆振动响应,尤其是用于非平稳随机输入下的车辆振动分析,简便快捷,省时省力,能很好地反映汽车乘坐舒适性.     

面向委托设计的多目标网络评价系统

在网络驱动的数字化工业设计的背景下,基于Web的评价策略将成为提高设计质量的重要一环。从工业设计评价理论出发．利用ASP技术和模糊评价理论构建了面向委托设计的多目标网络评价系统,将传统的评价策略移植于网络之上,大大提高了评价策略的应用面,为委托用户提供了更为理性,客观的方案选择方式;同时也为工业设计多目标评价提供了新的方法和思路。     

发展武警部队集装化运输保障探讨

武警部队后勤物资运输保障多采用散装的形式,保障效率低。通过分析外军与解放军后勤物资集装化运输现状,结合执行多样化任务的实际,阐述武警部队后勤物资集装化运输的意义,最后提出发展集装化运输的构想。     

一类风险模型中的破产测度分析

讨论了一类索赔到达为Cox过程的保险风险模型,建立了Gerber-Shiu折现罚函数所满足的积分—微分方程.当索赔量分布函数属于有理族时,得到了两状态模型中破产时间函数的显示解.