CMP1协议的符号模型检验分析

提出采用模型检验方法研究电子商务协议的非否认性与公平性问题,建立了认证电子邮件协议CMP1的有限状态机模型,并用SMV检验工具对其非否认性与公平性进行了分析检验,经过分析发现了CMP1协议不满足公平性并对其进行了相应修改.结果表明,利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的.     

打工养殖忙增收

正1月13日,天气寒冷,二师二十五团九连职工葛新江的设施养殖暖圈里却"热气腾腾",放眼望去,670多只膘肥体壮的羊儿欢快地吃着草料。"再冷的天,羊在暖圈里也不会受影响,保暖跟上了,草料充足,这些育肥羊春节前就可以出栏,能有10万元的收入。"葛新江的言谈处处显示着自信。     

追寻“零公里”精神的印迹

在新疆,我们始终被一种叫"零公里"的精神震撼着、鼓舞着并感动着。"零公里"作为一种标志就是从零开始,作为一种精神就是自强不息,作为一种境界就是虚怀若谷。在我们眼里,新疆叶城"零公里"已不再是单一的地理标识,而是一种文化符号和精神追求。8月15日,解放军生活杂志社"送文化到边关"活动慰问团一行10人,从北京飞抵乌鲁木齐,早已等候在机场的武     

动圈扬声器涡流阻抗建模

由音圈涡流效应引起的涡流阻抗对小信号下动圈扬声器的高频响应影响较大。基于集总参数系统等效电路法,将涡流阻抗的幅值和相位分别表示为角频率的幂指数函数,提出了音圈涡流阻抗的幂指模型。使用激光阻抗测量系统,测量得到了3种类型6只扬声器单元的电阻抗曲线,并采用最小二乘法对实测阻抗进行曲线拟合,得到了涡流阻抗的模型参数。分析了模拟阻抗值与实测值的误差,结果表明:幂指模型的模拟结果准确反映了实测涡流阻抗随频率的变化规律,幅值和相位误差均较小,与实验吻合较好。     

工程数据库管理系统DATFEA的符号对象模型及实现技术

本文主要论述符号对象模型的形式化定义及DATFEA标识系统的实现技术,文中对COHOR复杂对象模型的属性(域)进行了广义扩展,引入了对象标识、符号值、符号对象、值对象等概念,并讨论了DATFEA的总体结构及符号对象模型的逻辑组织方法。     

提高快速加密算法FEAL安全性的研究

分析快速加密算法FEAL密文与明文之间的符号依赖性,提出了通过增强密文与明文间符号依赖性提高该算法安全性的两种方法.     

基于符号树信息熵的机械振动瞬态信号特征提取

用简单的二进制划分简要说明了信号符号化问题,给出了二进制划分下符号树结构及其Shannon熵计算方法,叙述了符号序列编码方法和符号序列直方图的作用,提交了符号时间序列分析的计算机流程图,对内燃机机身振动信号和转轴振动信号用符号树信息熵进行了特征提取。     

自旋结网圈表象中体积算符对5价顶角的作用

根据已有文献给出的W矩阵元的一般公式,利用重耦理论深入研究了5价顶角,得出了相应的W(5)矩阵元的可直接计算的精确公式.     

动态立体灭火救援圈理论在大型油罐火灾救援中的应用

我国石油、化工原料库区不断增多,大型油罐日益集中,火灾事故频发,大型油罐火灾事故发生后,仅靠本地区的救援力量已经不能满足这类重特大火灾的灭火救援行动需要,必须要建立跨区域联合救援体制和机制。以一起大型油罐火灾事故为例,分析了动态立体灭火救援圈理论在火灾扑救中的实践应用过程。     

基于时间序无圈有向图的多准则优化成像调度

合理有效地利用遥感卫星资源获取更多高质量影像数据是卫星成像调度的重要工作。提出了一种新的成像调度解决方案。应用图论相关理论,建立卫星成像时间序无圈有向图模型,利用多项准则作为衡量标准对不同成像路径进行评价,提出时间序多准则最短路径算法求取优化成像路径。理论分析和实验表明,该解决方案可以在较短时间内获得多条pareto优化成像路径,具有良好的调度性能。