Contrafactum y adaptación de la canción de Malmaridada en la Península Ibérica : del Cancionero del rey Don Denis al Cancionero para cantar la noche de Navidad de Francisco de Ocaña

Integran este número de la revista ponencias presentadas en Studia Hispanica Medievalia VIII : Actas de las X Jornadas Internacionales de Literatura Española Medieval, 2011, y de Homenaje al Quinto Centenario del Cancionero General de Hernando del Castillo.

Berm cranes at Miraflores Locks

Leonard Carpenter Panama Canal Collection. Photographs: Dredging, Soldiers, and Ships. [Box 1] from the Special Collections & Area Studies Department, George A. Smathers Libraries, University of Florida. Photo notation: These are most economical in handling concrete but not so elastic as the cable way method (ca. 1914)

Treewidth: theory and applications to computer science

This report is an introduction to the concept of treewidth, a property of graphs that has important implications in algorithms. Some basic concepts of graph theory are presented in the first chapter for those readers that are not familiar with the notation. In Chapter 2, the definition of treewidth and some different ways of characterizing it are explained. The last two chapters focus on the algorithmic implications of treewidth, which are very relevant in Computer Science. An algorithm to compute the treewidth of a graph is presented and its result can be later applied to many other problems in graph theory, like those introduced in the last chapter.

A guide to the interpretation of sea trout scales

The overall purpose of this guide is to provide a manual for the collection and interpretation of sea trout scales. A brief introduction considers the advantages and disadvantages of using scales to determine age and growth. To ensure that scales are interpreted in a consistent manner, all major terms are defined and a standard system for age notation is proposed. The methodology for the collection, mounting and interpretation of scales is described in detail, and this is followed by a section on the back-calculation of lengths at different ages. Each topic is discussed critically. The final part of this guide is an atlas illustrating scales from a wide range of sea trout and including not only excellent "type-scales" but also difficult and impossible scales.

Distribution theory and fundamental solutions of differential operators

The objective of this dissertation is to study the theory of distributions and some of its applications. Certain concepts which we would include in the theory of distributions nowadays have been widely used in several fields of mathematics and physics. It was Dirac who first introduced the delta function as we know it, in an attempt to keep a convenient notation in his works in quantum mechanics. Their work contributed to open a new path in mathematics, as new objects, similar to functions but not of their same nature, were being used systematically. Distributions are believed to have been first formally introduced by the Soviet mathematician Sergei Sobolev and by Laurent Schwartz. The aim of this project is to show how distribution theory can be used to obtain what we call fundamental solutions of partial differential equations.

Unified form language: A domain-specific language for weak formulations of partial differential equations

We present the Unified Form Language (UFL), which is a domain-specific language for representing weak formulations of partial differential equations with a view to numerical approximation. Features of UFL include support for variational forms and functionals, automatic differentiation of forms and expressions, arbitrary function space hierarchies formultifield problems, general differential operators and flexible tensor algebra. With these features, UFL has been used to effortlessly express finite element methods for complex systems of partial differential equations in near-mathematical notation, resulting in compact, intuitive and readable programs. We present in this work the language and its construction. An implementation of UFL is freely available as an open-source software library. The library generates abstract syntax tree representations of variational problems, which are used by other software libraries to generate concrete low-level implementations. Some application examples are presented and libraries that support UFL are highlighted. © 2014 ACM.

自然交互研究——笔式简谱编辑器的设计与实现

自然交互是指用户可以用自己熟悉的日常技能与计算机进行交互。中国有大量的音乐爱好者使用简谱,但是针对简谱编辑的编辑软件却相对较少,并且现有软件的交互方式不够自然,降低了用户对软件的使用效率。他们需要一种更自然、更方便使用的简谱编辑软件。该文介绍了一个基于笔式输入的简谱编辑器原型系统的设计和实现。基于对现有软件、简谱特性和可利用的新技术的综合分析,设计并实现了这个原型系统。对此原型系统进行了非正式的用户实验之后,对结果进行了分析,并提出了修改的方案。

Experimental study on flow characters of CH3CCl2F hydrate slurry

The flow behaviors of CH3CCl2F hydrate slurry with volume concentration of 10-70% were studied in a new built flow loop with a diameter of 42.0 mm and length of 30.0 m. Morphologies of the fluids from slurrylike hydrates to slushlike hydrates with increasing of hydrate volume concentration in pipeline were observed. Pressure drops in pipeline also were studied and an exceptional pressure transition zone with hydrate volume concentration between 30% and 40% was found for the first time, which can be used as a notation to judge if the pipeline runs safely or not. Fanning friction factors of the hydrate slurries with all hydrate contents tend to constants between 0.38 and 0.5, which depend on the volume concentration in slurries, when the velocity reaches 1.5 m/s. A simple relation to estimate the pressure drop of hydrate slurry in pipeline was presented and verified. Experimental results were compared to the estimated results, which showed a good agreement. 

自动化制造系统的产生与发展

探讨了自动化与制造业的产生和互促发展过程 ,论述了自动化制造系统的形成和不同发展阶段的内涵及重大作用 ,指出自动化技术与制造技术是驱动自动化制造系统发展的两个轮子 ,不能忽视任何一个侧面 ,自动化研究与制造技术研究相结合是发展先进制造技术的必由之路

计算机辅助机械绘图语言与系统设计

本文针对我国计算机绘制机械图领域内的现状,提出了一种易于掌握的机械图描述语言,以及一个相应的功能较强的绘图系统。该系统便于图形输入,并具有图形的平移、旋转、映射等功能,和较强的剖面域的处理能力。系统带有一个标注专用的笔写式字符库(包括汉字和专用符号)。该系统用 FORTRAN 语言写成,便于向大、中型计算机和存储容量较大的微型机移植。

