归纳概率解释的研究述评

随着概率论的日趋完善,概率演算已经为人们所熟知,尽管科尔莫哥洛夫(Kolmogorov)公理的经济性可以使我们对概率做出多种解释,但对它的解释却漏洞百出。正因如此,人们主要围绕着概率解释的标准、如何对概率进行合理解释以及概率解释未来的发展的方向3个方面,对这个问题进行了广泛的研究。于是主要从这3个方面分别对这些研究成果进行了述评,借此厘清概率解释理论研究发展的总脉络。     

扩展线性时段不变式的模型检验研究进展

扩展线性时段不变式是时段演算中的一类重要公式.时段演算是周巢尘院士于20世纪90年代提出的一种用于嵌入式实时软件设计的演算系统,它开创性地将积分概念引入计算机实时软件的分析中,从而能够描述处理连续时间区间性质,是国际上公认的描述和分析实时系统的主流方法之一.由于时段演算内容丰富并且相关的综述和专著已出版,文章旨在对扩展线性时段不变式这一时段演算子集的模型检验问题的研究情况进行论述:①介绍时段演算、线性不变式及其扩展;②分别论述线性时段不变式以及扩展线性时段不变式的模型检验研究情况,其中重点介绍扩展的线性时段不变式,在离散时间语义和连续时间语义下的近期验证成果.     

并发计算的元模型Ⅴ.并发模型间的关系

讨论 pi演算和 chi演算之间的关系问题 .通过构造从 pi演算到 chi演算的翻译 ,证明了 chi演算的表达能力不亚于 pi演算 .该翻译保持操作性质和开互模拟等价的代数性质     

Combinator演算族的π演算语义

以SKI演算作为Combinator演算族的代表, 通过形式化的手段给出了SKI演算的π演算语义; 通过一个实例验证了所论方法的正确性. 所给出的转换方法证明了π演算的表达能力： π演算为图灵完备的. 由于高阶函数式语言与Combinator演算族之间存在着自然的转换, 所给的转换思想不仅为在π演算的理论框架下 研究Combinator演算族提供了基础, 也为探讨高阶函数式语言的表示和实现问题提供了新途径.     

并发计算的元模型Ⅱ.对称通信

在并发计算图模型的基础上 ,提出并研究了一新的进程演算。该演算的创新处在于它只有一类前缀操作 ,故通信是对称的。通过建立从 pi演算到对称 pi演算的翻译 ,证明 pi演算是对称 pi演算的子语言。该翻译既保持前者的操作语义 ,又保特其代数语义。对称 pi演算的意义在于它既简化了 pi演算 ,又不影响其表达能力     

并发计算的元模拟：Ⅴ.并发模型间的关系

讨论ｐｉ演算和ｃｈｉ演算之间的关系问题，通过构造从ｐｉ演算到ｃｈｉ演算的翻译，证明了ｃｈｉ演算的表达能力不亚于ｐｉ演算。该翻译保持操作性质和开互模拟等价的代数性质。     

基于贝叶斯方法的事件推理

为了处理逻辑推理中，事件信息不确定不完整的情况，本文在传统事件演算的框架下，引入了贝叶斯概率的算法思想，给出了基于贝叶斯方法的事件推理的方法，实现了对传统方法的有效扩展。该方法能在网络诊断、交通事故推断等重要领域得到很好的应用。     

基于时序可中断π演算的BPEL和BPEL4People建模

为了形式化地定义BPEL和BPEL4People的语义,提出了一个π演算的变种——πit演算。相对于传统的π演算,πit演算可以描述中断事件和时间事件,从而拥有更好的建模表达能力。介绍了πit演算的语法和语义,定义了一类强互模拟关系来判定πit演算进程间的行为等价,然后使用πit演算对BPEL和BPEL4People的活动进行了建模。该形式化模型有助于在BPEL和BPEL4People程序的设计阶段对其可靠性和一致性进行验证。     

并发计算的元模型Ⅱ.对称通信

在并发计算图模型的基础上,提出了并研究了一新的进程演算,该演算的创新处在于它只有在业前缀操作,故通信是对称的,通过建立从ｐｉ演算到对称ｐｉ演算的翻译,证明ｐｉ演算是对称ｐｉ演算的子语言该翻译既保持前者的操作语义,又保持其代数语义,对称ｐｉ算的意义在于它既简化了ｐｉ演算,又不影响其表达能力。     

Seal演算的等式特性

为完善Seal演算的自身性质及形式化证明移动代码的安全性，从上下文等价性角度研究了Seal演算的等式特性及其应用。首先定义了Seal演算的可观察性和上下文等价性，然后通过两个判断上下文等价性的定理给出了Seal演算上下文等价性的判定方法，最后依据上下文等价性证明了Seal演算的防火墙等式。结果表明，Seal演算上下文等价性可以正确地描述Seal演算的等式特性，并可判定Seal演算的安全特性。     

