Effect of F- ions on spectroscopic properties of Yb3+-doped zinc-tellurite glasses

this paper is retracted

Antes só do que mal (ou bem) acompanhado: um estudo sobre a representação social da mulher solteira no mundo feminino

Esse trabalho teve origem numa monografia de conclusão de curso de graduação em psicologia, e parte da constatação de que atualmente, nos grandes centros urbanos, o grupo de mulheres financeiramente independentes sem um companheiro é cada vez mais numeroso, tornando-se muito presente no nosso cotidiano e na mídia. A pesquisa teve como objetivo descrever, analisar e discutir a representação social da mulher solteira construída por 210 mulheres, com idades entre 20 e 49 anos, habitantes da cidade do Rio de Janeiro. A coleta de dados foi realizada pela aplicação individual de um questionário às participantes da pesquisa. O questionário consistiu na solicitação de tarefas de evocação, em seu contexto normal e de substituição, além de perguntas fechadas e abertas, e da obtenção de dados de caracterização sociodemográfica. Os dados coletados por meio da evocação livre foram processados com auxílio do softwareEvoc e analisados de acordo com a abordagem estrutural das representações sociais, segundo a qual os conteúdos cognitivos de uma representação se organizam em dois sistemas internos: um sistema central, também chamado de núcleo central, e um sistema periférico. A análise do questionário envolveu tratamentos estatísticos descritivos das respostas às perguntas fechadas e abertas, tendo sido estas últimas submetidas a um processo prévio de categorização temática. A representação da mulher com 30 anos ou mais, solteira e sem filhos, construída pelas mulheres em geral, é fortemente marcada por elementos contraditórios, mas sem deixar de caracterizar a mulher contemporânea. O conteúdo representacional evidencia uma dimensão imagética muito influenciada pela mídia, e expressa o sentimento de autonomia, refletindo o atual momento da mulher. Esse perfil de mulher, apesar de corresponder a uma mulher que rompe com o seu papel tradicional na sociedade e que tem um poder de escolha, ainda incorpora a imagem de encalhada, o que pode indicar a persistência de um grande conservadorismo por parte das próprias mulheres.

黄土丘陵区小流域综合治理生态经济过程分析——以宁夏隆德县李太平小流域为例

从生态经济系统分析角度出发,对小流域生态经济结构及其演变进行分析,以期评价小流域生态经济效益。对比分析了小流域生态经济系统土地利用结构及其适宜性、产业结构、消耗结构和饲料生产平衡,利用线性模型对土地利用结构进行了优化模拟,采用描述生态系统稳定性的多样性指数描述流域经济系统稳定性,并用静态和动态模型对治理经济效果进行评价。流域农、林、牧用地比例由1990年的6．2:2．0:1．0变为2003年的1．9:1．4:1．0;农业产值所占比重由79．6％下降为54．8％;林业、牧业、副业产值比例分别由9．6％、9．6％、1．1％上升为22．7％、 15．1％、7．4％。收入多样性指数呈增加趋势,消耗结构趋向合理,饲料供需平衡,经济评价中各指标均显示经济效益显著,表明生态经济结构明显有利于生态经济系统的进展演变,流域生态经济结构趋于稳定,生态经济效益显著。

基于RS和GIS的四川省土地利用/覆盖变化及可持续利用研究

