缓冲区有限的生产系统的建模与分析

本文用极大代数对缓冲区有限的串行生产系统建立了状态方程。这种模型具有简洁而直观的特点,便于直接列写,与缓冲区无限时的串行生产系统模型的计算量相同。文中给出若干分析实例予以验证,并叙述了这种模型的推广前景及存在的问题。

水布垭溢洪道消能防冲区防淘墙施工研究

由于水布垭溢洪道消能防冲区两岸坡岩体地质条件差 ,故在设计研究中拟采取设防淘墙的防护工程方案。左、右岸防淘墙厚 3m ,墙顶高程 2 0 0m ,最大墙深 40m ,处于坝下常水位以下 ,采用预应力锚索将墙体与岸坡岩体锚固。针对水文地质及施工环境条件 ,主要研究并推荐分层钻爆逆作法和机械成孔 (槽 )法施工。在前期施工支洞的布置上 ,比选了在防淘墙范围内设斜洞式竖井和在墙外山体侧设斜洞连水平洞两种方案。经比较分析 ,两种施工方法均可行 ,但以分层钻爆逆作法较为有利。

推挤叠加型滑脱构造及其对油气成藏的控制——以尼日尔三角洲盆地深水区为例

以尼日尔三角洲盆地深水逆冲区为研究对象,利用已有的三维地震和钻/测井资料,从下伏塑性泥岩的地震反射结构出发,结合浅层地层沉积特征,分析研究区的构造样式、构造活动期次及构造活动对成藏条件的影响。结果表明:①在研究区下伏塑性泥岩内识别出推挤叠加型滑脱构造样式。其下部为主滑脱面,是盆地内受重力滑脱作用广泛发育的滑脱面,上部为次滑脱面,局部发育。②推挤叠加型滑脱构造的形成和演化经历了逆冲推覆和塑性泥岩挤压2个阶段,从中新世末一直活动至今,是深水逆冲区超大型断背斜圈闭形成的主要原因。③推挤叠加型滑脱构造的发育对油气成藏具有"双刃剑"的影响,其持续性的长期活动有利于大中型圈闭的形成和油气充注,又能降低下伏烃源岩的成熟度,同时也加大了油气保存的风险。

富春江电站泄洪顶冲区土石过水围堰设计研究

富春江水电站船闸改建工程的施工围堰,位于富春江电站的泄洪消能区,围堰布王正对电站泄洪闸出口,顶冲段距离泄洪闸出口不足50m,距左岸发电厂房约300m。采用传统的混凝土围堰方案,工期紧,围堰拆除对厂房正常发电干扰影响大;采用土石过水围堰,要解决围堰在电站泄洪时的抗冲及消能区防淘刷两大难题。本设计在电站泄洪区正面采用沉箱+预应力锚索结构,较好地解决了围堰抗冲防淘刷的难题。围堰建成后,经历了2013—2015年3个汛期8次泄洪考验,特别是2014年6月23日,电站连续泄洪108h,围堰经受住了长时间的洪水冲击,主体结构稳定。

Forest resources variation along with the main rivers in typical forest re-gion of Changbai Mountain

The restoration of the riparian vegetation disturbed by human activities is one of the hotspots of watershed ecology. Through interpreting the images of Remote Sensing in 1985 and 1999, the basic information of forest resources of Lushuihe Forest Bureau, which is a typical forest area of Changbai Mountain, was obtained with support of GIS. By dividing Land covers of Lushuihe area into 10 types (water body, residential land, stump land, farming land, wetland, mature conifer forest, midlife conifer forest, mature broadleaf forest, midlife broadleaf forest, and man-made young forest) and dividing the riparian zone into four buffers (in turn, 1000, 2000, 3000, 4000 m away from the river), the changes of riparian forest resources during 1985-1999 were analyzed. The results showed that the deforestation intension has obviously decreased and the whole environment has been evidently improved, but the riparian ecosystem was still flimsy. In buffer 1, 2, 3, the area of midlife conifer forest increased largely, but the areas of other types of land covers all decreased. Midlife conifer forest had a comparatively good status in the three buffers. In buffer 4, midlife conifer forest, mature conifer forest, and mature broadleaf forest formed a forest-age rank that is helpful to stabilize the forest ecosystem and exert its functions. Area percentage of wetland decreased in buffer 1, buffer 2, and buffer 3, even in buffer 4 in which forest ecosystem rehabilitated comparatively well, so protecting and rehabilitating wetland is a very difficult task.

