On the ontological expressiveness of information systems analysis and design grammars

Abstract. Information systems analysis and design (ISAD) methodologies provide facilities for describing existing or conceived real-world systems. These facilities are ontologically expressive if they are capable of describing all real-world phenomena completely and clearly. In this paper we formally examine the notion of the ontological expressiveness of a grammar and discuss some of its implications for the design and use of ISAD methodologies. We identify some generic ways in which ontological expressiveness may be undermined in a grammar and some potential consequences of these violations. We also examine ontological expressiveness within the context of some other desirable features that might be considered in the design of ISAD methodologies.     

非接触式半导体少子寿命测试方法——微波反射法

介绍了一种非接触式用于测量少子寿命的微波反射法，并与通常的光电导衰退法进行了比较。     

Photoswitching of Ferroelectric Liquid Crystals Using Unsymmetrical Chiral Thioindigo Dopants: Photoinduced Inversion of the Sign of Spontaneous Polarization

A new unsymmetrical chiral thioindigo dopant 6‐[(R,R)‐2,3‐difluorooct‐1‐yloxy]‐5′‐nitro‐6′‐[(R)‐2‐octyloxy]thioindigo ( 4 ) designed to photoinvert the sign of spontaneous polarization (P_S) in a ferroelectric chiral smectic C (SmC*) liquid crystal was prepared using a synthetic approach previously developed in our laboratory. In this new “ambidextrous” design, the (R)‐2‐octyloxy side‐chain is sterically coupled to the thioindigo core and induces a positive P_S, whereas the (R,R)‐2,3‐difluorooctyloxy side‐chain is decoupled from the core and induces a larger negative P_S. In the trans form, this dopant induces a negative polarization in the SmC host (+)‐4‐(4‐methylhexyloxy)phenyl 4‐decyloxybenzoate ( PhB ). Irradiation of a 1 mol‐% mixture of 4 in PhB at λ = 510 nm caused a sign inversion of P_S, from –0.88 to +0.42 nC cm^–2 at T – T_C = –5 °C, which is consistent with an increase in the polarization power of the coupled 2‐octyloxy/thioindigo unit over that of the 2,3‐difluorooctyloxy unit, due to the increase in transverse dipole moment of the thioindigo core upon trans–cis photoisomerization. The P_S sign inversion was confirmed by a surface‐stabilized ferroelectric liquid crystal photoswitching experiment. Spectroscopic measurements on films of the doped liquid crystal mixtures showed that trans–cis photoisomerization is gradually suppressed with increasing dopant mole fraction, possibly as a result of increased dopant aggregation.     

Selectors Make Set-Based Analysis Too Hard

A set-based program analysis establishes constraints between sets of abstract values for all expressions in a program. Solving the system of constraints produces a conservative approximation to the program's runtime flow of values. Some practical set-based analyses use explicit selectors to extract the relevant values from an approximation set. For example, if the analysis needs to determine the possible return values of a procedure, it uses the appropriate selector to extract the relevant component from the abstract representation of the procedure. In this paper, we show that this selector-based approach complicates the constraint solving phase of the analysis too much and thus fails to scale up to realistic programming languages. We demonstrate this claim with a full-fledged value flow analysis for case-lambda, a multi-branched version of lambda. We show how both the theoretical underpinnings and the practical implementation become too complex. In response, we present a variant of set-based closure analysis that computes equivalent results in a much more efficient manner.     

The VLISP verified PreScheme compiler

This paper describes a verified compiler for PreScheme, the implementation language for thevlisp run-time system. The compiler and proof were divided into three parts: A transformational front end that translates source text into a core language, a syntax-directed compiler that translates the core language into a combinator-based tree-manipulation language, and a linearizer that translates combinator code into code for an abstract stored-program machine with linear memory for both data and code. This factorization enabled different proof techniques to be used for the different phases of the compiler, and also allowed the generation of good code. Finally, the whole process was made possible by carefully defining the semantics ofvlisp PreScheme rather than just adopting Scheme's. We believe that the architecture of the compiler and its correctness proof can easily be applied to compilers for languages other than PreScheme.This work was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001, through the MITRE Corporation, and by NSF and DARPA under NSF grants CCR-9002253 and CCR-9014603. Author's current address: Department of Computer Science and Engineering, Oregon Graduate Institute, P.O. Box 91000, Portland, OR 97291-1000.The work reported here was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001. Preparation of this paper was generously supported by The MITRE Corporation.This work was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001, through the MITRE Corporation, and by NSF and DARPA under NSF grants CCR-9002253 and CCR-9014603.     

The pulse distributed file system

A network of powerful personal computers, linked by a high-speed local area network, is being seen increasingly as an alternative to a traditional centralized time-sharing operating system. The PULSE project is investigating how such a system may be constructed to give the benefits of a self-sufficient personal computer to each user without losing the facilities for communication and sharing of data inherent in centralized systems. In particular, a distributed file system has been built which provides a single global UNIX

1 UNIX is a trademark of Bell Laboratories.

-like hierarchy, with a consistent appearance when accessed from any machine. Replicated copies of files are maintained to improve reliability, increase performance, and enable each machine to run stand-alone, albeit with reduced facilities.     

计算机网络实验室改造与实验教学改革

阐述了计算机实验教学在教育中的重要地位,分析了计算机网络实验室的现状,提出了计算机网络实验室的改造策略以及实验教学改革的措施。     

基于社会和文化可持续性的城市设计价值观重塑

可持续发展是环境、社会、经济和文化可持续性四个支柱之间的平衡发展.其中,无论是理论研究还是政策分析,社会可持续性和文化可持续性作为可持续发展的重要支柱一直受到忽视,城市设计领域也不例外.我们从社会可持续性和文化可持续性两个维度探讨了城市设计价值观的重塑问题.从社会可持续性视角看,城市设计需要建构以公平的空间资源分配为核心的价值观,具体表现在两个方面,即和谐宜居观与环境正义观.基于文化可持续性的城市设计价值观,核心是尊重城市文化多样性,它是城市保持活力的命脉以及城市可持续发展的源泉.     

基于计算机仿真分析的拉深工艺参数优化

汽车前照灯矩形反光镜是典型的非轴对称曲面深杯件，本文采用计算机仿真技术分析了其成形过程，并分别对毛坯形状，凹模圆角，压力力等工艺参数进行了优化设计，使成形质量大大提高。