Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

提高曲面近似展开精度的方法与实现

通过对不可展曲面近似展开精度的研究，提出了根据曲面曲率的大小对曲面自动进行网格划分，通过对综合展开误差数据场进行数据拟合来选取最优展开基点，基于空间曲面与其展开图间近似的等距变换关系进行展开样形的误差矫正等3种方法，这几种方法的实现在不同程度上有效地减小了曲面的近似展开误差，提高了曲面的近似展开精度。     

黄河下游稳定主槽之节点整治

稳定主槽是当前黄河下游河道治理的关键。窄深河槽具有很强的泄洪能力与输沙能力,是主槽整治追求的目标。黄河下游均是顺直微弯河道,河道水流最基本的主导机理是沿着阻力最小的方向流动,走直路、走近路,主槽整治设计流路应以顺直为上策。当前有必要对微弯整治方案进行再认识,实现对其否定之否定的提高。控制性弯道整治、对口丁坝整治、节点整治都属于双岸整治的范畴,对双岸整治的方向应予肯定。今后的整治应从微弯整治向节点整治发展,逐步过渡到以节点整治为主,最终达到稳定河势流路、高效排洪输沙之目的。     

Polymer-Modified Bitumen Using Ethylene Terpolymers

Polymer modified bitumen (PMB) is used in various construction applications, especially in motorways. The aim of this study is to improve features of 60/70 penetration grade, modified bitumen used on highways. Increasing the sensitivity to temperature and oxidation resistance are very important points for the modified bitumen. This condition was provided by reacting the carboxylic acid groups in asphaltene with the reactive ethylene terpolymer to form ester. Reactive ethylene terpolymer (RETP) and ethylene terpolymer (ETP) manufactured by DuPont USA were used as additives in this study. Infrared Spectrophotometer (IR) graphics and optical pictures of the modified bitumen have been examined. It has been observed that the softening point has increased on the other hand, the penetration and ductility values have decreased according to the test results.     

Evaluation of a proper controller performance for maximum-power point tracking of a stand-alone PV system

In this paper the implementation of a suggested stand-alone PV system, for maximum-power point tracking (MPPT), is carried out. Also, this paper presents a comparative study, through experimental work, between the conventional PI controller and the fuzzy logic controller (FLC) under different atmospheric conditions. The implemented system with both the PI controller and the FLC gives a good maximum-power operation of the PV array, but the tracking capability for different optimum operating points is better and faster for the case of using the FLC compared to the case of using the PI controller.     

微型构造表征技术在八面河油田的应用

通过对八面河油田井网密集区及井网稀疏的欠开发区的微构造研究,探讨了微构造表征技术。首先在储层多层次逐级对比的基础上,建立主力油层对比关系;密集井网条件下,则利用钻井资料编制油层顶底微型构造图;对于欠开发地区,通过人机联作自动追踪成图技术,输出2m等值线间隔构造图,建立微构造模型。以微构造模型为基础进行潜力评价,部署关键井寻找优质储量或进行开发动态调整。应用该项技术在八面河油田滚动发现了角15块等断鼻翼部局部高点,增加石油地质储量488×10~4t。     

Influence of numerical and viscous dissipation on shock wave reflections in supersonic steady flows

Numerical simulations are investigated to describe precisely the shock wave reflections in supersonic steady air flow field. The main objectives are to study the influence of the wedge trailing edge corner angle, of the numerical methods and of the viscous effects on the shock wave reflections and on the hysteresis behavior. The computations are done with different MUSCL-TVD finite volume schemes and the corresponding results are compared. The flow viscosity is also taken into account and comparisons are made between inviscid and viscous flow simulations. The results display the non-negligible influence of the numerical scheme accuracy on the results, mainly on the position and height of the Mach stem, and the relatively weak influence of the flow viscosity on these parameters. Comparisons between numerical results and experimental data have also been done and a good agreement is only observed for small wedge angles mainly due to the three-dimensional effects in the experimental setup.     

SBR工艺发展应用综述

关于SBR工艺的书籍和文章很多。本文在这些资料的基础上整理总结 ,对经典SBR工艺的应用进行了综述 ,归纳了经典SBR工艺的特点 ,介绍了各种新型SBR工艺。     

复合内衬在燃油加热炉中的应用

对导热油加热炉炉壁温度升高的原因进行了分析,介绍了新型复合内衬的特点,并对其技术特点、施工工艺及应用效果进行了简单阐述。     

基于轮廓线匹配的二维重迭物体的识别

本文提出一种基于轮廓线匹配的二维重迭物体的识别算法,并采用一种点模式匹配的快 速算法进行特征点序列的匹配,通过引进形状移位数的概念和利用问题中的各种约束条件,提 高了物体识别速度.