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

An Intelligent Wireless Sensor Network Temperature Acquisition System with an FPGA

Wireless Sensor Network 2014年第1期6卷 1-7页

作者： Rachid Souissi Mohsen Ben-Ammar Computer Science Department Higher Technological Institute of Sfax (ISET) Sfax Tunisia Electrical Engineering Department National Engineering School of Sfax (ENIS)Machine Control and Power Grid Research Unit CMERP Sfax Tunisia

The use of FPGAs in the design of wireless sensor networks can improve the processing system performance so as to develop sensor nodes with powerful embedded processor. In fact, FPGA has a super-parallel processing capacity in data processing and its use and configuration is flexible. This allows intensive digital signal processing tasks like Fast Fourier Transforms to be implemented on the sensor node and this can even support intelligent applications and new security algorithms. This paper presents a wireless sensor network system that monitors and visualizes periodically the environment temperature. The proposed system consists of a base station node based on an FPGA DE2-70 and five sensor nodes having the architecture of the System-on-Chip CC2430.

关键词： Wireless Sensor Network ZigBee System-on-Chip CC2430 FPGA DE2-70

来源：评论

学校读者我要写书评

暂无评论

Simulation of Cloth with Low Stretch

Simulation of Cloth with Low Stretch

引用

International Conference on Virtual Reality and Visualization (ICVRV)

作者： Min Shi Tianlu Mao School of Control and Computer Engineering Chinese Academy of Sciences Beijing China Institute of Computing Technology Chinese Academy of Sciences Beijing China

Cloth is a flexible thin material with low stretch. Although large stiffness can reduce stretch to some extent, it degrades numerical computing stability. Introducing effective constraints into the system is another common method to reduce stretch. In this paper, a novel constraint method is deduced and implemented. The bending deformation of cloth is firstly analyzed from micro-mesh view, based on which, constraint method is deduced. Then, constraint is combined with dynamic equation to simulate cloth. Overstretch of cloth is controlled at the same time realistic wrinkles and folds are maintained. Finally, based on this method, some experiments are conducted and the analysis and evaluation are given.

关键词： Mathematical model Computational modeling Animation Deformable models Optical fiber theory Solid modeling Yarn

来源：评论

学校读者我要写书评

暂无评论

Robust control reconfiguration of resource allocation systems with Petri nets and integer programming

Robust control reconfiguration of resource allocation system...

引用

作者： Li, Jun Zhou, Mengchu Guo, Tao Gan, Yahui Dai, Xianzhong Key Laboratory of Measurement and Control of Complex Systems of Engineering Ministry of Education China School of Automation Southeast University Nanjing 210096 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ 07102 United States

Supervisory control reconfiguration can handle the uncertainties including resource failures and task changes in discrete event systems. It was not addressed to exploit the robustness of closed-loop systems to accommodate some uncertainties in the prior studies. Such exploitation can cost-efficiently achieve reconfigurability and flexibility for real systems. This paper presents a robust reconfiguration method based on Petri nets (PNs) and integer programming for supervisory control of resource allocation systems (RASs) subject to varying resource allocation relationships. An allocation relationship is seen as a control specification while the execution processes requiring resources as an uncontrolled plant. First, a robust reconfiguration mechanism is proposed. It includes updating the P-invariant-based supervisor and evolving the state of the closed-loop system. The latter adapts to the control specification changes by the self-regulation of the closed-loop system's state. Next, two novel integer programming models for control reconfiguration are proposed, called a reconfiguration model with acceptability and reconfiguration one with specification correction. Since both models integrate the firability condition of transitions, no additional efforts are required for the state reachability analysis. Finally, a hospital emergency service system is used as an example to illustrate them. © 2014 Elsevier Ltd. All rights reserved.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Maximum likelihood estimation based DINA model and Q-matrix learning

Maximum likelihood estimation based DINA model and Q-matrix ...

引用

International Conference on Behavior, Economic and Social Computing (BESC)

作者： Yuan Sun Shiwei Ye Huiyang Shi Haobo Wang Yi Sun National Institute of Informatics Hitotsubashi Chiyoda-ku Tokyo Japan School of Electronic and Communication Engineering University of China Academy of Science China School of Computer and Control Engineering University of China Academy of Science China School of Computer and Control Engineering University of the Chinese Academy of Sciences Beijing Beijing CN

