自治式潜水器下水回收系统

本文介绍了作者研制的一个工作水深为1000米的自治式潜水器下水回收系统.该系统在没有专用母船的条件下,下水回收4级海况下作业的自治式潜水器.

赣中周潭群石榴石、斜长石和黑云母微区化学成分特征及其地球动力学意义

周潭群变质岩中石榴石、斜长石和黑云母微区化学成分变化明显,石榴石变斑晶具典型的生长环带,由晶体中心向两侧边缘XMg 、XFe值以光滑曲线递增,XCu 、XMn值以光滑曲线递减,反映其增温过程;晶体最边缘的化学成分反映变质峰期的温度条件。通过石榴石变斑晶生长环带剖面分析,应用Grt-Bi 温度计和GASP 压力计,确定本区变质作用p T 轨迹为顺时针形式,发生于大陆碰撞造山带环境。

太湖五里湖表层沉积物中不同形态磷的分布特征

利用连续提取法(SEDEX) 详细调查了太湖五里湖表层沉积物中不同形态磷的组成和分布特征。结果显示:其中磷的含量较高,受人为污染输入的影响较大,并且已经有了一定的释放。总磷的变化范围为2105～4105 mg/ g ,平均约为2180 mg/ g。总磷主要由无机磷组成(70 %～90 %) ,大多数无机磷为CDB 溶液提取的铁结合态磷(75 %～85 %) 。CDB 溶液的n ( Fe) / n ( P) 都较小(210～513) ,说明CDB 溶液提取的铁主要是以无定形态存在的,并且铁与磷酸盐之间的吸附可能已经达到了平衡状态。除底部个别样品以外,多数样品n (Corg) / n (Norg) 较小(818～1016) ,所有样品的n (Corg) / n ( Porg) 都较大(135～320) ,表明沉积物在早期成岩作用过程中,湖泊内源自生有机质降解时有机磷优先释放。无机磷,特别是铁结合态磷,在氧化还原条件变化的情况下,能够通过沉积物—水体界面被再次释放到水体中去,这可能对湖泊的水体质量和营养状况有一定的影响。

Base de dados geográficos para o Município de Campinas com ênfase no uso e cobertura das terras.

Este trabalho divulga a base de dados espaciais, elaborada para o Município de Campinas, onde foram utilizadas técnicas de geoprocessamento. O município foi mapeado e classificados os usos e cobertura das terras, com ênfase para os remanescentes de vegetação natural e as áreas urbanizadas ou em urbanização.

Monitoring Activities from Multiple Video Streams: Establishing a Common Coordinate Frame

Passive monitoring of large sites typically requires coordination between multiple cameras, which in turn requires methods for automatically relating events between distributed cameras. This paper tackles the problem of self-calibration of multiple cameras which are very far apart, using feature correspondences to determine the camera geometry. The key problem is finding such correspondences. Since the camera geometry and photometric characteristics vary considerably between images, one cannot use brightness and/or proximity constraints. Instead we apply planar geometric constraints to moving objects in the scene in order to align the scene"s ground plane across multiple views. We do not assume synchronized cameras, and we show that enforcing geometric constraints enables us to align the tracking data in time. Once we have recovered the homography which aligns the planar structure in the scene, we can compute from the homography matrix the 3D position of the plane and the relative camera positions. This in turn enables us to recover a homography matrix which maps the images to an overhead view. We demonstrate this technique in two settings: a controlled lab setting where we test the effects of errors in internal camera calibration, and an uncontrolled, outdoor setting in which the full procedure is applied to external camera calibration and ground plane recovery. In spite of noise in the internal camera parameters and image data, the system successfully recovers both planar structure and relative camera positions in both settings.

TYPICAL: A Knowledge Representation System for Automated Discovery and Inference

TYPICAL is a package for describing and making automatic inferences about a broad class of SCHEME predicate functions. These functions, called types following popular usage, delineate classes of primitive SCHEME objects, composite data structures, and abstract descriptions. TYPICAL types are generated by an extensible combinator language from either existing types or primitive terminals. These generated types are located in a lattice of predicate subsumption which captures necessary entailment between types; if satisfaction of one type necessarily entail satisfaction of another, the first type is below the second in the lattice. The inferences make by TYPICAL computes the position of the new definition within the lattice and establishes it there. This information is then accessible to both later inferences and other programs (reasoning systems, code analyzers, etc) which may need the information for their own purposes. TYPICAL was developed as a representation language for the discovery program Cyrano; particular examples are given of TYPICAL's application in the Cyrano program.

Color Region Grouping and Shape Recognition with Deformable Models

