基于占优关系的MPI并行程序死锁检测

随着高性能技术的发展,MPI并行程序得到了越来越广泛的应用,其可靠性也得到了软件工程界越来越多的关注.一个MPI并行程序有多个并行执行的进程,每个进程包含一系列串行执行语句.死锁是并行程序的一类典型错误,本文提出一种基于占优关系的死锁检测方法.首先,根据通信语句之间的占优关系,得到每个进程内,通信边之间的占优关系;然后,通过判定通信边占优关系是否相互违背,检测程序中的死锁.基于上述思想,开发了基于占优关系的死锁检测原型工具,用于检测多个典型的MPI并行程序.结果表明,本文方法能够检测出程序中的死锁缺陷.     

软可补子半环

定义了软可补子半环的概念,研究了软可补子半环的基本性质.进一步,应用对偶软集的方法研究了软可补子半环和对偶软集之间的关系.最后,探讨了软可补子半环像与原像的性质.     

鲁棒环境演算类型演化系统的扩充

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算[1]是针对这种演算的一种改进.文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行.在[2]的基础上,进一步讨论了此问题.通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中.证明了类型系统的正确性.同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性.     

Seal演算的信息流分析系统

为完善Seal演算的自身性质及形式化证明移动代码的安全性,提出了一个信息流分析系统,该系统经过seal进程的静态分析,检查出一些比较重要的语义错误,通过发送和接收的同步来实现通信和代码移动,具体分为同层、父到子、子到父3种模式。重点分析了父子之间的代码移动及类型相容。该系统为Seal演算的自身性质的完善及移动代码的安全性判断提供了理论依据。     

柔性制造系统Petri网模型中的一类共享资源

揭示了柔性制造系统(flexible manufacturing systems,简称FMS)中死锁发生的内在机制,选择形式化的系统建模工具Petri网为手段.在FMS的Petri网模型S3PR网中,同一加工过程内的不同加工操作所共享的资源,是一类特殊资源.同独立加工过程的共享资源一样,同一加工过程内的不同加工操作所共享的资源也可能导致系统发生死锁.因此,将这类资源定义为加工过程内共享资源.在FMS的死锁控制中,需要将加工过程内共享资源的影响因素考虑进来.     

离散事件系统的无死锁分散监控

该文分别从全局控制目标和局部控制目标讨论了离散事件系统分散监控器的无死锁特性。首先,对于全局控制目标,基于离散事件系统中的分散监控的存在性条件,通过验证全局控制目标是否满足无死锁语言的定义,进而获得无死锁分散监控器存在的判别条件。之后,为了将该判别条件推广到局部控制目标的判别,提出了局部可控性条件与全局控制目标的可控、可观性条件的蕴涵关系,进而可以利用局部控制目标获得分散监控器,再通过在局部控制目标之间定义映射不变关系,建立局部控制目标的无死锁性与全局控制目标的无死锁性的联系,进而获得利用局部控制目标获得无死锁分散监控器的存在性条件。     

一种对计算机组成原理实验箱元器件进行布局的方法

设计了一种对计算机组成原理实验箱元器件进行布局的方法,具体内容包括:构造目标函数及约束条件,引入拉格朗日乘子对目标函数进行松弛,定义松弛后的目标函数的对偶形式,利用次梯度优化算法来解决松弛后的目标函数对偶形式的非光滑性,定义构造目标函数的完全有向图形式,并结合该完全有向图形式设计方案的构造过程,最终产生一个对计算机组成原理实验箱元器件进行布局的方案。     

对偶效应代数中的理想和滤子

研究了效应代数和其对偶效应代数的理想和滤子的关系,模糊理想和模糊滤子的关系,强模糊理想和强模糊滤子的关系.证明了:效应代数与其对偶是同构的;每个效应代数都是自反的;效应代数的理想(滤子)的补元之集是对偶效应代数的理想(滤子);效应代数E的模糊子集f是其对偶效应代数E*的模糊理想(模糊滤子)当且仅当f是E的模糊滤子(模糊理想).     

一种Linux内核自旋锁死锁检测机制的设计与实现

在操作系统内核中,自旋锁是一种应用非常广泛的锁机制,能大幅提高系统性能和吞吐量;另一方面,自旋锁的使用不当,会立即将系统锁死,直至人工重启才能解锁,是危害性最大的死锁原因.从检测死锁发生的角度出发,提出一种自旋锁死锁检测机制,可迅速检测到Linux内核中死锁的发生,报告死锁相关信息供管理员分析使用,在可能的情况下重启系统,降低系统宕机时间,提高系统稳定性.     

一种进程网络中的死锁检测算法

