排序方式: 共有17条查询结果,搜索用时 109 毫秒
1.
基于分层时间有色Petri网的支付协议公平性分析 总被引:2,自引:0,他引:2
电子支付协议是一种重要的电子商务协议,公平性是其重要的安全属性之一.该文提出一种基于分层时间有色Petri网(HTCPN)的电子支付协议形式化分析方法.该方法在进行公平性分析时,充分考虑了两个环境因素:主体是否诚实和通信信道是否可靠,与其他形式化方法相比,可以更有效地分析协议公平性.使用该方法对典型支付协议IBS协议进行分析,分析结果验证了所提模型和方法的有效性. 相似文献
2.
3.
4.
5.
6.
基于GSM/SMS的分布式测控系统的通讯实现 总被引:7,自引:0,他引:7
针对传统的分布式监控系统数据通讯采用数传电台通讯方式,当系统用于地理位置较为分散、地势起伏较大的地区时存在数据容易丢失的问题,设计了基于GSM/SMS无线通讯方式实现数据通讯。利用GSM Modem TC35T分别与系统管理、现场两级的计算机连接,通过GSM短消息方式实现系统两级间的数据传递和命令传达,从而保证了数据传输的质量。通过在集中供热网工程中的实际应用说明,这种通讯方式不受系统地理条件的限制,在数据传递过程中确保传输的快捷性和数据的可靠性。 相似文献
7.
介绍在VB环境下供热系统图形监控程序用户界面的快速开发,论述了各个窗体的创建以及动画技术的运用。 相似文献
8.
9.
透射式光纤气体传感器的研究 总被引:8,自引:5,他引:3
本文介绍了一种新型光纤气体传感器。它是以微机械加工为手段,以光纤传感为基础研制的。它除具备其它光纤传感器的优点外,还具有结构简单、测量方便、选择性好、不需较多的光学仪器、成本较低的特点。因而有着较为广阔的发展前景。 相似文献