论域理论在超大规模集成电路逻辑设计上的运用

认为传统的二值布尔不利于大规模集成电路的设计,尤其是在逻辑门电路上.为此引入了三值逻辑.此三值逻辑是基于集成电路的物理性质,且碰巧等同于Kleene的三值逻辑.鉴于Kleene三值逻辑的不完备性,文章将论域理论以及普通不动点算子运用于此,使三值逻辑获得此逻辑系统的单调完备性定理.文章认为这个结果有利于集成电路设计的可靠性,具有广阔的应用前景.     

浅谈Debug调试汇编语言程序的方法

本文浅谈了Debug在汇编语言程序上机调试中的基本步骤和方法,帮助学生如何利用Debug工具更好地学习汇编语言,对于汇编语言教学具有一定的参考价值。     

Order management in transformable business structures—basics and concepts

An increasingly dynamic environment and the ongoing trend towards customized products are heightening the requirements which companies have to meet, leading to constantly changing structures and processes. As a result, successful production management and the transformability which an enterprise and its order management system has to display are closely connected. The present article describes an order management system for transformable manufacturing enterprises based on systems theory and management cybernetics.     

Real-time 2D–3D filtering using order statistics based algorithms

The paper presents a review of the author’s own results obtained in the last several years. Some examples of real-time processing of 2D and 3D images are described. In particular, we discuss the noise model and objective criteria that can be applied to characterize the performance of the processing algorithms. Several proposed algorithms based on RM approach are compared with other known ones, demonstrating the advantages in noise suppressing and preservation of fine image details and edges. A number of 2D and 3D image denoising filters are implemented on DSP, realizing real-time mode in the image processing. The performances of the proposed processing algorithms and the known ones are discussed and evaluated here.

基于VMI的配送中心订货点仿真研究*

在实施供应商管理库存的条件下,根据客户订货前置期的历史统计数据或分布函数,通过仿真研究模拟配送中心的订货流程,借助Arena软件实现了对配送中心最优订货点的求解。相对于传统的决策方法,仿真研究能获得更贴近实际的方案,同时通过仿真实例分析说明了其良好的实用价值。     

多重故障诊断方法研究*

针对复杂系统故障模式较多时难以满足实时性的要求,对传统降阶观测器的诊断方法进行了改进,提出了基于动态观测器的诊断方法。该方法通过设计一个动态观测器去检测一系列故障,其效果等同于使用了一族观测器。当把耦合故障表示成故障信号的组合时,该方法可推广到耦合故障的诊断中。     

Ramsey数R（3,28）新下界的并行计算*

寻找有效的参数集,构造素数阶循环图,用并行算法获得二色Ramsey数R（3,q）的新下界:R（3,28）≥164。     

AN INTRODUCTION TO LONG-MEMORY TIME SERIES MODELS AND FRACTIONAL DIFFERENCING

Abstract. The idea of fractional differencing is introduced in terms of the infinite filter that corresponds to the expansion of (1- B ) ^d . When the filter is applied to white noise, a class of time series is generated with distinctive properties, particularly in the very low frequencies and provides potentially useful long-memory forecasting properties. Such models are shown to possibly arise from aggregation of independent components. Generation and estimation of these models are considered and applications on generated and real data presented.     

A tabu search algorithm for order acceptance and scheduling

We consider a make-to-order production system, where limited production capacity and order delivery requirements necessitate selective acceptance of the orders. Since tardiness penalties cause loss of revenue, scheduling and order acceptance decisions must be taken jointly to maximize total revenue. We present a tabu search algorithm that solves the order acceptance and scheduling problem on a single machine with release dates and sequence dependent setup times. We analyze the performance of the tabu search algorithm on an extensive set of test instances with up to 100 orders and compare it with two heuristics from the literature. In the comparison, we report optimality gaps which are calculated with respect to bounds generated from a mixed integer programming formulation. The results show that the tabu search algorithm gives near optimal solutions that are significantly better compared to the solutions given by the two heuristics. Furthermore, the run time of the tabu search algorithm is very small, even for 100 orders. The success of the proposed heuristic largely depends on its capability to incorporate in its search acceptance and scheduling decisions simultaneously.