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

4th International Symposium on Applications of Graph Transformations with Industrial Relevance, AGTIVE 2011

作者： Galvão, Ismênia Zambon, Eduardo Rensink, Arend Wevers, Lesley Aksit, Mehmet Software Engineering Group University of Twente 7500 AE Enschede Netherlands Formal Methods and Tools Group Computer Science Department University of Twente PO Box 217 7500 AE Enschede Netherlands

ISBN: (纸本)9783642341755

In a context where graph transformation is used to explore a space of possible solutions to a given problem, it is almost always necessary to inspect candidate solutions for relevant properties. This means that there is a need for a flexible mechanism to query not only graphs but also their evolution. In this paper we show how to use Prolog queries to analyse graph exploration. Queries can operate both on the level of individual graphs and on the level of the transformation steps, enabling a very powerful and flexible analysis method. This has been implemented in the graph-based verification tool groove. As an application of this approach, we show how it gives rise to a competitive analysis technique in the domain of feature modelling. © 2012 Springer-Verlag.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

Preface

引用

International Journal of Computational science and Engineering 2014年第5-6期9卷 395-396页

作者： Behr, Marek Bode, Arndt Bücker, H. Martin Lang, Jens Rank, Ernst Schäfer, Michael RWTH Aachen University Schinkelstr. 2 52062 Aachen Germany Lehrstuhl für Rechnertechnik und Rechnerorganisation Technische Universität München Boltzmannstrasse 3 85748 Garching Germany Institute for Computer Science Friedrich Schiller University Jena Ernst-Abbe-Platz 2 07743 Jena Germany Department of Mathematics Numerical Analysis Group Technische Universität Darmstadt Dolivostraße 15 64293 Darmstadt Germany Technische Universität München Arcisstr. 21 80333 München Germany Institute of Numerical Methods in Mechanical Engineering Technische Universität Darmstadt Dolivostraße 15 64293 Darmstadt Germany

来源：评论

学校读者我要写书评

暂无评论

Finite-time stabilization of linear systems over networks with bounded packet dropout

引用

Journal of Convergence Information Technology 2012年第22期7卷 762-769页

作者： Shang, Yanling Zhang, Lu Teaching Department of Computer Anyang Normal University Anyang 455000 China Department of Computer Science Anyang Radio TV University Anyang 455000 China

In this paper, the finite-time stabilization problem of a class of networked control systems (NCSs) with bounded packet dropout is investigated. An iterative approach is proposed to model the NCSs with bounded packet dropout as switched linear systems. Both sensor-to-controller and controller-toactuator packet dropouts are considered simultaneously. Sufficient conditions for finite-time stabilization of the underlying systems are derived via linear matrix inequalities (LMIs) formulation. Lastly, an illustrative example is given to demonstrate the effectiveness of the proposed results.

关键词： Networked control systems

来源：评论

学校读者我要写书评

暂无评论

VXPath: A visual XPath query evaluator

VXPath: A visual XPath query evaluator

引用

4th International Conference on Computational and Information sciences, ICCIS 2012

作者： He, Weimin Lv, Teng Meis, Matthew Yan, Ping Department of Computing and New Media Technologies University of Wisconsin-Stevens Point Stevens Point WI United States Teaching and Research Section of Computer Science Army Officer Academy Hefei China School of Science Anhui Agricultural University Hefei China

ISBN: (纸本)9780769547893

With the popularity of Extensible Markup Language (XML) as the new standard of data exchange on the web, a large number of data sources are represented or encoded in XML format. Therefore, querying and searching XML data on the web has attracted much attention in the database literature. In this research work, we developed a prototype software system named VXPath to facilitate the efficient evaluation of XPath queries over XML data. VXPath is a visual XPath query evaluator that allows the user to evaluate an XPath query by clicking the nodes in an expanding tree instead of typing the whole XPath query by hand. Our system supports most common XPath axes, such as child, descendant, predicate and so on. In order to handle XML documents in very large size, instead of loading the whole XML document into memory, we extracted a concise data synopsis termed structural summary from the original XML document to avoid the loading overhead for large XML document. We evaluated our system over the data from XMark and DBLP and our system can handle large XML documents up to gigabytes. © 2012 IEEE.

关键词： XML

来源：评论

学校读者我要写书评

暂无评论

A New Admissibility Condition of Discrete-time Singular Systems with Time-varying Delays

引用

International Journal of Automation and computing 2012年第5期9卷 480-486页

