图论意义下的Laplace定理

根据Valiant图论方法给出的矩阵行列式定义，证明了图论意义下的Laplace定理。     

基于一种树型方法的自动推理

根据表方法建立了一种树型证明方法,在机器实现方面比表方法优越,而且还可以证明这一方法是可靠的和完备的.以PROLOG语言为背景,实现了由此方法而建立的命题逻辑中命题演绎的自动推理.     

范式的PROLOG程序实现

本文使用PROLOG语言程序,对一阶逻辑中命题公式的真值表和谓词公式的前束范式进行了处理。文章分为两个部份:     

随机图G(2n,p)中k-匹配的相变性质

随机图G(n,p)模型中有两个参数n和p,n表示图中的结点数,p表示图中任意两个不同结点之间独立生成边的概率。证明了随机图G(2n,p)中存在k-匹配的临界值为p=kn-2。实验分析了随机图G(2n,p)实例中10-匹配和25-匹配以及k=n-1匹配的相变。最后总结出临界函数与匹配的边数和结点数有关系。实验表明,理论与实验一致。     

基于信誉推荐和客观信任协商的P2P信任评估模型

根据P 2P网络的特点,在分析几种主要的信任模型的基础上,以信誉的特点及人类社会的实际特点为出发点,提出基于信誉推荐和客观信任协商的信任评估模型,该评估模型在充分考虑对每次网络交互的客观信任评价的前提下,引入主观性的信任评价机制。通过模拟实验,验证了模型的有效性。     

随机均衡正则恰当(2s,k)-SAT问题的可满足相变

为深入理解均衡正则恰当(2s,k)-SAT问题的判定难度和可满足性解的分布情况,引入随机实例产生模型,利用一阶矩和二阶矩方法分析可满足性相变现象,给出随机均衡正则恰当(2s,k)-SAT问题可满足的相变点s?.当ss?时,随机均衡正则恰当(2s,k)...     

高职院校物流管理专业项目式教学模式探索

项目教学法是通过＂项目＂的形式进行教学,是一种将理论知识和实际项目相结合的教学模式,通过项目的处理来提高学生分析问题、解决问题的综合能力,在实施项目教学法时,重点研究项目的设计和实施.     

算法机制设计的数学基础

机制设计理论是博弈论与社会选择理论的综合应用,应用到计算机科学领域中,产生了算法机制设计,作为一种工具,可以应用到带自私性和分布信息的算法设计.本文介绍算法机制设计必要的数学基础和模型.在此架构下,依据一些经典的优化问题设计相应的算法机制,其建模工具和方法,可以用于经济行为和管理行为的控制与分析.     

有限随机系统的极限概率分解

有限随机系统状态迁移过程中对系统状态集的压缩,将系统分为两类随机子系统,由此建立了该随机系统的商系统并降低了概率矩阵的计算复杂度.在图论的基础上,通过研究有限随机系统及其商系统的极限性质,考察了有限随机系统的极限概率分解问题.在保留原有随机系统的极限性质的前提下方便了对随机系统平稳分布的预测.