实时调度问题的形式化描述及分析

使用自动机理论建立了一个用于分析实时调度问题的、可化简归并的形式化方法。通过分析单个任务的状态变化过程来构造实时系统的自动机。对自动机的状态进行化简和归并,大大降低了讨论实时调度问题的复杂度。以优先级上限协议为例构造了确定有穷自动机并使用该自动机证明了优先级上限协议的性质。     

集成滤波器的一个典型单元电路的改进

非线性失真问题已成为滤波器设计、制造的主要制约因素之一,其原因在于其拓扑结构中的基本元件和单元电路固有的非线性．本文中研究了一种典型单元电路(Schau-mann元件)的非线性特性,导出了其非线性特性的解析式．同时,在此基础上提出了该元件的改进电路,即采用两个元件构成对称平衡电路结构,实现对输出信号进行代数和运算,并通过对其中一个元件的偏压值的选择来降低改进电路的非线性,获得了理想的线性度．这些解析式对于上述单元电路所构造的各种Gm．C滤波器的非线性分析具有重要作用,其推导方法可以应用于其他类似的电路．     

生物炭改性填埋场覆盖粉土的甲烷氧化能力试验研究

试验采用一种填埋场覆盖粉土作为土料,分别以木屑和水稻秸秆为原料热解的生物炭作为土料的改良剂,通过30天的甲烷氧化培养瓶试验研究了粉土以及两种不同生物炭改性土的甲烷氧化能力,同时研究了土样含水率对其甲烷氧化能力的影响。试验结果表明：两种生物炭均能提高粉土的甲烷氧化能力2.5倍左右。试验中所有土样在含水率在10%时几乎没有甲烷氧化能力,粉土以及两种生物炭改性土的甲烷氧化适宜含水率范围也各不相同,掺入生物炭能够增大粉土的甲烷氧化适宜含水率范围;本文运用击实曲线估计了试验中土样的水气双开敞(即水气都连通)条件的含水率范围,其结果表明：土样的水气双开敞条件含水率界限差值越大,土样的甲烷氧化适宜含水率界限差值也越大。掺入生物炭增大了粉土土样的水气双开敞条件的含水率范围,因此增大了其甲烷氧化适宜含水率范围。     

Large scale production of carbon nanotube arrays on the sphere surface from liquefied petroleum gas at low cost

Liquefied petroleum gas (LPG), a cheap industrial material, is used as carbon source to produce carbon nanotube (CNT) arrays on ceramic spherical surface on a large scale in the floating catalyst process. The ceramic spheres provide huge surface area and good mobility, leading to the mass production of CNT arrays continuously. The arrays obtained from the surface are of good alignment, and the purity is as high as 97.5%. With the decrease of the growth temperature, CNTs in the array form with small-diameter of about 13 nm can be obtained. Therefore, with the industrial fuel as carbon source and the ceramic sphere as substrate, CNT arrays can easily be produced on large scale at low cost.     

基于混合差分法的运动目标检测

为了提高背景重建速度和目标检测精度,提出了基于混合差分的运动目标检测方法.采用一种基于统计模型的区域像素级背景重建方法.结合帧差分法对于环境的适应性和背景差分法目标检测的准确性.首先用帧差分法得到目标最大的可能区域,在该区域进行像素级背景重建.然后用背景差分精确提取目标区域.既克服了单纯帧差分对于目标运动速度的限制,又缩小了背景差分的区域,使运动目标检测的时间复杂度迅速降低.通过实验,验证了该方法在检测精度和速度上的优势,可以应用于视频监控和目标跟踪领域.     

GROUP-BUYING ONLINE AUCTION AND OPTIMAL INVENTORY POLICY IN UNCERTAIN MARKET

In this paper we consider a group-buying online auction (GBA) model for a monopolistic manufacturer selling novel products in the uncertain market. Firstly, we introduce the bidder's dominant strategy, after which we optimize the GBA price curve and the production volume together. Finally, we compare the GBA with the traditional posted pricing mechanism and find that the GBA is highly probable to be advantageous over the posted pricing mechanism in some appropriate market environments.     