LUCC是全球变化研究的核心主题之一，也是社会经济可持续发展的关键问题。改革开放后四川的社会经济发展非常快，在各种因素的驱动下，土地利用/覆盖发生了深刻变化。目前四川省缺乏基于实际调查数据的、全域性的、具有连续时间序列的LUCC和驱动力分析及土地可持续利用研究成果，这对我们从全局上把握全省土地利用现状、发展变化趋势，利用土地政策参与宏观调控，实现长期可持续发展目标，建设资源节约型、环境友好型社会极为不利。本研究针对这一问题，选取全川八大土地利用类型作为研究对象，研究了全省1996年到2006年的土地利用/覆盖格局和变化情况，分析了不同尺度的驱动因素，对全省农用地和建设用地的集约利用状况、潜力进行了分析评价，并提出相应的对策措施。 1．1996年-2006年10年来整个省域的土地利用/覆盖格局变化。 （1）1996年-2006年全省的土地利用/覆盖格局 1996年，全省是一个以农用地为主的土地利用/覆盖格局，林地和牧草地属于优势覆盖类型（合占69.17%），居民点及工矿用地和交通用地合占只有3%左右。 2000年的LUCC格局较为明显的特点是耕地所占比重下降0.4个百分点，水域和未利用土地所占比重有所下降，牧草地保持不变，其余地类所占比重有所上升。 与2000年相比，2004年林草地的优势格局进一步得到强化（合占比重达到70.23%）。耕地面积占幅员面积的比重下降0.83个百分点，略有下降的有未利用土地、水域和牧草地。值得关注的是在“退耕还林还草”的大背景下，牧草地占幅员面积的比重下降0.04个百分点。 到2006年，仍为林草地为主导优势的格局，二者合占上升0.15%。在城市化快速推进的背景下，居民点及工矿用地中的城市用地和建制镇用地占比重超过15%，农村居民点占比重降至76%。交通用地中农村道路占比重降至57.8%,公路用地占比重升至37.5%。五个地貌区的土地利用/覆盖格局与全省的变化基本一致。值得关注的是盆西平原区的交通用地上升幅度和盆地丘陵区的未利用土地的开发利用力度明显大于其它地貌区。 （2）1996-2006年10年间土地利用/覆盖格局的变化 1996-2000年4年间，耕地、水域和未利用地三个地类下降，年均减少0.75、0.19和0.32个百分点。其中耕地年均减少49229.0公顷，约一半流向林地，13.77%流向园地，约20%流向建设用地。另外5个地类面积增长，增长绝对量最大的是林地，年均增长40063.7公顷，交通用地增幅最大，4年年均增长达1.95%。 2001-2004年是西部大开发逐步推进、“退耕还林还草”项目全面展开和土地整理深入实施的关键期，LUCC更为深刻。耕地、未利用地、水域和牧草地四个地类面积下降，其余地类按增长幅度依次是园地、交通用地、居民点及工矿用地和林地。耕地加速下降，年均降幅达到1.59%，其减少去向主要是林地（占66.75%）和园地（占19.84%），其增加来源主要是未利用地、园地和水域。交通用地的增幅最大，为3.96%,其增加主要来源于耕地、未利用土地和林地，分别占49.96%、16.63%和13.09%。居民点及工矿用地增长幅度为3.12%。 从1996年到2006年的10年间，耕地、未利用地、水域和牧草地下降幅度分别为10.36%、3.61%、1.34%和0.26%。园地增幅达23.61%。绝对面积增长最大的则是林地，达630733.3公顷。交通用地和居民点及工矿用地增幅也较大，分别为15.00%和9.31%。 10年间年均总变化量为310326.6公顷，2000年-2004年之间变化最大（为356865.8公顷），高于平均变化量，而1996-2000年间和2004-2006年间都小于平均变化量。 （3）10年间不同地貌区的LUCC变化 盆西平原区的特点是园地大幅上升达77%，居民点及工矿用地和交通用地也大幅上升，耕地、未利用地下降幅度大，该区耕地、水域、未利用地的减少强度和园地、居民点及工矿用地、交通用地的上升强度均居五区第一；盆地丘陵区的特点是牧草地下降幅度大，为-36.89%,交通用地、园地和林地上升幅度较大，该区耕地减少、未利用地减少、林地增加、居民点及工矿用地和交通用地增加的变化强度均居五区相应地类增减的第二位；盆周山地区的特点是耕地减少较多，交通用地和园地增长较大，该区林地变化强度居各区第一位，牧草地和水域变化强度居各区第二位，耕地、居民点及工矿用地和未利用地居各区第三位；川西南山地区的特点是园地、耕地、交通用地和居民点及工矿用地变化幅度大，另外四个地类变化较小。该区减少的牧草地占全省牧草地减少的97.91%，变化强度居各个地貌区的第一位，园地相对变化强度居五区的第二位；川西北高山高原区的特点是耕地大幅下降、园地大幅上升，交通用地升幅也较大，其余地类变化不大。值得注意的是，该区牧草地和水域面积增加，与全省该地类的变化相反。其余地类的相对变化强度均是五个地貌区中最小的。 用变化强度分值考量变化强度，盆西平原区的变化强度最大，盆地丘陵区和盆周山地区的变化强度相当，川西北高山高原区的变化强度则要小得多。 （4）1996年及2006年全省土地利用/覆盖格局的景观生态学分析 全省是以自然景观占优势（占约70%）、农业景观为补充、建设用地景观居于从属地位的土地利用景观格局。景观多样性和均匀度不高。到2006年，全省总的景观格局并无大的改变。总体情况是随着时间的推移和人类活动的加强，区内景观优势度上升、多样性和均匀度变小。但斑块数减少，斑块面积和斑块孔隙度有所增大。斑块的形状指数和分维数均有所下降，表明受人为干扰有加剧的趋势。反映景观格局结构的破碎度指数有轻微下降。景观指数的变化表明全省土地利用有缓慢集中、规模聚集的趋势。 （5）三大生态建设工程对土地利用/覆盖变化的影响 1996-2006年间LUCC与三大生态建设工程实施的耦合分析，发现退耕工程对耕地、林地、牧草地等地类覆盖变化的影响最大，天保工程次之，长防工程最小。 2.四川省LUCC驱动力分析 （1）总体分析： 从整体上分析，人为因素对区域整体LUCC的影响从1996年的63.32%增加到2006年的66.99%，变得日益强烈。同时人为因素影响强度表现出明显的区域差异，地势平缓、经济区位条件好的区域其人为影响强度明显较高。 政策体制转变下的经济高速增长、快速的城市化、工业化过程和生态建设是四川省LUCC宏观尺度的驱动因素。区域的LUCC主要受到了由内向外(从城市到乡村)和由外向内(从山顶向平地)两种作用力的共同推动。局部尺度上，如距离交通线、水利线、中心城市的远近，地形凸起、大型独立项目落址、重污染项目的阻隔等，甚至一些乡规民俗等因素也会成为LUCC的驱动影响因素。在较小的尺度上,人类个体行为选择对LUCC的影响也是存在的。 　　根据驱动因子的特性作者将其划分为驱变、阻变、良性、惰性因子等类型。 （2）分地貌区的驱动因子分析 各地貌区都存在城市化、工业化、生态工程实施、自然灾害等驱动因子，但主次不一。对于盆西平原和盆地丘陵区，城市化、工业化是前两位的因子，而对另外三个地貌区，生态工程实施和产业结构调整则成为第第一、二位的驱动因子。 （3）分地类的驱动因子分析（以坡耕地为例） 分坡度的耕地变化分析发现，耕地减少主要集中在2°以下的平地、15°-25°和25°以上三个坡度级，是其它坡度级耕地减幅的三倍左右。这表明耕地减少受城市化进程和“退耕还林还草”工程驱动影响尤为巨大。 3.土地利用格局优化、集约利用评价和可持续利用及对策研究 （1）土地利用格局优化的战略选择及调整预测 土地利用格局调整的战略是农业生产用地、建设用地和生态及其他用地占幅员的比重分别稳定在13%、7%和80%左右，重点是三大类别内部二级和三级地类的合理调整。 （2）全省土地集约利用评价 全省农用地利用集约度为0.46，总体上集约度不高，处于较适度利用阶段。建设用地利用集约度为0.38，处于较适度利用阶段。集约利用提升空间较大。 农用地的潜力主要在于加强土地保育、完善利用制度、提高单产。城市建设用地的包括存量潜力、强度潜力、结构潜力，空间很大。农村居民点整理潜力可以逐步挖掘。 （3）新增建设用地集约利用的统筹安排 据测算，到2020年，四川省城市建设用地需求量在463850-492360hm2之间，城镇各业新增建设用地规模为361276.79hm2，占用耕地200565.94 hm2。2004-2020年间四川省农村居民点整理潜力33.86万hm2。农村居民点建设用地需求量为70.57万公顷。 （4）土地集约利用措施与坡耕地可持续利用战略 提出了土地集约利用的措施。在对坡耕地生态系统结构与功能分析的基础上，提出坡耕地可持续利用战略与生态恢复战略，并从技术和政策层面提出了坡耕地合理利用和生态退耕的措施和建议。 LUCC is one of the key questions of global change and sustainable development of society. After the opening and reform of China, the society and economy of Sichuan Province developed very fast ,the land-use/cover changed very strong droved by many factors .But nowadays we have no constant spatial-temporal study and driving force analysis about the whole province based on investigation. And it is lack of land sustainable utilization study based on correlative study. So we choose all the land resource in Sichuan, combine RS and GIS and field investigation, and take statistic-mathematic means and system analysis, to study the LUCC patterns and different scale driving force of different physiognomy regions, land cover types and periods; to analyze the current situation and potential of land resource intensive utilization, and gave out corresponding measurements. We found that forest and grassland are the dominant cover types of Sichuan provincial land –use/cover pattern, and becoming more and more stronger from 1996 to 2006,the natural landscape is the metric and occupy 70%,the diversity and evenness index are not high; the totally change quantity from 2000 to 2004 is the biggest; cultivated land especially steep cultivated land ,garden plot, forestry land ,settlement and industry land and traffic land changed relative stronger; among five physiognomy regions ,the changing intensity of PEN XI PING YUAN QU is the biggest, CHUAN XI BEI GAO SHAN GAO QU is smallest; under the background of policy system changing, the fast developing of economy, fast urbanization and industrialization and ecology construction are the macro-scale driving force of Sichuan provincial LUCC; to compare the impacts of “TUI GENG GONG CHENG” on LUCC especially to cultivated land ,forestry land and grassland is strongest, “TIAN BAO GONG CHENG ” is stronger,“ HANG FANG GONG CHENG” is smallest; the intensive utilization level of farmland and construction land of whole province is relative moderation, there is huge potential to excavate and fulfill the increasing demand of construction land；we must take synthetic measurements to accelerate the sustainable utilization of land resource, including administrative, economical ,technological and ecological policies.