作者： Yong-Yun Shao 1,3 Xiao-Dong Liu 1,2 Xin Sun 3 Zhan Su 4 1 Transportation Management College, Dalian Maritime University, Dalian 116026, China 2 department of Mathematics, Dalian Maritime University, Dalian 116026, China 3 department of computer and Mathematics teaching, Shenyang Normal University, Shenyang 110034, China 4 Institute of Systems science, Northeastern University, Shenyang 110004, China 1. Transportation Management College Dalian Maritime University Dalian 116026 China 3. Department of Computer and Mathematics Teaching Shenyang Normal University Shenyang 110034 China 2. Department of Mathematics Dalian Maritime University Dalian 116026 China 4. Institute of Systems Science Northeastern University Shenyang 110004 China

This paper gives a novel delay-dependent admissibility condition of discrete-time singular systems with time-varying delays. For convenience, the time-varying delay is assumed to be the sum of delay lower bound and the integral multiples of a constant delay. Specially, if the constant delay is of unit length, the delay is an interval-like time-varying delay. The proposed admissibility condition is presented and expressed in terms of linear matrix inequality (LMI) by Lyapunov approach. Generally, the uncertainty of time-varying delay would lead to conservatism. In this paper, this critical issue is tackled by accurately estimating the time-varying delay. Consequently, the proposed admissibility condition is less conservative than the existing results, which is demonstrated by a numerical example.

关键词： Singular systems discrete-time delay-dependent admissibility time-varying delay

来源：评论

学校读者我要写书评

暂无评论

Investigation of GaN-based dual-wavelength light-emitting diodes with p-type barriers and vertically stacked quantum wells

引用

Chinese Optics Letters 2012年第6期10卷 67-71页

作者：陈峻范广涵庞玮郑树文张运炎 Institute of Opto-Electronic Materials and Technology South China Normal University Experimental Teaching Center Guangdong University of Technology Department of Electronic and Computer Engineering Hong Kong University of Science and Technology

Designs of p-doped in quantum well （QW） barriers and specific number of vertically stacked QWs are proposed to improve the optical performance of GaN-based dual-wavelength light-emitting diodes （LEDs）. Emission spectra, carrier concentration, electron current density, and internal quantum efficiency （IQE） are studied numerically. Simulation results show that the efficiency droop and the spectrum intensity at the large current injection are improved markedly by using the proposed design. Compared with the conventional LEDs, the uniform spectrum intensity of dual-wavelength luminescence is realized when a specific number of vertically stacked QWs is adopted. Suppression of electron leakage current and the promotion of hole injection efficiency could be one of the main reasons for these improvements.

关键词： Emission spectroscopy Gallium alloys Gallium nitride Phosphorus Semiconductor quantum wells Spectrometry

来源：评论

学校读者我要写书评

暂无评论

teaching first-year interdisciplinary students to use computational design software in a spatial thinking course

Teaching first-year interdisciplinary students to use comput...

引用

2nd Interdisciplinary Engineering Design Education Conference, IEDEC 2012

作者： Ben Youssef, Belgacem Berry, Barbara Sjoerdsma, Michael Department of Computer Engineering CCIS King Saud University Riyadh 11543 Saudi Arabia Teaching and Learning Centre Simon Fraser University Surrey BC Canada School of Engineering Science Simon Fraser University Burnaby BC Canada

ISBN: (纸本)9781467308403

Many technology and design-based disciplines are facing increasing demands to prepare students to perform effectively within computational and simulation environments. Further, students' spatial abilities are an important prerequisite to technological literacy within virtual environments. In this paper, we explore the challenges and opportunities teaching a large group of first-year, interdisciplinary students to apply spatial thinking skills by undertaking a team-based, design project using an industrial-strength computational design environment (SolidWorks). We describe key instructional principles and techniques used to minimize the complexity of this computational tool, thus enabling students to focus on the tasks and reasoning requirements of the design project. While encouraged by the high degree of students' motivation for building functioning animated mechanical toys (AMTs), students frequently reported being lost in SolidWorks (SW) during the modeling phases of the project. Our techniques for scaffolding learning activities have continued to evolve to minimize the challenges faced by novice users of SW and to better support them in developing their spatial thinking skills. We also present our experiences, lessons learned, and ideas for improving the design of the project, and learning activities, such as worked examples of an AMT model, to further reduce the cognitive load and to enable students to focus on visual-spatial reasoning rather than on the tacit skills associated with using SolidWorks. © 2012 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

An Exploration of Affective and Demographic Factors Regarding Mathematical Thinking and Reasoning of University Students

引用

