Economic Visions

Jason Dedrick and Kenneth L. Kraemer, Asia's Computer Challenge: Threat or Opportunity for the United States and the World? New York: Oxford University Press (1998) 364 pp. ISBN 0-19-512201-1

Bill Gates with Collins Hemingway, Business the Speed of Thought, New York: Warner Books (1999) 470 pp. ISBN 0-446-52568-5

Henry C. Lucas, Jr., Information Technology and the Productivity Paradox: Assessing the Value of Investing in IT, New York: Oxford University Press (1999) 225 pp. ISBN 0-19-512159-7

Carl Shapiro and Hal R. Varian, Information Rules: A Strategic Guide to the Network Economy, Boston, MA: Harvard Business School Press (1999) 384 pp. ISBN 0-87584-863-X     

基于梯度分布调节策略的Xgboost算法优化

为了解决集成学习模型Xgboost在二分类问题中少数类检出率低的问题，提出了基于梯度分布调节策略的改进的Xgboost算法——LCGHA-Xgboost。首先，通过定义损失贡献（LC）来模拟Xgboost算法中样本个体的损失量；而后，通过定义损失贡献密度（LCD）来衡量Xgboost算法中样本被正确分类的难易程度；最后，提出了梯度分布调节算法LCGHA，依据LCD动态调整样本个体的一阶梯度分布，间接地增大难分样本（主要存在于少数类中）的损失量，减小易分样本（主要存在于多数类中）的损失量，使Xgboost算法偏向对难分样本的学习。实验结果表明,与Xgboost、GBDT、随机森林（Random_Forest）这三大集成学习算法相比，LCGHA-Xgboost算法在多个UCI数据集上的召回率（Recall）值有5.4%~16.7%的提高，AUC值有0.94%~7.41%的提高；在垃圾网页数据集WebSpam-UK2007和DC2010数据集上所提算法的Recall值更是有44.4%~383.3%的提高，AUC值有5.8%~35.6%的提高。LCGHA-Xgboost算法可以有效提高对少数类的分类检出能力，减小少数类的分类错误率。     

Remarks on the relationship between stability and internal stability of nonlinear systems

In this paper, we investigate the relationship between stability and internal stability of nonlinear systems. It is shown that under certain conditions, stability implies attractivity of the equilibrium and that local stability with finite gain implies local asymptotic stability of the origin. Copyright © 2012 John Wiley & Sons, Ltd.     

Full complexity analysis of the diameter‐constrained reliability

Let be a simple graph with nodes and links, a subset of “terminals,” a vector , and a positive integer d, called “diameter.” We assume that nodes are perfect but links fail stochastically and independently, with probabilities . The “diameter‐constrained reliability” (DCR) is the probability that the terminals of the resulting subgraph remain connected by paths composed of d links, or less. This number is denoted by . The general DCR computation belongs to the class of ‐hard problems, since it subsumes the problem of computing the probability that a random graph is connected. The contributions of this paper are twofold. First, a full analysis of the computational complexity of DCR subproblems is presented in terms of the number of terminal nodes and the diameter d. Second, we extend the class of graphs that accept efficient DCR computation. In this class, we include graphs with bounded co‐rank, graphs with bounded genus, planar graphs, and, in particular, Monma graphs, which are relevant to robust network design.     

Design and analysis of wideband U‐slot patch antenna with U‐shaped parasitic elements

A single layer single probe‐fed wideband microstrip antenna is presented and investigated. By cutting a U‐slot in the rectangular patch, and by incorporating two identical U‐shaped parasitic patches around both the radiating edges and the nonradiating edges of the rectangular patch, three resonant frequencies are excited to form the wideband performance. Details of the antenna design is presented. The measured and simulated results are in good agreement, the measured impedance bandwidth is GHz ( GHz), or centered at GHz, which covers WLAN GHz ( GHz), WLAN GHz ( GHz), and WIMAX GHz ( GHz) bands. The measured peak gains at the three resonant frequencies are dB, dB, and dB, respectively. An equivalent circuit model which is based on the transmission line theory, the asymmetric coupled microstrip lines theory, and the π‐network theory is established. This equivalent circuit model is used to give an insight into the wideband mechanism of the proposed antenna, and is also used to explain why the three resonant frequencies shift at the variations of different parameters from a physical point of view. The error analysis is given to demonstrate the validity of the equivalent circuit model.     

Mixed coordination mechanisms for scheduling games on hierarchical machines

In this paper, we study scheduling games under mixed coordination mechanisms on hierarchical machines. The two scheduling policies involved are ‐ and ‐, where ‐ (resp., ‐) policy sequences jobs in nondecreasing order of their hierarchies, and jobs of the same hierarchy in nonincreasing (resp., nondecreasing) order of their processing times. We first show the existence of a Nash equilibrium. Then we present the price of anarchy and the price of stability for the games with social costs of minimizing the makespan and maximizing the minimum machine load. All the bounds given in this paper are tight.     