基于有限状态机与Petri网的系统分析与设计

从系统组成、功能需求和体系结构方面介绍了航天器空间对接仿真系统的实时多任务控制系统,基于有限状态机和Petri网方法对其进行了单任务级和多任务级的分析建模,并以此为基础完成系统的详细设计,其中应用分叉和资源共享模型实现了系统的同步和互斥问题。实际应用中应用工程化和模块化的方法完成系统设计,系统运行性能良好。试验证明这种分析设计方法合理可行。

离散型封闭式传送带生产系统的研究——一种通用的分析方法

本文对离散型封闭式传送带生产系统给出了一种通用的分析方法.基于传送带参数和工作站的服务时间,研究了系统中各流量间的相互关系,建立了动态的和稳态的表达式,给出了系统的品质指标,并首次指出了系统中存在一种循环效应及其对系统容量的影响。最后用仿真方法检验了分析结果的正确性.

残留盆地分布综合地球物理研究——以大港地区为例

Macro-distribution of residual basins is a basic question in residual basin research，the main object of macro-distribution study is to build strata framework, compute thickness of residual strata and analyze characteristics of residual basins. With the guidance of the theory of integrated geology and geophysical research, the paper assembled series of methods and established the technical chart based on gravity and magnetic data, with restriction of geology, seismic and drilling data. Based on potential field data processing and analysis, forward and inverse computation, region potential field analysis and potential field separation, etc. it computed depth of gravity/magnetic basement and got strata framework. It had got effective results in the research of macro-distribution of residual basin research in the Dagang area. It did the wavelet transform of gravity/magnetic data with multi-kind of wavelet basis using a trou algorithm. From comparison of processing result and their spectral of wavelet analysis, up continuation and filter method, the wavelet approximation is better to fit the regional potential field, and it is an effective method to separate gravity/magnetic effect caused by deep geology bodies. The experiment of matching pursuit shows that te transform domain methods have great advantage in potential data analysis. From the integrated geophysical study of rock property study, gravity/magnetic basement inversion and fault system analysis of the Dagang area, it gets the strata framework and the thickness of pre-Cenozoic residual strata. Comprehensive study with gravity and magnetotelluric profile inversion and interpretation, three prospect plays of macro-distribution of residual basins are fingered out. It has great residual strata thickness in the northern part of Chengning Uplift and there is thrust fault in the deep zone and good up-Paleozoic hydrocarbon source rocks in this area. With integrated analysis, this area will be the most prospective hydrocarbon location of pre-Cenozoic residual basins.

