带准备时间的两台同类机半在线排序的近似算法

研究带准备时间的两台同类机已知工件最大加工时间的半在线排序问题,分别讨论了极小化最大机器完工时间和极小化最大工件完工时间这两个目标函数,对这两个目标函数给出了竞争比为3/2的近似算法,并证明了不存在竞争比小于√2的近似算法     

已知工件最大加工时间的平行机排序问题

研究了已知工件最大加工时间，目标为极小化最大机器负载的半在线平行机排序问题．证明了对于一般的m（〉6）台机器，任意的半在线算法的竞争比至少是（√33＋3）／6．同时还设计了一个半在线算法，算法的竞争比为2-1／（m-1）．     

一个可中断两台可拒绝同型机半在线排序问题

讨论一个两台可拒绝同型机半在线排序问题的近似算法．设有两台同型机,工件逐个到达,可以被接收加工,消耗一定的加工时间tj,也可以被拒绝,但要付出一定的罚值Pj,目标是使被加工工件集的最大完工时间（makespan）和被拒绝工件集的罚值之和最小．此外,进一步假定每个工件的罚值和加工长度事先形成固定的比例α∈[0,＋∞）,即Pi=atj,针对工件加工可中断情形,设计出近似算法PRH,证明其竞争比．同时又给出该问题的下界,它们均为α的分段函数,且算法PRH在a∈[0,√2/2）∪[5/6＋∞）达到最优．     

带有到达时间和拒绝费用工件的同类机排序问题

研究了工件带有拒绝费用的m台同类机在线排序问题,m台机器的速度分别为s₁=s₂=…=s_m-1=1,s_m=s,当工件到达时,可以接收加工,占用一定的加工时间,也可以拒绝,付出相应的罚值. 目标是被接收工件的最长完工时间（makespan）与被拒绝工件的总罚值之和最小. 对工件2次到达时间问题（零时刻和r时刻各到达一批工件）设计了在线算法H,并证明该算法的竞争比为4-（2s）/（s+m-1）.     

拒绝可缓冲的2台同类机半在线排序问题的近似算法

研究了2个拒绝可缓冲的同类机半在线排序问题. 设有2台同类机M1,M2,速度分别为1和s∈［1,+∞),加工不允许中断,工件Jj按照列表在线到达,每个工件带有2个参数：加工长度tj、拒绝罚值pj（模型1中）或拒绝获益pj（模型2中）,当工件到达时,可以被接受并分给某台机器加工,也可以被拒绝,需付出一定的罚值（模型1）或取得一定的收益（模型2）,目标是在第1个模型中要求极小化机器最大负荷和拒绝工件的总罚值之和;第2个模型中要求极大化机器最小负荷和总收益之和. 此外,在接受或拒绝的决策环节上提供一个缓冲区B,其容量为k≥1,任一时刻至多可以存放k个工件,当工件到达时,若缓冲区未饱和,则可暂时存入B;若已饱和,则必须在新工件和缓冲区内工件中选择一个进行接受或拒绝的决策. 本模型所研究的是经典可拒绝模型中的一个松弛问题,属半在线可拒绝模型.最后针对以上2个模型,分别给出了s在区间［1,+∞)上的近似算法,并证明了各自关于s的参数竞争比.     

可中断半在线排序问题

讨论两台同型机上的可中断半在线排序问题,目标函数为极大化最小的机器完工时间Cmin.首先考虑已知所有工件的加工时间在p和rp(p＞0,r≥1)之间的情形,对任意的参数r,设计了最优半在线算法.接着,对已知最大工件加工时间的情形作了研究,得到了一个竞争比为5/4的最优半在线算法.     

带机器准备时间的已知工件总加工时间半在线问题

考虑带机器准备时间的已知工件总加工时间半在线问题。首先考虑P2,ri|sum|Cmin问题,给出Prsum算法并证明此算法的竞争比为23,且是最优算法;然后考虑Q2,ri|sum|Cmax问题,给出Qrsum算法并证明此算法的竞争比为2,同时给出此问题的一个下界1+3～(1/2)/2。显然Qrsum算法的竞争比与最     

两台同型平行机的复合半在线排序问题

研究了两台同型平行机的一个复合半在线排序问题.即对已知工件加工时间递减和实例最优值,目标为极大化机器最早完工时间的复合半在线排序模型,分析了它的下界,并给出了竞争比为9/8的最优算法.     

带并行工件的平行机排序问题的一个新近似算法

讨论并行工件平行机排序问题,目标为极小化所有工件的总完工时间.这是一个强NP-难的问题.通过对(0,1]区间划分的深入研究,提出了一个多项式时间的近似算法,其渐近性能比的上界为1.6,下界为1.5.该算法比LI(1999)中提出的算法的渐近性能比明显地小.     

两台可中断同类机可拒绝半在线排序问题的近似算法

研究一个两台同类机可拒绝半在线排序问题,机器速度一个为1,另一个为s∈[1,+∞),加工允许中断.当工件到达时,可以将其接受加工,占用一定的机器负荷,也可以将其拒绝,付出相应的罚值,目标为使被接受工件集产生的makespan和被拒绝工件集的总罚值之和最小.问题进一步假定每个工件在选择是否加工时有两个拒绝尺度,各自独立决策,最后选择较好的结果作为最终输出.笔者设计了算法H,得到其关于s的参数竞争比为s+2s+1,优于只有一个拒绝尺度的经典情形.最后又给出问题的一个下界(s+1)2s2+s+1,上下界的最大差距在s=1时达到0.167.     

随机波动模型的首中时问题

研究了一类波动率是平方根过程的随机波动CEV模型的首中时问题.利用鞅方法求解首中时和波动率的联合拉普拉斯变换,继而将问题转换为求解一类变系数二阶常微分方程,通过变量代换将此方程转化为经典的Whittaker方程,得到联合拉普拉斯变换表达式.最后,选取不同的参数,使随机波动CEV模型的资产价格过程能够涵盖O-U过程、几何布朗运动、平方根过程等几种常见的扩散过程,画出不同参数下联合拉普拉斯变换函数的三维图像,并分析其变化趋势.     

钱塘江河口水体冲洗时间的计算

钱塘江河口与长江河口比邻,其水体和物质交换必然受到相当的影响.针对此类情况,以浓度分布受河口上游径流控制的溶解态保守物质作为示踪剂,建立相应的水动力和对流扩散模型,并在此基础上,利用淡水组分法计算了在不同径流量条件下钱塘江河口水体的冲洗时间。结果表明,钱塘江河口水体冲洗时间枯季为146.4 d、常年平均流量下为136.3 d、洪季为121.8 d,河口水体的冲洗时间随径流量增大而变短。     

时点序列理论的缺陷修补

时态序列理论是统计学中不可或缺的重要理论,其中的难点内容当属时点序列理论.目前许多版本的统计学教材在论述时点序列时的普遍做法是在未给出或不恰当给出连续时点序列与间断时点序列之概念的前提下计算这2类序列的平均发展水平,说明现行时点序列理论的确存在缺陷,即没有对时点序列的连续性作出科学合理的界定.显然,弥补该缺陷的唯一办法就是正确设定时点序列的连续性判别准则,并且努力展示该准则的应用价值.     

Global stability in Gilpin-Ayala competitive model with time delays

1.IntroductionOneofthesimplestmodelsofthedynamicofn-interactingspecieshasbeenproposedbyVolterra(1931)[4]intheformofanautonomoussytemofnordinarydifferentialequationswithquadraticnonlinearities,~Iwhereb.,a.,(i,j~l,2..-n)areconstantsandxi(t)denotesthepopulationsizeorbiomassofithspeciesattimet.Basedonalargenumberofexperimentalresults,GilpinandAyala[3]proposedaslightlymoregeneralcompetitionsystemWherer,,k,,6.-,a,,(i.j~l,2...'.n)areconstants.System(1.2)isgeneralandhavetheLotka--Volterrasystem(1.I…     

关于带时间约束的单机排序的一个注记

研究单机带时间B-约束的排序问题,即在任意单位时间区间[x,x+1）内至多允许加工B个工件,目标函数是极小化工件的最大完工时间.分析了B=2时最优排序的结构与性质,设计了O（n log n）时间的启发式算法.当工件数较少（≤ 6）时,证明了该算法的最优性.     

Q型腔自混合散斑实时速度测量

研究基于Q型腔的自混合散斑速度实时传感。利用掺铒光纤、耦合器、波分复用器等组建激光散斑速度传感系统,理论分析动态物体散射光反馈进入激光腔内与原光混合产生的自混合散斑现象,推导出Q型腔输出功率的表达式。以一圆形铝盘为速度传感对象,开发LabVIEW程序对散斑信号进行实时波形采集、滤波去噪及数值计算,得出自混合散斑信号能量密度与物体速率之间的线性关系。基于此关系,对该铝盘侧面的线速率进行实时测量,在175～456mm/s速率范围内可获得较好的测量结果。研究表明,Q型腔内自混合激光散斑的能量密度测速方法,可用于粗糙表面物体的实时速度传感。     

多时间粒度约束的时态多值依赖推理

时态约束是时态数据库研究的主要内容之一,基于传统关系数据库,许多学者在时态函数依赖约束问题上进行了深入的研究,提出了一系列理论并发表许多有学术价值的论文.据此,基于时态函数依赖和传统关系数据库多值依赖理论提出了多时间粒度约束的时态多值依赖的概念和相关的引理、定理,并对引理、定理的有效性和完备性进行了证明,为时态数据库的进一步规范化奠定了理论基础.     

带时滞的高阶Cohen-Grossberg神经网络的指数稳定性

就一类高阶时滞Cohen-Grossberg社昆网络进行研究,假设反应函数满足Lipschitz连续且有界,用非线性测度的方法得到了关于平衡点的存在性和惟一性的一种新的充分性的判别条件,同时,通过构造一个合适的Lyapunov函数,得到这个条件也保证了时滞神经网络的全局指数稳定性.