基于序列图像建模的多视图模型合并策略

通过基于单幅图像的建模方法或者基于立体像对的建模方法，可以恢复图像序列中每一幅图像或者立体图像对对应的模型．但所得的是局部模型，并非物体的完整模型．针对这一问题，提出了一种基于图像建模的多视图模型合并策略．根据建筑物模型的规整性，在从单幅图像恢复出建筑物模型的基础上，给出了一种简单灵活、易于实现的针对建筑物的多视图合并方法，从而得到完整的场景模型．该方法大致分为建立视图公共坐标系链表、坐标转换、顶点合并、模型合拢等几部分．从整个过程来看，该方法系统、完善，实验结果显示每一步的操作都是可行的，并且是有效的．     

对BM串匹配算法的一个改进

在对著名的Boyer-Moore串匹配算法进行分析后，对BM算法中的尝试位置移动处理部分进行改进，提出了IBM算法，该算法将好后缀移动与坏字符移动合并进行处理，从而尽量利用已有信息进行更大的尝试位置移动，使算法具有更高的效率，对IBM算法进行复杂度分析，对BM算法、KMP算法和IBM算法进行实际性能比较，结果表明IBM算法的平均运行时间明显优于BM算法与KMP算法。     

基于IBM LMS建设英语学习门户

计算机辅助教学软件（系统）经历了三个发展阶段：程序教学模式、操作练习模式和混合模式。IBM LMS平台为建设第三代混合模式的计算机辅助教学系统提供了平台级的支持。文章分析了混合模式的内涵、IBM LMS平台的技术架构以及学习门户的建设思路，并在此基础上，建立了英语学习门户原型系统。     

Integrated software safety analysis method for digital I&C systems

The digitalized Instrumentation and Control (I&C) system of Nuclear power plants can provide more powerful overall operation capability, and user friendly man-machine interface. The operator can obtain more information through digital I&C system. However, while I&C system being digitalized, three issues are encountered: (1) software common-cause failure, (2) the interaction failure between operator and digital instrumentation and control system interface, and (3) the non-detectability of software failure. These failures might defeat defense echelons, and make the Diversity and Defense-in-Depth (D3) analysis be more difficult. This work developed an integrated methodology to evaluate nuclear power plant safety effect by interactions between operator and digital I&C system, and then propose improvement recommendations. This integrated methodology includes component-level software fault tree, system-level sequence-tree method and nuclear power plant computer simulation analysis. Software fault tree can clarify the software failure structure in digital I&C systems. Sequence-tree method can identify the interaction process and relationship among operator and I&C systems in each D3 echelon in a design basis event. Nuclear power plant computer simulation analysis method can further analyze the available backup facilities and allowable manual action duration for the operator when the digital I&C fail to function. Applying this methodology to evaluate the performance of digital nuclear power plant D3 design, could promote the nuclear power plant operation safety. The operator can then trust the nuclear power plant than before, when operating the highly automatic digital I&C facilities.     

On the Threshold of Rationalism

No longer a leading architectural trend, Rationalism has fallen out of fashion. At best ‘marginalised’, even its tenets appear questionable. Guest-editors Andrew Peckham, Charles Rattray and Torsten Schmiedeknecht describe what motivated them to uncover and reassess the Rationalist sensibility among current European practices. Copyright © 2007 John Wiley & Sons, Ltd.     

A fully vectorizable SOR variant

The implementation of a variant of the Successive Overrelaxation (SOR) method for the numerical solution of elliptic partial differential equations is discussed. The convergence of this variant (SORV) is faster than that of SOR for a fixed prescribed error bound, and it is asymptotically as fast as SOR. In addition, SORV is much better suited for vector computers than the classical SOR or SOR with so-called red-black ordering. In the following, we compare SORV with SOR, red-black SOR (SORB1), SORB1 with stride 1 (SORB2) and a one-dimensional long-vector version of SORB2 (SORB3). Implementation is discussed and results are presented for the IBM 3090-200VF and the CRAY-2.     

POSITRONFIT程序在IBM／PC系列机上的实现

本文将原POSITRONFIT程序（简称P程序）的参数、数据输入和计算结果输出部分的语句作了大量增删、修改和调整，使之适应于IBM／PC系列机采用的磁盘文件操作系统。用几种PC机FORTRAN编译程序对P程序进行了成功的编译（实型量均用8字节的双精度量表示，精度比B6700或IBM 370高，计算时间与B6700机相当；用有的编译程序时需修改P程序中的某些开辟数据区的语句以克服编译程序的局限性）。     

IBMPC/XT计算机控制精密光学自相关器和实验数据采集与处理自动化系统

本文介绍一种用于皮秒和飞秒级超短激光脉冲和激光与物质相互作用的超快过程测量的IBMPC/XT计算机控制精密光学自相关器和实验数据采集与处理自动化系统。该系统既可进行自相关测量,又可进行干涉强度自相关测量。仪器的时间分辨率达0.3fs.     

The external structure: Experience with an automated module interconnection language

To study the problems of modifiable software, the Software Technology project has investigated approaches and methodologies that could improve modifiability. To test our approaches tools based on data abstraction—a design and programming language and a module interconnection language—were built and used. The incorporation of the module interconnection language into design altered the traditional model of system building. Introducing novices to our approach led to the formalization of new models of program design, development, and evaluation.     

Pattern matching and pattern-directed invocation in systems programming languages

Pattern recognition systems in the artificial intelligence field have been based on the assumption that components of the system should be invoked not by directly calling them, but by running data across their sensors and having the invocation take place when a defined pattern is found. Most systems programming, however, has taken a completely different route; the emphasis there is on structures of execution and data types. A new approach to systems programming languages where a bridge is made between structure and pattern-directed invocation is described. The syntax of pattern-directed invocation, along with the semantics of a support structure for message receiving and sending necessary for pattern-directed invocation of routines is presented. Finally, some conclusions are made about pattern-directed invocation, and further areas of work are stated.