有一般重试时间的Geo[X]/G/1重试排队系统

研究了重试时间是一般分布的批量到达的离散时间的Geo[X]/G/1重试排队系统.假定一旦顾客发现服务台忙就依先到先服务规则进入重试区域,并且只允许重试区域队首顾客请求重试服务.计算出稳态时系统和重试区域队长以及系统的其他各种指标.证明了所研究的离散时间重试排队系统可以逼近连续的具有一般重试时间的M[X]/G/1重试排队系统.     

具有可选服务、反馈的MX/G/1重试排队系统

在具有可选服务、反馈、一般重试时间的M/G/1排队系统基础上,考虑顾客批量到达的情况,建立了反馈、可选服务多类型的重试排队模型.采用补充变量法,首先建立了系统稳态下的状态转移方程,通过求解得到了稳态下重试区队长的概率母函数,进而计算出稳态下重试区的平均队长.     

一般重试时间、伯努利单重休假的离散Geom/G/1重试排队系统

考虑一个带有一般重试时间、伯努利单重休假的离散Geom/G/1重试排队系统.服务台前无等待位置,新到达的顾客若发现服务台忙或处于休假,则进入重试区域等待重试;若发现服务台空闲(不管有无顾客重试),就立即接受服务.顾客在完成服务之后,若重试区域中有顾客存在,则服务台以概率θ(0≤θ≤1)进行一次单重休假,以概率-θ(=1-θ)重新等待顾客的到来;若重试区域中无顾客,则服务台也重新等待顾客的到来.利用马尔可夫链法,得到了本模型各个状态的稳态分布,并给出了系统顾客数的随机分解结果及关于其的一个应用.还给出了一个递推公式去计算重试区域顾客数的分布.最后用数值例子说明了一些参数对系统性能的影响.     

顾客具有不耐烦时间的M/G/1K-重休假排队

为研究更一般的休假排队,在单重休假和多重休假排队基础上研究带有不耐烦顾客的M/G/1 K-重休假排队,其中顾客的不耐烦时间服从定长分布;利用母函数法和Laplace-Stieltjes变换的方法,得出该系统平均休假期长度和平均忙期长度解析式,进一步计算得出忙期开始时系统平均顾客数的解析表达式以及服务完成时刻系统中平均顾客数的母函数等性能指标的解析表达式,并对性能指标进行了分析.     

有单移除策略的M/G/1重试可修排队系统

采取补充变量和母函数方法研究了有负顾客的M/G/1重试可修排队系统,其中负顾客的机制是带走正在接受服务的正顾客和使得服务器处于修理状态.文中给出了系统存在稳态的充分必要条件,系统状态和orbit(重试组)队长的联合分布的母函数,服务器处于空闲、工作和修理状态的概率,orbit的平均人数L,系统的平均人数K和系统可靠度的Laplace变换.     

M/G/1的反馈后优先排队但非抢占的排队系统的初步分析

运用全概率公式讨论了M/G/1的反馈后优先排队但非抢占的排队系统中的离去顾客所需服务阶段数分布函数的概率母函数.在此基础上得到了M/G/1的反馈后优先排队但非抢占的排队系统中的顾客数分布,进而得到了M/M/1的反馈后优先排队但非抢占的排队系统中的顾客数分布.     

相依型离散时间排队系统的相关分析

讨论了离散时间状态下的相依型排队系统,推广了经典的离散时间排队模型.考虑顾客的到达率依赖于其到达时系统中的顾客数,假定在单个服务台的情形,顾客到达时间间隔服从一般分布,使用嵌入马尔可夫链的方法,得到了该随机排队系统的队长、等待队长、等待时间以及忙期等关键指标的分布或母函数.     

带有工作故障的M/M/1重试排队系统的性能分析

研究了带有工作故障的M/M/1重试排队系统.基于广义特征值法,根据平衡方程得到了重试空间中顾客数与服务台状态的稳态联合概率分布的显示解,推导出排队系统的重要性能指标,并对任意客户逗留时间分布函数进行Laplace-Stieltjes变换,以此获得任意顾客的平均逗留时间.最后,通过数值例子来分析系统的参数变化对系统性能指标的影响,此外,还将广义特征值法与矩阵几何解法进行了比较.     

批量到达的离散时间排队系统

主要讨论了离散时间状态下的批量到达排队系统,推广了经典的离散时间排队模型.考虑单个服务台的情形,假设顾客的批次到达服从几何分布、每批到达的顾客数服从一般的离散分布、顾客的服务时间也服从几何分布,使用嵌入Markov链的方法,分析得到了该随机排队系统的队长、等待队长、等待时间以及忙期等关键指标的母函数.这些结论与经典排队系统中相对应的结论在形式上十分相似,并且将经典排队系统作为其特例,从而推广了随机排队系统的研究框架.     

有不成功启动和反馈的离散时间重试排队

