A formal approach to negotiating agents development

This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communication module, a control module, a reasoning module, and a knowledge base. The control module is expressed as a statechart, and the reasoning module as a defeasible logic program. A strategy specification therefore consists of a statechart, a set of defeasible rules, and a set of initial facts. Such a specification can be dynamically plugged into an agent shell incorporating a statechart interpreter and a defeasible logic inference engine, in order to yield an agent capable of participating in a given type of negotiations. The choice of statecharts and defeasible logic with respect to other formalisms is justified against a set of desirable criteria, and their suitability is illustrated through concrete examples of bidding and multi-lateral bargaining scenarios.     

关于一种网格运行时结构的若干注记

进程是传统计算机系统的一个核心概念，自1960年出现以来一直沿用至今，进程的一个主要目的是为主体提供一种运行时结构，在操作系统和处理器硬件支持下，代表主体访问和使用各种资源，与传统的单机和并行机计算平台相比，网格计算机中进程所对应的概念面临新的挑战，包括网格资源繁杂、自主控制的条件下的单一系统映像和资源的共享与协同、与特定操作系统的松耦合、时间和空间的流动性、更高级的交互性，提出一种称为网程(grip)的运行时结构，试图解决上述问题，网程运行在网格操作系统之上，代表网格主体，访问和使用网格资源。     

Stochastic colored Petri net models of flexible manufacturing systems: Material handling systems and machining

This paper presents an overview of SCPN theory, a set of three generic SCPN submodels, a behavior-preserving methodology for combining those submodels into a larger model, and a combined model. The three submodels include a machine with failures, repairs, and limited I/O buffers, and two types of conveyor submodels—a simple conveyor segment and a conveyor segment at a machine.     

An experimental remote handling system

An experimental robotic remote handling system is described which has been constructed in order to investigate various engineering problems in advanced remote handling such as the man-machine interface, system control and communication. The device consists of a mobile and a control station. The mobile station comprises an electrical manipulator having seven degrees of freedom, a TV camera, a control sub-computer, a servo-control unit, radio transmitters and receivers, batteries, etc., which are mounted on a crawler-type vehicle. The control station is equipped with the master arm of the manipulator, radio transmitters and receivers, a TV monitor, a main control computer and its peripheral devices, etc. The manipulator can be operated in either a master-slave, a playback or a programmed control mode with the assistance of control computers. Communication between the mobile and the control stations is made using optical fibres or a radio link.     

A vertical and floor line-based monocular SLAM system for corridor environments

In this paper, we propose a vertical and floor line-based monocular simultaneous localization and mapping (SLAM) system which utilizes vertical lines, floor lines, and vanishing points as sensory input to perform robust SLAM in corridor environments. By combining three map feature types, our design can help a robot to perform accurate pose estimation, repeatable loop closure, and to construct a more expressive environmental map. As a primitive element of a geometric structure, a line segment has one additional dimension compared to a point feature, thereby allowing the use of line segments to easily represent a geometric structure using a smaller number of features. This system presents map features on a 2D ground space: the vertical line as a projection point, the floor line as the original line, and the vanishing point as a directional vector. Although the vertical line, floor line, and vanishing point use different parameterization and initialization methods, their measurement models are integrated into a unified extended Kalman filter (EKF) framework. Experimental results show that our system can be deployed in a structured indoor environment as a suitable SLAM solution.     

Exact combinatorial bounds on the probability of overfitting for empirical risk minimization

Three general methods for obtaining exact bounds on the probability of overfitting are proposed within statistical learning theory: a method of generating and destroying sets, a recurrent method, and a blockwise method. Six particular cases are considered to illustrate the application of these methods. These are the following model sets of predictors: a pair of predictors, a layer of a Boolean cube, an interval of a Boolean cube, a monotonic chain, a unimodal chain, and a unit neighborhood of the best predictor. For the interval and the unimodal chain, the results of numerical experiments are presented that demonstrate the effects of splitting and similarity on the probability of overfitting.     

Developing a vision-based auto-recharging system for mobile robots