Syntax-Based Analytic Reading of Musical Scores

As part of a larger research project in musical structure, a program has been written which "reads" scores encoded in an input language isomorphic to music notation. The program is believed to be the first of its kind. From a small number of parsing rules the program derives complex configurations, each of which is associated with a set of reference points in a numerical representation of a time-continuum. The logical structure of the program is such that all and only the defined classes of events are represented in the output. Because the basis of the program is syntactic (in the sense that parsing operations are performed on formal structures in the input string), many extensions and refinements can be made without excessive difficulty. The program can be applied to any music which can be represented in the input language. At present, however, it constitutes the first stage in the development of a set of analytic tools for the study of so-called atonal music, the revolutionary and little understood music which has exerted a decisive influence upon contemporary practice of the art. The program and the approach to automatic data-structuring may be of interest to linguists and scholars in other fields concerned with basic studies of complex structures produced by human beings.

Determining the Scope of English Quantifiers

How can one represent the meaning of English sentences in a formal logical notation such that the translation of English into this logical form is simple and general? This report answers this question for a particular kind of meaning, namely quantifier scope, and for a particular part of the translation, namely the syntactic influence on the translation. Rules are presented which predict, for example, that the sentence: Everyone in this room speaks at least two languages. has the quantifier scope AE in standard predicate calculus, while the sentence: At lease two languages are spoken by everyone in this room. has the quantifier scope EA. Three different logical forms are presented, and their translation rules are examined. One of the logical forms is predicate calculus. The translation rules for it were developed by Robert May (May 19 77). The other two logical forms are Skolem form and a simple computer programming language. The translation rules for these two logical forms are new. All three sets of translation rules are shown to be general, in the sense that the same rules express the constraints that syntax imposes on certain other linguistic phenomena. For example, the rules that constrain the translation into Skolem form are shown to constrain definite np anaphora as well. A large body of carefully collected data is presented, and used to assess the empirical accuracy of each of the theories. None of the three theories is vastly superior to the others. However, the report concludes by suggesting that a combination of the two newer theories would have the greatest generality and the highest empirical accuracy.

The Performance Practice of Buddhist Baiqi in Contemporary Taiwan

The baiqi (Buddhist percussive instruments), also known as faqi (dharma instruments), are mentioned in the Chinese Buddhist scriptures under many different terms: jianzhi, jiandi, jianzhui, or jianchi. The original function of baiqi in earlier monastic life was to gather people or to call an assembly. With the completion of monasticism and monastic institutions, baiqi have become multifunctional in monasteries, and many baiqi instruments have been developed for different monastic applications. In contemporary Buddhist monasteries in Taiwan, baiqi are used, on the one hand, to mark the time throughout the day, signal the beginning and end of monastic daily activities, and regulate the monastic order; and on the other hand, baiqi are indispensable to the musical practices of all Buddhist rituals, where they are used to accompany fanbai (Buddhist liturgical chants) and to articulate the whole ritual process. This study investigates multiple facets of Buddhist baiqi in their performance practice, function, application, notation, and transmission, exploring the interaction between baiqi and fanbai, baiqi and the practitioner, baiqi and the monastic space, and baiqi and various Buddhist contexts. I draw upon ideas from performance theory as it concerns different disciplines, but I maintain a sharper focus on the musicological dimension of performance practice when analyzing, interpreting, and explaining the performance and music of baiqi in terms of the monastic lifestyle and its rituals. The study not only uncovers the musical system of baiqi, but also encapsulates various issues of performed identity, social interaction, performer/audience, associated behaviors, the musical construction of space, and transmission.

Extending BPM Environments of Your Choice with Performance Related Decision Support

What-if Simulations have been identified as one solution for business performance related decision support. Such support is especially useful in cases where it can be automatically generated out of Business Process Management (BPM) Environments from the existing business process models and performance parameters monitored from the executed business process instances. Currently, some of the available BPM Environments offer basic-level performance prediction capabilities. However, these functionalities are normally too limited to be generally useful for performance related decision support at business process level. In this paper, an approach is presented which allows the non-intrusive integration of sophisticated tooling for what-if simulations, analytic performance prediction tools process optimizations or a combination Of Such solutions into already existing BPM environments. The approach abstracts from process modelling techniques which enable automatic decision support spanning processes across numerous BPM Environments. For instance, this enables end-to-end decision support for composite processes modelled with the Business Process Modelling Notation (BPMN) on top of existing Enterprise Resource Planning (ERP) processes modelled with proprietary languages.

Suggested Binding Mechanism of the HIV-gp120 to its CD4 Receptor

The molecular recognition and attachment of the CD4 molecule and the HIV envelope glycoprotein (gp120) might be described as a consecutive three-step molecular recognition process. 1. (a) Long range interaction: electrostatic pre-orientation, 2. (b) short range interaction: electronic attachment followed by a ‘Locking-in’ (via aromatic ring orientation) and 3. (c) internal interaction (induced fit): conformational readjustment of the protein molecules. On the basis of the preliminary investigations (X-ray structures of CD4 and biological studies of CD4 and gp120 point mutants) we described a computational model. This approach consists of empirical calculations as well as ab initio level of quantum chemistry. The conformational analysis of the wild type and mutant CD4 molecules was supported by molecular mechanics and dynamics (Amber force field). The latter analysis involves the application of a novel method, the Amino Acid Conformation Assignment of Proteins (ACAP) software, developed for the notation of secondary protein structures. According to the cardinal role of the electrostatic factors during this interaction, several ab initio investigations were performed for better understanding of the recognition process on submolecular level. Using the above mentioned computational model, we could interpret the basic behaviours and predict some additional features of CD4-gp120 interaction, in spite of the missing gp120 X-ray structure.