基于流域—库区—坝区模型“三重边界嵌套”方法的河南济源蟒河口水库渗漏数值模拟研究

Constructing reservoir in mountain area, in order to avoid dangerous reservoir and ensure long-term stable reservoir storage, study on reservoir leakage has been one of research hotspots. How to accurately predict the capacity of leakage and the effect of anti-seepage after reservoir impoundment under different anti-seepage measures is one of the most difficult problems of study on reservoir leakage. The paper took Manghekou Reservoir as a case study, which is located in Jiyuan City, Henan Province, China. Based on the system analysis of the geological and hydrogeological characters in the research area, the hydrogeological conceptual model was established. Then, according to the triplex boundary nested grid model method, using three-dimensional numerical simulation technique, the 3-D groundwater seepage flow numerical model was established in the study area. Based on the model, the change of seepage flow field, the capacity of leakage and the effect of anti-seepage are predicted after Manghekou reservoir impoundment under different condition. The reasonable and reliable anti-seepage measure is selected according to the model. All these provides scientific basis for the design and assessment of anti-seepage measure for the reservoir in mountain area.

油气运聚动力学的模拟分析——以准噶尔盆地为例

The petroleum migration, happening in the geologic past, is the very important and complex dynamic processes in the petroleum systems. It plays a linking role among all static factors in a system. The accumulation is in fact the result of the petroleum migration. For the petroleum geology, the dynamics research of the petroleum migration refers to the mechanism and process research, as well as the use of the quantitative methods. In this thesis, combining with the qualitative analysis and quantitative modeling, the author manages to discuss theoretically some key problems dealing with migration processes, which have not been solved yet, and to apply the studied results in petroleum system analysis in actual basins. The basin analysis offers the base of the numerical modeling for geological phenomena occurring in sedimentary basins, that consists of the sedimentary facies analysis, the section reconstructing technique, eroded thickness estimating, etc. The methods to construct the geologic model, which is needed in the research of oil and gas migration and accumulation, are discussed. The basin analysis offers also the possibility for the latter modeling works to get and select the parameters, such as stratum's thickness, age, stratigraphy etc. Modeling works were done by using two basin modeling softwares: Basin_Mod and TPC_Mod. The role of compaction during the secondary migration and the heterogeneity of migrating paths within the clastic carrier are modeled. And the conclusions were applied in the migration studies in the Jungaer Basin, lying on the Northwest part of the China. To construct a reliable migration model, the author studied the characteristics of the sedimentation, the pore fluid pressure evolution, as well as the distribution and the evolution of fluid potential, following the tectonic evolution of the Jungaer Basin. The geochemical prospecting results were used to evidence and to calibrate the migration processes: the oil-source correlation, the distribution of the properties of oil, gas and water. Finally, two important petroleum systems, Permian one and Jurassic one were studied and identified, according, principally, to the studies on the petroleum migration within the Jungaer Basin. Since the oil, as well as the gas, moves mainly in separate phase during the secondary migration, their migrating behaviors would be determined by the dynamics conditions of migration, including the driving forces and pathways. Based on such a consideration, the further understandings may be acquired: the roles played by permeable carriers and low-permeable source rock would be very different in compaction, overpressure generation, petroleum migration, and so on. With the numerical method, the effect of the compaction on the secondary migration was analyzed and the results show that the pressure gradient and the flux resulted from compaction are so small that could be neglected by comparing to the buoyancy of oil. The main secondary migration driving forces are therefore buoyancy and capillary within a hydrostatic system. Modeling with the commercial software-Basin_Mod, the migration pathways of petroleum in clastic carriers seem to be inhomogeneous, controlled by heterogeneity of the driving force, which in turn resulted from the topography of seals, the fabrics and the capillary pressure of the clastic carriers. Furthermore, the direct and indirect methods to study fault-sealing properties in the course of migration were systemically summarized. They may be characterized directly by lithological juxtaposition, clay smear and diagenesis, and indirectly the comparing the pressures and fluid properties in the walls at two apartments of a fault. In Jungaer Basin, the abnormal pressures are found in the formations beneath Badaowan or Baijantan Formation. The occurrence of the overpressure seems controlled by the stratigraphy. The rapid sedimentation, tectonic pressuring, clay sealing, chemical diagensis were considered as the principal pressuring mechanisms. The evolution of fluid pressure is influenced differently at different parts of the basin by the tectonic stresses. So the basin appears different pressure evolution cycles from each part to another during the geological history. By coupling the results of thermal evolution, pressure evolution and organic matter maturation, the area and the period of primary migration were acquired and used to determine the secondary migration time and range. The primary migration in Fengcheng Formation happened from latter Triassic to early Jurassic in the main depressions. The main period of lower-Wuerhe Formation was at latter Jurassic in Changji, Shawan and Pen-1-jing-xi Depression, and at the end of early Cretaceous in Mahu Depression. The primary migration in Badaowan and Sangonghe Formation is at the end of early-Cretaceous in Changji Depression. After then, the fluid potential of oil is calculated at the key time determined from area and time of the primary migration. Generally, fluid potential of oil is high in the depressions and low at the uplifts. Synthetically, it is recognized that the petroleum migration in the Jungaer Basin is very complex, that leads us to classify the evolution of petroleum systems in Northwestern China as a primary stage and a reformed one. The remigration of accumulated petroleum, caused by the reformation of the basin, results in the generation of multiple petroleum systems. The faults and unconformities are usually the linkers among the original petroleum systems. The Permian petroleum system in Jungaer Basin is such a multiple petroleum system. However, the Jurassic petroleum system stays still in its primary stage, thought the strong influences of the new tectonic activities.

