检索结果-内蒙古大学图书馆

IEEE Conference on control Technology and Applications (CCTA)

作者： I. Sindičić T. Petrović S. Bogdan ABB Zagreb Croatia Dept. of Control and Computer Engineering University of Zagreb Zagreb Croatia

This paper presents an extension of previously introduced method for manufacturing systems analysis and design based on so called Machine-Job Incidence matrix. Static model of a manufacturing system is augmented by introduction of timed machine-job incidence matrix that is comprised of operational times required for jobs in the system to be completed as well as times required for setting-up of resources upon completion of requested tasks. The proposed dynamic model has been validated by simulation of free-choice multiple reentrant flow line. Results presented in the paper demonstrate efficiency of the model.

关键词： Vectors Manufacturing systems Mathematical model Robots Solid modeling Resource management Heuristic algorithms

来源：评论

学校读者我要写书评

暂无评论

Satellite Orbit Determination Based on Gradient Method

Satellite Orbit Determination Based on Gradient Method

引用

第24届中国控制与决策会议

作者： M.H. Ashtari Larki M. Maboodi H. Bolandi Faculty of Electrical Engineering Control Dept. Iran University of Science and TechnologyTehran Faculty of Electrical and Computer Engineering Control Dept. K.N. Toosi University of Technology

In this paper, gradient method is applied to the problem of satellite orbit determination. We used the ground station data (range, azimuth and elevation), for calculating the satellite position vector in the ECI frame. Satellite orbit is in the elliptic shape and satellite turns in orbital plane. Hence, orbit frame (PQW) is defined. Based on representation of input data in the PQW frame, we can define an ellipse. With the characteristics of an ellipse, beside definition of cost function and optimization technique, the satellite orbit is determined. This method, which can be easily implemented in hardware with moderate computational complexity, yield an efficient satellite positioning without assuming a prior knowledge of measurement noise. The performance, accuracy and error of algorithm are checked, by a test case.

关键词： Satellite orbit determination, Optimization, Gradient, Steepest descent, Ellipse.

来源：评论

学校读者我要写书评

暂无评论

Instruction and data NAND flash memory system for embedded systems

2012 International Conference on Information Science and App...

引用

2012 International Conference on Information Science and Applications, ICISA 2012 2012年

作者： Kim, Cheong-Ghil Lee, Jung-Hoon Dept. of Computer Science Namseoul University CheonAn Korea Republic of ERI Dept. of Control and Instrument Engineering GyeongSang National University Jinju Korea Republic of

ISBN: (纸本)9781467321860

Harvard architecture uses physically separate memories for their instructions and data. In the case of a flash memory with a buffer system, separate data and instruction buffers can lead to diversification of a flash architecture and achieve the high performance by overcoming effectively the limitations of a unified buffer. So, the proposed NAND flash system is composed of two separate buffers for exploiting the characteristics inherent in each module. Also, we propose a new operating mechanism for reducing overhead of flash memory, that is, erase and write operations. According to our simulation results, the write operations and the erase operations are about 60% and 68% less than other unified buffer systems with two times more space, respectively. And also, the average memory access tine is improved by about 70% compared with other unified buffer systems. © 2012 IEEE.

关键词： Flash memory

来源：评论

学校读者我要写书评

暂无评论

GNURadio, Scilab, Xcos and COMEDI for Data Acquisition and control: An Open Source Alternative to LabVIEW *

引用

IFAC Proceedings Volumes 2012年第15期45卷 626-631页

作者： Jagdish Y. Patil Balashish Dubey Kannan M. Moudgalya Rakesh Peter Systems & Control Engineering IIT Bombay Mumbai 400076 Chemical Engineering IIT Bombay Mumbai 400076 Chemical Engineering and Systems & Control Engineering IIT Bombay Mumbai 400076 Dept. of Computer Science Amrita University Coimbatore

