一种具身份验证的多密钥协议分析与改进

通过对HARN-LIN协议及两种改进方案进行详尽的安全性分析,指出了HARN-LIN协议存在安全缺陷的根本原因.提出了一种既完全根除HARN-LIN协议缺陷,又不违背HARN-LIN协议不使用单向哈希函数初衷的改进方案,并且从正确性、安全性和协议效率等方面对本改进方案进行了详细的论证.结果表明,本改进方案可以保障通信双方安全地建立并共享多个通信密钥.     

旋转式长冲程抽油机驴头轮廓曲线

应用包络原理求取旋转式长 冲程抽油机驴头的轮廓曲线。该曲线使抽油绳在井内无约束情况下铅直通过。从而保证在抽油过程中平稳提取。     

组织专家鉴定保护区科考成果《梵净山科学考察集》

《梵净山科学考察集》是贵州省环保局和省环境学会组织本省有关科学家和专业人员,在一年多的时间内对梵净山的自然环境和生物资源等作了比较全面的综合考察,并在前人工作的基础上研究、分析了大量考察资料、数据、标本、照片、图表后编写的.书中收集了梵净山科学考察综合报告和十七个专题报告,并有七十多幅彩色照片.     

旧地重游话英伦

三十年前我从英国回到了祖国。最近我重游了那个国度。其间的三十年,世界发生了大变化。三十年来的英国怎样呢?依我原来想象,变化也一定不小。然而当我重游英伦等地,虽然感到有些方面有了明显的变化,但也看到另有一些方面却依然如故。     

Fourier级数的Cesàro平均对有界变差函数的点态逼近度

恳1引言设f的Fourier级数为s〔厂卜粤十又(a*eos kx+白*sinkx). 二 如果以S。(f,均是指“‘x)二5.(f)表示f的Fouri。r级数的第,个部分和,则f的。阶Ces合;妇平 .·“‘,·,一士系’::,“:“,·,一令J{,“x+‘’‘,‘”J‘’其中K:(t)=—A: .艺A‘二毛D“‘’, 士刀,(,卜专+艺。。s,,- Zk+1,sln一万一‘一,2 5 in书拼 乙,:一垂”屯“勇-r(a+作+1)石五干1)r(。+1)晚>一l若厂住方FZ。,则由〔1〕知,当a>0时,有1 ima言 l产。,.。、.,,,、、盯,x)=一二一!广Lx十U)+了Lx一U少l 乙、、沪产.一1时,口:(厂,x)就是众所周知的Fej“算子,变差函数…     

抗反辐射导弹雷达诱饵阵防御效能分析

为了评定一个布置有诱饵的雷达阵地抗反辐射导弹(ARM)攻击的防御效能,提出了采用马尔可夫链的转移概率矩阵进行计算的方法。该方法通过计算在多枚ARM的攻击后,雷达诱饵阵地状态的变化,获得雷达阵地在ARM攻击后的毁伤概率矩阵,以及摧毁雷达所需要的ARM的期望数目。给出了应用该方法的具体步骤,并通过仿真实例检验了该方法的可行性和有效性。     

木醋杆菌1.1812发酵产细菌纤维素的研究

通过单因素试验和正交试验对木醋杆菌1.1812液体发酵产细菌纤维素的培养基和培养条件进行优化,得到木醋杆菌1.1812发酵产细菌纤维素的适宜培养基和条件是:蔗糖5%,蛋白胨1.5%,柠檬酸0.2%,Na2HPO4.12H2O 0.2%,KH2PO40.2%,MgSO4.7H2O 0.03%,乙醇1%,pH值6.8,温度28℃,培养周期6 d。细菌纤维素产量干重为2 g/L。发酵完毕后过滤收集粗纤维,再用4%NaOH溶液冲洗,去离子水和0.5%乙酸反复冲洗,即获细菌纤维素。通过Sephadex G-150柱层析对细菌纤维素进行组成分析,发现木醋杆菌1.1812发酵所得的纤维素成分较为单一。     

关于数学教学中过程教学的理论研究

摘要：数学教学重在体验数学思维的过程，遵循学生的心理发展规律，强调知识过程、思维过程、发现过程、反思过程的协调统一。     

多元Bernstein-Kantorovich算子的逼近逆定理

吸取Ｗｉｃｋｅｒｎ的思想并改进他的方法，得到多元Ｂｅｒｎｓｔｅｉｎ－Ｋａｎｔｏｒｏｖｉｃｈ算子逼近的弱型逆定理，改进了李松的相应结果     

一种FMS加工中心控制器的实时调度方法

以济南第一机床厂箱体零件的FMS为背景，研究了其底层加工个C的实时调度问题。在综合考虑工件的进料期、交货期和最大生产率等特征之后，提出一种基于批量问题的单机启发式实时调度方法。此方法已在该FMS中应用，且具有广泛的实际应用潜力和理论意义。