叠前地震数据的规则化

本文通过对动校正前积分法DMO原理的探讨，在借鉴Canning(1996)提出的利用DMO实现三维数据规则化的方法和Biondi(1998)提出的三维叠前地震数据方位角校正方法的基础上，从方位角校正的角度入手，利用DMO和DMO^-1相结合的处理流程对地震数据进行规则化，以得到新的规则的观测系统下具有所需特定方位角的观测数据。此方法可用于解决叠前地震数据道插值、陆上地震勘探中不规则观测数据的规则化和海上地震勘探中的羽状现象校正等问题，可将已有地震观测数据转变为特定观测系统的叠前地震数据，以便于某些处理方法的应用。此方法原理简单并具有广泛的适用性。     

Si衬底上横向外延GaN材料的微结构和光学性质的研究

用氢化物气相外延 (HVPE)方法在Si(III)衬底上成功横向外延生长出晶体质量较好的GaN薄膜材料。透射电子显微镜 (TEM )的研究结果表明 ,横向外延区域GaN的位错密度明显减小。由于SiO2 掩膜腐蚀角的不同 (分别为 90°和 6 6°) ,导致了横向外延GaN材料一些独特的微观形貌。微区拉曼光谱由数百条拉曼散射曲线组成 ,每一条曲线有三个振动模 ,分别对应Si振动模式 (5 2 0cm- 1) ,E2 模式 (5 6 6cm- 1)和E1(LO)模式(732cm- 1)。在垂直条纹方向 ,峰位和峰宽没有明显的变化 ,而峰强约 5 μm会发生周期性变化     

成品油销售企业导入顾客满意战略之浅见

从中国石化股份有限公司浙江温岭石油分公司所面临的市场态势和企业的经营状况出发，考虑企业的长足发展，阐述了实施顾客满意（CS）战略的紧迫性，指出必须实施CS战略，必须要在组织落实、宣传发动、具体措施及奖惩分明的激励机制等各方面采取得力措施。     

机电排灌工程管理之我见

机电排灌工程是丘陵、滨湖地区的主要灌溉设施，必须建立适应市场经济的管理新机制，确保工程良性运行和巩固发展，满足不断发展的工农业生产需要。     

优化原料结构构 提高废纸利用水平——谈浙江省废纸利用的情况和意见

介绍了浙江省利用废纸造纸的情况,提出改进废纸利用的意见。     

数字放大器—3G无线基站的助推器

为了构筑第三代无线网络,人们需要对现有基础设施进行彻底改造,包括网络的发射基站。配置在无线基站中的新型数字控制功率放大器能够改善频谱利用率和功率效率,从而提高系统容量。PMC-Sierra公司的数字控制功率放大器采用了数字校正信号处理器(DCSP)以及自适应控制处理器和补偿估值器(ACPCE),该放大器可改善无线基础设施的可靠性,同时降低系统成本、规模及复杂性。     

Ultrasonic measurement of the inter-electrode gap in electrochemical machining

During the process of electrochemical machining the dependency of the inter-electrode gap with time and process parameters can be used to determine process characteristics and to define the shape of the workpiece surface relative to the tool surface. Defining process variables to map out the required gap-time function requires the use of time-consuming iterative trials. In-line monitoring of the gap would enable process control and tool to workpiece transfer characteristics to be achieved (for ideal conditions) without the requirement to generate such parameter maps. This work explores the use of ultrasound applied as a passive, non-intrusive, in-line gap measurement system for ECM. The accuracy of this technique was confirmed through correspondence between the generated gap-time and current time data and theoretical models applicable to ideal conditions. Gap measurements are also used to demonstrate and quantify the degree of departure from ideal behaviour for an In718/chloride system as the electrolyte flow rate is reduced from 16 to 4 l min⁻¹. The monitoring of the gap size has also been shown to be effective when determining shape convergence under ideal conditions, for the example case of a 2D sinusoidal profile.     

催化裂化烟气转硫脱氮和助燃三功能催化剂FP-DSN的工业应用

烟气转硫、脱氮和助燃三功能新型催化剂FP DSN在中国石油天然气股份有限公司锦西石化分公司 1.4Mt/a重油催化裂化装置的工业应用表明 ,此种以La ,Ce ,Sr和Co等元素的氧化物或复合物为活性组分的催化剂 ,在其用量为催化裂化催化剂总藏量的 1%～ 2 %的情况下 ,有较强的脱除烟气中SOx 和NOx 的能力 ,大大减轻了烟气对反应器壁的腐蚀 ,减少了污染气体的排放 ,同时有CO助燃效果 ,装置可不使用其他专门的助燃剂。应用试验时 ,再生器烟气中SOx 的平均脱除率达 72 .85 %,NOx 的平均脱除率达 85 .90 %。该催化剂的使用对催化裂化产品的分布和质量无明显影响。该剂的应用为装置带来了可观的经济效益。     

Model checker aided design of a controller for a wafer scanner

For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems. Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained using only a single model. Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/.     

基于Agent的分布式查询优化研究

Internet上异构的软硬件环境以及多种并行机制对分布式查询优化技术提出了新的挑战，文章将分布式人工智能与数据库管理系统两个研究领域相结合，给出了基于Agent的分布式查询优化系统模型，在该系统中，Agent采用了典型的慎思型体系结构，即BDI模.Agent具有信念库，目标库并在此基础上进行学习和推理，多个Agent之间通过协调，协作以及协商以支持分布式数据库系统的动态查询优化和规划的执行，提高系统的查询效率。