This article describes an attempt to create an open source equivalent to the data acquisition and control software LabVIEW. The proposed solution uses GNURadio, OpenCV, Scilab, Xcos and COMEDI on Linux. GNURadio gives a convenient graphical front end. The computations can be carried out using OpenCV or Scilab and Xcos. The device drivers given in COMEDI are used to access real time data. We also present PyGTK based improved graphical user interface for GNURadio.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Real-Time Statistical Background Learning for Foreground Detection under Unstable Illuminations

Real-Time Statistical Background Learning for Foreground Det...

引用

International Conference on Machine Learning and Applications (ICMLA)

作者： Dawei Li Lihong Xu Erik Goodman Dept. of Control Science and Engineering Tongji University Shanghai China Dept. of Electrical and Computer Engineering Michigan State University East Lansing USA

This work proposes a fast background learning algorithm for foreground detection under changing illumination. Gaussian Mixture Model (GMM) is an effective statistical model in background learning. We first focus on Titterington's online EM algorithm that can be used for real-time unsupervised GMM learning, and then advocate a deterministic data assignment strategy to avoid Bayesian computation. The color of the foreground is apt to be influenced by the environmental illumination that usually produce undesirable effect for GMM updating, however, a collinear feature of pixel intensity under changing light is discovered in RGB color space. This feature is afterward used as a reliable clue to decide which part of mixture to update under changing light. A foreground detection step proposed in early version of this work is employed to extract foreground objects by comparing the estimated background model with the current video frame. Experiments have shown the proposed method is able to achieve satisfactory static background images of scenes as well as is also superior to some mainstream methods in detection performance under both indoor and outdoor scenes.

关键词： Lighting Image color analysis Vectors Reflection Computational modeling Cameras Indexes

来源：评论

学校读者我要写书评

暂无评论

New algorithms to generate balanced workload clusters with reduced communication

引用

Journal of engineering and Applied Science 2012年第6期59卷 541-566页

作者： Ragab, H.-A.M. Ammar, R.A. Sallam, A.A.H. Sarhan, A.M. Computer and Control Engineering Dept. Faculty of Eng. Tanta Univ. Egypt Computer Science and Eng. Dept. School of Eng. Univ. of Connecticut United States

Load balancing is a technique to distribute workload evenly across two or more computers, network links, CPUs, hard drives, or other resources, in order to get optimal resource utilization, maximize throughput, minimize response time, and ^void overload. When clustering objects to be allocated on a number of processing units, most research focus on either balancing of the workload among the clusters or minimising the communication among them. In this paper, we developed three clustering algorithms that combine both objectives: balancing the load of different clusters of objects while minimizing the communication among them. We show that communication graphs of these hybrid algorithms "H-K Partition algorithm and H-K "Medoids algorithm" methods have a good partition that can be found in distributed technique particularly in the major clusters and objects number. In the Other hand, the D-K Partition algorithm and D-K Medoids algorithm occupy the second level.

关键词： Clustering algorithms

来源：评论

学校读者我要写书评

暂无评论

On-the-fly Model Abstraction for controller Synthesis

On-the-fly Model Abstraction for Controller Synthesis

引用

American control Conference

作者： Matthias Rungger Olaf Stursberg Dept. of Electrical Engineering University of California in Los Angeles Institute of Control and System Theory Dept. of Electrical Engineering and Computer Science University of Kassel Germany

ISBN: (纸本)9781457710957

While abstractions of dynamical systems render the rigorous and algorithmic synthesis of controllers feasible in principle, the computation of discrete abstractions is known to be feasible only for systems of relatively low dimension. As a step towards making the computations more tractable, this paper proposes to reduce the computational load and the required memory by combining the computation of the abstraction and the solution of an auxiliary discrete control problem. Although the worst-case complexity of the proposed algorithm is worse than for other known procedures, the algorithm shows promising performance for a challenging example.

关键词： Optimal control Trajectory Complexity theory Adaptive control Heuristic algorithms Aerospace electronics

来源：评论

学校读者我要写书评

暂无评论

Dogfooding the formal semantics of mCRL2