吐哈盆地山前带构造岩相带及油气藏预测研究

This paper based on the example of mountain front tectonic belt of Tuha basin - a typical basin in west China, using geological, logging and seismic data, combining the two methods-comprehensive analysis of geological-geophysical data and numerical simulation together, studies the types of tectonic lithofacies and the mechanism of oil/gas accumulation in mountain front tectonic belt, and predicts favorable exploration areas. The tectonic lithofacies in periphery belt of compressional basin is systematically studied for the first time. The distribution and systematically analyzed with geological, logging and seismic data; the bury history of formations in the mountain front are restored with the back-stripping technique; the tectonic depression history of the mountain front is studied according to Airy Balanced Model; the tectonic evolution history is restored with the balanced section technique; according to the space composition of tectonic units and sedimentary systems of different geological time, the tectonic facies belt of the middle and lower Jurassic in the piedmont is divided into 12 types, and the controls of each type's tectonic lithofacies belt on the conditions of oil/gas generation, reservation and sealing are analyzed in depth. 3D numerical simulation and analysis is applied to the tectonic stress field in the hydrocarbon reservoir-forming-period for the first time. Because of the complex evolution of mountain front of Tuha basin, 3D numerical simulation of tectonic stress field in the hydrocarbon reservoir-forming-period helps to study the magnitude of the maximum principal stress, the minimum principal stress and the shear stress, the range and distribution of the principal stress, and controls of the upwards factors on the oil/gas migration and accumulation. Through the study on the oil-controlling fault's evolution, sealing mechanism and sealing history, the coupling of two effects of the fault-passage and sealing screen for oil/gas migration can be defined. Using the basic principle of petroleum system analysis, the paper systematically studies the hydrocarbon reservoir-forming mechanism and the time-space matching of the factors that affect the formation of reservoir, such as the space matching of active oil/gas matching of the active period of fault, the migration period of oil/gas and the formation period of trap. Through comprehensive analysis, the favorable exploration targets are selected in selected in the mountain front.