Procedia - Social and Behavioral sciences 2012年 47卷 862-867页

作者： Seren Basaran Giray Berberoglu Department of Computer and Instructional Technology Teaching The American UniversityGirneMersin 10 Turkey Cyprus Department of Secondary Science and Mathematics Education Ankara 6800 Turkey

The purpose of this study is two-fold: It aims to determine the factors that are influential in undergraduate students’ approaches to studying, self-efficacy, problem solving strategies, competency in mathematical thinking and reasoning; to identify any gender, grade level, and regional differences among the identified factors and on the overall competency in mathematical thinking and reasoning of undergraduate students and prospective teachers. The factors were identified through the adopted survey of approaches to studying and the competency test on mathematical thinking nd reasoning that was designed by the researcher. The scales were administered to 431 undergraduate students of mathematics, elementary and secondary mathematics education in Ankara and in Northern Cyprus and to prospective teachers of classroom teacher education and early childhood education of teacher training academy in Northern Cyprus. Exploratory and confirmatory factor analyses were employed to determine the factors and the differences with respect to gender, region and grade level separately and their dual, triple interaction effects were investigated through two two-way MANOVA and a three-way ANOVA analyses. Results showed that significant gender, grade level differences across identified dimensions of the survey and region, gender and grade level differences across the dimensions of the test and on the total test.

关键词： Affective Analysis of Variance (ANOVA) Demographic Mathematical Thinking and Reasoning Multivariate Analysis of Variance (MANOVA)

来源：评论

学校读者我要写书评

暂无评论

An integration of fuzzy inference systems and Genetic Algorithms for Wireless Sensor Networks

引用

International Journal of Hybrid Intelligent Systems 2012年第2期9卷 61-74页

作者： Rabelo, Ricardo A.L. de S. Lemos, Marcus Vinícius Leal, Líliam B. Filho, Raimir Holanda Borges, Fabbio A.S. Computer Science Center of Technology and Urban Planning University of State of Piaui Teresina PI Brazil Applied Computer Sciences Department University of Fortaleza Fortaleza Brazil Unified Teaching Center of Teresina Teresina PI Brazil

Wireless sensor networks (WSNs) consist of a set of sensor nodes in order to detect and transmit environmental characteristics, such as, temperature, humidity or lightness. These sensor nodes, after capturing an event, should communicate with a special node, named sink node. However, the use of a single sink node implies a bottleneck in the sensor network, specially for real time applications. To overcome this problem, researches are focusing on studies for the selection of routes in sensor networks with multiple sink nodes. The approach proposed by this paper presents the application of Genetic Fuzzy Systems (GFSs) to estimate the quality of routes in WSNs, in order to ensure communication between multiple sensor nodes and multiple sink nodes. A Mamdani Fuzzy Inference System is used to select the best sink node for communication at a given moment, based on network features such as the available energy of the route and the number of hops to reaches the sink node. Genetic Algorithms (GAs) are used to obtain the optimal setting of design parameters of the Mamdani fuzzy inference system. The proposed route classification was implemented by computer simulations to demonstrate its feasibility and the results showed a sensor network with longer lifetime, based on the appropriate selection of the sink and the route used to send packets through the network.

关键词： Wireless sensor networks sink node fuzzy system genetic algorithm fuzzy-genetic system

来源：评论

学校读者我要写书评

暂无评论

Self Adaptive Artificial Bee Colony for Global Numerical Optimization

Self Adaptive Artificial Bee Colony for Global Numerical Opt...

引用

2012 2nd Internationnall Conference on Mechanical, Industrial, and Manufacturing Engineering

作者： Wenxiang Gu Minghao Yin Chunying Wang College of Computer Science Northeast Normal University Changchun Architecture & Civil Engineering College Department of Basic Subject Teaching

The ABC algorithm has been used in many practical cases and has demonstrated good convergence rate. It produces the new solution according to the stochastic variance process. In this process, the magnitudes of the perturbation are important since it can affect the new solution. In this paper, we propose a self adaptive artificial bee colony, called self adaptive ABC, for the global numerical optimization. A new self adaptive perturbation is introduced in the basic ABC algorithm, in order to improve the convergence rates. 23 benchmark functions are employed in verifying the performance of self adaptive ABC. Experimental results indicate our approach is effective and efficient. Compared with other algorithms, self adaptive ABC performs better than, or at least comparable to the basic ABC algorithm and other state-of-the-art approaches from literature when considering the quality of the solution obtained.

关键词： artificial bee colony self adaptive global numerical optimization exploitation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：