This article describes a vision-based auto-recharging system that guides a mobile robot moving toward a docking station. The system contains a docking station and a mobile robot. The docking station contains a docking structure, a control device, a charger, a safety detection device, and a wireless RF interface. The mobile robot contains a power detection module (voltage and current), an auto-switch, a wireless RF interface, a controller, and a camera. The controller of the power detection module is a Holtek chip. The docking structure is designed with one active degree of freedom and two passive degrees of freedom. For image processing, the mobile robot uses a webcam to capture a real-time image. The image signal is transmitted to the controller of the mobile robot via a USB interface. We use an Otsu algorithm to calculate the distance and orientation of the docking station from the mobile robot. In the experiment, the proposed algorithm guided the mobile robot to the docking station.     

Bayesian recognition of local 3-d shape by approximating image intensity functions with quadric polynomials

The recognition in image data of viewed patches of spheres, cylinders, and planes in the 3-D world is discussed as a first step to complex object recognition or complex object location and orientation estimation. Accordingly, an image is partitioned into small square windows, each of which is a view of a piece of a sphere, or of a cylinder, or of a plane. Windows are processed in parallel for recognition of content. New concepts and techniques include approximations of the image within a window by 2-D quadric polynomials where each approximation is constrained by one of the hypotheses that the 3-D surface shape seen is either planar, cylindrical, or spherical; a recognizer based upon these approximations to determine whether the object patch viewed is a piece of a sphere, or a piece of a cylinder, or a piece of a plane; lowpass filtering of the image by the approximation. The shape recognition is computationally simple, and for large windows is approximately Bayesian minimum-probability-of-error recognition. These classifications are useful for many purposes. One such purpose is to enable a following processor to use an appropriate estimator to estimate shape, and orientation and location parameters for the 3-D surface seen within a window.     

Formalized analysis of structural characteristics of large complexsystems

Macrostructural modelization is paramount to the development of large complex systems (LCS). The paper explores the macrostructural modelization of LCS in terms of a block diagram based model and a grammar based model. Firstly, the macrostructural modelization problem of LCS is formulated. Secondly, a block diagram based model is proposed and established for LCS. Specifically, two general-purpose information-processing modules are proposed and constructed, called perception cube and decision spheroid. Thirdly, a grammar based model is proposed and established for LCS through applying formal language theory to the block diagram based model. Specifically, perception cube and decision spheroid are visually represented as context-free grammars, named fusion grammar and synthesis grammar, respectively. Through a stratified constructive linkup between a stream of bottom-up growing fusion grammars and a stream of top-down growing synthesis grammars, a level of LCS is constructively defined and accordingly represented as a context-free grammar, named level grammar. Then, a whole LCS is represented as a context-free grammar through a compounding of all level grammars. Finally, a case study is presented to demonstrate the potential usability of the proposed and established models of LCS     

Modeling and Control of Hybrid Machine Systems – a Five-bar Mechanism Case

A hybrid machine (HM) as a typical mechatronic device, is a useful tool to generate smooth motion, and combines the motions of a large constant speed motor with a small servo motor by means of a mechnical linkage mechanism, in order to provide a powerful programmable drive system. To achieve design objectives, a control system is required. To design a better control system and analyze the performance of an HM, a dynamic model is necessary. This paper first develops a dynamic model of an HM with a five-bar mechanism using a Lagrangian formulation. Then, several important properties which are very useful in system analysis, and control system design, are presented. Based on the developed dynamic model, two control approaches, computed torque, and combined computed torque and slide mode control, are adopted to control the HM system. Simulation results demonstrate the control performance and limitations of each control approach.     

充电桩计量过程中输出与充电需求不匹配问题分析及处理

针对充电桩现场测试设备的充电需求与实际输出不一致,出现电压、电流不匹配的问题,设计了一套检测方案,构建出包括电流检测模块、电压检测模块和示波器检测模块的检测电路,通过采样电压和电流信号,计算出不同负载下充电桩输出电流和电压值,并设计了包括直流电能采集电路,由双通道AD转换AD7380、可编程增益放大器、可编程增益放大器、增益电阻Rg2和电源变换器、低通滤波器电容CL、低通滤波器电阻RL组成的检测电路,在检测电路中,为了提高检测效率,还设置了校正电路。通过试验,本研究方法分析直观,误差低。     

ROD-based hybrid TH precoding and combining for mmWave large-scale MIMO systems

