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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

固定化微生物技术在废水治理中的应用

介绍了固定化生物技术在国内外污水治理领域的应用情况，并着重阐述了广谱性个性化固定生物基的概念、材料特点、制作工艺、作用原理、与同类技术相比的技术特点以及在农村污水治理工程中的应用前景。     

废内燃机油的预处理过程及其产物性质分析

对废内燃机油进行了热处理-蒸馏深拔的预处理研究,结果表明:经过热处理后两种废油40℃的黏度分别降低36.20%和48.79%,杂原子总含量分别降低56.11%和50.25%,杂元素总含量分别降低86.81%和87.12%,基本达到降黏除杂的目的;热处理后的废油经蒸馏深拔后回收利用率达到了89.72%,同时实现了黏度的进一步降低,杂原子和杂元素的进一步脱除,获得了适合加氢改质的原料油。