Legacy system program transformation by Lyee methodology

Based on the comparative review of several approaches to legacy system conversion and revitalization, the Lyee methodology application for the issue is presented to clarify its idea, the associated procedure, and the implemented tools. It could be said that with the tools and manual developed by ICBSM&T, the mechanical transformation of the conventional program to a Lyee-structured one becomes possible as long as the programs are made in a procedure-oriented language. In addition to the program structure conversion, the Lyee methodology permits people to choose any application language in the transformed program. At the same time, quite a new approach related to the system conversion is introduced, in which the chunk of data extracted from an old program is edited to make a new conventional structure program that has a logical sequence instead of a Lyee type of declarative program. These features can be realized through the concept of LyeeBELT, which is a set of word-information about the attributes, formulae, and conditions for an independent data item.

The overall workflow of the legacy program transformation is shown in the following.

A critical part in its implementation is the feasibility study (pre-analysis) stage where necessary information is supposed to be secured, and an appropriate plan and policy about the system to be revitalized in the new system environment should be clarified so as to customize the tools accordingly. If the initial process is completed, the mechanical legacy system conversion will be realized by registering the parameters in the tool, and the reestablishment of business knowledge in the LyeeBELT will be enabled. With the regulated business logic on the LyeeBELT, the program maintenance afterwards becomes drastically simplified and stable without the ‘spaghetti’ problem, so that software evolution can be possible.     

在毕业论文教学中培养学生科研素养的探讨

在结合纺织学科发展讨论科研素养含义的基础上[1],提出了要在毕业论文教学环节中重视学生科研素养的培养.实践表明,加强教师自身的科研素养、重视培养学生的科研知识、传授正确的科研方法、严格要求论文和专利的写作以及激发学生的科研精神是培养学生科研素养的可靠措施.     

"抢渡长江"问题数学建模及求解分析

对“抢渡长江”问题进行了分析，建立了一种函数极值的数学模型，分析了解题思路和初等求解方法．     

论现代纺织业所需的人才资源开发

我国纺织工业的发展需要大批纺织人才。采用专家访谈、问卷调查等方式，分析了目前我国纺织业所需人才资源的知识结构状况，提出了纺织业应通过各种渠道培养适应纺织业发展的纺织复合型人才的观点。     

A functional correspondence between call-by-need evaluators and lazy abstract machines

We bridge the gap between compositional evaluators and abstract machines for the lambda-calculus, using closure conversion, transformation into continuation-passing style, and defunctionalization of continuations. This article is a followup of our article at PPDP 2003, where we consider call by name and call by value. Here, however, we consider call by need.We derive a lazy abstract machine from an ordinary call-by-need evaluator that threads a heap of updatable cells. In this resulting abstract machine, the continuation fragment for updating a heap cell naturally appears as an ‘update marker’, an implementation technique that was invented for the Three Instruction Machine and subsequently used to construct lazy variants of Krivine's abstract machine. Tuning the evaluator leads to other implementation techniques such as unboxed values. The correctness of the resulting abstract machines is a corollary of the correctness of the original evaluators and of the program transformations used in the derivation.     

IEC/TC65最新进展

本文介绍了2006年IEC／TC65（国际电工委员会工业过程测量和控制技术委员会）的最新进展，包括：组织结构调整、功能安全标准现状和自动化信息安全。     

Thermal dilatation in functional tolerancing

Functional tolerancing is classically based onto dimension chains to respect functional requirements. Tolerance synthesis deals with dimensions optimization in order to maximize tolerances. This method is classically used taking into account only geometrical defaults. Mechanisms concerned with significant variation of temperature in different stages of functioning, require taking into account thermal expansion. This expansion has a direct impact onto clearances and dimensions of the mechanism. The purpose of this paper is to consider thermal expansion of parts integrated within functional tolerancing. In particular, this paper will compare the effects of tolerancing, thermal expansion and uncertainties of temperature in order to know if uncertainties must be included in the tolerance chain or can be neglected as second order. A basic experimental mechanism is used to show this method and the differences between the two approaches.     

FP──VLSI自动综合系统

ＦＰ—ＶＬＳＩ自动综合系统是一个集成化的ＶＬＳＩ自动设计工具，它能完成从并行算法到脉动算法到脉动结构再到逻辑结构最后到ＣＭＯＳ版图的自动综合过程．ＦＰ—ＶＬＳＩ系统以脉动阵列为ＶＬＳＩ的体系结构，采用具有良好代数性质的ＦＰ／Ｂ语言作为各层次的描述语言，通过程序变换进行综合和优化．该系统支持形式化的ＶＬＳＩ设计方法，能保证设计结果的正确性．     

Haskell语言的高阶特性及其应用

Haskell语言的高阶特性使笔者在开发软件时受益匪浅,但很遗憾,目前国内同行应用这一语言的人非常少。本文介绍Haskell语言的高阶特性,并通过几个与树相关的例子,阐述如何利用Haskell语言的高阶特性来编写功能强大但却简短漂亮的程序。     

功能基因组学及其在辐射生物效应研究中的应用

功能基因组学是基因组学的重要组成部分,近年来已应用到辐射生物效应研究领域。本文介绍了功能基因组学的基本概念,主要研究内容、研究方法,以及在辐射生物效应研究领域中的应用。