基于模糊数学的通信网络密文信息差错恢复

传统的通信网络密文信息差错恢复方法未对进行密文信息特征增强,导致密文信息的恢复耗时较长,存在一定的误差.提出模糊数学的通信网络密文信息差错恢复方法.设计密文信息恢复流程,利用模糊数学理论计算密文信息增强算子,实现通信网络密文信息增强;采用压缩感知算法进行密文信息差错感知,提取时间域和空间域特征实现密文信息恢复.为了验证上述方法对通信网络密文信息差错恢复性能,设计对比实验.结果表明,研究的通信网络密文信息差错恢复方法,收敛速度较快,信息差错恢复所需时间较短,具有较低的密文信息恢复误差、稳定的均方根误差.     

实时并发系统的PTSL模型检测

随着实时并发系统的软件规模越来越大、复杂性日趋增加,如何保证并发实时系统正确性和可靠性成为日益紧迫的问题。模型检测技术采用自动化的验证算法判断系统是否具有某一性质,它不仅包括对系统模型的遍历以及基于图形的分析方法,而且还需要大量的数值计算。本文把实时并发模型看成对并发博弈模型（CGS）的扩展,在此基础上添加了概率与时间性质,提出了概率时间并发博弈结构（PTCGS）。同时本文还提出了新的逻辑语言-概率时间策略逻辑（PTSL）,它显式地把策略作为一阶逻辑中的对象,从而使我们能够以简单而自然的方式指定PTCGS系统中的非零和属性。PTSL模型检测方法能够让设计者准确知道模型是否满足用户的需求,从而提高系统的可靠性。最后,本文以ZeroConf协议为例来说明PTSL模型检测方法的正确性。     

基于攻击群模型的协同入侵的响应方法

 本文提出了一种通过关系图建立攻击群模型的方法,在时间特征及因果关系的约束条件下,判断攻击序列,重构协同入侵行为的攻击过程,在无须考虑攻击群中个体的响应成本与损失成本的比例的情况下,及时对攻击行为做出响应,从而达到最大程度地减少响应成本的目的.     

乒乓切换在移动IPv6扩展协议中的性能分析

 综合评价了多种移动IPv6扩展协议在基于端到端的TCP协议L3层的切换性能,模拟仿真了乒乓切换在MIPv6、FMIPv6、HMIPv6和FHMIPv6中的时延、吞吐量和丢包现象,提出了一种优化的FHMIPv6方案.该方案通过定义新的Hop-by－Hop 选项报头TM、 PCoA表和双向隧道表,实现MN的快速、平滑切换,比FHMIPv6进一步减少了时延,提高了吞吐量,降低了丢包率.     

汽车起重机变幅油缸CAD系统的研制

本文介绍了汽车起重机变幅油缸CAD系统.系统运用基于特征的参数化实体造型技术,采用Visual Basic6.0对Solid Works进行二次开发,实现了汽车起重机变幅油缸的自动化设计.详细讨论了系统的功能结构及研制开发中的关键技术.     

徐家围子西部地区层序划分及控制因素分析

以层序地层学理论为指导,通过地震解释和井震结合,依照层序划分原则,对二级和三级层序的特征和识别标志进行研究。提出了徐家围子西部地区的层序划分方案。将该地区深层地层划分为4个二级层序和8个三级层序。二级层序为构造层序,三级层序是由不整合面及与其对应的整合面所限定的地层单元。层序的发育是多种因素综合作用的结果,研究区的层序主要受构造、气候、沉积物供给速率、湖平面变化和火山喷发的影响,这些因素相互作用影响基准面和可容空间的周期性变化,进而影响层序的发育特征。     

用于并行计算的PC机群

随着计算机技术的高速发展，使用机群进行并行计算也越来越流行，尤其是利用工作站机群进行并行计算已经十分普遍。但使用ＰＣ机群进行并行计算的系统还很少，这种ＰＣ机群由一组ＰＣ机（４８６，５８６）通过网络互连组成。本文介绍现有的几个ＰＣ机群和我们研制的一个ＰＣ机群计算环境     

国产微处理器航天应用的可行性研究

微处理器是星栽控制计算机的关键器件，要求具有较高的抗空间辐射性能。本文对复旦微电子公司生产的JFM80386EX的特性进行了介绍。通过对其抗总剂量辐射性能的研究，对国产嵌入式微处理器用于航天器的可行性进行了探索。     

微电脑控制装置在家用毛衣编织机中的应用

介绍了采用AT89C51微处理芯片和步进电机对家用毛衣编织机进行改进的装置设计，此装置能够提高家用毛衣编织机的自动化程度，降低劳动强度，成本低，性能价格比较高。     

第三届全国粉碎工程技术研讨会在北京召开

中国选矿科技情报网粉碎工程网、中国全属学会选矿学会、中国有色金属学会选矿学术委员会、中国有色总公司选矿情报网于1986年10月20日～11月2日在北京联合召开第三届全国粉碎工程技术研讨会。