排序方式: 共有18条查询结果,搜索用时 562 毫秒
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.
8.
介绍在VB环境下供热系统图形监控程序用户界面的快速开发,论述了各个窗体的创建以及动画技术的运用。 相似文献
9.
朴素贝叶斯算法(NB)在处理分类问题时通常假设训练样本的数值型连续属性满足正态分布,其分类精度也受到训练数据完整性的影响,而实际采样数据很难满足上述要求。针对数据缺失问题,基于期望最大值算法(EM),将朴素贝叶斯分类器利用已有的不完整数据进行参数学习;针对样本数值型连续属性非正态分布的情况,基于核密度估计,利用其分布密度(Distribution Density)和新的分析计算方法来求最大后验分布,同时用标准数据集的分类实验验证了改进的有效性。将改良的算法EM-DNB应用在生物工程蛋白质纯化工艺预测中,实验结果表明,预测精度有所提高。 相似文献
10.
在互联网发达的当今社会,新媒体不断兴盛发展,不仅延展了信息的传播维度,也对媒资进行了结构整合,给传统媒体带来了一定冲击.以2015年9月第五届成都国际非物质文化遗产节"互联网+非遗"展馆推出的"天府瞳"App为例,探究AR技术作为推广文化创意产品的新型手段给信息传播模式带来的聚合与裂变,以期为AR技术与文创产品的结合提供新的思考空间. 相似文献