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

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

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.

Notating the Unpredictable

Notation can be seen to sit comfortably between theory and practice as it symbolizes practice, generates and implements theory, and produces practice. Historically, its presence changes in significance across the development of activities such as music or architecture. From design tool to canonic text, notational artefacts both solidify and formalize practice, as will be expanded below. How, then, does the role and function of notation change with specific contemporary practices, which are by definition ill-defined and feed off fluidity and change? What is the nature of notation in distributed and collaborative practices such as improvised music or network music performance?

Portfolio of Compositions investigating ensemble improvisation, distributed and real-time scoring, and multi-nodal input and output

This output is a collection of compositions which explore issues of ensemble improvisation, ensemble management and orchestration, real-time and distributed scoring, multi-nodal inputs and outputs, and animated and graphic notation. Compositions include: Activities I; tutti, duet, trio, solo, quartet; Lewitt Notations I; Webwork I; and Sometimes I feel the space between people (voices) in terms of tempos. These compositions are presented in computer animated scores which are synchronized through the network and subject to real-time modification and control. They can be performed by ensembles distributed over large physical spaces connected by the network. The scores for these compositions include software which displays the animations to the performers, software to structure and disseminate score events, and triggering software that allows the control of a performance to be distributed. Scores can also include live electronics which are coordinated with graphic events.

Uniformity of visual acuity measures in published studies

PURPOSE. To investigate the methods used in contemporary ophthalmic literature to designate visual acuity (VA). METHODS. Papers in all 2005 editions of five ophthalmic journals were considered. Papers were included if (1) VA, vision, or visual function was mentioned in the abstract and (2) if the study involved age-related macular degeneration, cataract, or refractive surgery. If a paper was selected on the basis of its abstract, the full text of the paper was examined for information on the method of refractive correction during VA testing, type of chart used to measure VA, specifics concerning chart features, testing protocols, and data analysis and means of expressing VA in results. RESULTS. One hundred twenty-eight papers were included. The most common type of charts used were described as logMAR-based. Although most (89.8%) of the studies reported on the method of refractive correction during VA testing, only 58.6% gave the chart design, and less than 12% gave any information whatsoever on chart features or measurement procedures used. CONCLUSIONS. The methods used and the approach to analysis were rarely described in sufficient detail to allow others to replicate the study being reported. Sufficient detail should be given on VA measurement to enable others to duplicate the research. The authors suggest that charts adhering to Bailey-Lovie design principles always be used to measure vision in prospective studies and their use encouraged in clinical settings. The distinction between the terms logMAR, an acuity notation, and Bailey-Lovie or ETDRS as chart types should be adhered to more strictly. Copyright © Association for Research in Vision and Ophthalmology.

Weaving behavior into feature models for embedded system families

Product Line software Engineering depends on capturing the commonality and variability within a family of products, typically using feature modeling, and using this information to evolve a generic reference architecture for the family. For embedded systems, possible variability in hardware and operating system platforms is an added complication. The design process can be facilitated by first exploring the behavior associated with features. In this paper we outline a bidirectional feature modeling scheme that supports the capture of commonality and variability in the platform environment as well as within the required software. Additionally, 'behavior' associated with features can be included in the overall model. This is achieved by integrating the UCM path notation in a way that exploits UCM's static and dynamic stubs to capture behavioral variability and link it to the feature model structure. The resulting model is a richer source of information to support the architecture development process.

Towards more flexible Architecture Description Languages for industrial applications

Architecture Description Languages (ADLs) have emerged in recent years as a tool for providing high-level descriptions of software systems in terms of their architectural elements and the relationships among them. Most of the current ADLs exhibit limitations which prevent their widespread use in industrial applications. In this paper, we discuss these limitations and introduce ALI, an ADL that has been developed to address such limitations. The ALI language provides a rich and flexible syntax for describing component interfaces, architectural patterns, and meta-information. Multiple graphical architectural views can then be derived from ALI's textual notation.

Management in distributed systems: A semi-formal approach

The reverse engineering of a skeleton based programming environment and redesign to distribute management activities of the system and thereby remove a potential single point of failure is considered. The Ore notation is used to facilitate abstraction of the design and analysis of its properties. It is argued that Ore is particularly suited to this role as this type of management is essentially an orchestration activity. The Ore specification of the original version of the system is modified via a series of semi-formally justified derivation steps to obtain a specification of the decentralized management version which is then used as a basis for its implementation. Analysis of the two specifications allows qualitative prediction of the expected performance of the derived version with respect to the original, and this prediction is borne out in practice.