A new deformable shape-based method for color region segmentation is described. The method includes two stages: over-segmentation using a traditional color region segmentation algorithm, followed by deformable model-based region merging via grouping and hypothesis selection. During the second stage, region merging and object identification are executed simultaneously. A statistical shape model is used to estimate the likelihood of region groupings and model hypotheses. The prior distribution on deformation parameters is precomputed using principal component analysis over a training set of region groupings. Once trained, the system autonomously segments deformed shapes from the background, while not merging them with similarly colored adjacent objects. Furthermore, the recovered parametric shape model can be used directly in object recognition and comparison. Experiments in segmentation and image retrieval are reported.

Scheduling Flows with Unknown Sizes: Approximate Analysis

Previous studies have shown that giving preferential treatment to short jobs helps reduce the average system response time, especially when the job size distribution possesses the heavy-tailed property. Since it has been shown that the TCP flow length distribution also has the same property, it is natural to let short TCP flows enjoy better service inside the network. Analyzing such discriminatory system requires modification to traditional job scheduling models since usually network traffic managers do not have detailed knowledge about individual flows such as their lengths. The Multi-Level (ML) queue, proposed by Kleinrock, can b e used to characterize such system. In an ML queueing system, the priority of a flow is reduced as the flow stays longer. We present an approximate analysis of the ML queueing system to obtain a closed-form solution of the average system response time function for general flow size distributions. We show that the response time of short flows can be significantly reduced without penalizing long flows.

Effects of environmental colour on mood: a wearable LifeColour capture device

Colour is everywhere in our daily lives and impacts things like our mood, yet we rarely take notice of it. One method of capturing and analysing the predominant colours that we encounter is through visual lifelogging devices such as the SenseCam. However an issue related to these devices is the privacy concerns of capturing image level detail. Therefore in this work we demonstrate a hardware prototype wearable camera that captures only one pixel - of the dominant colour prevelant in front of the user, thus circumnavigating the privacy concerns raised in relation to lifelogging. To simulate whether the capture of dominant colour would be sufficient we report on a simulation carried out on 1.2 million SenseCam images captured by a group of 20 individuals. We compare the dominant colours that different groups of people are exposed to and show that useful inferences can be made from this data. We believe our prototype may be valuable in future experiments to capture colour correlated associated with an individual's mood.Colour is everywhere in our daily lives and impacts things like our mood, yet we rarely take notice of it. One method of capturing and analysing the predominant colours that we encounter is through visual lifelogging devices such as the SenseCam. However an issue related to these devices is the privacy concerns of capturing image level detail. Therefore in this work we demonstrate a hardware prototype wearable camera that captures only one pixel - of the dominant colour prevelant in front of the user, thus circumnavigating the privacy concerns raised in relation to lifelogging. To simulate whether the capture of dominant colour would be sufficient we report on a simulation carried out on 1.2 million SenseCam images captured by a group of 20 individuals. We compare the dominant colours that different groups of people are exposed to and show that useful inferences can be made from this data. We believe our prototype may be valuable in future experiments to capture colour correlated associated with an individual's mood.

Involvement of incipient hydrous oxide species in electrocatalysis at some metal electrode surfaces

In this thesis a novel theory of electrocatalysis at metal (especially noble metal)/solution interfaces was developed based on the assumption of metal adatom/incipient hydrous oxide cyclic redox transitions. Adatoms are considered as metastable, low coverage species that oxidise in-situ at potentials of often significantly cathodic to the regular metal/metal oxide transition. Because the adatom coverage is so low the electrochemical or spectroscopic response for oxidation is frequently overlooked; however, the product of such oxidation, referred to here as incipient hydrous oxide seems to be the important mediator in a wide variety of electrocatalytically demanding oxidation processes. Conversely, electrocatalytically demanding reductions apparently occur only at adatom sites at the metal/solution interface - such reactions generally occur only at potentials below, i.e. more cathodic than, the adatom/hydrous oxide transition. It was established that while silver in base oxidises in a regular manner (forming initially OHads species) at potentials above 1.0 V (RHE), there is a minor redox transition at much lower potentials, ca. o.35 v (RHE). The latter process is assumed to an adatom/hydrous oxide transition and the low coverage Ag(l) hydrous oxide (or hydroxide) species was shown to trigger or mediate the oxidation of aldehydes, e. g. HCHO. The results of a study of this system were shown to be in good agreement with a kinetic model based on the above assumptions; the similarity between this type of behaviour and enzyme-catalysed processes - both systems involve interfacial active sites - was pointed out. Similar behaviour was established for gold where both Au(l) and Au(lll) hydrous oxide mediators were shown to be the effective oxidants for different organic species. One of the most active electrocatalytic materials known at the present time is platinum. While the classical view of this high activity is based on the concept of activated chemisorption (and the important role of the latter is not discounted here) a vital role is attributed to the adatom/hydrous oxide transition. It was suggested that the well known intermediate (or anomalous) peak in the hydrogen region of the cyclic voltanmogram for platinum region is in fact due to an adatom/hydrous oxide transition. Using potential stepping procedures to minimise the effect of deactivating (COads) species, it was shown that the onset (anodic sweep) and termination (cathodic sweep) potential for the oxidation of a wide variety of organics coincided with the potential for the intermediate peak. The converse was also shown to apply; sluggish reduction reactions, that involve interaction with metal adatoms, occur at significant rates only in the region below the hydrous oxide/adatom transition.

