校企协同的软件工程人才实践能力立体化培养体系

针对软件工程专业本科生实践能力不能满足企业需求的现状,分析原因,以哈尔滨工程大学为例,提出在人才培养方案中体现校企协同,并据此建立一个软件工程人才实践能力立体化培养体系。

基于魔方算法的自动信任协商敏感信息传输方案

为解决自动信任协商(ATN)过程中在不安全物理信道上传输证书及其他资源的问题,提出一个基于魔方算法的敏感信息传输方案。协商发起方根据魔方算法把自己的请求或资源变换成一个变换序列,并在其后添加数字摘要产生信息变换序列。然后按表示协商成功条件的证书逻辑表达式把信息变换序列乱序成信息传输序列,再发送给协商接收方;协商接收方用自己的证书进行反向变换后得到请求或资源。该方案具有单轮证书交换、较小的网络开销等特性。实验结果表明,该方案具有较好的可行性,较高的安全性、效率与信息传输量。

基于声誉的P2P信任系统

针对增强型声誉系统中资源访问的"热点"问题,提出一种实现资源均衡访问机制的P2P声誉系统,并加入自动信任协商来改善该系统的信任推理机制,提高该系统的协商效率。仿真结果表明使用P2P声誉系统解决了节点间提供服务的瓶颈问题,资源请求节点和资源提供节点间交互成功率显著提高。

基于交错螺旋矩阵加密的自动信任协商模型

针对自动信任协商(ATN)中的敏感信息保护问题,提出了基于交错螺旋矩阵加密(ISME)的自动信任协商模型。此模型采用交错螺旋矩阵加密算法以及策略迁移法,对协商中出现的3种敏感信息进行保护。与传统的螺旋矩阵加密算法相比,交错螺旋矩阵加密算法增加了奇偶数位和三元组的概念。为了更好地应用所提模型,在该协商模型的证书中,引入了属性密钥标志位的概念,从而在二次加密时更有效地记录密钥所对应的加密敏感信息,同时列举了在协商模型中如何用加密函数对协商规则进行表示。为了提高所提模型协商成功率和效率,提出了0-1图策略校验算法。该算法利用图论中的有向图构造了6种基本命题分解规则,可以有效地确定由访问控制策略抽象而成的命题种类。之后为了证明在逻辑系统中此算法的语义概念与语法概念的等价性,进行了可靠性、完备性证明。仿真实验表明,该模型在20次协商中策略披露的平均条数比传统ATN模型少15.2条且协商成功率提高了21.7%而协商效率提高了3.6%。

使用案例推理的协商策略研究

为解决自动信任协商过程中协商策略的效率问题,提出了一种采用基于案例推理技术的自动信任协商策略。可管理性概念的基础上,设计出可管理的协商策略,优化了协商处理能力。该策略具有较小的网络开销,较高的安全性等特点。实验结果表明该协商策略具有较高的效率。

一种高效安全的自动信任协商模型

自动信任协商是分布式环境中陌生结点建立信任的有效方法。协商过程中,协商结点既要隐藏自身敏感信息,又要相互暴露信息以增强彼此信任,这种矛盾的局面使得效率和安全成为研究者主要关注的问题。提出了一种新的协商模型,在传统模型的基础上加入了信任票证库和信任评估模块。其中,信任票证用于记录历史协商的信息,信任评估模块用于评估结点的相互信任等级。在协商时,首先判断双方是否存在直接可用的信任票证,若存在,则直接通过验证信任票证而省略数字证书的交换过程。反之,则利用票证中记录的协商双方的成功协商次数和失败协商次数,以此评估协商双方的信任等级。信任等级的提高降低了双方数字证书对对方的敏感性,进而减少了协商过程中访问控制策略和数字证书交换的次数,缩短了整个协商消耗的时间,从整体上提高了协商的效率。由在TrustBuilder2上的实验可知,提出的模型能有效地提高协商的效率,通过分析可知,利用记录的协商失败时间信息,可以有效地防止恶意结点对服务方的拒绝服务攻击,从而证明了该模型是高效安全的。

基于有穷自动机的自动信任协商策略

自动信任协商通过协商策略协调协商双方间访问控制策略、信任证的交互披露以逐步建立信任.现有的访问控制策略规则的理论表示缺乏直观性,在分析和构造策略算法时带来不便.本文将有穷自动机形式化定义与自动信任协商相结合,提出一套基于有穷自动机的信任协商定义体系,并构造有穷自动机状态转换图对相应的访问控制策略进行图形化表示,便于分析和构造协商策略.针对积极策略缺乏安全性和谨慎策略缺乏高效性的问题,提出了基于有穷自动机的协商策略,该策略在谨慎策略的基础上加入记忆链结构,以减少协商双方交互次数,提高协商效率.经证明,该策略具备完备性和安全性,并通过仿真实验证明相对于谨慎策略,该策略具备高效性.

自动信任协商中信任证存储策略研究

分布式信任证存储策略存在单点失效及容错性差等问题,可能导致信任证丢失。为此,提出一种改进的分布式存储策略。该策略以分布式存储策略为基础,运用已有的数据结构支持信任证存储策略的设计。基于资源冗余的思想,采用多信任证副本和信任证恢复机制,提升系统容错能力。实验结果表明,该存储策略具有较好存储均衡性。

一种改进的Chord路由算法

