分析了当前Clark-Wilson完整性模型实现机制的不足,提出了一种基于TE实现Clark-Wilson模型的方法.首先讨论了TE对Clark-Wilson模型的支持能力,然后给出了用TE实现Clark-Wilson模型的配置规则和约束.在实现中,扩展了模型的(userid,TP,list of CDIs)三元组,引入了角色层,以更实用的方式实现了职责隔离.同时,实现机制实现了对TP的保护,有效地保障了TP功能的正确性,提高了系统正确控制TP操作的可信度,减少了对Clark-Wilson模型验证规则的依赖.
RNA二级结构预测是计算分子生物学中的一个重要领域.本文介绍了RNA二级结构的预测方法,包括该问题的数学模型、主要算法思想以及每种算法对应的软件.在tRNA和RNase P RNA数据库中随机选取了几组样例对目前主要的7种软件进行测试,同时对每种软件的优缺点进行了详细比较.实验证明,当存在同源序列时,Pfold的效果优于其它软件.最后,在总结分析现有算法的基础上探讨了该领域进一步的研究方向.
如何有效地进行资源定位是影响网格和对等网性能的重要因素,已有的一些资源查找算法引入了小世界原理来提高定位效率和降低网络负载,但没有较好解决小世界网络的构造问题.在Kleinberg小世界模型的基础上,提出了一个小世界网络的构造方法SSWCP(Scalable Small World Construction Protocol),并给出了该方法的数学分析和实现.该方法是分布式的,不必拥有全局知识,每个结点只需维护局部视图,即可使资源定位具有小世界特征所带来的优化的时间复杂度.分析和实验结果表明,该方法具有良好的扩展性,可以提高资源查找的效率.