陡坡带砂砾岩体油气成藏模式研究——以东营凹陷西北部陡坡带为例

Based on the study of sequence stratigraphy, modern sedimentary, basin analysis, and petroleum system in abrupt slop of depression, this paper builds sedimentary system and model, sandy bodies distribution, and pool-forming mechanism of subtle trap. There are some conclusions and views as follows. By a lot of well logging and seismic analysis, the author founded up the sequence stratigraphic of the abrupt slope, systematically illustrated the abrupt slope constructive framework, and pointed out that there was a special characteristics which was that south-north could be divided to several fault block and east-west could be carved up groove and the bridge in studying area. Based all these, the author divided the studying area to 3 fault block zone in which because of the groove became the basement rock channel down which ancient rivers breathed into the lake, the alluvial fan or fan delta were formed. In the paper, the author illustrated the depositional system and depositional model of abrupt slope zone, and distinguished 16 kinds of lithofacies and 3 kinds of depositional systems which were the alluvial fan and fan-delta system, lake system and the turbidite fan or turbidity current deposition. It is first time to expound completely the genetic pattern and distributing rule of the abrupt slope sandy-conglomeratic fan bodies. The abrupt slope sandy-conglomeratic fan bodies distribute around the heaves showing itself circularity shape. In studying area, the sandy-conglomeratic fan bodies mainly distribute up the southern slope of Binxian heave and Chenjiazhuang heave. There mainly are these sandy-conglomeratic fan body colony which distributes at a wide rage including the alluvial fan, sub-water fluvial and the turbidite fan or the other turbidity current deposition in the I fault block of the Wangzhuang area. In the II fault block there are fan-delta front and sub-water fluvial. And in the Binnan area, there mainly are those the alluvial fan (down the basement rock channel) and the sandy-conglomeratic fan body which formed as narrowband sub-water fluvial (the position of bridge of a nose) in the I fault block, the fan-delta front sandy-conglomeratic fan body in the H fault block and the fan-delta front and the turbidity current deposition sandy-conglomeratic fan body in the m fault block. Based on the reservoir outstanding characteristics of complex classic composition and the low texture maturity, the author comparted the reservoir micro-structure of the Sha-III and Sha-IV member to 4 types including the viscous crude cementation type, the pad cementation type, the calcite pore-funds type and the complex filling type, and hereby synthetically evaluated 4 types sandy- conglomeratic fan body reservoir. In the west-north abrupt slope zone of Dongying Depression, the crude oil source is belonging to the Sha-III and Sha-IV member, the deep oil of Lijin oilfield respectively come from the Sha-III and Sha-IV member, which belongs to the autogeny and original deposition type; and the more crude oil producing by Sha-IV member was migrated to the Wangzhuan area and Zhengjia area. The crude oil of Binnan oil-field and Shanjiasi oil-field belongs to mixed genetic. It is the first time to illustrate systematically the genetic of the viscous crude that largely being in the studying area, which are that the dissipation of the light component after pool-forming, the biological gradation action and the bath-oxidation action, these oil accumulation belonging to the secondary viscous crude accumulation. It is also the first time to compart the studying area to 5 pool-forming dynamical system that have the characteristic including the common pressure and abnormal pressure system, the self-fountain and other-fountain system and the closing and half-closing system etc. The 5 dynamical systems reciprocally interconnected via the disappearance or merger of the Ethology and the fluid pressure compartment zone, the fault and the unconformity surface, hereby formed duplicated pattern oil-gas collecting zone. Three oil-gas pool-forming pattern were founded, which included the self-fountain side-direction migrated collecting pattern, the self-fountain side-direction ladder-shape pool-forming pattern and the other-fountain pressure releasing zone migrated collecting pattern. A series of systemic sandy-conglomeratic fan bodies oil-gas predicting theory and method was founded, based on the groove-fan corresponding relation to confirm the favorable aim area, according as the characteristic of seismic-facies to identify qualitatively the sandy-conglomeratic fan bodies or its scale, used the temporal and frequency analysis technique to score the interior structure of the sandy- conglomeratic fan bodies, applied for coherent-data system analysis technology to describe the boundary of the sandy-conglomeratic fan bodies, and utilized the well logging restriction inversion technique to trace quantificational and forecast the sandy-conglomeratic fan bodies. Applied this technique, totally 15 beneficial sandy-conglomeratic fan bodies were predicted, in studying area the exploration was preferably guided, and the larger economic benefit and social benefit was acquired.

