一种分析电子商务协议的知识与信念模型

针对现阶段电子商务协议形式化分析的处理比较混乱、表述精确度不高且通用性较差、存在一些不合理的假设等问题,运用现代模态逻辑理论,结合知识与信念,提出了一种分析电子商务协议的模型:知识与信念模型。该模型主要包含安全环境、知识集、信念集、能力集、切入点和知识化等因素。知识与信念模型很好地解决了上述问题,能够细致、精准地对各种电子商务协议进行形式化描述,并为不同的分析方法提供了模型支持。     

基于逆向超图的从关系模式到“改进的第三范式”的分解

本文以逆向超图为工具， 讨论了非必要和非基本属性在超图中的性质， 给出了基于逆向超图的泛关系模式到改进的３ＮＦ的分解算法     

简述中国古代水利科技对世界的贡献

近代以来由于国势衰颓振兴中华成为一代代国人矢志不渝的奋斗目标。但百年来国运的坎坷也让人们产生了严重的错觉把国家的积弱和民智不开归罪于中国古代文化甚至认为现代科学之所以没有在源远流长的中华文化土壤上生根发芽也是独特的中华文化基因所致。随着近代以来西方科学技术的普及人们在看到西方发达的科技的同时很容易就把中国古代科学技术等同于落后和传统而把西方科技无论古今都视为先进和现代乃至最后提出中国只有技术而没有科学的结论。这种简单的二元思维方式影响之大乃至成为一种普遍观念左右着人们对本国文化。     

基于逆向MVD超图的求MVD最小覆盖算法研究

本文详细讨论了逆向ＭＶＤ超图的性质，给出了伪完全等价准路、完全等价准路、子边等价准路等概念。证明了若干个逆向ＭＶＤ超图的化简定理，最后给出了基于逆向ＭＶＤ超图的求ＭＶＤ最小覆盖算法。     

等速电泳和高效液相色谱联用方法研究

本文研究用田昭武等研制的OCEP-1型等速电泳仪和Waters高效液相色谱仪主要部件联用,配以自制的接口,建立HPLC—ITP新联用系统,用该系统成功地研究了含蛋白质和一些金属离子的复杂样品的分离分析。     

基于角色访问控制的无可信第三方可扩展匿名性控制

本文对可扩展匿名性的网络支付协议进行了分析,并分析了它的基于角色的访问控制(RBAC)。协议用电子现金支付交易。这是一个离线的支付协议,它可以阻止用户不止一次花费同一电子现金。如果用户担心他们的身份泄露给银行,可以改进匿名性。方案中银行只在需要跟踪时要求用户解密消息,从而进行用户和钱币的跟踪,这样跟踪时用户是知道的,因此简便实用地解决了无可信第三方情况下电子现金匿名性控制问题.     

IRP用户视图间依赖关系的度量

用户视图间的依赖关系对于信息资源规划中的数据分析和数据建模有着重要的意义。该文对用户视图间的依赖关系进行了定义和说明，并细分其为数据依赖和操作依赖，在此基础上，对用户视图间的依赖关系进行了度量，提出了依赖度和被依赖度2种度量方法，为规范用户视图提供了依据。     

带有公平电子合同的交易协议

基于原子的公平匿名交易协议,采用两阶段提交的思想,通过可信第三方TTP(trusted third party)来控制交易的提交。在进行大量交易时,TTP会成为瓶颈。文中在原协议的基础上进行改进,引入了公平电子合同,改变交易提交方式,减少了TTP的工作量,但并没有破坏其原子性和公平匿名性,同时交易后产生的电子合同可具有传统交易合同的作用。     

基于智能卡的多银行离线电子现金方案*

多银行电子现金是电子商务走向实用的一个研究重点,然而这种离线方案存在重复花费问题,会对银行造成巨大损失.针对该问题,首先建立了一种基于智能卡的多银行离线电子现金模型,在此基础上,提出了相应的交易协议.该协议在多家银行协同工作的情况下,通过智能卡预先阻止和银行事后检测的双重保护机制,有效地解决了重复花费问题.分析表明,该协议具有很好的安全性、公平匿名性、不可伪造性和实用性.     

钻井自动化技术的应用建议

钻井是各大开采行业的重要技术之一,可以提高开采的效率和质量,相比传统钻井技术,钻井自动化技术提供了更加可靠的技术支撑。本文将在对钻井自动化技术应用必要性分析的基础上,从这个角度探讨钻井自动化技术的应用方法。