A New Structure IGBT with High Performance

A new structure IGBT is proposed for reducing the power dissipation.It features a composite voltage-sustaining layer which includes a n-type buffer layer formed by ultra-deep diffusion and a transparent backside emitter formed by boron implantation.Working in a deep punch-through state during its normal operating condition,it still possesses all the characteristics of the robust non-punch-through IGBT (NPT-IGBT).With a chip-thickness thinner than that of the NPT-IGBT,the new structure presents a better trade-off relationship between the on-state voltage-drop and the turn-off loss.Experimental results show that the power loss of the new structure IGBT is 40% lower than that of the NPT-IGBT.

Method of integer overflow detection to avoid buffer overflow

A simplified integer overflow detection method based on path relaxation is described for avoiding buffer overflow triggered by integer overflow. When the integer overflow refers to the size of the buffer allocated dynamically, this kind of integer overflow is most likely to trigger buffer overflow. Based on this discovery, through lightly static program analysis, the solution traces the key variables referring to the size of a buffer allocated dynamically and it maintains the upper bound and lower bound of these variables. After the constraint information of these traced variables is inserted into the original program, this method tests the program with test cases through path relaxation, which means that it not only reports the errors revealed by the current runtime value of traced variables contained in the test case, but it also examines the errors possibly occurring under the same execution path with all the possible values of the traced variables. The effectiveness of this method is demonstrated in a case study. Compared with the traditional buffer overflow detection methods, this method reduces the burden of detection and improves efficiency.

小型电视台视频播放系统的实现技术及其播放策略分析

简要介绍了一种小型电视台视频播放系统的实现技术，并对其播放策略进行了比较分析，提出了硬盘直接I/O、动态缓冲区分配、多线程预读和脉搏同步策略。

A Utility-Based Buffer Management Policy for Improving Data Dissemination in Opportunistic Networks

In opportunistic networks, most existing buffer management policies including scheduling and passive dropping policies are mainly for routing protocols. In this paper, we proposed a Utility-based Buffer Management strategy(UBM) for data dissemination in opportunistic networks. In UBM, we first design a method of computing the utility values of caching messages according to the interest of nodes and the delivery probability of messages, and then propose an overall buffer management policy based on the utility. UBM driven by receivers completely implements not only caching policies, passive and proactive dropping policies, but also scheduling policies of senders. Simulation results show that, compared with some classical dropping strategies, UBM can obtain higher delivery ratio and lower delay latency by using smaller network cost.

Spatial-temporal Pattern and Differences of Land Use Changes in the Three Gorges Reservoir Area of China during 1975-2005

Regional land use changes are an important part of global changes.The research on land use changes in the Three Gorges Reservoir Area of China attracts a lot of attention owing to the Three Gorges Dam building.The Three Gorges Reservoir Area becomes one of the important research areas.This study analyzed the transforming processes and traits of each land use type and the regional differences of land use changes during the past 30 years,summarized the distribution of different land use types in different buffer zones and regresses the equation areas and different buffer distances based on buffer analyses and regression analyses,and then analyzed the transforming rules in different buffer distances,got the optimal influence distances.The research results indicate that,(1) cultivated land lies at the northwest of the reservoir and was decreasing,however,the construction land was increasing,especially the urban construction land,a large number of land was flooded because of the reservoir water level rise;(2) urban area was sprawling quickly in developed and neighboring areas,and a great deal of cultivated land and a considerable amount of grassland were occupied;in the earlier time,rural settlements occupied lots of cultivated land and a sum of forestry land in the later time;(3) the optimum influenced distances for cultivated land and forestry land were 10-35 km,and for urban and rural settlements were in 5-20 km.Overall,this research can reflect the spatial-temporal characteristics of land use changes during the 30 years,and it is helpful for urban planning and land use planning in the reservoir area.

Optimal dynamic dispatch of surplus gas among buffer boilers in steel plant

As valuable energy in iron-and steel-making process,by-product gas is widely used in heating and technical processes in steel plant.After being used according to the technical requirements,the surplus by-product gas is usually used for buffer boilers to produce steam.With the rapid development of energy conservation technology and energy consumption level,surplus gas in steel plant continues to get larger.Therefore,it is significant to organize surplus gas among buffer boilers.A dynamic programming model of that issue was established in this work,considering the ramp rate constraint of boilers and the influences of setting gasholders.Then a case study was done.It is shown that dynamic programming dispatch gets more steam generation and less specific gas consumption compared with current proportionate dispatch depending on nominal capacities of boilers.The ignored boiler ramp rate constraint was considered and its contribution to the result validity was pointed out.Finally,the significance of setting gasholders was studied.

