对一种电子支付协议的改进

随着电子商务在全球的迅猛发展,电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础,其中不可否认性和公平性则是电子商务协议的两个重要安全需求。介绍了Bolignano电子支付协议,对其不可否认性和公平性进行了分析,发现了协议在公平性方面存在不足,并通过引入ftp传送的思想,对协议进行了改进。最后本文通过严格的协议形式化分析,证明了改进后的协议满足不可否认性和公平性。     

IMI及其微生物转化产物5-hydroxy IMI的HPLC分析

研究了烟碱类杀虫剂IMI及其微生物转化产物5-hydroxy IMI的反相高效液相色谱分析方法．采用Zorbox OSD反相柱，水和乙腈（75：25）（v／v）为流动相，流速为1mL／min，检测波长为269nm，IMI和5-hydroxy IMI得到较优分离．在0．5～50mg／L的浓度范围内，两种物质的色谱峰面积和浓度之间呈线性关系，IMI和5-hydroxy IMI的标准工作曲线分别为y=112．23x-1．7775和y=98．039x-17．508；相关系数为0．9999和0．9997．转化产物的样品中IMI和5-hydroxy IMI添加的回收率分别为99．3％和97．4％．     

2002-2005年硅湖学院女生体质状况动态分析

通过对硅湖学院2002级女生200人在校期间的身体形态、机能及运动素质、心理状态等方面进行追踪调查，旨在反映高职院学生在校期间体质健康状况和变化特征，为学校有关部门合理学生在校期间的学习和生活提供参考依据。     

同步数字集成电路设计中的时钟树分析

研究了同步数字系统的组成和时钟偏移,并结合一个数字集成电路8051的时钟树设计实例,介绍了时钟树的经验结构和设计方法流程.比较了采用Synopsys公司的布局布线工具实现的自动时钟树分析与指定结构时钟树分析,证明结构恰当的时钟树能得到比自动时钟树分析更好的结果.     

一种基于时序分析的大型重载支承轴隐蔽部位疲劳裂纹诊断方法

大型重载支承轴隐蔽部位因发生不可观测的突发性疲劳断裂事故,严重影响生产的正常进行,给企业带来重大的经济损失.在分析支承轴振动特性的基础上,通过在机械结构外部便于检测部位提取反映结构疲劳裂纹状态的特征信号,编写相应的MAT-LAB程序构建时序模型,然后模拟支承轴实际工况,将裂纹产生、发展、断裂过程划分为5种状态,建立标准故障模式特征向量空间.运用模糊聚类分析方法,结合Euclide距离判别函数,找出与标准故障模式特征向量中隶属度最大的特征向量,从而有效诊断支承轴隐蔽部位疲劳裂纹状态的程度.最后通过实例验证了该方法的正确性和可行性.图2,参5.     

基于并发服务的视频点播策略

在分析比较目前常用的网络服务器工作方式的基础上提出了适合视频点播的并发服务模型，给出了算法过程的描述，并针对设备使用提出了配置策略。该并发策略同样适用干网络视频的多点实时传输和网络多点实时监控。     

浅析C语言指针的灵活运用及常见错误

针对学生在学习指针过程中遇到的困难及使用指针过程中出现的常见错误,讨论指针的概念、指针与数组的关系、指针与函数的关系、指针作为函数参数的实质,帮助学生克服困难和错误。     

基于卷积技术的线性系统的时域分析

从理论上严格证明线性时不变系统时域分析的核心是卷积,卷积不仅能计算系统冲激响应和零状态响应,也能计算系统零输入响应和全响应.     

瑞典条分法与毕肖普法在土坡稳定分析中的应用和研究

根据土坡稳定分析时常采用的瑞典法和毕肖普法，通过算例对比验证了在同一圆心和滑弧位置，瑞典法由于忽略了土条侧面的作用力，由此算出的稳定安全系数比毕肖普法偏低，这种误差随着滑弧圆心角的增大而增大。因此,在进行较重要的土坡稳定分析中应同时采用毕肖普法或其他较严格的方法进行计算。     

世界优秀男子110 m栏运动员成绩变化分析

采用文献资料调查、数理统计等科研方法, 对1997年世界田径锦标赛男子110 m栏前 7 名运动员的成绩进行相关分析, 揭示当今男子110 m栏全程速度变化的规律和特点, 并对近 4 年来世界优秀男子 110 m栏运动员与我国男子110 m栏运动员的成绩进行对比分析, 希望能对我国男子110 m栏的训练提供一些新的参考和启示.