带类型λ-演算的扩充

在许多情况下λ－演算的能力不够、Felleisen M等把λ－演算加以扩充，并证明扩充后的语言λｃ具有某些基本性质．本文试图为λｃ－演算加上类型，给出带类型λｃ－演算的逻辑系统，然后考虑它的指称语义．     

λ-演算的一种扩充

对任一固定的集合ＡＮ（Ｎ表示自然数集）,本文定义了λ－演算的一种扩充λＡ－演算．证明了λＡ－演算具有Ｃｈｕｒｃｈ－Ｒｏｓｓｅｒ性质,从而是协调的．并证明了λＡ－可定义全函数与Ａ－递归函数是等价的．     

物联网服务的π-演算建模与验证

针对物联网服务建模和验证问题,用π-演算理论对物联网服务和环境实体进行动态交互行为建模,并引入μ-演算刻画物联网服务能力,将其描述为物联网服务和环境实体动态交互行为的执行序列.针对特定的应用场景,使用π-演算定义了物联网服务和环境实体,利用μ-演算对物联网服务能力进行建模,使用检测工具MWB验证了模型的安全性、活性和时...     

有限域Fq上λ-常循环码的周期分布

纠错码的周期分布成为编码理论的一个新的研究方向.文章在前人已有的工作基础之上,揭示了有限域Fq上码长为n的λ-常循环码的周期分布及其对偶码周期分布的关系,并给出了精确计算公式.     

圈的（λ，κ）着色问题

从(λ，κ)着色这一概念出发，应用组合论的方法对圈的(λ，κ)着色进行分析，得到了相应的计数公式PG(λ，κ)，并应用这一计数公式解决了一个实际问题。     

λ-Horn集上的λ-单元锁归结

本文给出了λ-Horn集上的λ-单元锁归结方法,并证明了λ-单元锁归结方法对λ-恒假公式是完备的。     

关于一类＊-λ-半环

研究了*-λ-子半环,它是一类特殊的*-λ-半环,得出一些新的结果,并证明了若S是*-λ-半环,则对任意的整数n≥0,S上的n阶上(下)三角矩阵的集合也是*-λ-半环.     

λ噬菌体的溶原和溶菌过程与基因表达的时序控制

本文从λ噬菌体的生活周期入手，介绍了λ噬菌体的基因组结构及基因的表达过程和方式，展示了λ基因组表达的时间流程．     

图是λ4-最优及超级-λ3的最小度条件

为精确估计网络的可靠度,我们需要最优化其图模型的限制边连通度,证明一个n≥11阶最小度δ(G)≥[n/2]-3的λ4-连通图G,在一定的条件下是λ4-最优的.进而,若n≥12,则G是超级-λ3图.并举例说明了最小度的下界是最好可能的.     

λ-广义凸函数的定义与等价命题

研究了模糊数学中λ-凸函数与λ-广义凸函数的有关内容.介绍了λ-凸函与λ-广义凸函数的定义,证明了λ-广义凸函的几个等价命题.     

图是λ5-最优的充分条件

文章给出了图是λ5-最优的邻域交条件.设G是一个λ5-连通图,定义ξ5（G）=min{｜[X,]｜：X∈V（G）,｜X｜=5,G[X]连通},若λ5（G）=ξ3（G）,则称G是λ5-最优的.若对G中任意一对不相邻的顶点u和v,都有｜N（u）∩N（v）｜≥5且G满足ξ3（G）≤V（G）/2＋10,｜V（G）｜≥31,则...     

Email系统特征交互问题的π-演算检测

采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验证基于π-演算描述的移动并发系统.     

温控系统的π-演算的描述与验证

根据温控系统的特征以及需求说明,利用π-演算构建了该系统动态行为的交互模型,依据π-演算的反应规则仿真描述模型的行为交互过程,使用μ-演算和移动工作平台(MWB)工具分析和验证了该交互模型具有温度控制和阈值修改功能,从形式上证明了温控系统的需求说明及其π-演算模型的一致性。结果表明,π-演算能够清楚地描述和分析并发系统的行为交互,而μ-演算可以证明模型的有效性和正确性。     

环的（λ,μ）-模糊同态

模糊同态是模糊代数学的重要概念之一,它可由不同的模糊映射产生。本文利用（λ,μ）-模糊映射给出了环的（λ,μ）-模糊同态的定义,从而研究了（λ,μ）-模糊同态下（λ,μ）-模糊子环和（λ,μ）-模糊理想的对应关系及若干性质,最后建立了环的（λ,μ）-模糊同态基本定理。     

图的(λ,κ)型着色问题

推广了图论中的着色问题，提出一种（λ，κ）型着色的新概念，并给出了两种 （λ，κ）型音色多项式ＰＧ（λ，κ）和ＱＧ（λ，κ）的定义，并应用组合和群论的方法对路和 困的（λ，κ）型着色得到了计数公式。     

网上拍卖系统的π演算建模

在分析了基于WEB的网上拍卖系统的需求基础上,针对具有多进程并发通讯特点的该类电子商务系统,采用π演算对系统进行结构和功能建模．本文在简单介绍π演算的语法和语义基础上,用进程表达式对整个系统软件结构框架进行了形式化描述,并分析了π演算的建模能力．结果表明π演算在描述动态进程间的通讯所表现出的优势以及便于编程实现的技术特点,尤其适合这类电子商务系统的分析与设计。     

基-κ-亚紧空间

引入基-κ-亚紧空间的概念,研究了基-κ-亚紧空间与其子空间的关系,基-κ-亚紧空间与κ-亚紧空间的关系,基-κ-亚紧空间与紧空间的乘积,既开又闭的有限到一映射保持基-κ-亚紧性.     

求λ-矩阵广义逆矩阵的初等变换法

给出了λ-矩阵的广义逆矩阵的定义,并利用λ-矩阵的初等变换得到求其逆矩阵及其广义逆矩阵的统一方法.     

（λ，μ]-商模糊子群

根据（λ，μ]-模糊子群和（λ，μ]-正规模糊子群的概念，给出了（λ，μ]-商模糊子群的定义，并讨论了其性质；同时丰富和完善了（λ，μ]-模糊子群和（λ，μ]-正规模糊子群的性质．