Hybrid precoding is one of key techniques for millimeter wave (mmWave) large-scale multiple-input multiple-output (MIMO) systems. This paper considers a nonlinear hybrid precoding architecture which consists of a nonlinear unit, a reductive digital precoder and a constant modulus radio frequency (RF) precoder, and presents a novel hybrid Tomlinson-Harashima (TH) precoding and combining algorithm. Firstly, due to the intractability of the sum rates maximization problem for such a nonlinear hybrid precoding architecture, a tractable three-stage optimization problem is constructed through the lower bound of the sum rates, which allows the digital precoding matrix, the RF precoding matrix and the RF combining matrix to be optimized sequentially and independently. Then, in order to solve the three-stage optimization problem effectively, a novel row orthogonal decomposition (ROD) is defined. Based on the ROD, it is interesting that the necessary and sufficient condition of the optimal digital precoding matrix can be obtained, and a near-optimal RF precoding matrix can be derived. Finally, the optimization of the RF combining matrix is reformulated as a unimodular quadratic programming and solved by a generalized power method. Theoretical analyses and simulations indicate that the proposed ROD-based hybrid TH precoding and combining algorithm can offer a higher sum rates and a lower bit error rate with a comparable complexity in comparison to the previous works.     

Patchwork: A fast interpreter for a restricted dataflow language

We have built a system, Patchwork, that allows programs to be organized according to a dataflow model. In our implementation, application programs use Patchwork to assemble complex microcode programs for a graphics processor from a library of microcode modules. We describe a simple and efficient implementation, in which the only overhead incurred is a single extra level of indirection when invoking a module or when a module accesses inputs, outputs, or local storage. The implementation depends on being able to describe a distinct execution tree for the network, which obviates the need both for run-time monitoring of the execution and for movement of data. Thus, neither dataflow hardware nor a dataflow language is needed for the implementation. Patchwork supports flow-of-control constructs such as looping and branching, the assembly of complex modules from simpler ones, modules written in a variety of languages for a variety of different devices, the interleaved execution of several programs on a single processor, and the execution of a single program on a set of processors in parallel. An analysis showed that Patchwork contributed between 2 and 5% to the total running time of sample microcode programs.     

Animatronic shader lamps avatars

Applications such as telepresence and training involve the display of real or synthetic humans to multiple viewers. When attempting to render the humans with conventional displays, non-verbal cues such as head pose, gaze direction, body posture, and facial expression are difficult to convey correctly to all viewers. In addition, a framed image of a human conveys only a limited physical sense of presence—primarily through the display’s location. While progress continues on articulated robots that mimic humans, the focus has been on the motion and behavior of the robots rather than on their appearance. We introduce a new approach for robotic avatars of real people: the use of cameras and projectors to capture and map both the dynamic motion and the appearance of a real person onto a humanoid animatronic model. We call these devices animatronic Shader Lamps Avatars (SLA). We present a proof-of-concept prototype comprised of a camera, a tracking system, a digital projector, and a life-sized styrofoam head mounted on a pan-tilt unit. The system captures imagery of a moving, talking user and maps the appearance and motion onto the animatronic SLA, delivering a dynamic, real-time representation of the user to multiple viewers.     

Design of phononic materials/structures for surface wave devices using topology optimization

We develop a topology optimization approach to design two- and three-dimensional phononic (elastic) materials, focusing primarily on surface wave filters and waveguides. These utilize propagation modes that transmit elastic waves where the energy is contained near a free surface of a material. The design of surface wave devices is particularly attractive given recent advances in nano- and micromanufacturing processes, such as thin-film deposition, etching, and lithography, which make it possible to precisely place thin film materials on a substrate with submicron feature resolution. We apply our topology optimization approach to a series of three problems where the layout of two materials (silicon and aluminum) is sought to achieve a prescribed objective: (1) a grating to filter bulk waves of a prescribed frequency in two and three dimensions, (2) a surface wave device that uses a patterned thin film to filter waves of a single or range of frequencies, and (3) a fully three-dimensional structure to guide a wave generated by a harmonic input on a free surface to a specified output port on the surface. From the first to the third example, the resulting topologies increase in sophistication. The results demonstrate the power and promise of our computational framework to design sophisticated surface wave devices.     