Safe Compositional Network Sketches: Tool & Use Cases

NetSketch is a tool that enables the specification of network-flow applications and the certification of desirable safety properties imposed thereon. NetSketch is conceived to assist system integrators in two types of activities: modeling and design. As a modeling tool, it enables the abstraction of an existing system so as to retain sufficient enough details to enable future analysis of safety properties. As a design tool, NetSketch enables the exploration of alternative safe designs as well as the identification of minimal requirements for outsourced subsystems. NetSketch embodies a lightweight formal verification philosophy, whereby the power (but not the heavy machinery) of a rigorous formalism is made accessible to users via a friendly interface. NetSketch does so by exposing tradeoffs between exactness of analysis and scalability, and by combining traditional whole-system analysis with a more flexible compositional analysis approach based on a strongly-typed, Domain-Specific Language (DSL) to specify network configurations at various levels of sketchiness along with invariants that need to be enforced thereupon. In this paper, we overview NetSketch, highlight its salient features, and illustrate how it could be used in applications, including the management/shaping of traffic flows in a vehicular network (as a proxy for CPS applications) and in a streaming media network (as a proxy for Internet applications). In a companion paper, we define the formal system underlying the operation of NetSketch, in particular the DSL behind NetSketch's user-interface when used in "sketch mode", and prove its soundness relative to appropriately-defined notions of validity.

