计算机集成制造系统（CIMS）国际发展动态

ＣＩＭＳ（计算机集成制造系统）是世界上高技术开发项目之一．ＣＩＭＳ是涉及广泛技术领域的复杂系统，当前的研究课题覆盖了ＣＩＭ中方法学、技术和应用领域的部分内容．本文简要讨论ＣＩＭＳ的国际发展动态．     

支持向量机和一类模糊推理系统的等效性及其应用

支持向量机（ＳＶＭ）和模糊推理系统（ＦＩＳ）分别源于统计学习理论（ＳＬＴ）和认知学两个不同的领域．在一定约束条件下,提出并证明了ＳＶＭ 和一类基于规则的ＦＩＳ的函数等效性定理．在此基础上,提出基于ＳＶＭ 学习过程的ＦＩＳ（ＭＢＦＩＳ）的设计方法．ＭＢＦＩＳ继承了ＳＶＭ 良好的泛化能力和对“维数灾难”的避免能力,也继承了基于规则的ＦＩＳ的显式推理能力．Ｂｅｎｃｈｍａｒｋ数据实验表明,ＭＢＦＩＳ具有良好的分类性能．     

支持向量机和一类模糊推理系统的等效性及其应用

支持向量机（ＳＶＭ）和模糊推理系统（ＦＩＳ）分别源于统计学习理论（ＳＬＴ）和认知学两个不同的领域．在一定约束条件下,提出并证明了ＳＶＭ 和一类基于规则的ＦＩＳ的函数等效性定理．在此基础上,提出基于ＳＶＭ 学习过程的ＦＩＳ（ＭＢＦＩＳ）的设计方法．ＭＢＦＩＳ继承了ＳＶＭ 良好的泛化能力和对“维数灾难”的避免能力,也继承了基于规则的ＦＩＳ的显式推理能力．Ｂｅｎｃｈｍａｒｋ数据实验表明,ＭＢＦＩＳ具有良好的分类性能．

     

浅析Windows95的自举与卸载

本文剖析了Ｗｉｎｄｏｗｓ９５的自举过程，指出Ｗｉｎｄｏｗｓ９５自举时不依于ＤＯＳ的实模式内核文件：ＭＳ－ＤＯＳ扣的ＩＯ．ＳＹＳ和 ＭＳＤＯＳ．ＳＹＳ，或者ＩＢＭＤＯＳ的ＩＢＭＢＩＯ．ＣＯＭ和ＩＢＭＤＯＳ．ＣＯＭ和ＩＢＭＤＯＳ．ＣＯＭ。     

MIS系统建设的一个新的切入点

ＣＳＣＷ和ＷＦＭＳ是计算机领域一个新的研究方向,用ＣＳＣＷ和ＷＦＭＳ方法去扩充ＭＩＳ系统,是ＭＩＳ系统建设的新的切入点。本语文探讨了用ＣＳＣＷ和ＷＦＭＳ方法扩充ＭＩＳ系统的可能性和实施策略。     

一种基于C扩展的SIMD的并行程序设计语言

ＳＩＭＣ（ＳＩＭＤＣ）是通过对Ｃ语言进行语法扩展（未进行语义扩展）得到的支持ＳＩＭＤ（ｓｉｎｇｌｅｉｎｓｔｒｕｃｔｉｏｎｍｕｌｔｉｐｌｅｄａｔａ）并行程序设计的并行语言．ＳＩＭＣ可方便地描述ＳＩＭＤ并行算法，具有ＳＩＭＤ计算机系统结构定义能力，可支持多种系统结构上的并行算法研究．ＳＩＭＣ语言的模拟执行系统已在单机上实现，并作为作者研究开发的ＳＩＭＤ计算机程序设计及性能评价模拟环境的并行程序设计语言，用于ＳＩＭＤ计算机算法及结构的性能评价.     

CIMS国际标准现状与发展要点