Empirical measurement of illicit tobacco trade in the Philippines.

Cigarette smuggling reduces the price of cigarettes, thwarts youth access restrictions, reduces government revenue, and undercuts the ability of taxes to reduce consumption. The tobacco industry often opposes increases to tobacco taxes on the claim that greater taxes induce more smuggling. To date, little is known about the magnitude of smuggling in the Philippines. his information is necessary to effectively address illicit trade and to measure the impacts of tax changes and the introduction of secure tax markings on illicit trade. This study employs two gap discrepancy methods to estimate the magnitude of illicit trade in cigarettes for the Philippines between 1994 and 2009. First, domestic consumption is compared with tax-paid sales to measure the consumption of illicit cigarettes. Second, imports recorded by the Philippines are compared with exports to the Philippines by trade partners to measure smuggling. Domestic consumption fell short of tax-paid sales for all survey years. The magnitude of these differences and a comparison with a prevalence survey for 2009 suggest a high level of survey under-reporting of smoking. In the late 1990s and the mid 2000s, the Philippines experienced two sharp declines in trade discrepancies, from a high of $750 million in 1995 to a low of $133.7 million in 2008. Discrepancies composed more than one-third of the domestic market in 1995, but only 10 percent in 2009. Hong Kong, Singapore, and China together account for more than 80 percent of the cumulative discrepancies over the period and 74 percent of the discrepancy in 2009. The presence of large discrepancies supports the need to implement an effective tax marking and tobacco track and trace system to reduce illicit trade and support tax collection. The absence of a relation between tax changes and smuggling suggests that potential increases in the excise tax should not be discouraged by illicit trade. Finally, the identification of specific trade partners as primary sources for illicit trade may facilitate targeted efforts in cooperation with these governments to reduce illicit trade.

Análisis socioepistemológico de los obstáculos asociados a la división por cero

Frecuentemente, al iniciar el estudio de conceptos básicos del análisis matemático, nos encontramos con dificultades y errores relacionados con la división por cero. La necesidad de dar respuesta a esta problemática, da origen a este trabajo que retoma las respuestas dadas por un grupo de alumnos de la escuela media que constituyen las evidencias sobre las cuales se inicia el proceso de investigación que se encuentra en su primera etapa de realización y cuyos resultados parciales se exponen aquí. Se enmarca la tarea en la perspectiva socioepistemológica indagando en los orígenes y evolución de este conocimiento, analizando los alcances y efectos del discurso matemático escolar vigente en la educación media y contemplando las concepciones de los alumnos acerca del cero y la división construidas en ambientes escolarizados y no escolarizados.

Study of the rheological behaviour of Sn-Ag-Cu solder pastes and their correlation with printing performance

Solder paste plays an important role in the electronic assembly process by providing electrical, mechanical and thermal bonding between the components and the substrate. The rheological characterisation of pastes is an important step in the design and development of new paste formulations. With the ever increasing trend of miniaturisation of electronic products, the study of the rheological properties of solder pastes is becoming an integral part in the R&D of new paste formulations and in the quality monitoring and control during paste manufacture and electronic assembly process. This research work outlines some of the novel techniques which can be successfully used to investigate the rheology of leadfree solder pastes. The report also presents the results of the correlation of rheological properties with solder paste printing performance. Four different solder paste samples (namely paste P1, P2, P3 and P4) with different flux vehicle systems and particle size distributions were investigated in the study. As expected, all the paste samples showed shear thinning behaviour. Although the samples displayed similar flow behaviour at high shear rates, differences were observed at low shear rates. In the stencil printing trials, round deposits showed better results than rectangular deposits in terms of paste heights and aperture filling. Our results demonstrate a good correlation between higher paste viscosity and good printing performance. The results of the oscillatory and thixotropy tests were also successfully correlated to the printing behaviour of solder paste.

Operator non-availability periods

In the scheduling literature, the notion of machine non availability periods is well known, for instance for maintenance. In our case of planning chemical experiments, we have special periods (the week-ends, holidays, vacations) where the chemists are not available. However, human intervention by the chemists is required to handle the starting and termination of the experiments. This gives rise to a new type of scheduling problems, namely problems of finding schedules that respect the operator non availability periods. These problems are analyzed on a single machine with the makespan as criterion. Properties are described and performance ratios are given for list scheduling and other polynomial-time algorithms.