Cognitive diagnosis models (CDMs) are of growing interest in test development and in the measurement of human performance. The DINA (deterministic input, noisy, and gate) model has been widely used in cognitive diagnosis tests and in the process of test development. Central to many such models, the well-known Q-matrix [1], which specifies the item-attribute relationships and two noise parameters in DINA model related to item response functions are termed as slip and guessing. Slip parameter indicates a student with mastery of all of the attributes that an item requires fails to answer the item correctly. In contrast, guessing parameter indicates a student lacks the attributes that are required by an item but succeeds to answer the item correctly. In this paper, we developed a new method and presented an alternate recursive algorithm to learn Q-matrix and uncertainty variables slip and guessing based on Boolean Matrix Factorization (BMF) and Maximum Likelihood Estimation (MLE) respectively for DINA model of CDM. In particularly, we spontaneously transferred the deterministic Q-matrix learning problem into BMF problem. Because BMF is an NP-hard problem [2], we proposed an alternate recursive method to find approximate solution by adding one dimension in attribute latent space in each step. On the other hand, we analytically estimated the slip and guessing parameters through the maximum likelihood of uncertainty variables. The optimum process is alternate recursive between latent attribute space and uncertainty variable space. Simulation results show that the MLE Q-matrix learning algorithm has fast convergence to the optimal solution under suitable initial values of Q init and A init . This is extremely important and applicable when the method is extended to big data.

关键词： Maximum likelihood estimation Mathematical model Matrix decomposition Equations Manganese Uncertainty Simulation

来源：评论

学校读者我要写书评

暂无评论

Look-ahead control of road vehicles for safety and economy purposes

Look-ahead control of road vehicles for safety and economy p...

引用

European control Conference (ECC)

作者： András Mihály Balázs Németh Péter Gáspár Department of Control for Transportation and Vehicle Systems Budapest University of Technology and Economics Budapest Hungary Systems and Control Laboratory Hungarian Academy of Sciences Budapest Hungary Institute for Computer Science and Control MTA-BME Control Engineering Research Group Hungary

ISBN: (纸本)9781479947287

The paper proposes a look-ahead cruise control method considering both energy efficiency and the safety of vehicle motion. Based on the curve radius of the road, a method is proposed for the calculation of the safe cornering velocity, which is used in the look-ahead control design process. If the speed limit is in conflict with the calculated safe cornering velocity, the latter is applied in the energy optimization process of the look-ahead control algorithm. Thus, the designed velocity is coherent with the terrain characteristics, the speed limits and the geometry of the road as well, enabling the vehicle to travel safely and energy efficiently along the path. The main novelty of the paper is the consideration of the safe cornering velocity in the look-ahead design, improving energy efficiency and the safety of the vehicle during various maneuvers.

关键词： Vehicles Roads Friction Energy efficiency Force Safety Optimization

来源：评论

学校读者我要写书评

暂无评论

Edge-Event Based Consensus in Networks with Common Time-Varying Delays

引用

IFAC Proceedings Volumes 2014年第3期47卷 8299-8304页

作者： Feng Xiao Tongwen Chen Huijun Gao Institute of Intelligent Control and Systems Harbin Institute of Technology Harbin 150080 China Department of Electrical and Computer Engineering University of Alberta Edmonton Alberta T6G 2V4 Canada

This paper studies the delay robustness of a class of periodically edge-event driven synchronous consensus protocols in time-invariant networks. These protocols have the benefits of improved performance at reduced communication and computation costs. Under the assumption that all information links share a common time-varying transmission delay, we give non-conservative estimates of the maximum allowable time-delay and event-detecting period for solving the average consensus problem in terms of the algebraic structure of interaction topologies. Furthermore, rigorous stability analysis shows that the proposed technique is also applicable to the asynchronous consensus with multiple time-delays.

关键词： Multi-agent systems event-based consensus sampled-data consensus time-delays

来源：评论

学校读者我要写书评

暂无评论

Next generation sequencing reads comparison with an alignment-free distance

引用

BMC Research Notes 2014年第1期7卷 1-13页

作者： Weitschek, Emanuel Santoni, Daniele Fiscon, Giulia De Cola, Maria Cristina Bertolazzi, Paola Felici, Giovanni Department of Engineering Roma Tre University Via della Vasca Navale 79 Rome 00146 Italy Institute of Systems Analysis and Computer Science A. Ruberti National Research Council Via dei Taurini 19 Rome 00185 Italy Department of Computer Control and Management Engineering Antonio Ruberti Viale Ariosto 25 Rome 00185 Italy IRCCS Centro Neurolesi Bonino-Pulejo S.S.113 Via Palermo C/da Casazza Messina 98123 Italy

