Object-oriented DBMS requirements

The requirements on an object-oriented DBMS for management of information in a large, complex enterprise are presented. These requirements aid in the achievement of an environment characterized by data sharing, open architectures, application and data portability, and assurance of data integrity. They were defined from the point of view of a user of the DBMS; therefore they describe the expected functionality of the DBMS and do not specify the method of implementation to achieve this functionality. They encompass requirements on the data model, query and data manipulation languages, the system architecure, interfaces to the system, change management, and transaction management.     

Pheromone Disruption of Argentine Ant Trail Integrity

Disruption of Argentine ant trail following and reduced ability to forage (measured by bait location success) was achieved after presentation of an oversupply of trail pheromone, (Z)-9-hexadecenal. Experiments tested single pheromone point sources and dispersion of a formulation in small field plots. Ant walking behavior was recorded and digitized by using video tracking, before and after presentation of trail pheromone. Ants showed changes in three parameters within seconds of treatment: (1) Ants on trails normally showed a unimodal frequency distribution of walking track angles, but this pattern disappeared after presentation of the trail pheromone; (2) ants showed initial high trail integrity on a range of untreated substrates from painted walls to wooden or concrete floors, but this was significantly reduced following presentation of a point source of pheromone; (3) the number of ants in the pheromone-treated area increased over time, as recruitment apparently exceeded departures. To test trail disruption in small outdoor plots, the trail pheromone was formulated with carnuba wax-coated quartz laboratory sand (1 g quartz sand/0.2 g wax/1 mg pheromone). The pheromone formulation, with a half-life of 30 h, was applied by rotary spreader at four rates (0, 2.5, 7.5, and 25 mg pheromone/m²) to 1- and 4-m² plots in Volcanoes National Park, Hawaii. Ant counts at bait cards in treated plots were significantly reduced compared to controls on the day of treatment, and there was a significant reduction in ant foraging for 2 days. These results show that trail pheromone disruption of Argentine ants is possible, but a much more durable formulation is needed before nest-level impacts can be expected. Electronic supplementary material  The online version of this article (doi:) contains supplementary material, which is available to authorized users.     

Gbps串行链路信号完整性分析与设计

本文对影响Gbps串行链路信号完整性(SI)的主要原因进行了详细分析,提出了一系列改善信号完整性的解决方法和思想。实际设计了实验背板,测试结果验证了方法的有效性。     

GIS技术在OA系统中的应用

传统的OA系统不能处理空间信息,GIS技术的引入可以弥补这一缺陷.在已有技术集成理论的基础上,结合实际应用,提出了在传统OA系统中融入GIS技术的基本方法和实现步骤,并通过实例阐述了其具体应用方法.该方法提高了传统OA系统的处理能力,增强了它在辅助分析与决策方面的功能,扩展了它的应用范围.     

A formal model of composing components: the TLA+ approach

In this paper, a method for writing composable TLA⁺ specifications that conform to the formal model called Masaccio is introduced. Specifications are organized in TLA⁺ modules that correspond to Masaccio components by means of a trace-based semantics. Hierarchical TLA⁺ specifications are built from atomic component specifications by parallel and serial composition that can be arbitrary nested. While the rule of parallel composition is a variation of the classical joint-action composition, the authors do not know about a reuse method for the TLA⁺ that systematically employs the presented kind of a serial composition. By combining these two composition rules and assuming only the noninterleaving synchronous mode of an execution, the concurrent, sequential, and timed compositionality is achieved.     

Surface integrity of Inconel 718 by hybrid selective laser melting and milling

ABSTRACT

While selective laser melting (SLM) offers design freedom of metal parts with much less material consumption, there exist several limitations, including high surface roughness, low-dimensional accuracy, and high tensile residual stresses. To make functional parts with high form accuracy and superior surface integrity, an as-SLM part needs finishing to remove the deposited surface material. The integration of machining and SLM creates a hybrid manufacturing route to overcome the inherited limitations of SLM. However, little study has been done to characterise surface integrity of an as-SLM part followed by machining (e.g. hybrid SLM-milling). In this paper, surface, integrity including surface roughness, microstructure, and microhardness, have been characterised for IN718 samples processed by the hybrid process. It has been found that microhardness varies with the scan direction and the use of coolant in the subsequent milling, and surface integrity can be significantly improved by the hybrid SLM-milling route.     

Efficient model checking for LTL with partial order snapshots

Certain behavioral properties of distributed systems are difficult to express in interleaving semantics, whereas they are naturally expressed in terms of partial orders of events or, equivalently, Mazurkiewicz traces. Two examples of such properties are serializability of a database and global snapshots of concurrent systems. Recently, a modest extension for LTL by an operator that expresses snapshots, has been proposed. It combines the ease of linear (interleaving) specification with this useful partial order concept. The new construct allows one to assert that a global snapshot appeared in the past, perhaps not in the observed execution sequence, but possibly in an equivalent one.     

Creating change and driving innovation in highly automated and lean organizations: The Temporal Think Tank™ (T3™)

This paper introduces the concept of the temporal think tank™ (T3™), a temporary in-house research center, based on case studies with a highly automated global manufacturer and in various small-sized manufacture (SME's). The T3™ brings individuals from across the organization together in a team setting in which they are charged to look at the future, develop their decision-making skills, and use entrepreneurial thinking to incubate new processes and/or products. After an appropriate time in the temporal think tank™, the individuals are asked to return to their regular positions to implement the best practices and best ideas and doing so spur the organization forward. At intervals, the temporal think tanks™ can be reconvened, or reconstituted with new participants. This approach prepares technology champions for the SME, who can return to the organization with a fresh outlook and renewed energy to keep the enterprise at the peak of efficiency and effectiveness.     

Development of a fish‐based index of biotic integrity (FIBI) for monitoring riverine ecosystems in the Lake Victoria drainage Basin,Kenya

The long term monitoring of aquatic ecosystems based on chemical analysis is expensive resulting in a lack of time series data for management purposes thus necessitating the need for new cost effective methodologies. This study developed a fish‐based index of biotic integrity (FIBI) for monitoring environmental conditions in riverine ecosystems within the Lake Victoria Basin, Kenya. The fish fauna in the basin is poorly studied, less diverse and ecologically specialized than the temperate fauna that provided the origins of the Index of Biotic Integrity. Fish samples were collected by electrofishing from 24 sites during baseflow periods in February, March and July 2004. Validation data were collected from 7 sites with varying levels of degradation. Fish samples were identified, counted and grouped into different trophic groups, relative tolerance to pollution, habitat guild and whether exotic or native to riverine environment. Thirty‐three candidate metrics were evaluated for responsiveness to habitat quality and twelve were selected for inclusion in the final index. The index classified 6 of the 7 validation sites according to their levels of degradation. As a bioassessment tool, the index was useful in laying the basis for long‐term monitoring of rivers in the Lake Victoria drainage basin. Copyright © 2010 John Wiley & Sons, Ltd.     

低应变反射波法检测桩基结构完整性的应用

桩基检测是一项非常重要的工作，其不可预见影响因素非常复杂。例如，检测桩的桩头处理、传感器的安装、激振频率的选择情况以及桩周土阻力等，都对检测数据产生一定的影响，这就要求检测人员在检测过程中，分析克服外界不利影响因素，寻求最佳检测手段，追求最准确的判断。文章通过对低应变反射波法在桩基检测中的应用分析，针对现场数据采集及检测波形判读中一些值得注意的问题，作了初步的探讨。