矢量图的参数化重建系统——VACAD

本文重点探讨了如何将矢量图形进行参数化重建，即从只具备纯几何信息的矢量图中抽取元素间的拓扑信息，从而保证尺寸变动时保持拓扑关系不变，并能对多视图进行同步处理。这一方法的最大优点是用户作图时不受约束，因为系统只处理最终图形。另外，该思想并不局限于Ａｕｔｏ ＣＡＤ环境上，可方便地推广到其它二维绘图系统中。     

New and used temporal models: An issue of time

TheSpecial Issue on Applications of Temporal Models raises many issues of time: What are the important properties of time? How can time be best represented? How can one reason about time-dependent properties? What are the important directions of temporal research? This introductory piece very briefly surveys the current wide variety of temporal models, temporal reasoning methods, and applications to time-varying phenomena. Promising areas of investigation such as the verification of concurrent systems, knowledge-base representation methods, and dealing with theFrame Problem pass in fleeting review. Brief introductions to each of the works in the volume close the section.     

Constraint Databases: Promising Technology or Just Intellectual Exercise?

This paper describes the state of Constraint Databases (CDBs), a young discipline at the intersection of Database Management, Constraint Programming, Computational Geometry and Operations Research. As in Constraint Logic Programming, constraints in CDBs are a first class data type, and can play many modeling roles including spatial and temporal behavior, complex design requirements, and partial and incomplete information, for which existing databases have proven inadequate. We motivate the importance of CDBs, outline the work in the area that has been done, the current trends, and future directions and challenges. We briefly discuss (1) constraint modeling, canonical forms and algebras, (2) data models and query languages, (3) indexing and approximation-based filtering, (4) constraint algebra algorithms and global optimization, and (5) systems and case studies. We argue that CDBs are a promising technology that will impact many important application realms, and furthermore have the potential to be integrated into future database systems, and operations research and constraint programming tools.     

Modelling the rate of secondary succession after farmland abandonment in a Mediterranean mountain area

Secondary succession after farmland abandonment has become a common process in north Mediterranean countries, especially in mountain areas. In this paper, a methodology is tested which combines Markov chains and logistic multivariate regression to model secondary succession after farmland abandonment in environments where abiotic constraints play a major role, like mountain areas. In such landscapes, a decay in the succession rate with time is usually found, as the best locations are progressively occupied. This is frequently addressed using non-stationary Markov chains. Here, we test if the combination of logistic multivariate regression with Markov chains, however, allows for spatially distributed transitions probabilities based on abiotic factors and therefore, it is able to reproduce the preferential colonization of the most favourable locations. The model is tested in the Ijuez Valley in the Spanish Pyrenees, which underwent generalized land abandonment during the 1950s. Results confirm a substantial improvement in the prediction success of the Markov-logistic model when compared to the standard Markov chain approach. As a result, the decay in the succession rate can be successfully modelled. The specific results for our study area are discussed further in an ecological context. The methodology proposed is applicable to any landscape where vegetation dynamics are constrained by environmental factors. However, the inclusion of land use as an explanatory factor would be necessary in human-managed landscapes.     

Activity of two lignin biosynthesis enzymes during development of a maize internode

To ascertain the temporal relationships of phcnylpropanoid and lignin pathway enzymes, phenylalanine ammonia-lyase (PAL) and cinnamyl alcohol- NADPH dehydrogenase(CAD), with lignin concentration, PAL and CAD activities and lignin concentrations were assessed during progressive development of the 10th internode in maize (Zea mays L). Enzyme activities were quantified and lignin concentrations were determined by the detergent system of fiber fractiona- tion from lower, middle, and upper sections of the elongating internode harvested 3, 5, 7, 9, 11, 13, and 15 days after the internode had reached 10 mm in length. Over 15 days, a coordinated, sequential, and basipetal pattern of enzyme activities and lignin accumulation evolved through the internode, spanning the stages of rapid elongation, cellular differentiation, and secondary cell wall formation. PAL activity was initiated first, rising to peak activity in elongating tissue, and falling basipetally in tissues as they matured. CAD activity rose in fully elongated, maturing internode tissue where PAL activity was waning following its peak activity. Lignin accumulated in tissues with high CAD activity. CAD activity and lignin deposition patterns were similar: simultaneously increasing in activity and deposition over time while activity and deposition also shifting basipetally through the internode, keeping pace with secondary cell wall formation. Lignin concentration correlated significantly with CAD, but not with PAL.     

采用同调约束快速识别的有功校正控制计算

本文发展了文(5)提出的同调约束概念,将同调约束进一步分为正同调约束和反同调约束两组。文中提出了一种新的同调约束识别方法,不必增加任何计算便可快速识别出正反同调约束,显著地降低了解题规模。IEEE30节点样本网络的计算实例证实了本文方法的有效性。     

An integrated automatic test data generation system

The Godzilla automatic test data generator is an integrated collection of tools that implements a relatively new test data generation method—constraint-based testing—that is based on mutation analysis. Constraint-based testing integrates mutation analysis with several other testing techniques, including statement coverage, branch coverage, domain perturbation, and symbolic evaluation. Because Godzilla uses a rule-based approach to generate test data, it is easily extendible to allow new testing techniques to be integrated into the current system. This article describes the system that has been built to implement constraint-based testing. Godzilla's design emphasizes orthogonality and modularity, allowing relatively easy extensions. Godzilla's internal structure and algorithms are described with emphasis on internal structures of the system and the engineering problems that were solved during the implementation.Parts of this research were supported by Contract F30602-85-C-0255 through Rome Air Development Center while the author was a graduate student at the Georgia Institute of Technology.     

New multiresolution modeling techniques in CAD

To apply wavelet transformation to CAD surface model composed of multiple surface patches, an algorithm called wavelet signal separation to preserve geometric constraints during wavelet transformation is proposed. The algorithm divides the B-spline control points into those associated and those unassociated with the geometric constraints. Through preserving the signal information associated with the constraint control points, the geometric constraints can be automatically preserved after wavelet transformation. This paper also briefly investigates two types of the detail feature propagation technique in wavelet-based multiresolution CAD system. One is detail feature motion. The other is detail feature repetition. Finally, a comprehensive example is presented to illustrate the effects of the combination of those techniques.     

Temporal and spatial aspects of an environmental stimulus influence the dynamics of behavioral regulation of the Aplysia siphon-withdrawal response.

Exposure to turbulence, an environmental stimulus, produces behavioral adaptation in the Aplysia siphon-withdrawal response (SWR). The authors show that the duration and spatial extent of turbulence influence adaptation recovery. In terms of duration, recovery in whole animals and reduced preparations (tail, siphon, and CNS) was more rapid after longer exposures to turbulence (10 min) than after briefer exposures (10 s-5 min). In terms of spatial extent, recovery in reduced preparations was more rapid after diffuse turbulence (tail and siphon together) compared with focal turbulence (siphon alone). Furthermore, spatial extent and duration interact: Duration regulates recovery only when turbulence is diffuse. Results suggest that SWR adaptation reflects a composite of cellular processes, including short-term synaptic enhancement in L30 inhibitory interneurons. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

媒体同步关系的描述

由于多媒体信息系统中，需要集成各种数据类型，而这些数据类型又有着密切的时间关系，所以对于多媒体来说，同步问题是很重要的，而同步的基础是为同步关系建立一个独立于实现环境的抽象的表示模型，本文着重讨论几种描述媒体同步关系的模型。