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

International Conference on computer Supported Cooperative Work in Design

作者： De C. Gatti, Leonardo A. Santoro, Flávia Maria Nunes, Vanessa T. NP2TEC - Research and Practice Group in Information Technology Department of Applied Informatics Federal University of the State of Rio de Janeiro UNIRIO Rio de Janeiro Brazil COPPE - Systems Engineering and Computer Science Program Federal University of Rio de Janeiro UFRJ Rio de Janeiro Brazil

ISBN: (纸本)9781424467631

The main knowledge management challenges are to capture, store and reuse contextual knowledge generated during interactions that occur daily in an organization. In this paper, we propose an activity context-aware architecture to support knowledge management in working processes. The required features for this architecture are processing, reasoning and sharing contextual knowledge involving information about activities performed. We also present results from evaluation of our proposal - A-CoBrA - for a specific domain. © 2010 IEEE.

关键词： Knowledge management

来源：评论

学校读者我要写书评

暂无评论

Support for flight trajectories and video capture: Initial results using a free open source flight simulator

Support for flight trajectories and video capture: Initial r...

引用

12th International Conference on engineering, Science, Construction, and Operations in Challenging Environments - Earth and Space 2010

作者： Durham, Jayson Mehrubeoglu, Mehrube McLauchlan, Lifford Carter, David McBee, Ross Capabilities Branch SPA WAR Systems Center - Pacific United States Dept. of Computing Sciences Engineering Technology Program Texas A and M University Corpus Christi TX United States Dept. of Electrical Engineering and Computer Science Texas A and M University Kingsville TX United States University of Texas Austin TX United States Regents School of Austin United States

ISBN: (纸本)9780784410967

Micro Aerial Vehicles (MAVs) and larger Unmanned Aerial Vehicles (UAVs) constitute a powerful tool for the modern warfighter and first responder. However, every developing technology must first be tested before being exported to the battlefield or hot spot to assure predictable behaviors. In today's digital age, computers give designers and testers unprecedented ability to quickly and easily test virtual models before physical prototypes are created and field tested. We have utilized emerging Free Open Source Software (FOSS) simulators and workbenches (e.g. FlightGear and AUV Workbench) to improve mission-driven MAV/UAV video and imagery capture and analysis capabilities. In this project, use of FlightGear to analyze flight trajectories and video capture capabilities of different UAVs is presented. FlightGear allows the free implementation of changeable flight dynamic models, weather, autopilot, GPS, and multiplayer to be included in the analysis of simulated flights. Another attractive aspect of FlightGear is its extensible and easy-to-modify implementation. Modifications are accomplished by changing or adding human readable XML files in the FlightGear subdirectories. In this effort, existing aerial vehicle models are incorporated into FlightGear to create flight trajectories and analyze video capture capabilities to determine the necessary toolset for analyzing imagery data to meet the mission needs. The limitations of the existing camera systems as well as effects of various flight parameters on mosaicking and georegistration are presented here. Sample analysis of the effect of aerial vehicle speed on the overlap of frames captured at the typical 30 frames/second frame rate, which provides a base for comparison of flight attributes, are demonstrated together with other parameters that affect mission performance. © 2010 ASCE.

关键词： Flight simulators

来源：评论

学校读者我要写书评

暂无评论

Growth and characteristics of GaInN/GaInN multiple quantum well light-emitting diodes

Growth and characteristics of GaInN/GaInN multiple quantum w...

引用

作者： Lee, Wonseok Kim, Min-Ho Zhu, Di Noemaun, Ahmed N. Kim, Jong Kyu Schubert, E.F. Future Chips Constellation and Engineering Science Program Rensselaer Polytechnic Institute Troy NY 12180 United States Samsung LED Suwon 443-743 Korea Republic of Future Chips Constellation Department of Physics Applied Physics and Astronomy Rensselaer Polytechnic Institute Troy NY 12180 United States Future Chips Constellation Department of Electrical Computer and Systems Engineering Rensselaer Polytechnic Institute Troy NY 12180 United States Department of Materials Science and Engineering Pohang University of Science and Technology Pohang 790-784 Korea Republic of

We demonstrate GaInN multiple quantum well (MQW) light-emitting diodes (LEDs) having ternary GaInN quantum barriers (QBs) instead of conventional binary GaN QBs for a reduced polarization mismatch between QWs and QBs and an additional separate confinement of carriers to the MQW active region. In comparison with GaInN LEDs with conventional GaN QBs, the GaInN/GaInN LEDs show a reduced blueshift of the peak wavelength with increasing injection current and a reduced forward voltage. In addition, we investigate the density of pits emerging on top of the MQW layer that are correlated with V-defects and act as a path for the reverse leakage current. The GaInN/GaInN MQW structure has a lower pit density than the GaInN/GaN MQW structure as well as a lower reverse leakage current. Finally, the GaInN/GaInN MQW LEDs show higher light output power and external quantum efficiency at high injection currents compared to the conventional GaInN/GaN MQW LEDs. We attribute these results to the reduced polarization mismatch and the reduced lattice mismatch in the GaInN/GaInN MQW active region. © 2010 American Institute of Physics.

