基于Kerberos的Internet密钥协商协议的研究

KINK是一个的基于Kerberos的密钥协商协议，它使用Kerberos机制实现密钥协商过程中的身份认证和密钥交换。本文主要描述了KINK中的密钥协商的实现过程，并对它的特点和安全性作了相应的分析。     

条件概率关系数据库模型

现实世界中大量存在着的不确定性信息，关系数据库模型仅视它们为空值，有必要增强其处理这类信息的能力，文章在总结前人工作的基础上推广关系数据库模型，创建有效处理随机型不确定性信息的条件概念关系数据库模型，该模型通过在关系模式中增加一个条件概率测度属性，为每条记录指定适当的条件概率的途径，来表示不确定性信息。文中以对象码为基本工具，创建了条件概率关系结构；以特征函数为基本工具，定义了一套基于该结构的代数运算规则。条件概率的语意比概率的语意广泛，灵活，因而该模型能有效克服概率关系模型的许多不足。     

中国石油未来油气勘探重点领域分析

根据近几年来的研究认识与勘探成果分析,未来几年中国石油油气勘探主要集中于如下五大重点领域:大面积低渗透岩性油气藏、成熟区复杂隐蔽油气藏、前陆盆地复杂构造油气藏、海相碳酸盐岩油气藏和渤海湾滩海第三系油气藏。     

四川南桠河一期工程姚河坝水电斜井开挖施工技术浅论

以姚河坝水电站引水隧洞50°倾角、长度为194.734m的斜井开挖为实例,从施工测量、开挖方法、通风防尘、临时支护斜井及安全施工等方面探讨长洞身、大倾角斜井在无爬罐条件下的人工开挖方法.     

基于相关性的人机系统可靠性模型

本文在剖析人机系统中操作者行为特征的基础上,考虑到操作者行为的自适应性、自学习能力及其行为形成主因子,着重结合操作者行为的相关性-感知作用于判断决策后影响到动作,建立了人机系统中操作者行为模式,并推导出计算操作者可靠度的公式,求出了相应参数.最后进行了实例量度,同时定量辨识了行为相关性对人可靠性的制约程度,以期从人机系统可靠性角度为人机系统的优化设计提供新的依据.     

平差法预计矿区导线网精度

分析了矿区导线网精度预计经典方法存在的问题 ,推导出严密平差法精度预计的数学模型 ,并编制机算程序。     

3G认证和密钥分配协议的形式化分析及改进

介绍了第三代移动通信系统所采用的认证和密钥分配(AKA)协议,网络归属位置寄存器/访问位置寄存器(HLR/VLR)对用户UE(用户设备)的认证过程和用户UE对网络HLR/VLR的认证过程分别采用了两种不同的认证方式,前者采用基于"询问-应答"式的认证过程,后者采用基于"知识证明"式的认证过程.使用BAN形式化逻辑分析方法分别对这两种认证过程进行了分析,指出在假定HLR与VLR之间系统安全的前提下,基于"知识证明"式的认证过程仍然存在安全漏洞.3GPP采取基于顺序号的补充措施;同时,文中指出了另一种改进方案.     

基于B/S模式矿山管理信息系统构建技术研究

在全面分析以往矿山管理信息特点的基础上，提出了基于B／S模式开发矿山信息系统的思路。对基于B／S模式开发矿山信息系统的关键技术及开发步骤进行了详细的介绍。     

油气井智能电子防盗阀门

为了有效扼制油田油井原油被盗的现象，减少因被盗及破坏带来的经济损失，研制出GMS3000油气井智能电子防盗阀门。该电子防盗阀门采用了新颖的防盗控制电路和精密的机械联动机构，通过计算机和管理软件得到相应的阀门授权控制，测量结果自动记录、控制阀门的编号和阀门的联动方式，并给予相应的显示。具有可靠、安全、便捷的特点。应用效果表明，达到了油井防盗、防破坏的目的，收到了良好的使用效果，为油田生产安全和提高经济效益提供了可靠的保障。     

An exploration of the problems of using function points mark II

Abstract. This paper examines critically the function point analysis mark II (FPA mark II) method of measuring the functionality of information systems. Although the focus of the paper is on FPA mark II as devised by Symons, both this and the Albrecht method, from which the FPA mark II was developed, are briefly discussed. The published attempts to validate FPA mark II are reviewed and then the problems encountered by the author in applying the approach are described. The final part of the paper is concerned with the fit between SSADM and FPA mark II.