The moderation effects of mobile technology advancement and system barrier on m-commerce channel preference behavior

Information Systems and e-Business Management - Mobile commerce, or m-commerce, has quickly become a powerful, indispensable approach for diverse business to consumer (B2C) industries to secure...     

Book Reviews

Artificial Intelligence Terminology: A Reference Guide Colin Beardon
Expert Systems: A Decision Support Approach - With Applications in Management and Finance M. Klein and L. B. Methlie, Addison
The Logical Basis for Computer Programming, Vol. 2: Deductive Systems Zohar Manna and Richard
Prolog Programming for Artificial Intelligence Ivan Bratko     

交流采样技术及其DSP实现方法

本文提出了对电力系统参数进行交流采样的设计思想．结合实例介绍以TMS320C240DSP与高速14位A／D转换器AD7863构成的数据采集系统，给出了采样算法、硬件电路及软件流程等。     

Distributed Computing Systems

The 2nd International Conference On Distributed Computing Systems was held in Paris, France, 8–10 April, 1981. This meeting was organized by the Institut National de Recherche en Informatique et Automatique (INRIA) and the Laboratoire de Recherche en Informatique (LRI), with strong support from the International Committee on Distributed Computing of the IEEE. Sponsored by the IEEE Computer Society, A.C.U., A.F.C.E.T., C.N.E.T., C.N.R.S., E.R.O., and the I.F.I.P. Technical Committees 7 and 10, this was the second of a series of conferences which are expected to be held every eighteen months on the subject of Distributed Computing.The conference, which attracted more than 500 participants, was divided into the following topical sessions: (1) Opening Session, (2) Distributed Systems Structure, (3) Architecture, (4) Semantics of Parallel Programming, (5) Software Engineering for Distributed Systems, (6) Distributed Databases, (7) Performance Analysis, (8) Security and Reliability, (9) Distributed Scheduling, (10) Local Area Networks Applications, (11) Distributed Systems in Specific Applications, (12) Languages Constructs & Semantics of Parallel Programming, (13) Local Area Networks and Applications, and (14) Distributed Systems Structure.A detailed report on the conference, with emphasis on topics of special relevance to this Journal, is featured below.     

Book Reviews

The Handbook of Brain Theory and Neural Networks Michael A. Arbib (Ed.)
Virtual Reality Systems John Vince
The Uncertain Reasoner's Companion J. B. Paris     

Variable precision logic

Variable precision logic is concerned with problems of reasoning with incomplete information and resource constraints. It offers mechanisms for handling trade-offs between the precision of inferences and the computational efficiency of deriving them. Two aspects of precision are the specificity of conclusions and the certainty of belief in them; we address primarily certainty and employ censored production rules as an underlying representational and computational mechanism. These censored production rules are created by augmenting ordinary production rules with an exception condition and are written in the form “if A then B unless C”, where C is the exception condition.From a control viewpoint, censored production rules are intended for situations in which the implication A ⇒ B holds frequently and the assertion C holds rarely. Systems using censored production rules are free to ignore the exception conditions when resources are tight. Given more time, the exception conditions are examined, lending credibility to high-speed answers or changing them. Such logical systems, therefore, exhibit variable certainty of conclusions, reflecting variable investment of computational resources in conducting reasoning. From a logical viewpoint, the unless operator between B and C acts as the exclusive-or operator. From an expository viewpoint, the “if A then B” part of censored production rule expresses important information (e.g., a causal relationship), while the “unless C” part acts only as a switch that changes the polarity of B to ¬B when C holds.Expositive properties are captured quantitatively by augmenting censored rules with two parameters that indicate the certainty of the implication “if A then B”. Parameter δ is the certainty when the truth value of C is unknown, and γ is the certainty when C is known to be false.     

uIP在S3C44BOX上的移植研究及webserver实现

对于32位嵌入式系统来说,可以移植功能强大的TCP/IP协议栈来实现复杂的网络功能。但对于某些简单的应用,完全可以用uIP来代替,以降低移植的复杂性,同时也节约了系统资源。本文介绍一种微型TCP/IP协议栈uIP在S3C44BOX上的移植应用,同时实现了webserver功能。     

Cerny’s Conjecture for Automata with Simple Idempotents

Cybernetics and Systems Analysis - In this paper, two tight bounds of the ?erny function C (A) are obtained for automata with simple idempotents (SI-automata). It is shown that C (A) = n-1 for...     

基于C/S和B/S结构的办公工作流管理系统的设计

在分析了基于Lotus Domino/Notes办公工作流管理系统的现状和存在不足的基础上,结合企业实际需要,提出了一个基于C/S和B/S双模式的办公工作流管理系统的设计思想,着重对双模式下软件设计、工作流建模和代码重用等问题进行了详细的讨论,并给出了相应的实现方法.     

AiM86 — automation in manufacturing

The sra International Conference: AiM86 — Automation in Manufacturing, was held in The World Trade Centre in Singapore from 18–21 November 1986. The event was organised by the sra Singapore Robotics & Automation Association in conjunction with MetalAsia86, the 4th Asian International Machine Tool & Metalworking Show, AutomAsia86, the 3rd South East Asian International Manufacturing Technology & Robotics Show.The conference was organised in six sessions: (1) Human Factors, (2) Automated Quality Assurance, (3) Sensory Systems, (4) Automated Manufacturing Systems i, (5) Automated Manufacturing Systems ii, (6A) Robotics, (6B) cad/cam. 36 papers were presented by internationally recognised experts.We present below a report on the lectures given at the conference.     

