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

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

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.     

Trypsin inhibitor activity of soybean as affected by genotype and fertilisation

The presence of protease inhibitors in soybean prohibits the utilisation of the raw beans for food and feed. However, little information is available about environmental influences and the effects of nitrogen and sulphur supply on the antinutritional constituents of soybean. As these factors may influence protease inhibitors, soybean genotypes segregated according to the presence or absence of the Kunitz trypsin inhibitor have been evaluated for trypsin inhibitor activity (TIA) in field trials. TIA was affected significantly by environment (geographical location), fertilisation treatment and genotype. Environmental means of TIA were between 69.5 and 104.8 mg g^?1. Nitrogen application, which caused an increase in seed protein content, resulted in a reduction in TIA by about 15% as compared with the control. Remarkably, simultaneous application of nitrogen and sulphur in the form of ammonium sulphate had a similar reductive effect on TIA to that of nitrogen application alone, although soybean protease inhibitors are rich in sulphur amino acids. Significant genetic variation in TIA was found both within the genotype class with the Kunitz inhibitor present as well as within the class lacking this inhibitor. The results suggest that TIA of soybean may be modified considerably by genetic improvement and appropriate agronomic management. Copyright © 2003 Society of Chemical Industry     

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

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

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

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

Rheology in Processing of in Situ Composites of Polypropylene and Low Melting Poing Metals

The low melting point metallic tin powder or alloy of tin and lead was blended with polypropy-lene. A kind of in situ composite has been prepared. The variations of torque were studied when the composites were mixed in Haake torque rheogeniometer. By way of capillary extrusion, effects upon rheology of the in situ com-posites of the low melting point metals (LMPM) and coupling agent for their different variety and content, were investigated. From flow curves, the results indicate that in situ composites mixed with the LMPM are a kind of pseudoplastic fluid. If the LMPM were melted, the higher the content of the LMPM , the lower apparent viscosity of composites. Meanwhile, when the coupling agent is added into composites, the viscosity of composite will go up first and drop then. This shows that the LMPM have a promoter flow action on the polypropylene.