一、引言由于ＣＩＭＳ是一项综合性高技术,相应的ＣＩＭＳ标准也就十分繁多,并发展很快。就标准的有效范围大小来说,标准的类别主要有国际标准、国家标准和集团（公司）标准。其中,国际标准影响最大,且往往被采用为国家标准和集团标准。因此,ＣＩＭＳ国际标准是ＣＩＭＳ标准发展的主线。在国际上,国际标准化工作通常由国际标准化组织（ＩＳＯ）和国际电工委员会（ＩＥＣ）分工负责,ＩＥＣ主要负责电工、电子领域,其余各领域均属ＩＳＯ的工作范畴。由于ＣＩＭＳ标准涉及许多具体的领域,因而在ＩＳＯ和ＩＥＣ中有多个技术委员会（Ｔ…     

中小企业管理信息系统总体设计研究

本文首先从中小企业崛起的意义、我国中小企业目前面临的困境与挑战及建设中小企业ＭＩＳ的意义三个方面阐述了ＭＩＳ建设的迫切性,然后给出了基于中小企业ＭＩＳ建设目标的中小企业ＭＩＳ的体系结构设计,接着讨论了中小企业ＭＩＳ网络支撑环境的总体设计,最后从实践的角度给出了中小企业ＭＩＳ建设的几点建议．     

城市管理信息系统UMIS

将传统的ＭＩＳ应用于与城市相关的信息管理领域，实际上是“只见树木不见森林”的操作，因为传统的ＭＩＳ无法与城市地图相连，从而不能从地理概念上进行操作。而一般的商用ＧＩＳ软件仅侧重于地图与属性信息的管理，又缺乏ＭＩＳ的辅助办公功能。本文提出以ＣＡＤ为基础、以图文链结为核心的城市管理信息系统模式，以解决ＭＩＳ和ＧＩＳ相结合的问题     

自已动手架设UBB讨论区

安装ＡＣＴＩＶＥ ＰＥＲＬ ｌ由于 ＵＬＴＩＭＡＴＥ ＢＨＬＬＥＴＩＮＢＯＡＲＤ ＭＭ．Ｍ＊ｕ ＣＧＩ撰写的讨论区程序,因此如果要在ＷＩＮＤＯＷＳ环境下执行,就必须安装ＰＥＲＬ执行程序。所以首先请到这里下载免费的ＡＣＴＩＶＥＰＥＲＬ程序：ＨＴＴＰ：／／ＷＷＷ．ＡＣＴＩＶＥＳＴＡＴＥ．ＣＯＭ／ＤＯＷＮ－ＬＯＡＤ／ＡＣＴＩＶＥＰＥＲＬ／ＷＩＮＤＯＷＳ／５．６／ＡＣＴＩＶＥＰＥＲＬ－５．６．０．６２３－ＭＳＷＩＮ３２－Ｘ８６－ＭＵＬＴＩ—ＴＨＲＥＡＤ．ＭＳＩ。 下载完后,请直接执行ＡＣＴＩＶＥＰＥＲＬ－５．…     

Emergence of auto-catalytic structure in stochastic self-reinforcing reaction networks

We consider a chemical reaction network model in which some of the reactions are stochastic and depend on past history. In this chemical reaction network, we found the emergence of autocatalytic sets (ACS) and complex dynamics in which ACS are repeatedly created and destroyed. This work was presented in part at the 7th International Symposium on Artificial Life and Robotics, Oita, Japan, January 16–18, 2002     

Distributed real-time embedded systems: Recent advances, future trends and their impact on manufacturing plant control

Real-time and embedded systems have historically been small scale. However, advances in microelectronics and software now allow embedded systems to be composed of a large set of processing elements, and the trend is towards significant enhanced functionality, complexity, and scalability, since those systems are increasingly being connected by wired and wireless networks to create large-scale distributed real-time embedded systems (DRES). Such embedded computing and information technologies have become at the same time an enabler for future manufacturing enterprises as well as a transformer of organizations and markets. This paper discusses opportunities for using recent advances in the DRES area in the deployment of intelligent, adaptive, and reconfigurable manufacturing plant control architectures.     

Intelligent control for urban traffic systems

