关于Domain半群与Domain半环

引入并研究了D-Clifford半群.刻画了其上的Domain算子.给出了"任意Domain半环S中的Domain格d(S)是否都是(co)-Heyting代数"这一公开问题的否定回答.证明了有限布尔格上仅能赋予惟一的Domain算子.     

有限生成的自由阿贝尔幺半群的整体决定性

研究了有限生成的自由阿贝尔幺半群.证明了有限生成的自由阿贝尔幺半群同构于自然数集关于通常的数的加法所构成的幺半群的直和.表明了有限生成的自由阿贝尔幺半群类是整体决定的.     

两类半群的整体决定性

证明两类半群G0和G’都是整体决定的．设G是群,P是G的单位元．记GO—GU{0}为由G添加一个零元0所得的半群,即G0是0一群．记G’=GU（1）为由G另外添加了一个幺元1所得的半群,注意1≠e,且1是半群G’的幺元．设Go为由所有G0所构成的半群类和G1为由所有G’所构成的半群类．     

一种基于市场机制的随机服务系统模型

在市场机制的网格环境中对大量的用户进行有效的排队是很有必要的。本文以随机服务系统理论为基础针对网格计算提出了一种基于市场机制的资源分配系统的接受用户服务的模型。该模型可以提高计算网格资源的随机服务系统性能及其运行的优化和缓解网络堵塞和系统忙,可以提高网格资源分配的均衡和网格系统的运行效率。     

基于委托——代理理论的网格资源分配

在市场机制的网格环境中,本文把网格系统代理作为市场中的重要参与者,根据委托代理理论建立具有激励机制以诱使代理人从自身利益出发选择以委托人最有利的行动的模型.该模型可以在一定成度上保证用户的QoS,可以提高用户的满意度和代理人的信誉度,提高了资源的利用率,最终达到资源的适度配置.