关键词： III-V semiconductors

来源：评论

学校读者我要写书评

暂无评论

Individual-based simulation of sexual selection: A quantitative genetic approach

引用

Procedia computer Science 2010年第1期1卷 2003-2011页

作者： D. van Dijk P.M.A. Sloot J.C. Tay M.C. Schut Computational Science University of Amsterdam Sciencepark 107 1098 XG Amsterdam The Netherlands Evolutionary and Complex Systems Program School of Computer Engineering Nanyang Technological University Singapore 639798 Singapore Department of Artificial Intelligence Vrije Universiteit Amsterdam 1081 HV Amsterdam The Netherlands

Sexual selection has been mathematically modeled using quantitative genetics as well as population genetics. Two-locus simulation models have been used to study the evolution of male display and female preference. We present an individual-based simulation model of sexual selection in a quantitative genetic context. We show that under certain conditions Fisherian self-reinforcing sexual selection takes effect, predicted by Lande’s analytic model of female choice. We also show that the dynamics involved in the co-evolution of male display and female preference is much more complex than mathematics would predict. We therefore argue that the study of sexual selection through individual-based simulation could give new and more realistic insight into a world dominated by overly simplified equations.

关键词： Sexual selection Individual-based modeling Agent-based modeling

来源：评论

学校读者我要写书评

暂无评论

WANN-Tagger: A weightless artificial neural network tagger for the portuguese language

WANN-Tagger: A weightless artificial neural network tagger f...

引用

作者： Carneiro, Hugo C. C. França, Felipe M. G. Lima, Priscila M. V. Systems Engineering and Computer Science Program/COPPE Universidade Federal do Rio de Janeiro Caixa Postal 68511 21941-972 Rio de Janeiro RJ Brazil Department of Mathematics Universidade Federal Rural do Rio de Janeiro Km 47 Campus Universitário BR-465 23890-000 Seropédica RJ Brazil

ISBN: (纸本)9789898425324

Weightless Artificial Neural Networks have proved to be a promising paradigm for classification tasks. This work introduces the WANN-Tagger, which makes use of weightless artificial neural networks for labelling Portuguese sentences, tagging each of its terms with its respective part-of-speech. A first experimental evaluation using the CETENFolha corpus indicates the usefulness of this paradigm and shows that it outperforms traditional feedforward neural networks in both accuracy and training time, and also that it is competitive in accuracy with the Hidden Markov Model in some cases. Additionally, WANN-Tagger shows itself capable of incrementally learning new tagged sentences during runtime.

关键词： Feedforward neural networks

来源：评论

学校读者我要写书评

暂无评论

Cost of temperature history data uncertainties in short term electric load forecasting

Cost of temperature history data uncertainties in short term...

引用

2010 IEEE 11th International Conference on Probabilistic Methods Applied to Power systems, PMAPS 2010

作者： Hong, Tao Pahwa, Anil Wang, Pu Gui, Min Hsiang, Simon M. Operations Research North Carolina State University Raleigh NC 27695 United States Electrical and Computer Engineering Kansas State University Manhattan KS 66506 United States SAS Institute Inc. Cary NC 27513 United States Quanta Technology LLC Raleigh NC 27607 United States Industrial and Systems Engineering North Carolina State University Raleigh NC 27695 United States NCSU Operation Research Program Institute for Advanced Analytics United States

ISBN: (纸本)9781424457236

Short-term load forecasting has received a lot of attention from both researchers and practitioners. Many techniques, such as neural networks, fuzzy logic, and time series models, are developed to improve the modeling and forecasting process with varying success. Some research has also been devoted to improving the weather forecast or relieving the impact of uncertainties in the weather forecast. Nowadays, the quality of load and weather data history becomes a bottleneck of enhancing the forecast accuracy. With the emerging Smart Grid initiatives, the utilities have the opportunities to upgrade their infrastructure, which includes the advanced metering systems. These upgrades will potentially lead to a high quality load history in the near future. On the other hand, quality of weather history has been a concern of the small and medium sized utilities. This paper presents a recent study for a medium sized utility in eastern US. Multiple linear regression, which is currently deployed in this utility, is used to generate the base forecast in this paper. A Monte Carlo based methodology is proposed to quantify the cost of the data uncertainties in the temperature history. Finally, a cost-benefit analysis is performed to help the utilities decide how many weather stations should be installed. ©2010 IEEE.

关键词： Multiple linear regression

来源：评论

学校读者我要写书评

暂无评论

Accelerating the Shuffled Frog Leaping algorithm by parallel implementations in FPGAs

Accelerating the Shuffled Frog Leaping algorithm by parallel...

引用

International Conference on Bio-Inspired Computing: Theories and Applications, BICTA

作者： Daniel M. Muñoz Carlos H. Llanos Leandro dos S. Coelho Mauricio Ayala-Rincón Department of Mechanical Engineering University of Brasilia Brasilia D.F Brazil Industrial and Systems Engineering Graduate Program Pontifical Catholic University of Parana Curitiba Parana Brazil Department of Computer Science and Mathematics University of Brasilia Brasilia D.F Brazil