Dogfooding the formal semantics of mCRL2

引用

2012 IEEE 35th Software engineering Workshop, SEW 2012

作者： Stappers, F.P.M. Reniers, M.A. Weber, S. Groote, J.F. Dept. of Mathematics and Computer Science Eindhoven University of Technology P.O. Box 513 NL-5600 MB Eindhoven Netherlands Dept. of Mechanical Engineering Eindhoven University of Technology P.O. Box 513 NL-5600 MB Eindhoven Netherlands Dept. for Machine Control and Infrastructure ASML P.O. Box 324 NL-5500 AH Veldhoven Netherlands

ISBN: (纸本)9780769549477

The mCRL2 language is a formal specification language that is used to specify, model, analyze and verify behavioral properties for distributed systems and protocols. The semantics of the mCRL2 language is defined formally using Structural Operational Semantics (SOS). In [32] we propose an approach that takes the SOS of a formal language, along with a concrete model, that serves as an initialization, and transforms it to a Linear Process Specification (LPS). In this paper we extend the approach and show that it can be applied to a formal language that in practice is used to specify and model discussed systems. Hence, we take mCRL2's own operational semantics and transform it into an mCRL2 specification. In essence, this means that we are feeding the mCRL2 toolset its own formal language definition. This semantic dogfooding approach validates the implemented behavior for the mCRL2 language against its formal definition. By performing this exercise we revealed gaps between the defined and implemented semantics. These gaps have subsequently been resolved. © 2013 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Vehicle navigation service based on real-time traffic information: A RESTful NetAPI solution with long polling notification

Vehicle navigation service based on real-time traffic inform...

引用

Ubiquitous Positioning Indoor Navigation and Location Based Service (UPINLBS)

作者： Giorgio Ghinamo Francesco Vadalà Cecilia Corbi Piergiuseppe Bettassa Fulvio Risso Riccardo Sisto Telecom Italia Torino Italy Dept. of Computer and Control Engineering Politecnico di Torino Torino Italy

GNSS-assisted vehicle navigation services are nowadays very common in most of the developed countries. However, most of those services are either delivered through proprietary technologies, or fall short in flexibility because of the limited capability to couple road information with real-time traffic information. This paper presents the motivations and a brief summary of a vehicle navigation service based on real-time traffic information, delivered through an open protocol that is currently under standardization in the Open Mobile Alliance forum.

关键词： Servers Navigation Real-time systems Roads Mobile communication Routing Standards

来源：评论

学校读者我要写书评

暂无评论

Fast Monotonic Blind Deconvolution Algorithm for Constrained TV Based Image Restoration

Fast Monotonic Blind Deconvolution Algorithm for Constrained...

引用

World Congress on Intelligent control and Automation

作者： Haiying Liu W. S. Lu Yanan Fu Yu Cheng Tingfang Yan Teng Li Max Q. H. Meng School of Control Science and Engineering Shandong University Dept. of Electrical and Computer Engineering University of Victoria Department of Electronical Engineering Chinese University of Hong Kong

ISBN: (纸本)9781467313971

A new fast monotonic blind deconvolution algorithmic method is investigated based on the constrained variational minimization framework under the periodic boundary conditions. The contributions of our methodology are that the blur operator identification and image restoration can be simultaneously optimized even under high noise level as compared to previous methods. Specifically, the monotone fast iterative shrinkage/thresholding algorithm (MFISTA) combined with the fast gradient projection (FGP) algorithm, is extended to deal with our new proposed algorithm and guarantee the monotonic convergence rate. In addition, the deblurring subproblem is enhanced by incorporating a bisection technique to effectively identify a near optimal value for the regularization parameter of the TV-Frobenius objective function quickly and accurately. Initial experimental results for gray satellite and color wireless capsule endoscopy (WCE) images demonstrate the considerable performance of the proposed algorithm.

关键词： Blind Deconvolution Total Variation De-blurring Denoising Bisection Technique

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：