讨论带有不成功启动和反馈的离散时间Geo/G/1重试排队,系统中顾客在完成服务之后,有一部分顾客返回重试空间等待下一个服务,另一部分顾客则离开系统.文中讨论了这个模型下的马尔可夫链和它的遍历条件,并计算出了该系统在稳态条件下的一些参数,还给出了两个随机分解法则.最后用两个例子说明了一些参数对重试空间平均队长的影响.     

有休假阀值、顾客丢失且一般重试时间的排队系统

采取补充变量和母函数方法,研究一类有休假阀值和一般重试时间的排队系统.给出系统存在稳态的充分必要条件、系统的稳态方程组和求解稳态分布的一般方法;就阀值为1的情形给出系统平均人数等一系列重要性能指标.     

可修交换单元中的重试排队

研究通信网络中交换单元的可修模型M1,2,3／G／1，呼叫的到达是重试性的，利用补充变量法对排队系统的状态转移方程作了分析，求得了重试队列稳态队长概率分布的母函数以及交换单元的处于三种不同状态下的稳态概率、稳态可用度及稳态故障频度等性能指标．     

异步服务的M/M/2重试排队算法

考虑了重试时间为指数分布且两个服务器的服务率不同的M/M/2重试排队.通过矩阵分析方法,把模型转化为一个与水平相依的拟生灭过程,从而更有利于算法实现. 得到了稳态概率分布和重试空间中的平均人数等排队指标,并且通过数值算例将到达率等参数对系统人数分布的影响显示出来.     

民事再审:制度价值的重新定位与思考

2007年10月修改的<民事诉讼法>,对民事再审制度进行了重大调整.但此次修改仍限于微观角度的部分条文的补充完善,仅仅从技术层面上明确了再审实务的一些操作.未能从根本上改良再审制度.民事再审制度漠视当事人程序主体地位、公权对私权的恣意介入、违背诉讼的基本原则和法理等一系列问题依旧存在.而透过单纯的法条及操作层面,我国再审制度存在的问题与我国的经济文化背景密切相关,仅仅在诉讼制度或法条上对程序的修改作用必然有限.     

一类具有两个服务阶段、反馈的M/G/1重试排队系统

研究了一个具有两个服务阶段带反馈的M／G／1重试排队系统．在假定重试区域中只有队首的顾客允许重试的情况下,重试时间分布具有一般分布时,证明了系统存在稳态的充分必要条件．利用向量马氏过程的方法求得了稳态时系统队长和重试区域中队长分布、顾客的平均等待时间、重试期间服务台处于空闲的概率、重试区域为空的概率．并指出所讨论的重试排队在把系统中服务台空闲的时间看作休假的情况下也满足随机分解的性质．     

具有多重休假和两阶段服务的MX/G/1重试排队系统

研究具有服务多重休假和两阶段服务的重试排队系统, 其中休假结束后服台需要重新启动. 批次到达的顾客形成参数为的Poisson过程, 顾客进行两阶段的服务：必选服务和可选服务, 其中第二阶段的可选服务有多种服务可供选择. 首先通过嵌入马尔科夫链的方法得到了系统稳定性存在的条件, 然后通过引入补充变量求出系统稳定状态分布及相关指标. 最后在广义服务时间的定义下, 证明了系统随机分解性.     

有可选到达、服务台可修的M/G/1重试排队系统

考虑了一个具有重试,可选择到达,反馈,服务台可修的M／G／1排队系统．研究了顾客到达后具有两种选择：或以概率q直接进入重试组,在重试组中要求接受服务;或者以概率1—q接触服务台,如果服务台处于闲期,则立刻接受服务,否则进入重试组,顾客一旦服务完毕后,可以以概率1—p离开系统或者以概率p返回重试组再次要求服务的情况．求得系统稳态时一些排队指标和可靠性指标。     

有休假阀值M和顾客丢失的M/G/1重试休假排队系统

主要研究排队论中的一类带有顾客丢失、服务器休假且休假门槛值为M的M/G/1重试队列.给出了系统存在稳态的充分必要条件;利用补充变量法和母函数方法,给出休假门槛值为M时系统的稳态方程组和求解稳态分布的一般方法;特别就M=1的情形给出了系统首次进入休假时间的分布函数的Lap lace变换等一系列重要性能指标.     

有启动失败和可选服务的M／G／1重试排队模型的一个特征值

文章讨论具有可选服务的M／G／1重试排队模型，其中服务台有可能启动失败。系统外新到达的顾客服从参数为λ的泊松过程。重试区域只允许队首顾客重试，重试时间服从一般分布。所有的顾客都必须接受必选服务，然而只有其中部分接受可选服务，证明0是该模型主算子的几何重数为1的特征值。     

试析我国刑事再审程序之不足

在我国,作为对生效裁判错误救济的审判监督程序,在纠正错案、维护司法公正等方面发挥着十分重要的作用,但是在司法实践中却存在诸多问题,影响了其功能的充分发挥。在我国刑事再审制度中主要存在这样一些问题,名称不准确、再审理念冲突、再审理由缺乏操作性、启动主体行政化、再审期限不合理、审查程序不规范、原审法院再审不公正和再审加刑等,有必要对这些问题进行全面深入细致的分析,为完善我国刑事再审制度做好理论准备。