Thin‐slot formalism for the split‐field FDTD analysis of periodic structure

An expression of the thin‐slot formalism is presented to alleviate the gridding of the split‐field finite‐difference time‐domain (FDTD) solution for periodic structure. The varying auxiliary‐field ( , ) and split‐field ( , ) distributions near the slots are analytically derived from the varying field ( , ). The update equations for the split‐field FDTD are obtained by incorporating those varying field distributions into the split‐field equations in integral form. A frequency selective surface (FSS) structure is applied to verify the proposed method. The results indicate that the computational efficiency is improved.     

Computational and structural analysis of the contour of graphs

Let be a finite, simple, and connected graph. The closed interval of a set is the set of all vertices lying on a shortest path between any pair of vertices of S. The set S is geodetic if . The eccentricity of a vertex v is the number of edges in the greatest shortest path between v and any vertex w of G. A vertex v is a contour vertex if no neighbor of v has eccentricity greater than v. The contour of G is the set formed by the contour vertices of G. We consider two problems: the problem of determining whether the contour of a graph class is geodetic; the problem of determining if there exists a graph such that is not geodetic. We obtain a sufficient condition that is useful for both problems; we prove a realization theorem related to problem and show two infinite families such that is not geodetic. Using computational tools, we establish the minimum graphs for which is not geodetic; and show that all graphs with , and all bipartite graphs with , are such that is geodetic.     

Fast vision‐based autonomous detection of moving cooperative target for unmanned aerial vehicle landing

