摘要：在通信网络中,节点的重要性不仅与网络的拓扑结构有关,而且与当前的网络负载状态相关。论文在分析网络负载和网络熵之间变化关系的基础上,首先定义了网络熵变率,然后设计了以网络熵变率为基础的节点重要性排序方法MixR(Mix Ranking)。论文以Abilene网和GEANT网的公开数据集作为分析对象,以SIR(Susceptible-Infected-Recovered)作为节点重要性评价的参考模型,通过与度中心性、接近中心性、特征向量中心性,以及半局部中心性方法对比,证实了MixR方法的有效性和准确性。

摘要：远程辅导答疑系统是远程教学的核心环节之一 ,它的作用是通过师生间的交互 ,解决学生在远程学习过程中遇到的、无法独立解决的问题。本文讨论基于WWW的远程辅导答疑系统的设计方法 ,并给出一个以Linux为WebServer操作系统 ,配合Apache、PHP和Mysql构建的软件花费为零的远程辅导答疑系统。该系统模仿了在辅导答疑过程中师生单独讨论、群组讨论的模式 。

摘要：为了缓解概率计算树逻辑模型检测中的状态空间爆炸问题,提出了概率计算树逻辑的限界模型检测技术.该技术首先定义概率计算树逻辑的限界语义,并证明其正确性;之后,通过实例说明在传统限界模型检测中,以路径长度作为判断检测过程终止的标准已经失效,基于数值计算中牛顿迭代法的终止准则,设计了新的终止判断标准;然后提出基于线性方程组求解的限界模型检测算法;最后,通过3个测试用例说明,概率计算树逻辑限界模型检测方法在反例较短的情况下能够快速完成检测过程,而且比概率计算树逻辑的无界模型检测算法所需求得的状态空间要少.

摘要：为了形式化描述多智体系统中与概率、实时、知识相关的性质,提出了一种概率实时认知逻辑PTCTLK.模型检测是验证多智体系统是否满足PTCTLK公式的主要技术,状态空间爆炸是该技术实用化的主要瓶颈,为此提出一种PTCTLK的限界模型检测算法.其基本思想是,在有限的局部可达空间中逐步搜索属性成立的证据,从而达到约简状态空间的目的.首先,将PTCTLK的模型检测问题转换为无实时算子的PBTLK的模型检测问题;其次,定义PBTLK的限界语义,并证明其正确性;然后,设计基于线性方程组求解的限界模型检测算法;最后,依据概率度量的演化规律,探索检测过程终止的判别准则.实例研究结果表明,与无界模型检测相比,在属性为真的证据较短的情况下,限界模型检测完成验证所需空间更小.

摘要：为解决PHC桩在桥梁工程中的推广应用问题,采用FLAC 3D有限元软件、结合实体工程和现场试验对PHC桩桩基和承台的优化设计问题进行研究。通过分析桩长以及桩间距对群桩效应系数和承台荷载分担比的影响,得出桥梁工程中PHC桩的长径比宜为35左右,桩间距宜为3～4倍桩径。通过对承台的综合优化得出不同桩径下合理承台的有效厚度。通过实体工程应用分析得知:PHC桩用于桥梁工程是可行的,提出的PHC桩优化设计方法是合理的,桥梁工程中PHC桩承台符合"撑-系杆"设计模式。

摘要：限界模型检测避免了符号模型检测反应式系统中构建二叉图时出现的空间快速增长,已经被证明是缓解状态空间爆炸问题的有力技术.文中遵循限界模型检测的思想,对马尔可夫决策过程提出一种限界模型检测技术,从而避免构建多端二叉图时空间的快速增长.具有非确定选择刻画能力是马尔可夫决策过程最大的特性,针对该特性首先定义概率计算树逻辑的限界语义,并证明其正确性;然后基于不同界下所计算概率度量序列的演化趋势,设计了限界检测过程终止的判断准则;最后将限界模型检测过程转换为线性方程组的求解问题.实验结果说明限界模型检测技术在证据较短的情况下,所需内存空间少于无界模型检测算法.

摘要：隐蔽信息流检测是开发可信计算机系统中的关键问题,而状态空间爆炸是基于状态机模型检测隐蔽信息流的主要障碍。提出一种多安全级系统中基于主体安全级的二维抽象方法,在此基础上设计了广度优先的搜索空间划分方法,使得划分变量的选取范围更大,扩展了搜索空间划分的应用范围,克服了深度优先划分方法中划分变量难以选取的问题。实验数据表明,结合抽象和搜索空间划分的方法有效降低了模型的验证规模,因此有效缓解了状态空间爆炸问题。

摘要：PHC管桩具有承载力高、施工速度快、质量易保证,不均匀沉降小、造价便宜等优点在建筑中得到了广泛应用,但在桥梁工程中尚未得到广泛应用。为解决桥梁PHC桩的应用问题,结合桥梁PHC桩实体工程,采用FLAC软件、现场实测,基于桩-土-承台相互作用,对PHC桩基础进行有限元分析和应用探讨,结果表明,桥梁PHC桩安全、经济、可靠,为PHC桩在桥梁工程中的应用奠定了基础。

摘要：为了满足对秘密信息的实时性的需求,提出一种基于DCT域实时语音的信息隐藏方法。该方法使用DirectSound对实时的语音进行捕获,依据人类听觉系统的掩蔽效应,选择DCT中的高频系数,通过量化秘密的音频信息将其嵌入到捕获的原始语音中,通过Socket技术对语音进行实时的传输,并且在秘密信息的提取过程中不需要原始音频载体信息的参与,实现秘密信息的盲提取。实验结果表明,在网络较好的情况下可以有效地借助实时的语音传递秘密信息。

摘要：针对现有数字版权管理(DRM)系统屡遭破解的问题,通过调研分析其安全机制,提出一种内容与权限分离的细粒度使用控制方案。该方案首先根据秘密分割的思想将数字许可证一分为二,实现身份验证与授权管理的分离;然后通过细粒度授予临时权限文件,确保数字内容在使用中能够细致控制;最后采用多项完整性检查来提高防篡改攻击的能力。模型检测结果表明,该方案及策略能够实现设计要求并基本满足数字版权管理安全性需求。