Meta-heuristics are efficient techniques for solving large scale optimization problems in which traditional mathematical techniques are impractical or provide suboptimal solutions. The Shuffled Frog Leaping algorithm (SFLA) is a stochastic iterative method, bio-inspired on the memetic evolution of a group of frogs when seeking for food, which combines the social behavior-based of the particle swarm optimization technique (PSO) and the global information exchange of memetic algorithms. However, the SFLA algorithm suffers on large execution times, being this problem clearly evident when solving complex optimization problems for embedded applications. This drawback can be overcome by exploiting the parallel capabilities of the SFLA. This paper proposes a hardware parallel implementation of the SFLA algorithm (HPSFLA) using FPGAs (Field programmable gate Arrays) and the efficient floating-point arithmetic. The proposed architecture allows the SFLA to improve the functionality of the algorithm as well as to decrease the execution times by implementing parallel frogs and parallel memeplexes. Three well-known benchmark problems have been used to validate the implemented algorithm and simulation results demonstrate that the HPSFLA speeds-up by factors of 362, 727 and 211 a C-code implementation using an embedded microprocessor for the Sphere, Rastrigin and Rosenbrock benchmarks problems, respectively. Synthesis, simulation and execution time results demonstrate the effectiveness of the proposed HPSFLA architecture for embedded optimization systems.

关键词： Mathematics Field programmable gate arrays Table lookup

来源：评论

学校读者我要写书评

暂无评论

Analyzing shotgun proteomic data with patternlab for proteomics

引用

Current Protocols in Bioinformatics 2010年第SUPPL. 30期Chapter 13卷 13.13.1-13.13.15页

作者： Carvalho, Paulo C. Yates III, John R. Barbosa, Valmir C. Systems Engineering and Computer Science Program COPPE Federal University of Rio de Janeiro Rio de Janeiro Brazil Brazil Scripps Research Institute La Jolla CA United States

PatternLab for proteomics is a one-stop shop computational environment for analyzing shotgun proteomic data. Its modules provide means to pinpoint proteins/peptides that are differentially expressed and those that are unique to a state. It can also cluster the ones that share similar expression profiles in time-course experiments, as well as help in interpreting results according to Gene Ontology. PatternLab is user-friendly, simple, and provides a graphical user interface. Copyright © 2010 John Wiley & Sons, Inc.

关键词： label-based proteomic analysis label-free proteomic analysis shotgun proteomics

来源：评论

学校读者我要写书评

暂无评论

Using modal logics to express and check global graph properties

Using modal logics to express and check global graph propert...

引用

作者： Benevides, Mario R.F. Schechter, L. Menasché Computer Science Department Systems and Computer Engineering Program Federal University of Rio de Janeiro Rio de Janeiro Brazil Systems and Computer Engineering Program Federal University of Rio de Janeiro Rio de Janeiro Brazil

Graphs are among the most frequently used structures in computer Science. Some of the properties that must be checked in many applications are connectivity, acyclicity and the Eulerian and Hamiltonian properties. In this work, we analyze how we can express these four properties with modal logics. This involves two issues: whether each of the modal languages under consideration has enough expressive power to describe these properties and how complex (computationally) it is to use these logics to actually test whether a given graph has some desired property. First, we show that these properties are not definable in a basic modal logic or in any bisimulation-invariant extension of it, like the modal μ-calculus. We then show that it is possible to express some of the above properties in a basic hybrid logic. Unfortunately, the Hamiltonian and Eulerian properties still cannot be efficiently checked. In a second attempt, we propose an extension of CTL* with nominals and show that the Hamiltonian property can be more efficiently checked in this logic than in the previous one. In a third attempt, we extend the basic hybrid logic with the ↓ operator and show that we can check the Hamiltonian property with optimal (NP) complexity in this logic. Finally, we tackle the Eulerian property in two different ways. First, we develop a generic method to express edge-related properties in hybrid logics and use it to express the Eulerian property. Second, we express a necessary and sufficient condition for the Eulerian property to hold using a graded modal logic. © The Author 2009. Published by Oxford University Press. All rights reserved.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

An agent-based architecture for knowledge management in context-aware business processes

An agent-based architecture for knowledge management in cont...

引用

International Conference on computer Supported Cooperative Work in Design

作者： Leonardo A. de C. Gatti Flávia Maria Santoro Vanessa T. Nunes NP2TEC - Research and Practice Group in Information Technology UNIRIO Rio de Janeiro Brazil NP2TEC-Research and Practice Group in Information Technology Department of Applied Informatics UNIRIO Federal University of Rio de Janeiro Rio de Janeiro Brazil COPPE - Systems Engineering and Computer Science Program UFRJ Rio de Janeiro Brazil

关键词： Knowledge management computer architecture Context modeling Collaborative work Proposals Information technology Informatics Service oriented architecture Ontologies Knowledge engineering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：