A protocol for fair electronic purchase based on concurrent signatures

E-commerce protocols for the electronic purchase of goods are difficult to design and implement due to their complexity and high security demands. Fairness of such protocols in literature highly depends on an additional TTP（trusted third party）. However, it is difficult to find such a TTP in some situations. In addition, fairness for customers has been neither fully considered nor well satisfied in existing electronic purchasing protocols. In this paper, a new protocol FEP （fair electronic purchase） without a special TTP but an online bank is presented based on a concurrent digital signature scheme. The FEP protocol guarantees fair electronic purchase of goods via electronic payment between consumers, merchants and their online banks. The protocol is practical and the analysis based on the game logics shows that it achieves the properties of viability, fairness, and timeliness.     

从符合论的观点看逻辑真理

从真理符合论的观点看,逻辑真理与一般的事实真理有本质的不同.我们认为,逻辑真理不应看作是真理,而只是一类逻辑有效式,它们与逻辑推理的普遍有效式是一致的.逻辑学的任务就是探寻逻辑真理.     

大连市交通调查数据存贮处理系统

应用Ａｐｐｌｅ Ⅱ微型计算机，采用多磁盘连续读写技术，完成了数百万个数据的存贮处理， 为交通调查工作的研究、分析与决策提供了可靠的原始数字依据。利用软件技术和数学逻辑检 查处理等手段，在低档微机上实现了大批量数据的存贮，为数据存贮处理提供了一个可行的系 统。     

Integrate Fuzzy Logic Stable Control System of Bank-to-Turn Missiles

1.INTRODUCTIONBank-tthturn(BTT)[1]andskid-tDeturn(STT)aretwogeneralmethodsofcontrollingtheattitudeofamissiletoachievetheaccelerationcoxnmandedbytheguidancelaw.BTT~ifeshavehighmaneuverabilitycomparedwithSTTInissiles,soBTTcontroltechllologybecomesacolltinualhotprobleminthefieldsofaerodynamics,guidance,colltrolandnavigstinnduringthepast20years.However,thelargerollrate,whichisgeneratedinevitablywhenBTTmissilesrapidlychangetheorielltationoftheaccelerationtoexecuteaBacsteeringpolicy,will…     

基于模糊神经Petri网的C~3I信息融合模型

本文将模糊技术、多层感知器理论与Ｐｅｔｒｉ网相结合,提出了一种关于Ｃ３Ｉ信息融合的模糊神经Ｐｅｔｒｉ网的模型。将模糊逻辑规则应用到多传感器融合系统中得到模糊Ｐｅｔｒｉ网,并在此基础上将人工神经网络引入到Ｐｅｔｒｉ网中,从而提高了系统的学习能力以及对外界环境的自适应能力。     

组合网络的ROM优化设计——函数分解法

首先讨论了组合函数的分解,然后给出ＲＯＭ实现组合网络获得优化设计的ＲＯＭ平行分解和串行分解两种方法。函数分解法可提高ＲＯＭ芯片利用率,节省ＲＯＭ容量。     

有限状态模糊思辨逻辑系统及其数学模型

在简单思辨逻辑系统基础上,提出了有限状态模糊思辨逻辑系统,建立了其数学模型。     

一种结构简单的四层模糊神经网络的设计

给出一种结构简单、权值意义清晰的模糊神经网络的设计方法,该网络可在线从数据中自动提取控制规则,运算速度快、将其用于参数未知的被控对象进行模型参考自适应控制。仿真表明系统具有较强的鲁棒性和自适应能力。     

模糊 RBF 网络简化模型研究

在一定的前提条件下,提出一种简化的模糊ＲＢＦ网络模型．该网络由输入层、模糊化层、模糊联结层、合成联结层和输出层组成．同时,还给出网络的构造方法和自学习方法．仿真结果表明此网络对非线性、多变量函数具有良好的逼近能力．     

智能模板 IP241 在塔式活套上的应用

太钢七轧厂冷线机组生产线采用西门子Ｓ５－１１５Ｕ可编程序控制器构成ＰＣ控制系统,其中塔式活套控制采用智能模板ＩＰ２４１位置编码器进行活套量控制和活套断带控制,与控制器构成ＤＤＣＳ分布式ＰＣ控制系统。本文主要介绍智能模板ＩＰ２４１在塔式活套ＰＣ控制系统中应用的硬件、控制功能及软件程序框图。