This paper proposes a hierarchically intelligent control procedure to resolve certain aspects of the urban traffic management problem. Three levels of the hierarchical system: the linguistic organization, the coordinator, and the on-line controller are responsible, respectively, for the management of traffic in city, neighborhood, and single intersection. Traffic situations are partitioned into five different categories, ranging from sparse to immobile traffic. For each category (except the immobile traffic which is not probed in this paper) a suitable control scheme is introduced. The control at the lowest level, single intersection, will be exerted by optimizing an assigned subgoal. Each coordination level will manage the interaction among the single intersections within its jurisdiction. A learning algorithm is incorporated at this level in order to reduce considerably the need for extensive a priori numerical computations.     

Positive invariance, monotonicity and comparison of nonlinear systems

In this paper, the interrelation between positive invariance, monotonicity and comparison of iterated nonlinear systems defined in partially ordered sets is studied. First, necessary and sufficient conditions guaranteeing the positive invariance of sets defined by relations of the form v(x)≤w with respect to nonlinear systems are established. Then, various characterizations of monotone nonlinear systems are developed and a connection between positive invariance and monotonicity is established. Finally, necessary and sufficient conditions for a, not necessarily monotone, nonlinear system to be a comparison system are established. No specific algebraic structure is necessary for developing the main results of this work. Numerical examples illustrating the applicability of all these results to the case of discrete-time dynamical systems are also given.     

基于变迁系统的反应型控制系统建模与分析

文中通过对基本变迁系统进行相应的扩充，分别给并发、实时及混成等3个不同轴象层次反应型控制系统的计算模型，并分析它们各自不同的特点。     

Expert support systems design issues

Expert support systems (ESSs) promise valuable support to decision-makers in business settings where a number of complex and interacting decisions must be accommodated. Even though the proliferation of ESSs in business has been limited, the issues involved in designing such systems need to be addressed so that development resources are well utilized and the end product is successful. This paper addresses the following questions: What are the factors that affect the successful design of an ESS? And how do these factors affect the design process? These factors are identified by considering factors that are relevant to MIS development and how they relate to the new technology of expert systems. A prototype ESS is used to illustrate the issues addressed in this paper.     

On the necessity of looped-functionals arising in the analysis of pseudo-periodic,sampled-data and hybrid systems

Looped-functionals have been shown to be relevant for the analysis of a wide variety of systems. However, the conditions obtained in previous papers on the analysis of sampled-data, impulsive and switched systems have only been shown to be sufficient for the characterisation of their associated discrete-time stability conditions. We prove here that these conditions are also necessary. This result is derived for a wider class of linear systems, referred to as impulsive pseudo-periodic systems, that encompass periodic, impulsive, sampled-data and switched systems as special cases.     

Integrating job parallelism in real-time scheduling theory

We investigate the global scheduling of sporadic, implicit deadline, real-time task systems on multiprocessor platforms. We provide a task model which integrates job parallelism. We prove that the time-complexity of the feasibility problem of these systems is linear relatively to the number of (sporadic) tasks for a fixed number of processors. We propose a scheduling algorithm theoretically optimal (i.e., preemptions and migrations neglected). Moreover, we provide an exact feasibility utilization bound. Lastly, we propose a technique to limit the number of migrations and preemptions.     

An impulsive dynamical systems framework for reset control systems

Impulsive dynamical systems is a well-established area of dynamical systems theory, and it is used in this work to analyse several basic properties of reset control systems: existence and uniqueness of solutions, and continuous dependence on the initial condition (well-posedness). The work scope is about reset control systems with a linear and time-invariant base system, and a zero-crossing resetting law. A necessary and sufficient condition for existence and uniqueness of solutions, based on the well-posedness of reset instants, is developed. As a result, it is shown that reset control systems (with strictly proper plants) do not have Zeno solutions. It is also shown that full reset and partial reset (with a special structure) always produce well-posed reset instants. Moreover, a definition of continuous dependence on the initial condition is developed, and also a sufficient condition for reset control systems to satisfy that property. Finally, this property is used to analyse sensitivity of reset control systems to sensor noise. This work also includes a number of illustrative examples motivating the key concepts and main results.