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.     

Non-Gaussian Air Gap Response Models for Floating Structures

The air gap response of a specific semisubmersible platform subjected to irregular waves is considered. Statistical analyses are performed on model test data for the absolute near-structure wave elevation, and these measured data are compared with predictions resulting from probabilistic models. Models applied are first-order and second-order diffraction models typical of standard practice, and two new hybrid models that include second-order effects in the incident wave, but not in the diffracted wave. The first of these hybrid models is moment based, while the second relies on narrow-band random process theory. Either of these new models can be implemented in place of the standard linear-only model with little additional computational effort, as only linear diffraction analysis is required. Both new models are found to better predict the air gap demand than standard linear diffraction analysis.     

某炼油厂一级浮床除盐系统阳床工艺特性及调整试验

论述了某厂一级除盐系统阳床工艺特性及调整试验过程，对存在问题进行分析并改进，得到了实际运行最佳方式和参数，取得良好效果。     

筒形件强力旋压新技术--浮动芯模法

提出了一种新的旋压方法－浮动芯模法。该方法采用的芯模长度尺寸较小,两端不固定加工,制造和安装非常容易。由于该方法是采用旋轮不动,工件做轴向运动,故解决了正旋所带来的工件扭曲的问题。此法用于加工长管类件,更显示出它的优越性,对改善管类件的加工具有重要的意义。     

两室结构气弹簧

气弹簧缸体内加装了一个浮动活塞，将一室结构变成了两室结构，将密封气变成了密封油，大大减少了泄露，提高了气弹簧使用寿命。     

基于边缘信息车流量检测方法的研究

针对边缘检测中阈值很难确定导致不能准确提取背景边缘信息的问题,提出一种改进的基于边缘信息车流量检测方法。该方法预先对路况边缘图像作削顶处理获取一个恰当的阈值,从而可以准确地提取背景边缘信息;且在车辆计数过程中,结合固定窗法和浮动窗法二者的优点,设计一种新的浮动窗法进行车辆计数。实验结果表明,该方法在实时性、检测速度、正确率等方面得到很大的改进,能够在不同环境下进行正确有效地车流量检测。     

基于PROFIBUS总线技术的浮法线控制系统的一种设计

简要介绍了PROFIBUS现场总线技术及浮法玻璃生产工艺后,给出了一种基于PROFIBUS现场总线技术的浮法线控制系统的设计方案,包括系统的功能、网络结构、软件和硬件.     

精铣缸体顶面、精镗缸孔及止口数控自动线的研制

文章阐述了用数控自动线精铣缸体顶面、精镗缸孔及止口的设计依据和工艺方案，并对自动线的布局及采用的浮动式精密镗削头、滑台式精密铣削头、数控三导轨机械滑台、自动补偿镗杆、数控系统等关键部件的结构、原理及功能做了详细的介绍。该自动线的研制，解决了单机加工效率低、国内用户只能依赖进口设备的关键技术问题。     

Geometric nonlinear effects on the planar dynamics of a pivoted flexible beam encountering a point-surface impact

Flexible-body modeling with geometric nonlinearities remains a hot topic of research by applications in multibody system dynamics undergoing large overall motions. However, the geometric nonlinear effects on the impact dynamics of flexible multibody systems have attracted significantly less attention. In this paper, a point-surface impact problem between a rigid ball and a pivoted flexible beam is investigated. The Hertzian contact law is used to describe the impact process, and the dynamic equations are formulated in the floating frame of reference using the assumed mode method. The two important geometric nonlinear effects of the flexible beam are taken into account, i.e., the longitudinal foreshortening effect due to the transverse deformation, and the stress stiffness effect due to the axial force. The simulation results show that good consistency can be obtained with the nonlinear finite element program ABAQUS/Explicit if proper geometric nonlinearities are included in the floating frame formulation. Specifically, only the foreshortening effect should be considered in a pure transverse impact for efficiency, while the stress stiffness effect should be further considered in an oblique case with much more computational effort. It also implies that the geometric nonlinear effects should be considered properly in the impact dynamic analysis of more general flexible multibody systems.     

Is floating photovoltaic better than conventional photovoltaic? Assessing environmental impacts

Photovoltaic (PV) solar energy installations are growing all over the world as a promising renewable alternative to generate electricity. However, many studies have highlighted some drawbacks associated with the installation and operation of conventional solar energy power plants. Thus, floating photovoltaic (FPV) systems have been emerging as a new concept in solar energy to lessen negative environmental impacts caused by allocation of conventional PV facilities. This paper is an overview of the potential negative and positive environmental impacts caused by photovoltaic systems with particular interest on large-scale conventional and floating photovoltaic. This study addresses and compares the impacts at all phases of project implementation, which covers planning, construction, and operation and decommissioning, focusing on ambient located in the tropics. The overall impacts associated with project allocation such as deforestation (for the project implementation and site accessing), bird mortality, erosion, runoff, and change in microclimate are expected to have higher magnitudes for the implementation of conventional PV facilities. The results highlight advantages of FPV over conventional PV during the operational and decommissioning phases as well. Though, further studies are required to assess both qualitative and quantitative aspects of installations in similar areas.