滇东典型煤矿区地表水地下水化学特征及控制因素

以滇东典型煤矿区不同水体为研究对象,分析其水化学特征及控制因素,为水资源保护与利用提供理论依据。2020年8月采集水样42组,运用 Piper 三线图、Gibbs 图、因子分析以及离子比例系数法,分析了研究区不同水体水化学特征及其影响因素。 结果表明：研究区地表水pH均值为8.42,呈弱碱性,TDS变化范围为140~828 mg·L?1,阳离子以Ca2+、Na+为主,阴离子以HCO3?、SO42?为主,水化学类型从HCO3?Ca过渡为HCO3?Ca·Na、HCO3?Na和HCO3·SO4?Ca·Na型;地下水pH均值为7.55,呈中性,TDS变化范围为60~620 mg·L?1,阳离子以Ca2+、Mg2+为主,阴离子以HCO3?为主,水化学类型为HCO3?Ca和HCO3?Ca·Mg型;矿井水富集Na+和SO42?,水化学类型为HCO3?Na、SO4?Ca型。研究区水体水化学特征受岩石风化作用、阳离子交换作用和人类活动等因素的共同影响。水体中Ca2+、Mg2+和HCO3?主要来源于碳酸盐岩的溶解, HCO3?还受到硅酸盐岩溶解的影响;SO42?来源于石膏的溶解和煤系地层黄铁矿的氧化,而Na+则受采煤废水排放及阳离子交换作用的影响。总体上,地表水主要受矿业活动影响,基岩裂隙水主要受农业活动的影响,而岩溶地下水受人类活动影响有限。提取了研究区地下水3个主因子,累计贡献率达82.06%,分别代表碳酸盐岩溶解和矿业活动、硅酸盐岩溶解和阳离子交换作用以及农业活动的影响。     

Batching Scheduling in a Two-Level Supply Chain with Earliness and Tardiness Penalties

This paper studies the batch sizing scheduling problem with earliness and tardiness penalties which is closely related to a two-level supply chain problem. In the problem, there are K customer orders, where each customer order consisting of some unit length jobs has a due date. The jobs are processed in a common machine and then delivered to their customers in batches, where the size of each batch has upper and lower bounds and each batch may incur a fixed setup cost which can also be considered a fixed delivery cost. The goal is to find a schedule which minimizes the sum of the earliness and tardiness costs and the setup costs incurred by creating a new batch. The authors first present some structural properties of the optimal schedules for single-order problem with an additional assumption (a): The jobs are consecutively processed from time zero. Based on these properties, the authors give a polynomial-time algorithm for single-order problem with Assumption (a). Then the authors give dynamic programming algorithms for some special cases of multiple-order problem with Assumption (a). At last, the authors present some structural properties of the optimal schedules for single-order problem without Assumption (a) and give a polynomial-time algorithm for it.     

Orthogonal Arrays Robust to a Specified Set of Nonnegligible Effects

This paper considers experimental situations where the interested effects have to be orthogonal to a set of nonnegligible effects.It is shown that various types of orthogonal arrays with mixed strength are A-optimal for estimating the parameters in ANOVA high dimension model representation.Both cases including interactions or not are considered in the model.In particularly,the estimations of all main effects are A-optimal in a mixed strength(2,2)_3 orthogonal array and the estimations of all main effects and two-factor interactions in G_1×G_2 are A-optimal in a mixed strength(2,2)_4 orthogonal array.The properties are also illustrated through a simulation study.     

Approximating the Spectral Abscissa for Switched Linear Systems via Coordinate Transformations

In this paper,an approach of square coordinate transformation is proposed to approximate the spectral abscissa for continuous-time switched linear systems.By applying elementary transformations iteratively,a series of minimums of least μ1 matrix set measures are obtained,which are utilized to approximate the spectral abscissa of the switched system.The approach is developed into tractable numerical algorithms that provide upper bound estimates of the spectral abscissa.Numerical simulations show the effectiveness of the proposed method.