Narrow Results

The present paper proposes a new investigation area in automata theory — jumping finite automata. These automata work like classical finite automata except that they read input words discontinuously — that is, after reading a symbol, they can jump over some symbols within the words and continue their computation from there. The paper establishes several results concerning jumping finite automata in terms of commonly investigated areas of automata theory, such as decidability and closure properties. Most importantly, it achieves several results that demonstrate differences between jumping finite automata and classical finite automata. In its conclusion, the paper formulates several open problems and suggests future investigation areas.

This paper outlines a framework which supports the use of multiple perspectives in system development, and provides a means for developing and applying systems design methods. The framework uses "viewpoints" to partition the system specification, the development method and the formal representations used to express the system specifications. This VOSE (viewpoint-oriented systems engineering) framework can be used to support the design of heterogeneous and composite systems. We illustrate the use of the framework with a small example drawn from composite system development and give an account of prototype automated tools based on the framework.

The article is an overview of the biotechnology market in Shanghai. It touches on the history of the biotech industry in Shanghai, the research and development, the hi-tech parks and the human resources.

This chapter is an extract of the model on biological evolution reported in the book [Brender McNair, 2016a]. The focus here is on presenting the Mereon-related aspects of the outcome rather than the book’s details of a variety of theories on biological evolution, from Darwin and Lamarck till today. The most important outcome of the study is how the Mereon Matrix’s template information model solved decades of combat between seemingly antagonistic theories on evolution; it demonstrates that and how all the evolutionary theories are independent, cooperative theories.

In conclusion of the study as a whole, it seems plausible that the template information model of the Mereon Matrix might be the General System Theory that von Bertalanffy called for.