Direct Reconstruction of a Displaced Subdivision Surface from Unorganized Points

In this paper we describe the generation of a displaced subdivision surface directly from a set of unorganized points. The displaced subdivision surface is an efficient mesh representation that defines a detailed mesh with a displacement map over a smooth domain surface and has many benefits including compression, rendering, and animation, which overcome limitations of an irregular mesh produced by an ordinary mesh reconstruction scheme. Unlike previous displaced subdivision surface reconstruction methods, our method does not rely on a highly detailed reconstructed mesh. Instead, we efficiently create a coarse base mesh, which is used to sample displacements directly from unorganized points, and this results in a simple process and fast calculation. We suggest a shrink-wrapping-like shape approximation and a point-based mesh simplification method that uses the distance between a set of points and a mesh as an error metric to generate a domain surface that optimally approximates the given points. We avoid time-consuming energy minimization by employing a local subdivision surface fitting scheme. Finally, we show several reconstruction results that demonstrate the usability of our algorithm.     

Prolog versus Kee — A case study

The selection of the software development tool for the development of an expert system is a difficult and often disputed decision. This paper describes a comparison of a knowledge engineering tool, Kee, and a general purpose language, Prolog, on concrete and real life example from AGATHA, an electronic circuit board diagnosis expert system.Prolog is a high-level programming language with flexible and powerful inference mechanisms. Kee is a big tool that supports a frame-based knowledge representation, an object-oriented programming style and a built-in rule system. It also offers a window environment suitable for rapid development of user-interface prototypes.Prolog's representation is more succinct, implicit and uses problem specific predicates and therefore leaves more room for personal programming styles. Kee is more verbose, explicit and uses standard templates. The maintainability of a Prolog implementation relies heavily on good documentation. In Kee, the unavoidable ‘escapes to Lisp’ require a maintainer to be fluent in Kee and Lisp.Both Prolog and Kee require a considerable investment in learning time.     

A new deterministic approach in a decision support system for ship’s trajectory planning

The paper introduces a Decision Support System for ships, developed to solve a problem of collision avoidance with static and dynamic obstacles. The system maps the decision making capability of a human (navigation) expert to solve the path planning problem for a ship in a complex navigation environment. It can be further developed to provide automatic control of a ship. It utilizes a new, fast and effective, deterministic method, called the Trajectory Base Algorithm, to calculate a safe, optimal path for a ship. The system structure, a detailed explanation of a new method, followed by results of simulation tests are all presented in the paper. The results proof a successful application of the method to solve a path planning problem for ships with the consideration of both static and dynamic obstacles in the environment, marine traffic regulations and dynamic properties of a ship, what makes this approach applicable in commercial systems. The approach can also be adapted for application in mobile robots path planning. The experimental results and ability of the system to achieve a new functionality of full autonomy show significance of this contribution to the development of Expert and Intelligent Systems domain. The author believes that autonomous systems constitute the future of Expert and Intelligent Systems.     

Cell modeling with reusable agent-based formalisms

Biologists are building increasingly complex models and simulations of cells and other biological entities, and are looking at alternatives to traditional representations. Making use of the object-oriented (OO) paradigm, the Unified Modeling Language (UML) and Real-time Object-Oriented Modeling (ROOM) visual formalisms, and the Rational Rose RealTime (RRT) visual modeling tool, we summarize a previously-described multi-step process for constructing top-down models of cells. We first construct a simple model of a cell using an architecture in which all objects are containers, agents, or passive objects. We then reuse these architectural principles and components to extend our simple cell model into a more complex cell, the goal being to demonstrate that encapsulation familiar to artificial intelligence researchers can be employed by systems biologists in their models. A red blood cell is embedded in a straight-forward manner within a larger system, which is in turn iteratively embedded within still larger systems, including a blood vessel, a circulatory system, a human being, and a simple ecology. Each complexity increment reuses the same architectural principles, including the use of agents, each of which continuously either moves passive small molecules between containers, or transforms these passive objects from one type into another. We show how it is possible to start with a direct diagrammatic representation of a biological structure such as a cell, using terminology familiar to biologists, and by following a process of gradually adding more and more detail, arrive at a system with structure and behavior of arbitrary complexity that can run and be observed on a computer.