Background: Next Generation Sequencing (NGS) machines extract from a biological sample a large number of short DNA fragments (reads). These reads are then used for several applications, e.g., sequence reconstruction, DNA assembly, gene expression profiling, mutation analysis. Methods: We propose a method to evaluate the similarity between reads. This method does not rely on the alignment of the reads and it is based on the distance between the frequencies of their substrings of fixed dimensions (k-mers). We compare this alignment-free distance with the similarity measures derived from two alignment methods: Needleman-Wunsch and Blast. The comparison is based on a simple assumption: the most correct distance is obtained by knowing in advance the reference sequence. Therefore, we first align the reads on the original DNA sequence, compute the overlap between the aligned reads, and use this overlap as an ideal distance. We then verify how the alignment-free and the alignment-based distances reproduce this ideal distance. The ability of correctly reproducing the ideal distance is evaluated over samples of read pairs from Saccharomyces cerevisiae, Escherichia coli, and Homosapiens. The comparison is based on the correctness of threshold predictors cross-validated over different samples. Results: We exhibit experimental evidence that the proposed alignment-free distance is a potentially useful read-to-read distance measure and performs better than the more time consuming distances based on alignment. Conclusions: Alignment-free distances may be used effectively for reads comparison, and may provide a significant speed-up in several processes based on NGS sequencing (e.g., DNA assembly, reads classification). © 2014 Weitschek et al.

关键词： Alignment-free Next generation sequencing Sequence analysis

来源：评论

学校读者我要写书评

暂无评论

Synthesis of Correct-by-construction control Protocols for Hybrid Systems Using Partial State Information

Synthesis of Correct-by-construction Control Protocols for H...

引用

American control Conference

作者： Oscar Mickelin Necmiye Ozay Richard M. Murray Royal Institute of Technology (KTH) Sweden Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor Department of Control and Dynamical Systems California Institute of Technology

ISBN: (纸本)9781479932757

This paper considers the problem of synthesizing output-feedback control laws for a class of discrete-time hybrid systems in order for the trajectories of the system to satisfy certain high-level specifications expressed in linear temporal logic. By leveraging ideas from robust interpretation of temporal logic formulas and bounded-error estimation, we identify a subclass of systems for which it is possible to reduce the problem to a state-feedback form. In particular, we use locally superstable hybrid observers to resolve the partial information at the continuous level. This allows us to use recent results in temporal logic planning to synthesize the desired controllers based on two-player perfect-information games. The overall control architecture consists of a hybrid observer, a high-level switching protocol and a low-level continuous controller. We demonstrate the proposed framework in a case study on designing control protocols for an aircraft air management system.

关键词： hybrid systems Temporal logic control protocol control Architecture synthesis

来源：评论

学校读者我要写书评

暂无评论

Amphisbaena: Modeling two orthogonal ways to hunt on heterogeneous many-cores

Amphisbaena: Modeling two orthogonal ways to hunt on heterog...

引用

Asia and South Pacific Design Automation Conference

作者： Jun Ma Guihai Yan Yinhe Han Xiaowei Li School of Computer and Control Engineering University of Chinese Academy of Sciences Beijing China Institute of Computing Technology Chinese Academy of Sciences Beiiing China

Heterogeneous many-cores can deliver high performance or energy efficiency. There are two orthogonal ways to improve performance: 1) scale-out by exploiting thread-level parallelism, and 2) scale-up by enabling core heterogeneity. Predicting the performance of such architecture is increasingly challenging. We propose a comprehensive performance model Amphisbaena, or Φ, built from two orthogonal functions α and β. Function α describes the scale-out speedup and function β handles the scale-up speedup. The Φ model can clearly tell not only the overall speedup of a given multithreading and core mapping strategy, but also how to improve the multithreading and core mapping, hence should be a promising performance predictor for future heterogenous many-cores. The results show that Φ model's error rate is within 12%, which is lower than state-of-the-art methods. We demonstrate the application of Φ model by introducing a heuristic scheduling algorithm, which outperforms the baselines by 13% on average.

关键词： Runtime Hardware Instruction sets Computational modeling Multithreading Mathematical model Synchronization

来源：评论

学校读者我要写书评

暂无评论

Detecting Integrity Attacks on control Systems using Robust Physical Watermarking

Detecting Integrity Attacks on Control Systems using Robust ...

引用

IEEE Annual Conference on Decision and control

作者： Sean Weerakkody Yilin Mo Bruno Sinopoli Department of Electrical and Computer Engineering Carnegie Mellon University Pittsburgh PA USA 15213 Control and Dynamical Systems Department of California Institute of Technology

ISBN: (纸本)9781467360890

Ensuring the security of control systems against integrity attacks is a major challenge. Due to the events of Stuxnet, replay attacks in particular have been considered by the research community. Replaying previous measurements of a system in steady state allows an adversary to generate statistically correct virtual outputs which can bypass traditional detectors. The adversary can then inject destabilizing inputs to cause damage to the plant. The method of injecting secret noisy control inputs, or physical watermarking, has recently been proposed to detect replay attacks. However, the proposed watermarking design methods assume that the adversary does not use his potential access to real time communication channels to create stealthy virtual outputs to send to the defender. In this paper, we formulate an attack model for an adversary who uses knowledge of the system as well as access to a subset of real time control inputs and sensor outputs to construct stealthy virtual outputs. A robust physical watermark and detector to counter such an adversary is proposed.

关键词： control systems Watermarking Knowledge systems Virtual Output Access

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：