齿轮减速器造型设计与模态分析

讨论复杂结构的建模方法,建立齿轮减速器三维实体模型并进一步建立了齿轮减速器的三维有限元模型,分析系统的固有特性,从而获得了设计所需的必要数据。     

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.     

Study on axiomatic rules for building up relationships between requirement and source programs

The purpose of our study is to build up relationships between requirement and source programs with our originally thought-out rules. When other rules to be derived from these original rules are applied to software development, even a single instruction in a programming language could be determined, and the program would satisfy the requirement. More specifically speaking, these rules will turn into a formula or a prototype of software programs. Hence, when the variables in the requirement are placed in the formula, we can get a required program in an automatic way.     

水浴法加温液氧泵

1　故障现象一次 ,我们用KL -1 5型制氧制氮车开机制氮 ,给一只容积为 40升、最高工作压力为1 4 7MPa的气瓶灌充氮气 ,当气瓶充气压力升高到一定值时不再上升。反复开泵 ,压力基本不变。液氧泵停止时 ,出口压力无明显下降。经分析判断导致气瓶压力升高到一定值时不再上升的原因是由于液氧泵被冻结所致。2　排除方法首先关闭液氧泵。拧开制冷机氢气放气阀 ,使压力下降到 1 0MPa。开大放气阀 ,使二级压力保持在 0 3 5MPa左右。调整正流空气调节阀 ,调节好中部温度。关闭液氮进液氧泵阀和气氮出液氧泵阀。戴棉布手套 ,拆开液氮进口接头、…     

Tracing success: graphical methods for analysing successful collaborative problem solving

The aim of this paper is to evaluate the use of trace diagrams for analysing collaborative problem solving. The paper describes a study where trace diagrams were used to analyse joint navigation in a virtual environment. Ten pairs of undergraduates worked together on a distributed virtual task to collect five flowers using two bees with each participant controlling one of the bees. This task is used extensively in research on multi-robot systems. The joint navigation of the pairs was analysed using trace diagrams. They showed that more successful pairs divided the task up, showed very little overlap and very little backtracking. Whereas, the less successful pairs, showed no task division, there was significant overlap and extensive backtracking. From this analysis we developed numerical measures of task division, overlap and backtracking. Task division was significantly and negatively related with task performance. Backtracking and overlap were significantly and positively correlated.     

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.     

A novel fuzzy clustering algorithm for the analysis of axillary lymph node tissue sections

Recently Fourier Transform Infrared (FTIR) spectroscopic imaging has been used as a tool to detect the changes in cellular composition that may reflect the onset of a disease. This approach has been investigated as a mean of monitoring the change of the biochemical composition of cells and providing a diagnostic tool for various human cancers and other diseases. The discrimination between different types of tissue based upon spectroscopic data is often achieved using various multivariate clustering techniques. However, the number of clusters is a common unknown feature for the clustering methods, such as hierarchical cluster analysis, k-means and fuzzy c-means. In this study, we apply a FCM based clustering algorithm to obtain the best number of clusters as given by the minimum validity index value. This often results in an excessive number of clusters being created due to the complexity of this biochemical system. A novel method to automatically merge clusters was developed to try to address this problem. Three lymph node tissue sections were examined to evaluate our new method. These results showed that this approach can merge the clusters which have similar biochemistry. Consequently, the overall algorithm automatically identifies clusters that accurately match the main tissue types that are independently determined by the clinician.     

基于物元分析和层次分析的选厂综合性能评估

利用物元分析法和层次分析法的特点，将物元分析和层次分析法有机的结合起来建立选厂性能综合评估模型，建立的评估模型表明该评估方法能够克服传统方法中参评人员的主观不确定性和认识上的模糊性，可用于选厂有关指标的综合评估。     

Hybrid Approach for Addressing Uncertainty in Risk Assessments

Parameter uncertainty is a major aspect of the model-based estimation of the risk of human exposure to pollutants. The Monte Carlo method, which applies probability theory to address model parameter uncertainty, relies on a statistical representation of available information. In recent years, other uncertainty theories have been proposed as alternative approaches to address model parameter uncertainty in situations where available information is insufficient to identify statistically representative probability distributions, due in particular to data scarcity. The simplest such theory is possibility theory, which uses so-called fuzzy numbers to represent model parameter uncertainty. In practice, it may occur that certain model parameters can be reasonably represented by probability distributions, because there are sufficient data available to substantiate such distributions by statistical analysis, while others are better represented by fuzzy numbers (due to data scarcity). The question then arises as to how these two modes of representation of model parameter uncertainty can be combined for the purpose of estimating the risk of exposure. This paper proposes an approach (termed a hybrid approach) which combines Monte Carlo random sampling of probability distribution functions with fuzzy calculus. The approach is applied to a real case of estimation of human exposure, via vegetable consumption, to cadmium present in the surficial soils of an industrial site located in the north of France. The application illustrates the potential of the proposed approach, which allows the uncertainty affecting model parameters to be represented in a way that is consistent with the information at hand. Also, because the hybrid approach takes advantage of the “rich” information provided by probability distributions, while retaining the conservative character of fuzzy calculus, it is believed to hold value in terms of a “reasonable” application of the precautionary principle.     

SECANT-FUZZY LINEAR REGRESSION METHOD FOR HARMONIC COMPONENTS ESTIMATION IN A POWER SYSTEM

In order to avoid unnecessary damage of electrical equipments and installations,high quality power should be delivered to the end user and strict control on frequency should be made, Therefore, it is important to estimate the power system's harmonic components with higher accuracy. This paper presents a new approach for estimating harmonic component in a power system using secant - fuzzy linear regression method. In this approach the non - sinusoidal voltage or current waveform is written as I linear function. The coefficient of this function is assumed to be fuzzy number with a membership function that has center and spread value. The time dependent quantity is written as Taylor series with two different time dependent quantities. The objective is to use the sample obtained from the transmission line to find the power system harmonic components and frequencies. We used an experimental voltage signal from a sub power station as a numerical test.