基于反射机制的AOP模型的研究

面向方面的编程模型是一种新的编程模型,它的出现很好的解决了系统的关注点问题,特别是和安全相关的问题。AOP编程技术使安全策略设计更灵活.更容易实施。本文在原有AOP模型的基础上提出了反射的概念,探讨了反射和AOP之间的关系,研究了基本对象和元对象之间的二元性,以及通过元链接的联接,使反射成为支持AOP的自然解决方案。     

Modelling of quality function deployment planning with resource allocation

Quality Function Deployment (QFD) is a well-known customer-oriented methodology, which is widely used to assist decision making in product design and development in various types of production. Determining how and to what extent certain characteristics or technical attributes (TAs) of products are to be met, with a view to gaining a higher level of overall customer satisfaction, is a key success factor in product design and development. An operational QFD planning problem with resource allocation is considered in this paper. The aim is to plan the attainment of TAs by allocating resources among the TAs with a view to achieving maximized overall customer satisfaction. Taking into account the technical and resource constraints, and the impact of the correlation among TAs, the operational QFD planning with resource allocation is formulated as a linear program and solved by a heuristics-combined Simplex Method. An overall procedure is presented to help a design team to implement this QFD design planning with resource allocation in practice. This model can bridge the gap and conflicts between the design targets at the strategic level, and resource allocations in the part deployment and operational process planning level.     

基于消息驱动机制的VHDL程序设计

基于消息驱动机制的VHDL程序设计方法，由于消息驱动机制增加了消息搜索进程和处理进程，在搜索进程中登记消息即可扩展子系统．其作法是采用每个处理进程的全局信号，通过消息搜索进程，接收其它进程、子过程或块发出的消息并调用相应处理进程以实现．程序设计实例证明。该方法能使程序更灵活，系统功能易扩展与改进．     

Neural network approach for allocation with capacity

In this paper we discuss neural network approach for allocation with capacity constraints problem. This problem can be formulated as zero-one integer programming problem. We transform this zero-one integer programming problem into an equivalent nonlinear programming problem by replacing zero-one constraints with quadratic concave equality constraints. We propose two kinds of neural network structures based on penalty function method and augmented Lagrangian multiplier method, and compare them by theoretical analysis and numerical simulation. We show that penalty function based neural network approach is not good to combinatorial optimization problem because it falls in the dilemma whether terminating at an infeasible solution or sticking at any feasible solution, and augmented Lagrangian multiplier method based neural network can alleviate this suffering in some degree.     

The programming language standards scene, ten years on Paper 2: Pascal

This paper, one of a simultaneously published set on ten years of activity in programming language standards, describes the developments in standardization of the programming language Pascal which have taken place in the period 1983–1993.     

Grammar-related transformations of logic programs

We investigate a simple transformation of logic programs capable of inverting the order of computation. Several examples are given which illustrate how this transformation may serve such purposes as left-recursion elimination, loop-elimination, simulation of forward reasoning, isotopic modification of programs and simulation of abductive reasoning.     

人工智能语言LISP的新发展——面向对象的CLOS系统

本文是深入浅出的综述,介绍CLOS的发展历史、主要特点和展望。     

PIGS—A system for programming with interactive graphical support

This paper describes an implementation of a system for programming using structured charts with interactive graphical support. It provides a graphical editor for the user to interactively build and edit programs using Nassi-Shneiderman diagrams (NSD)¹ as the structured control constructs of logic flow. It can interpret a program in NSD chart form, and the execution sequence of the NSD is displayed at a graphical terminal. On-line debugging and testing facilities are available which allow the user to examine and modify the program under execution. The system has been designed with the aim of supporting the development, debugging, testing, documentation and maintenance of programs in the same environment.     

A critique of unix

The UNIX operating system enjoys an ever increasing popularity throughout the computing community; there will be 1.4 million UNIX licences distributed by 1985, rising at a rate of about 400,000 per annum. With universal acceptance of a system comes a dangerously high degree of inertia. Consider the analogous area of programming languages, where there has been great resistance to change, despite major advancements. This paper presents a critique of UNIX, based on three areas which we consider to be of vital importance to future operating systems. These areas are operating system structures and design, programming support environments and distributed computing. The criticisms presented are in no way intended to discredit UNIX. UNIX compares favourably with most of the present generation of operating systems. The intention is to highlight deficiencies in the state of the art in operating system design.