We propose a fast and effective method, fast target detection (FTD), to detect the moving cooperative target for the unmanned aerial vehicle landing, and the target is composed of double circles and a cross. The purpose of our strategy is to land on the target. The FTD method needs to detect the target at the high and low heights. At the high height, the target appears completely and stably in the camera field. The FTD method can detect the circle and cross to rapidly reach the target center, named cross and circle–FTD (). To detect the cross, we propose a slope distance equation to obtain the distance between two slopes. The proposed slopes cluster method, based on the distance equation and K‐means, is used to determine the cross center. At the low height, the target appears incompletely and unstably. Therefore, FTD methods detect only the cross, named cross–FTD (). We extract the cross features ( CFs) based on line segments. Then, four CFs are combined based on graph theory. Experiments on our four datasets show that FTD has rapid speed and good performance. (Our method is implemented in C++ and is available at https://github.com/Li-Zhaoxi/UAV-Vision-Servo .) On the Mohamed Bin Zayed International Robotics Challenge datasets made we constructed, detects the target from a image approximately per pipeline with F‐measure and tracks target approximately per pipeline with F‐measure. detects centers from a image at approximately per image with F‐measure.     

一种单GPU程序向多GPU移植的模板化技术

图形处理器(GPU)作为一种高度并行化的处理器架构,已得到越来越多的重视,目前已诞生了以NVIDIA CUDA为代表的各种GPU通用计算技术,同时多GPU并行计算也已有了实际的应用.多GPU并行计算涉及GPU与CPU两者之间的协调和交互,对程序员有着更高的要求.为此,提出一种基于模板的源代码生成技术,通过模板转化来支持单GPU程序的并行化移植.最后通过一个实例表明使用提出的CUDA源代码移植框架能够自动生成与手写程序等价的代码,可以显著降低多GPU下CUDA程序的开发代价,提高CUDA应用程序员的生产效率.     

Mixed control of hidden Markov jump systems

In this work, we study the mixed control for Markov jump linear systems with hidden Markov parameters. The hidden Markov process is denoted by , where the nonobservable component θ(k) represents the mode of operation of the system, whereas represents the observable component provided by a detector. The goal is to obtain design techniques for mixed control problems, with the controllers depending only on the estimate , for problems formulated in 3 different forms: (i) minimizing an upper bound on the norm subject to a given restriction on the norm; (ii) minimizing an upper bound on the norm, while limiting the norm; and (iii) minimizing a weighted combination of upper bounds of both the and norms. We propose also new conditions for synthesizing robust controllers under parametric uncertainty in the detector probabilities and in the transition probabilities. The so‐called cluster case for the mixed control problem is also analyzed under the detector approach. The results are illustrated by means of 2 numerical examples.     

An Efficient Algorithm for Determining an Aesthetic Shape Connecting Unorganized 2D Points

We present anefficient algorithm for determining an aesthetically pleasing shape boundary connecting all the points in a given unorganized set of 2D points, with no other information than point coordinates. By posing shape construction as a minimisation problem which follows the Gestalt laws, our desired shape is non‐intersecting, interpolates all points and minimizes a criterion related to these laws. The basis for our algorithm is an initial graph, an extension of the Euclidean minimum spanning tree but with no leaf nodes, called as the minimum boundary complex . and can be expressed similarly by parametrizing a topological constraint. A close approximation of , termed can be computed fast using a greedy algorithm. is then transformed into a closed interpolating boundary in two steps to satisfy ’s topological and minimization requirements. Computing exactly is an NP (Non‐Polynomial)‐hard problem, whereas is computed in linearithmic time. We present many examples showing considerable improvement over previous techniques, especially for shapes with sharp corners. Source code is available online.     

Direct synthesis of reduced order H controllers for a class of multivariable plants

Given an nth order, -control input, p-measured output generalized plant, this article proposes a simple, direct approach to design an output feedback H controller with order satisfying for , or for . For this purpose, the output feedback H control problem is transformed into an H state feedback problem for an augmented generalized system. A class of plants for which this transformation always exists and the ensuing controller has order as above, is identified. As a result, for such plants, the reduced order H controller gains are found just by solving a simple linear matrix inequality problem used in state feedback based H control. The efficacy of the proposed approach is studied on some benchmark examples.     

Inference in Hybrid Bayesian Networks with Nonlinear Deterministic Conditionals

To enable inference in hybrid Bayesian networks (BNs) containing nonlinear deterministic conditional distributions, Cobb and Shenoy in 2005 propose approximating nonlinear deterministic functions by piecewise linear (PL) ones. In this paper, we describe a method for finding PL approximations of nonlinear functions based on a penalized mean square error (MSE) heuristic, which consists of minimizing a penalized MSE function subject to two principles, domain and symmetry. We illustrate our method for some commonly used one‐dimensional and two‐dimensional nonlinear deterministic functions such as , , , and . Finally, we solve two small examples of hybrid BNs containing nonlinear deterministic conditionals that arise in practice.     

A new approach to constrained state estimation for discrete‐time linear systems with unknown inputs

This paper addresses the problem of estimating the state for a class of uncertain discrete‐time linear systems with constraints by using an optimization‐based approach. The proposed scheme uses the moving horizon estimation philosophy together with the game theoretical approach to the filtering to obtain a robust filter with constraint handling. The used approach is constructive since the proposed moving horizon estimator (MHE) results from an approximation of a type of full information estimator for uncertain discrete‐time linear systems, named in short ‐MHE and –full information estimator, respectively. Sufficient conditions for the stability of the ‐MHE are discussed for a class of uncertain discrete‐time linear systems with constraints. Finally, since the ‐MHE needs the solution of a complex minimax optimization problem at each sampling time, we propose an approximation to relax the optimization problem and hence to obtain a feasible numerical solution of the proposed filter. Simulation results show the effectiveness of the robust filter proposed.     

Another view on q‐rung orthopair fuzzy sets

In this paper, two new approaches have been presented to view q‐rung orthopair fuzzy sets. In the first approach, these can viewed as L‐fuzzy sets, whereas the second approach is based on the notion of orbits. Uncertainty index is the quantity , which remains constant for all points in an orbit. Certain operators can be defined in q‐ROF sets, which affect when applied to some q‐ROF sets. Operators , , and have been defined. It is studied that how these operators affect when applied to some q‐ROF set A.     

Input‐output triggered control using ‐stability over finite horizons

This paper investigates stability of nonlinear control systems under intermittent information. Following recent results in the literature, we replace the traditional periodic paradigm, where the up‐to‐date information is transmitted and control laws are executed in a periodic fashion, with the event‐triggered paradigm. Building on the small gain theorem, we develop input–output triggered control algorithms yielding stable closed‐loop systems. In other words, based on the currently available (but outdated) measurements of the outputs and external inputs of a plant, a mechanism triggering when to obtain new measurements and update the control inputs is provided. Depending on the noise in the environment, the developed algorithm yields stable, asymptotically stable, and ‐stable (with bias) closed‐loop systems. Control loops are modeled as interconnections of hybrid systems for which novel results on ‐stability are presented. The prediction of a triggering event is achieved by employing ‐gains over a finite horizon. By resorting to convex programming, a method to compute ‐gains over a finite horizon is devised. Finally, our approach is successfully applied to a trajectory tracking problem for unicycles. Copyright © 2014 John Wiley & Sons, Ltd.     

Determinization and minimization of finite acyclic automata by incremental techniques

The determinization of a nondeterministic finite automaton (FA) is the process of generating a deterministic FA (DFA) equivalent to (sharing the same regular language of) . The minimization of is the process of generating the minimal DFA equivalent to . Classical algorithms for determinization and minimization are available in the literature for several decades. However, they operate monolithically, assuming that the FA to be either determinized or minimized is given once and for all. By contrast, we consider determinization and minimization in a dynamic context, where augments over time: after each augmentation, determinization and minimization of into is required. Using classical monolithic algorithms to solve this problem is bound to poor performance. An algorithm for incremental determinization and minimization of acyclic finite automata, called IDMA, is proposed. Despite being conceived within the narrow domain of model‐based diagnosis and monitoring of active systems, the algorithm is general‐purpose in nature. Experimental evidence indicates that IDMA is far more efficient than classical algorithms in solving incremental determinization and minimization problems. Copyright © 2015 John Wiley & Sons, Ltd.