An effective discrete artificial bee colony algorithm for flow shop scheduling problem with intermediate buffers

An effective discrete artificial bee colony(DABC) algorithm is proposed for the flow shop scheduling problem with intermediate buffers(IBFSP) in order to minimize the maximum completion time(i.e makespan). The effective combination of the insertion and swap operator is applied to producing neighborhood individual at the employed bee phase. The tournament selection is adopted to avoid falling into local optima, while, the optimized insert operator embeds in onlooker bee phase for further searching the neighborhood solution to enhance the local search ability of algorithm. The tournament selection with size 2 is again applied and a better selected solution will be performed destruction and construction of iterated greedy(IG) algorithm, and then the result replaces the worse one. Simulation results show that our algorithm has a better performance compared with the HDDE and CHS which were proposed recently. It provides the better known solutions for the makespan criterion to flow shop scheduling problem with limited buffers for the Car benchmark by Carlier and Rec benchmark by Reeves. The convergence curves show that the algorithm not only has faster convergence speed but also has better convergence value.

Elimination of boundary effect for laminated overburden model in pillar stability analysis

The laminated overburden model(La Model)has been widely used for pillar design and stability analysis.As a boundary element program,the La Model program is sensitive to the boundary condition,which should be considered before creating the model.To eliminate the boundary effect in a La Model pillar stability analysis,a suitable boundary buffer zone is needed around the model edge.The radius of influence(R)and the abutment load extent(D)are two major factors that affect the stresses and displacements calculated in LaM odel.To determine the optimum buffer zone extent,a database of case histories was analyzed using the La Model program.Values for R and D were varied until a buffer zone having negligible influence on the pillar stability factor(SF)of the active mining zone(AMZ)was determined.

DCFl-Checker： Checking Kernel Dynamic Control Flow Integrity with Performance Monitoring Counter

It is a challenge to verify integrity of dynamic control flows due to their dynamic and volatile nature. To meet the challenge, existing solutions usually implant an ＂attachment＂ in each control transfer. However, the attachment introduces additional cost except performance penalty. For example, the attachment must be unique or restrictedly modified. In this paper, we propose a novel approach to detect integrity of dynamic control flows by counting executed branch instructions without involving any attachment. Our solution is based on the following observation. If a control flow is compromised, the number of executed branch instructions will be abnormally increased. The cause is that intruders usually hijack control flows for malicious execution which absolutely introduces additional branch instructions. Inspired by the above observation, in this paper, we devise a novel system named DCFI- Checker, which detect integrity corruption of dynamic control flows with the support of Performance Monitoring Counter （PMC）. We have developed a proof-of-concept prototype system of DCFI-Checker on Linux fedora 5. Our experiments with existing kemel rootkits and buffer overflow attack show that DCFI- Checker is effective to detect compromised dynamic control transfer, and performance evaluations indicate that performance penaltyinduced by DCFI-Checker is acceptable.

Explicit Rate Based Transmission Control Scheme in Vehicle-to-lnfrastructure Communication Networks

In Vehicle-to-infrastructure(V2I)communication networks,mobile users are able to access Internet services,such as video streaming,digital map downloading,database access,online gaming,and even safety services like accident alarm,traffic condition broadcast,etc.,through fixed roadside units.However,the dynamics of communication environment and frequent changing topology critically challenge the design of an efficient transport layer protocol,which makes it difficult to guarantee diverse Quality of Service(QoS) requirements for various applications.In this paper,we present a novel transport layer scheme in infrastructure based vehicular networks,and aim to resolve some challenging issues such as source transfer rate adjustment,congestion avoidance,and fairness.By precisely detecting packet losses and identifying various causes of these losses(for example,link disconnection,channel error,packet collision,buffer overflow),the proposed scheme adopts different reacting mechanisms to deal with each of the losses.Moreover,it timely monitors the buffer size of the bottleneck Road-Side Unit(RSU),and dynamically makes transfer rate feedbacks to source nodes to avoid buffer overflow or vacancy.Finally,analysis and simulation results show that the proposed scheme not only successfully reduces packet losses because of buffer overflow and link disconnection but also improves the utilization efficiency of channel resource.

HAS Dynamic Buffer-Driven Resource Management to Enhance QoE in Mobile Network

