关于最远点判定及直径的唯一性

给出了点到有界集最远点的一些必要或充分条件，然后对直径的唯一性也给出了一些判定条件。     

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.     

安徽省长江干堤的几种加固措施

安徽省境内765km的长江干堤，由于均是在原来旧堤的基础上经逐年加高培厚的，修筑时均未按设计要求施工，致使堤身密实度不够，新老堤土之间结合不牢，在汛期高水位时易产生渗漏。20世纪70年代以来，安徽省高度重视对长江干堤渗漏隐患的处理，经过长期的实践，逐渐摸索出一套行之有效的除险加固方法，如锥探灌浆、灭杀白蚁、冲抓套吉、垂直铺塑防渗、粘土铺盖及压渗盖重等处理措施。使长江干堤的渗漏隐患得以基本消除，其具体作法可供类似工程借鉴。     

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

通过对不可展曲面近似展开精度的研究，提出了根据曲面曲率的大小对曲面自动进行网格划分，通过对综合展开误差数据场进行数据拟合来选取最优展开基点，基于空间曲面与其展开图间近似的等距变换关系进行展开样形的误差矫正等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.     

抽油杆井口无损探伤装置的研制及应用

对于有杆泵采油井，抽油杆缺损是影响抽油井免修期最主要因素之一。抽油杆缺陷井口探伤检测装置是根据电磁感应涡流原理设计研制的，解决了油井作业过程中对抽油杆缺陷的探伤检测问题，从而淘汰缺陷超值杆。315口井抽油杆的现场应用情况表明，该装置保证了下井抽油杆的质量，解决了人工挑选过程中存在的弊端，延长了抽油杆的免修期。