Pw/GAKE:基于口令的高效组群密钥生成协议

针对组群通讯环境中的身份认证式密钥交换问题,基于Diffie-Hellman判定性问题的难解性假设构造了一个基于口令的身份认证组群密钥交换协议Pw/GAKE。该协议具有很高的计算效率,所有组群成员仅需参与一轮消息传输和一次广播、仅需进行幂指数运算和散列运算而无需借助任何复杂的公钥密码方案,因此特别适合于无线/移动自组网络环境中的中小规模组群。在随机oracle模型下证明了该协议的安全性。该证明将协议Pw/GAKE的安全性质归结为Abdella-Pointcheval所建立的2-方密钥交换协议SPAKE的安全性质,显示出Pw/GAKE的构造具有很强的递归特征。     

用VIS系统验证电路的实时特性的探讨

文章在分析形式化验证／综合系统VIS 的基础上,改进了该电子系统中的关键技术——二叉判定图（BDD）,使BDD能表示电路的定时性质,这样就为VIS系统能够进行电路的时间特性验证和实时模型检验打下了基础。     

中文文本过滤的信息分流机制

在文本过滤中信息分流是提高过滤效率的有力的手段,为此,提出了一种新的中文文本过滤的信息分流机制．其基本思路是在概念扩充基础上,将不同用户的信息需求组织为树状结构,使其共同的部分成为共享分支,依据提出的侧面相似度和侧面匹配率来实现文本与模板的定量匹配,减弱传统的布尔模型对文本与模板匹配的严格限制,也弥补向量空间模型单纯数量化的不足,更加全面地反映用户的信息需求,试验表明该机制能够明显地提高过滤效率。     

用ID3算法对高校计算机教学中学生成绩的分类研究

介绍判定树归纳分类ID3算法,利用ID3算法,对有上机课的课程成绩分类,为学生和老师提供参考信息.     

关于TSP问题的一种求解方法:CED聚合法

本文提出了 CED聚合法——几何算法和生态算法 ,并把 TSP转化为判定问题来处理 .给出了重要的定理 ,提出了数学聚合法原理 .最后 ,计算实例的结果表明 ,这种方法具有可行性和有效性     

基于仿真方法的任务集可调度性判定工具

针对含有纯周期任务的任务集可调度性判定问题,提出一种基于仿真方法的任务集可调度性判定工具。通过设定时钟变量,模拟任务调度过程中的系统时钟,在时钟变量值增长的过程中,根据任务优先级从高到低的顺序,分析各个任务的截止时间限,判定任务集的可调度性。实例分析证明了该工具的可调度性判定结果正确。     

钻孔灌注桩桩身完整性的综合判定

桩基础是地下隐蔽结构物,在施工过程中易出现各类质量问题,如果没有及时发现便为日后的工程安全埋下隐患。在本文中,我们将基桩检测过程中的声波透射法和高应变实测曲线拟合法互相结合,应用于工程实例中,详解了在检测大直径超长桩时如何将两种方法的各自优点互补,解决有疑问的难题。通过数据的准确获取,实测分析并结合施工工艺、土层环境来还原基桩的原始状态,对桩身完整性判定给出准确的结论,消除工程隐患,保证质量。     

土质修正系数β_0对湿陷性黄土场地的湿陷类型判定的影响

土质修正系数β0值是判定湿陷性黄土湿陷类型的关键指标,不同的值对判定结论会产生很大的影响。按照《湿陷性黄土地区建筑规范》（GB50025-2004）,山西的黄土地区,β0值可以有1.2和0.5两种选择。为了合理选定这一系数值,在地处湿陷性黄土地区的山西禹门口提水工程的PCCP项目上,沿管线48.8 km范围内,取土样49处,完成室内压缩试验200余组,并在管线现场进行了2组室外浸水试验,通过沉陷量的计算和比较,探讨了这一问题,并得出结论：在工程较为重要的地区,应增加室外试验予以判定。     

天然气互换性判定方法研究现状及发展前景

我国目前主要利用沃泊指数判别天然气的互换性,仅从热负荷的角度来考虑燃烧特性。为了寻找适合我国情况的天然气互换性方法,笔者结合我国的燃气性能对美国燃气协会(AGA)判定法、韦弗(Weaver)判定法、德尔布(Delbaurg)法、达顿(Dutton)法等一系列判定方法进行研究比较;除此以外,从长远角度出发,对我国天然气互换性方法进行了展望,即应该通过实验建立我国自己的互换性方法和互换性图。