逻辑划分方法在古典概率问题中的应用

论述了逻辑划分方法在古典概率问题中的应用，以使教师在古典概率的教学中，能结合教学内容有意识地培养学生掌握划分的思想方法，发展学生的思维，化难为易，化繁为简，迅速解决各类问题，全面提高教学质量。     

论DNA鉴定的概率和逻辑理论依据

在界定DNA、基因、概率等概念涵义的基础上,阐明DNA鉴定的理论依据是遗传学原理和逻辑推理,同时指出,DNA鉴定结论概率的高低主要是由做鉴定时所采用逻辑推理的种类不同所决定的,从而使人们对DNA鉴定有较全面的认识并懂得如何去评价某一个案DNA鉴定的结论。     

多输出m值逻辑函数的相关函数及其与谱的关系

首先讨论了剩余类环上多输出m值逻辑函数的相关函数的若干性质,然后给出了多输出m值逻辑函数的相关函数的概率表示式,最后得到了多输出m值逻辑函数的广义一阶Chrestenson谱与自相关函数之间的关系.     

多输出m值逻辑函数的谱特征

讨论了剩余类环上多输出多值逻辑函数的谱特征,给出了多输出m值逻辑函数的广义一阶Chrestenson谱与单输出m值逻辑函数Chrestenson谱之间的关系,得到了多输出m值逻辑函数的广义一阶Chrestenson谱与其函数之间的转换公式,接着给出了多输出m值逻辑函数的广义一阶Chrestenson谱的概率表示式.同时讨论了多输出m值逻辑函数的广义一阶Chrestenson线性谱和循环谱之间的关系,并给出了这两种谱之间的关系式.     

物理学中的几率

结合几率概念在科学发展史,特别是物理学发展史中的演变,探讨几率概念在科学哲学、分子运动论、统计力学与量子力学中扮演的角色变化,揭示各种几率概念的逻辑联系,以及在物理上的关联与差别.在哲学上论证几率概念体现的是物理过程的确定性与随机性的辩证统一.     

修正的逻辑航迹起始算法性能研究

修正的逻辑航迹起始算法在原有算法的基础上根据目标的运动特性,在航迹起始阶段对落入相关域中的量测加一个限制条件,以剔除在一定程度上与航迹成V字形的测量点迹。用统计学方法提出了该算法的航迹检测概率和假航迹起始概率显式表达,在理论上指出对原有算法的改进,并用仿真实验验证了分析的正确性。     

软件项目的模糊风险评估及风险控制

介绍了软件项目中风险评估及风险控制的概念和一般过程。对软件项目提出了一种综合风险评估方法。采用AHP方法与模糊逻辑法相结合的方法进行风险评估,并根据软件项目管理的实际情况对AHP方法与模糊逻辑法进行了改造。应用模糊逻辑法对各因素的评判不是直接评价其重要度,而是将各风险因素从概率方面、从影响方面、从不可控制性方面分别进行评判。先用AHP方法将风险评估分为三层,在确定第三层各风险因素的排序权向量时采用模糊逻辑法。最后利用AHP方法求出各风险因素的综合风险权重。在确定了项目的风险,并作出了评估和排序后,对这些风险采取适当的方法进行有效的风险控制。     

Design of Survivable Routing with and without Wavelength-continuity Constraints in WDM Networks

The problem of routing logical links (lightpaths) on a physical topology of WDM networks in a way that the logical topology remains connected in the event of single physical link failure is called survivable routing. This paper addresses the survivable routing problem with and without wavelength-continuity constraints by proposing a new Integer Linear Programming (ILP) algorithm, which is based on a simplified necessary and sufficient condition. Numerical results are given and discussed to show that survivable routing solutions of most logical topologies can be found by the algorithm of the authors. Furthermore, comparing with other similar methods, the above algorithm can find out a survivable solution in much shorter time, and it works especially well with sparse-connected logical topologies. The impact of wavelengthcontinuity constraints and the other factors that influence the probability to find out a survivable solution are also discussed in the paper.     

现代作战舰艇消防系统生命力模糊综合评估

建立了舰船消防系统生命力评估构架，解决了象消防系统这样遍布全舰且元件之间逻辑关系十分复杂的系统损伤概率计算方法，为舰船消防系统的设计提供了依据。     

Cost of Multicast Logical Key Tree Based on Hierarchical Data Processing

How to design a multicast key management system with high performance is a hot issue now. This paper will apply the idea of hierarchical data processing to construct a common analytic model based on directed logical key tree and supply two important metrics to this problem： re-keying cost and key storage cost. The paper gives the basic theory to the hierarchical data processing and the analyzing model to multieast key management based on logical key tree. It has been proved that the 4-ray tree has the best performance in using these metrics. The key management problem is also investigated based on user probability model, and gives two evaluating parameters to re-keying and key storage cost.