Coding distributive lattices with Edge Firing Games

In this note, we show that any distributive lattice is isomorphic to the set of reachable configurations of an Edge Firing Game. Together with the result of James Propp, saying that the set of reachable configurations of any Edge Firing Game is always a distributive lattice, this shows that the two concepts are equivalent.     

State observability and condition observability for a class of interacting discrete event systems

This paper introduces the concepts of state observability and condition observability for condition systems, a class of systems composed of discrete state components which interact via discrete binary signals called conditions. Given a set of externally observed conditions, state observability implies that the state of the system can be determined from the observations, and condition observability implies that all unobserved input and output conditions of the system can be determined from the observations. In this paper, we present a class of systems which is state observable and condition observable. We present a method to synthesize an observer system to provide state and condition signal estimates for a single component subsystem.     

Stability analysis for discrete linear systems with state saturation by a saturation-dependent Lyapunov functional

This paper concerns the stability analysis problem of discrete linear systems with state saturation using a saturation-dependent Lyapunov functional.We introduce a free matrix characterized by the sum of the absolute value of each elements for each row less than 1,which makes the state with saturation constraint reside in a convex polyhedron.A saturation-dependent Lyapunov functional is then designed to obtain a sufficient condition for such systems to be globally asymptotically stable.Based on this stability criterion,the state feedback control law synthesis problem is also studied.The obtained results are formulated in terms of bilinear matrix inequalities that can be solved by the presented iterative linear matrix inequality algorithm.Two numerical examples are used to demonstrate the effectiveness of the proposed method.     

A robust watermarking algorithm based on QR factorization and DCT using quantization index modulation technique

We propose a robust digital watermarking algorithm for copyright protection.A stable feature is obtained by utilizing QR factorization and discrete cosine transform(DCT) techniques,and a meaningful watermark image is embedded into an image by modifying the stable feature with a quantization index modulation(QIM) method.The combination of QR factorization,DCT,and QIM techniques guarantees the robustness of the algorithm.Furthermore,an embedding location selection method is exploited to select blocks with small modifications as the embedding locations.This can minimize the embedding distortion and greatly improve the imperceptibility of our scheme.Several standard images were tested and the experimental results were compared with those of other published schemes.The results demonstrate that our proposed scheme can achieve not only better imperceptibility,but also stronger robustness against common signal processing operations and lossy compressions,such as filtering,noise addition,scaling,sharpening,rotation,cropping,and JPEG/JPEG2000 compression.     

浅析多媒体技术在《高等数学》教学中的运用

随着现代科学技术的飞速发展,各行各业都先后采用了多媒体技术。多媒体技术应用于教育,对教育领域产生了重要而深远的影响。运用多媒体教学．有助于学生活跃思路、开阔视野、扩展知识面,可培养和提高学生分析问题和解决问题的能力。     

编程绘制数学曲线的探讨

通过编写程序输出数学曲线,具有一定的趣味性,可以开阔编程视野。只要具有初级程序设计能力,再结合有关数学知识就能实现。程序设计的思想是利用数学公式求得多个位置值,用Tab函数定位,用Print语句在这些位置上分别输出符号“”,从而得到由多个“”组成的数学曲线,例如三角函数曲线、抛物线曲线、半圆曲线及概率曲线等。     

MicroPort: A general simulation platform for seaport container terminals

Seaport container terminals are essential nodes in sea cargo transportation networks. As such, the operational efficiency of container terminals in handling containers passing through them plays a critical role in a globalized world economy. Many models and algorithms have been developed to address various decision problems in container terminals to help improve operational efficiency. These decision support tools are usually used separately for specific purposes. However, the problems they are trying to tackle are often interrelated. Therefore, in this regard, an evaluation tool which can capture as many operational conditions as possible for different decision problems is necessary. This paper introduces a general simulation platform, named MicroPort, which aims to provide an integrated and flexible modeling system for evaluating the operational capability and efficiency of different designs of seaport container terminals. The software structure of MicroPort comprises three programming layers: (1) the Functions layer; (2) the Applications layer; and (3) the Extensions layer. Different layers are bound by Application Programming Interfaces (APIs). Basic functions built in the Functions layer support the Applications layer in which major operation processes can be modeled by an agent-based method. External modules and decision support tools in the Extensions layer then use APIs to adjust the system to produce suitable simulation models for specific purposes.     

Robust stability and stabilization of discrete singular systems with interval time-varying delay and linear fractional uncertainty

The robust stability and robust stabilization problems for discrete singular systems with interval time-varying delay and linear fractional uncertainty are discussed. A new delay-dependent criterion is established for the nominal discrete singular delay systems to be regular, causal and stable by employing the linear matrix inequality (LMI) approach. It is shown that the newly proposed criterion can provide less conservative results than some existing ones. Then, with this criterion, the problems of robust stability and robust stabilization for uncertain discrete singular delay systems are solved, and the delay-dependent LMI conditions are obtained. Finally, numerical examples are given to illustrate the e?ectiveness of the proposed approach.     

Discrete cost optimization of composite floor system using social harmony search model

This paper presents a social harmony search algorithm model for the cost optimization of composite floor system with discrete variables. The total cost function includes the costs of concrete, steel beam and shear studs. The design is based on AISC load and resistance factor design specifications and plastic design concepts. Here, six decision variables are considered for the objective function. In order to demonstrate the capabilities of the proposed model in optimizing composite floor system designs, two design examples taken from the literature are studied. It is shown that use of the presented model results in significant cost saving. Hence, it can be of practical value to structural designers. Also the proposed model is compared to the original harmony search, its recently developed variants, and other meta-heuristic algorithms to illustrate the superiority of the present method in convergence and leading to better solutions. In order to investigate the effects of beam spans and loadings on the cost optimization of composite floor system a parametric study is also conducted.     

A new algorithm to compute the discrete inverse radon transform

The aim of this paper is to compute the discrete inverse Radon transform over ⁿ . The Radon transform is a function with domainS ^n–1×. It is shown that under different measure this function can be defined with domain ⁿ . In this case one can compute the discrete inverse Radon transform in the Cartesian coordinate system without interpolating from polar to Cartesian coordinates or using the backprojection operator.