The formation of virtual organizations by means of electronic institutions in a 3D e-Tourism environment

In this article we showcase an agent-mediated B2C and B2B e-Marketplace. This e-Marketplace is part of the social and immersive 3D e-Tourism environment “Itchy Feet”. We give an overview of the framework that forms the basis of the e-Marketplace and show how it is used to create B2C-, B2B- and Virtual Organizations that are visualized in a 3D Virtual World. This interface provides users with an intuitive and easy way to interact with humans and software agents by means of a 3D Virtual World. The business logic is realized by autonomous software agents offering services to customers. The e-Marketplace is regulated by Electronic Institutions to ensure that all participants adhere to the rules of the market. The article is concluded with a detailed discussion on bridging the gaps between Multi-Agent Systems and 3D Virtual Worlds and the preliminary results of a conducted usability study of “Itchy Feet”.     

B+树阶数m的最优选取

本文指出对普通的B^ 树作了一定的限制后，当选择B^ 树适当的阶数m时，对B^ 树索引文件的时间和空间利用率有一个最优的设计过程，分别给出了应用在两种数据库系统模型中的B^ 树索引文件结构：（1）具有有限内存的数据库系统（Database Systems with Limited Amount of Main Memory,简称为DBSLAM），在DBSLAM模型中，我们只是缓存B^ 树中的部分结点；（2）具有极大内存的数据库系统（Database Systems with Very Large Amount of Main Memory，简称为DBSVLAM）,在DBSVLAM模型中，我们将缓存B^ 树中所有的结点，基于以上两种模型，我们分别建立了两个不同的时空开销模型，并以此进行了优化设计。     

Failure detection,identification and accommodation based on a new accommodation filter

This note is a comment on the paper of B. C. Moon and Z. Bien (Failure detection, identification and accommodation based on a new accommodation filter) 1991, Int. J. Systems Sci., 22, 1025. The authors give an original formulation of the problem of failure detection of sensors and actuators based on a state reconstruction via observers. In this response, we follow the proposed method which is simplified and compared to a more direct approach.     

Platonic beasts: Spherically symmetric multilimbed robots

We describe a new class of spherically symmetric, high degree of freedom robots called platonic beasts. A robot in this family is kinematically equivalent to a symmetric polyhedron, such as one of the Platonic solids, with identical multi-purpose limbs attached to its vertices. The symmetry and regularity of the design have several advantages including robustness to toppling, novel gaits such as therolling gait, and fault tolerance.We describe the design and programming of a prototype platonic beast robot that we have built in our lab. The robot has four limbs, each with three degrees of freedom, and is controlled by a network of four embedded 32-bit microcontrollers. We also discuss the general features of these robots, including locomotion using the rolling gait and the implications of its novel features.This work was supported in part by NSERC, the Institute for Robotics and Intelligent Systems, and the BC Advanced Systems Institute. Portions of this paper were presented at the IEEE Int. Conference on Robotics and Automation, 1994.     

On the Fixed-Parameter Tractability of the Maximum Connectivity Improvement Problem

Theory of Computing Systems - In the Maximum Connectivity Improvement (MCI) problem, we are given a directed graph G = (V,E) and an integer B and we are asked to find B new edges to be added to G...     

含一类未匹配不确定定量的非线性系统鲁棒调节器设计

本文研究含一类未匹配不确定量的非线性状态调节问题，提出一种基于李亚普诺夫方法的鲁棒调节器设计方案。该调节器能保证状态一致有界，且经过有限时间后收敛于预先指定的任意小原点邻域。     

Managing the diffusion of organizational learning behavior

This paper addresses the need for organizations to manage the transformation from traditional hierarchical models to ‘learning organizations.’ We propose a five-stage methodology useful in the diffusion of behaviors associated with organizational learning (OL) theory. The stages of OL diffusion are (1) agenda-setting, (2) matching, (3) restructuring, (4) clarifying, and (5) routinizing. Each stage involves both managerial (structural) or member (cultural) influences on organizational memory (OM). Salient definitions are provided and the OM aspects and deliverables associated with each OL diffusion stage are discussed. This research provides a theoretically-driven approach to help change agents diffuse and realize the potential of OL behavior in the firm.

Solution of an open problem on pseudo-Archimedean t-norms

An open problem on pseudo-Archimedean t-norms, recently posed by B. De Baets and R. Mesiar [B. De Baets, R. Mesiar, Triangular norms on product lattices, Fuzzy Sets and Systems 104 (1) (1999) 61-75], is discussed.     

物联网智能家居系统的研究与设计

智能家居有广阔的应用前景.针对传统家居控制上的缺陷,采用B/S架构设计了智能家居管理系统,采用ZigBee无线网络实现对各类家居设备的信息采集和指令控制.用SQL Server 2005数据库管理系统与家庭网关,进行数据的传递与接收.通过Web浏览器,用户可以实现对智能家居系统的管理.