卡恩进程网络(KPN)是一种应用于数据流建模的模型.由于理想的KPN需要无限制容量的用于通信的管道,而这种要求用计算机是无法实现的,所以T. M. Parks提出了一种有界调度策略.然而,这种有界调度又会导致一种理想KPN里不存在的假死锁,即由于写阻塞导致的死锁.针对PN中存在的假死锁,提出一种消息复杂度为O(n)的死锁检测算法DRAP,该算法能找到当前死锁的瓶颈所在,通过增加瓶颈管道的容量来解除死锁.     

广义V-r-Ⅰ型不变凸非光滑多目标规划问题

通过给出非光滑多目标规划问题的广义V-r-Ⅰ型不变凸概念,在广义V-r-Ⅰ型不变凸条件下得到了可行解为有效解的Fritz-John和Karush-Kuhn-Tuker充分条件,并建立了混合型对偶问题,证明了弱对偶与严格逆对偶定理.     

凸无限规划的松弛Lagrange全对偶及最优性条件

利用函数的次微分性质，引进新的约束规范条件，等价刻画了凸无限优化问题与其松弛型对偶问题之间的Lagrange全对偶及最优性条件.     

一类非凸非线性分式规划的对偶性

对广义不变凸性条件进行推广，引入了几类更为广泛的广义不变凸性概念，并证明了在这几类新广义不变凸性条件下，一类非凸非线性分式规划的弱对偶定理、强对偶定理和逆对偶定理。所得结果涵盖并推广了有关已知的对偶性定理。     

系数矩阵对阵正定的线性方程组的松弛的迹平均法

针对系数矩阵对称正定的线性方程组,为了更快地求解并保证迭代格式的收敛性,提出了松弛的迹平均法,给出了其收敛性条件,并进一步研究了松弛参数s与迭代格式收敛速度的关系.得出随着松弛参数s的增大,收敛速度加快.     

对称弧式连通凸多目标半无限规划的对偶性

研究新函数在多目标半无限规划下的对偶性,以弧式连通函数和对称梯度为基础,利用解析方法,定义了一类新的弧式连通函数,即对称弧式连通函数、对称拟弧式连通函数、对称弱拟式连通函数、对称伪弧式连通函数、对称严格伪弧工连通函数,讨论了这些函数在多目标无限规划下的对偶性,并将它们运用到多目标半无限规划.     

广义dⅠ-Ⅴ-Ⅰ型一致不变凸条件下的不可微多目标规划问题

利用d_Ⅰ 不变凸性, 提出一类新的广义d_Ⅰ-Ⅴ-Ⅰ型一致不变凸的概念. 考虑带不等式约束的不可微多目标规划问题, 并在广义d_Ⅰ-Ⅴ-Ⅰ型一致不变凸性条件下, 得到了一些最优性充分条件, 同时建立一个Mond-Weir型对偶, 并证明了弱对偶、 逆对偶和严格对偶定理.     

广义Ⅰ型一致不变凸条件下的极大极小分式规划的二阶对偶

给出一类新的二阶广义(F,α,ρ,θ)-d-Ⅴ-Ⅰ型一致不变凸的概念, 讨论了极大极小分式规划问题（P）, 建立了规划（P）的一个二阶对偶模型, 并利用此二阶广义Ⅰ型一致不变凸性, 得到了弱对偶、 强对偶和严格逆对偶定理.     

非线性规划的对称对偶性

提出了一个非线性规划的对称对偶模型 ,它统一了非线性规划中两类对称模型。在不变凸条件下证明了该对称对偶模型具有弱对偶性、强对偶性和逆对偶性     

环 F2+vF2上的二次剩余码

文章研究的是环R= F2+ vF2上一类特殊的循环码——二次剩余码,首先给出了该环上的一些幂等元的形式,然后用幂等生成元的形式定义了该环上的二次剩余码；讨论了它们及其扩展码之间的关系和对偶等性质；分别确定了环R上长为7和17的二次剩余码的幂等生成元的具体形式.     

论生产关系两重性的关系

生产关系包括生产关系一般和生产关系特殊两重属性,经济运行和资源配置过程中的体制及机制等属于生产关系一般,经济制度属于生产关系特殊,这在理论界已基本达成共识。现在的问题是对生产关系两重性的关系问题研究不够,甚至存在片面性。运用马克思主义经济学及其方法来分析生产关系两重性的关系应该是：生产关系一般是生产关系特殊与生产力的连接点或中介环节,生产关系特殊的发展变化最终由生产力决定,是通过生产关系一般的发展变化实现的,生产关系特殊的发展变化对生产力的重大反作用也是通过生产关系一般的发展变化实现的。