Hypertext transfer protocol(HTTP) adaptive streaming(HAS) plays a key role in mobile video transmission. Considering the multi-segment and multi-rate features of HAS, this paper proposes a buffer-driven resource management(BDRM) method to enhance HAS quality of experience(QoE) in mobile network. Different from the traditional methods only focusing on base station side without considering the buffer, the proposed method takes both station and client sides into account and end user's buffer plays as the drive of whole schedule process. The proposed HAS QoE influencing factors are composed of initial delay, rebuffering and quality level. The BDRM method decomposes the HAS QoE maximization problem into client and base station sides separately to solve it in multicell and multi-user video playing scene in mobile network. In client side, the decision is made based on buffer probe and rate request algorithm by each user separately. It guarantees the less rebuffering events and decides which HAS segment rate to fetch. While, in the base station side, the schedule of wireless resource is made to maximize the quality level of all access clients and decides the final rate pulled from HAS server. The drive of buffer and twice rate request schemes make BDRMtake full advantage of HAS's multi-segment and multi-rate features. As to the simulation results, compared with proportional fair(PF), Max C/I and traditional HAS schedule(THS) methods, the proposed BDRM method decreases rebuffering percent to 1.96% from 11.1% with PF and from 7.01% with THS and increases the mean MOS of all users to 3.94 from 3.42 with PF method and from 2.15 with Max C/I method. It also guarantees a high fairness with 0.98 from the view of objective and subjective assessment metrics.

High Delivery Performance Opportunistic Routing Scheme for Delay Tolerant Networks

In Delay Tolerant Networks (DTNs), establishing routing path from a source node to a destination node may not be possible, so the opportunistic routings are widely used. The energy and buffer constraints are general in DTNs composed of the mobile phones or Pads. This paper proposes a novel opportunistic routing protocol, denoted by Large Opporturioty (LAOP), for the energy and buffer constrained DTNs. The objective of LAOP is to reach many receivers of a message with a small number of transmissions. By LAOP, the sender floods a message when the number of its neighbors is not less than a threshold. We compare the delivery performance of LAOP with other four widely used Delay or Disruption Tolerant Network (DTN) routing protocols, Direct Delivery, Epidemic routing, SprayAndWait and PRoPHET and demonstrate that LAOP can improve the delivery performance and decrease the delivery latency simultaneously.

Buffer and Switch： Road-to-Road Routing Scheme for Intermittently Connected Vehicular Networks

Due to the road-constrained data delivery and highly dynamic topology of vehicle nodes in a Vehicular Ad Hoc Network (VANET), it is better to construct routing based on the road-to-road pattern than the traditional node-to-node routing pattern in MANETs. However, the challenging issue is the opportunistic forwarding at intersections. Therefore, we propose a novel routing scheme, called Buffer and Switch (BAS). In BAS, each road buffers the data packets with multiple duplicates propagation in order to provide more opportunities for packet switching at intersections. Different from conventional protocols in VANETs, the propagation of duplicates in BAS is bidirectional along the routing path. Moreover, BAS's cost is much lower than other flooding-based protocols due to its spatio-temporally controlled duplicates propagation. Different from recent researches, BAS can deliver packets not only to a stationary node, but also to the stationary or mobile nodes in a specified area. We conduct the extensive simulations to evaluate the performance of BAS based on the road map of a real city collected from Google Earth. The simulation results show that BAS can outperform the existing protocols, especially when the network resources are limited.

Buffer allocation method of serial production lines based on improved ant colony optimization algorithm

Buffer influences the performance of production lines greatly.To solve the buffer allocation problem(BAP) in serial production lines with unreliable machines effectively,an optimization method is proposed based on an improved ant colony optimization(IACO) algorithm.Firstly,a problem domain describing buffer allocation is structured.Then a mathematical programming model is established with an objective of maximizing throughput rate of the production line.On the basis of the descriptions mentioned above,combining with a two-opt strategy and an acceptance probability rule,an IACO algorithm is built to solve the BAP.Finally,the simulation experiments are designed to evaluate the proposed algorithm.The results indicate that the IACO algorithm is valid and practical.

Investigation on Characteristics and the Improving Method of Double Loop Optical Buffer

We establish an equivalent cascaded semiconductor optical amplifier system model to analyze the characteristics of the double loop optical buffer （DLOB）. The theoretical analysis finds that the performance of the DLOB can be improved by inserted amplifying process in an interval of some cycles. The experiment demonstrates that the buffered cycles can be improved from 20 to 50 and the bit error rate is less than 10-9 by inserting amplifying process in an interval of about 10 cycles.