Safe Compositional Network Sketches: The Formal Framework

NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch is conceived to assist system integrators in two types of activities: modeling and design. As a modeling tool, it enables the abstraction of an existing system while retaining sufficient information about it to carry out future analysis of safety properties. As a design tool, NetSketch enables the exploration of alternative safe designs as well as the identification of minimal requirements for outsourced subsystems. NetSketch embodies a lightweight formal verification philosophy, whereby the power (but not the heavy machinery) of a rigorous formalism is made accessible to users via a friendly interface. NetSketch does so by exposing tradeoffs between exactness of analysis and scalability, and by combining traditional whole-system analysis with a more flexible compositional analysis. The compositional analysis is based on a strongly-typed Domain-Specific Language (DSL) for describing and reasoning about constrained-flow networks at various levels of sketchiness along with invariants that need to be enforced thereupon. In this paper, we define the formal system underlying the operation of NetSketch, in particular the DSL behind NetSketch's user-interface when used in "sketch mode", and prove its soundness relative to appropriately-defined notions of validity. In a companion paper [6], we overview NetSketch, highlight its salient features, and illustrate how it could be used in two applications: the management/shaping of traffic flows in a vehicular network (as a proxy for CPS applications) and in a streaming media network (as a proxy for Internet applications).

The importance of gas infrastructure in power systems with high wind power penetrations

Gas fired generation currently plays an integral support role ensuring security of supply in power systems with high wind power penetrations due to its technical and economic attributes. However, the increase in variable wind power has affected the gas generation output profile and is pushing the boundaries of the design and operating envelope of gas infrastructure. This paper investigates the mutual dependence and interaction between electricity generation and gas systems through the first comprehensive joined-up, multi-vector energy system analysis for Ireland. Key findings reveal the high vulnerability of the Irish power system to outages on the Irish gas system. It has been shown that the economic operation of the power system can be severely impacted by gas infrastructure outages, resulting in an average system marginal price of up to €167/MWh from €67/MWh in the base case. It has also been shown that gas infrastructure outages pose problems for the location of power system reserve provision, with a 150% increase in provision across a power system transmission bottleneck. Wind forecast error was shown to be a significant cause for concern, resulting in large swings in gas demand requiring key gas infrastructure to operate at close to 100% capacity. These findings are thought to increase in prominence as the installation of wind capacity increases towards 2020, placing further stress on both power and gas systems to maintain security of supply.

A risk-averse optimization model for trading wind energy in a market environment under uncertainty

In this paper, a stochastic programming approach is proposed for trading wind energy in a market environment under uncertainty. Uncertainty in the energy market prices is the main cause of high volatility of profits achieved by power producers. The volatile and intermittent nature of wind energy represents another source of uncertainty. Hence, each uncertain parameter is modeled by scenarios, where each scenario represents a plausible realization of the uncertain parameters with an associated occurrence probability. Also, an appropriate risk measurement is considered. The proposed approach is applied on a realistic case study, based on a wind farm in Portugal. Finally, conclusions are duly drawn. (C) 2011 Elsevier Ltd. All rights reserved.