对等网应用所面临的一个关键问题是如何有效定位存储特定资源的结点.该文提出的Full-Chord算法,在继承原始Chord算法简单、高效、可靠、负载平衡及开销少等特点的基础上,对原始Chord算法的指针表进行了扩充,使得在查找开始时就能将查找限定在半个Chord环上,从而提高了查找效率.理论分析和仿真实验表明,Full-Chord算法的查询效率要明显优于原始Chord算法.

ATN中信任证链查找算法的研究

针对自动信任协商中分布式存储的信任证查找算法效率低下的问题,本文提出一种贪婪算法和双向查找算法相结合的信任证链查找算法,并通过控制信任证图生成的方向和限制信任证链查找时生成信任证图的大小来进一步提高查找的效率.仿真结果表明该算法生成的信任证图比其它算法生成的信任证图平均要小3%左右,在查找相同的信任证的情况下,改进算法的效率和其它算法相比提高了5%左右.

无线电子秤校准方法的设计与实现

为保持电子秤的精度,提出一种针对使用电阻式应变传感器的电子秤校准方法.使用C8051F350单片机和HAC-up系列无线模块实现数据传输与数据处理,用AD8555芯片代替放大电路,且在不烧断AD8555多晶硅熔丝的情况下实现校准,整个系统集成度高且安装简单.实验表明,整个系统校准后可恢复为初始精度.

一种基于多样化历史信息的自动信任协商策略

针对自动信任协商的协商效率问题,提出了一种基于多样化历史信息的自动信任协商策略。本策略将历史信息作用于协商过程中,利用策略有向图来完成协商;利用票证来存储历史协商信息,并采用数字签名技术来保证信息的真实性和完整性。根据历史协商信息在产生方式上的不同,提出了信任票证和历史票证,并结合其特点设计了相关的格式以及验证和工作过程。最后进行了实验仿真,结果表明该模型可以提高重复协商的效率。

形成型课程评估与研究型教学

本文首先在教与学两个方面分析了总结型评估的缺点，然后描述了形成型评估的特点及对学生的激励作用进行了分析，具体分析了适合这两种评估方式的评估方法和特点，并就形成型评估方式的实施条件特别是SMART模型对形成型评估的重要作用进行了描述，最后分析了形成型评估对研究型教学的影响以及对学生学习的激励。

口令设计算法的探讨

结合计算机实际应用系统中的需求及实践经验,总结和讨论了密码设计的3种方法,即算法生成口令、时序口令及联名口令.讨论和分析了各种方法的特点,旨在对口令系统的设计和使用作出有益的探讨.这些方法都是易于实现并具有实用价值,可为应用系统的开发者提供参考.

无线电定位中的多载波研究

该文研究了一种无线电导航定位的方法——多载波扩频测距,该方法首先将常规DS-SS信号分成几路低速的窄带信号,然后每路窄带信号分别调制互相正交的载波发射出去,接收机再恢复原来的高速DS-SS信号。通过分析和仿真,将常规DS-SS系统的性能和多载波扩频测距系统的性能做了比较,结果证明在码噪声可忽略的情况下,该测距系统能够做到与常规单载波宽带测距系统几乎完全相同的测距不确定性,但频谱效率却有了显著提高。

构造P2P环境下混合式信任模型

针对P2P网络中存在的安全性和可管理性较差、现有信任模型中信任度计算复杂等问题,提出了一种P2P环境下混合式信任模型。该模型采用混合式P2P网络结构,利用时间段机制计算节点信任度,有效地预防节点间的"夸大"、"诋毁"等行为;提出了模型的构建方法以及交互评价反馈方式。仿真结果表明该模型运算量小,并能够有效地孤立和识别恶意节点,具有较强的安全性能。

P2P环境下对EigenRep全局信任模型的优化

随着P2P网络的广泛应用,基于P2P环境的信任模型也迅猛发展。但是目前提出的很多信任模型还远远不能令人满意。针对EigenRep全局信任模型所存在的网络性能开销过大的问题,提出了一种优化方法。仿真实验证明,这种优化方法在防御恶意攻击和降低网络性能开销两方面都可以取得理想的效果。

μC/OS-II的安全研究

对BLP模型可信用户权限过大和无完整性控制两点不足分别进行了改进。在对μC/OS-II深入分析的基础上,通过增加BLP模型访问模式实现了访问请求的细粒度控制,同时对访问控制规则进行了数学形式定义,在μC/OS-II上实现了改进的BLP模型,建立了一个安全μC/OS-II模型,达到了安全与μC/OS-II的无缝结合,并保持了μC/OS-II原内核的可裁剪性。

移动网络节点位置管理模型

为解决移动网络中节点的位置管理问题,提出了基于Chord协议的移动节点位置管理模型PLM.该PLM模型具有可扩展性、高效性、自组织性等特点,查找与更新延迟是评价移动节点位置管理策略性能的2个重要指标,查找与更新延迟越小,其性能就越高.该模型的仿真结果表明,PLM模型的查找与更新延迟很小.

一个分布式系统的设计与实现

该系统以民航售票业务为背景实现了三层模式的设计。将系统分为客户端、应用服务器及数据库服务器。应用服务器管理维护业务逻辑及响应客户端的请求 ,同时将客户端与数据库相分离。在转账业务中 ,民航应用服务器又作为银行应用服务器的客户 ,请求银行完成转账业务。在数据库的操作中 ,利用事务的提交 (COMMIT)和回滚 (ROLLBACK)保证数据库的完整性。讨论以下五部分 :民航应用服务器、民航客户端、民航数据库 ,银行应用服务器。