摘要：安全支付协议是实现电子商务在线支付的关键。目前缺乏同时支持电子商品和实物商品的在线支付协议,基于此,该文给出了一种同时支持这两类商品交易的安全支付协议,最后使用SMV工具对协议的原子性进行了分析并验证了其可行性。

摘要：着重分析西方学术界对技术体系的影响及作用 ,结合现代工业设计的思想、性质、特点等 ,分析论证如何将现代工业设计的思想观念、方法运用到技术体系中 ,不断调整技术体系与人的协调关系 ,从而建立与人文相适应的技术体系。

摘要：多业务接入网关是构建多业务局域网的核心,采用有线和无线综合接入方式,以及语音和数据多业务融合的思想,非常适合于SOHO应用环境。文章提出了嵌入式多业务接入网关技术方案,着重介绍多业务接入网关软、硬件设计与实现,包括设计原则和设计思路,以及各功能模块的作用和工作原理,最后给出多业务局域网的应用实例。

摘要：对仿射非线性系统全维观测器设计方法进行了讨论,提出了一种设计方法.该方法基于微分R iccati方程的正定解,观测器的增益矩阵通过R iccati方程的正定解给出,因而观测器增益矩阵为时变的.通过坐标变换,用李亚普诺夫方法对观测器的存在性进行了论证.对一个实际模型的仿真分析表明了该方法的实用性和正确性.*

摘要：基于蜗杆机构的原理特征,在螺纹套丝机的进退刀机构的设计中,根据设计要求采用蜗杆机构作为螺纹套丝机螺纹切削的运动和动力输出机构,并对进退刀机构的运动关系、理论传动误差进行了分析,对蜗杆机构的复合应用有一定的参考价值。

摘要：时间自动机是一种有效描述实时系统行为的计算模型。借助时间自动机对实时系统进行分析、设计能够保证所开发的实时系统具有较高的可靠性。在此过程中对时间自动机的验证是非常关键的一步。验证的主要目的是为了保证时间自动机能够正确地描述实时系统。其中迁移的时间约束可满足性就是需要验证的性质之一。常用的方法是通过构造时间区域自动机来实现,但该方法所涉及的状态数目巨大。该文针对一类时间自动机的特点给出了基于时间关系矩阵来判定时间约束可满足性的方法,结果表明该方法能够有效地减少状态数。

摘要：建筑带肋螺纹粗钢筋螺纹连接技术是20世纪90年代后期发展起来的技术,因其接头稳定可靠、连接强度高、工艺简单、施工便捷、环保性能好等优点,得以推广应用.螺纹套丝机是该技术的关键设备,在使用过程中发现套丝机的手动进退刀方式劳动强度大,螺纹加工量不稳定,螺纹牙形经常出现秃牙、牙底宽、乱牙等情形,受操作者的熟练程度、疲劳程度、情绪等主观因素影响很大.为了从根本上克服这个缺点,同时保持原机器加工效率高、体积小、结构紧凑、质量轻、便于现场加工等特点,提出了螺纹切削时自动进刀,切削完成后手动退刀的设计要求.

摘要：通过多参数耦合下的油阻尼振动和冲击实验及相关数据的处理、分析，总结出了一些有关油阻尼减振抗冲技术的基本结论，对今后设计兼顾减振、抗冲双重要求的油阻尼减振器具有一定的指导作用。

摘要：以改善法向模螺旋天线的特性为目的 ,对平面波入射时任意媒质常数为参量的多层圆柱形磁性体的散射反射电磁场特性及内部磁通进行了研究和解析 ,数值计算的结果可作为改善法向模螺旋天线性能抑制反射、散射现象的指导性设计资料。

摘要：在一微分Riccati方程有正定解的前提下,通过坐标变换方法对该类系统提出了一种指数型降维观测器设计方法,该观测器的增益矩阵取决于微分Riccati方程的正定解.通过对一实际模型的仿真分析,表明所提出的指数型降维观测器具有较好的状态估计性能.