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

IEEE Annual Conference on Pervasive Computing and Communications Workshops (PerCom)

作者： O. Riva C. di Flora S. Russo K. Raatikainen Helsinki Institute of Information Technology Finland Nokia Research Center Tampere Finland Department of Computer Science University of Naples Federico II Italy

The lack of structured methodologies and software engineering efforts on designing the support of context-awareness in pervasive systems hinders the potential advantages of analyzing and reusing other practitioners' experience on solving common problems. This paper proposes to exploit design patterns to identify and capture common aspects of various design solutions. Specifically, we reverse-architect existing context-awareness support systems and unearth design patterns that have been implicitly (and rarely explicitly) adopted to solve similar problems

关键词： Context-aware services Ubiquitous computing Context Pervasive computing Pattern analysis Privacy Information technology computer science Software engineering Information analysis

来源：评论

学校读者我要写书评

暂无评论

Optimization of railway vehicle structures using evolutionary algorithms and parallel computing techniques

Optimization of railway vehicle structures using evolutionar...

引用

11th AIAA/ISSMO Multidisciplinary Analysis and Optimization Conference

作者： Mrzyglod, Miroslaw Osyczka, Andrzej Cracow University of Technology Cracow 31-864 Poland AGH University of Science and Technology Cracow 30-067 Poland Institute of Rail Vehicle Al. Jana Pawla II 37 31-864 Cracow Poland Department of Applied Computer Science Faculty of Management ul. Gramatyka 10 30-067 Cracow Poland

ISBN: (纸本)1563478234

In the paper the use of evolutionary algorithms and parallel computing in the structural optimization of the railway vehicle is presented. In the example the mass of the structure was optimized with the von Mises equivalent stress as a state parameter. In structural optimization of the vehicle changes in load conditions during their exploitation were taken into account. Since the multilevel FEM analysis of complex 3-D structures requires a large amount of computational time, Parallel Evolutionary methodology was applied to solving this optimization problem. A software package Evolutionary Optimization System (EOS) and FEM analysis ANSYS® program for structure optimization were used. As a result of the optimization the structure mass was considerably reduced. Due to parallel computing the computational time was significantly shortened. The approach presented here is likely to find a wide application in industry. Copyright © 2006 by the American institute of Aeronautics and Astronautics, Inc. All rights reserved.

关键词： Railroad rolling stock

来源：评论

学校读者我要写书评

暂无评论

Approximate Satisfiability and Equivalence

Approximate Satisfiability and Equivalence

引用

Annual Symposium on Logic in computer science

作者： E. Fischer F. Magniez M. de Rougemont Faculty of Computer Science Technion-Israel institute of technology Haifa Israel CNRS-LRI Université Paris-Sud France Université Paris II France

Inspired by property testing, we relax the classical satisfiability UvDashF between a finite structure U of a class K and a formula F, to a notion of epsiv-satisfiability UvDash epsiv F, and the classical equivalence F 1 equivF 2 between two formulas F 1 and F 2 , to epsiv-equivalence F 1 equiv epsiv F 2 for epsiv>0. We consider the class of strings and trees with the edit distance with moves, and show that these approximate notions can be efficiently decided. We use a statistical embedding of words (resp. trees) into lscr 1 , which generalizes the original Parikh mapping, obtained by sampling O(f(epsiv)) finite samples of the words (resp. trees). We give a tester for equality and membership in any regular language, in time independent of the size of the structure. Using our geometrical embedding, we can also test the equivalence between two regular properties on words, defined by monadic second order formulas. Our equivalence tester has polynomial time complexity in the size of the automaton (or regular expression), for a fixed epsiv, whereas the exact version of the equivalence problem is PSPACE-complete. Last, we extend the geometric embedding, and hence the tester algorithms, to infinite regular languages and to context-free languages. For context-free languages, the equivalence tester has an exponential time complexity, whereas the exact version is undecidable

关键词： Logic testing Hamming distance Vegetation mapping Sampling methods Automatic testing Polynomials Automata computer science Robustness Working environment noise

来源：评论

学校读者我要写书评

暂无评论

A WORM-type memory device with rectifying effect based on a conjugated copolymer of PF6Eu on Si substrate

A WORM-type memory device with rectifying effect based on a ...

引用

2006 MRS Spring Meeting

作者： Tan, Y.P. Ling, Q.D. Teo Eric, Y.H. Song, Y. Lim, S.L. Lo Patrick, G.Q. Kang, E.T. Zhu, Chunxiang Chan, D.S.H. Silicon Nano Device Laboratory Department of Electrical and Computer Engineering National University of Singapore 10 Kent Ridge Crescent Singapore 119260 Singapore Department of Chemical and Biomolecular Engineering National University of Singapore 10 Kent Ridge Crescent Singapore 119260 Singapore Institute of Microelectronics Singapore Science Park II 11 Science Park Road Singapore 117685 Singapore

ISBN: (纸本)1558998942

We report a non-volatile, write-once-read-many times (WORM) memory device based on a simple organic-inorganic heterojunction. The organic-based hybrid used is 9, 9-dihexylfluorene and Eu-complexed benzoate (PF6Eu (DBM)), which contains both electron-donor (9, 9-dihexylfluorene) and electron-acceptor (europium complex) groups. The inorganic n-type silicon substrate is used as the bottom electrode, while the Al is used as the top electrode. Under current-voltage testing, the device is able to switch from one initial non-conducting state (OFF) to a conducting state (ON) once a threshold voltage is reached under the first positive sweep. The "OFF" state is not recoverable with subsequent negative sweep after the device is turned "ON". The ON/OFF current ratio is around 4×104. Diode rectifying characteristics is also observed for the tumed-on device with a current ratio of 7×104, which is essential to address one memory cell in large passive matrix circuits. Reliability test is carried out and the device is able to sustain its "ON" state for at least 12 hours without any external bias. © 2006 Materials Research Society.

关键词： Data storage equipment

来源：评论

学校读者我要写书评

暂无评论

A WORM-Type Memory Device with Rectifying Effect Based on a Conjugated Copolymer of PF6Eu on Si Substrate

引用

MRS Online Proceedings Library 2006年第1期937卷 1-6页

作者： Tan, Y.P Ling, Q.D Teo Eric, Y. H. Song, Y. Lim, S.L Lo Patrick, G. Q. Kang, E.T Zhu, Chunxiang Chan, D. S. H. Silicon Nano Device Laboratory Department of Electrical and Computer Engineering National University of Singapore Singapore USA Department of Chemical and Biomolecular Engineering National University of Singapore Singapore USA Institute of Microelectronics Singapore Science Park II USA

We report a non-volatile, write-once-read-many times (WORM) memory device based on a simple organic-inorganic heterojunction. The organic film used is 9, 9-dihexylfluorene and Eu-complexed benzoate (PF6Eu (DBM)), which contains both electron-donor (9, 9-dihexylfluorene) and electron-acceptor (europium complex) groups. The inorganic n-type silicon substrate is used as the bottom electrode, while the Al is used as the top electrode. Under current-voltage testing, the device is able to switch from one initial non-conducting state (OFF) to a conducting state (ON) once a threshold voltage is reached under the first positive sweep. The “OFF” state is not recoverable with subsequent negative sweep after the device is turned “ON”. The ON/OFF current ratio is around 4×104. Diode rectifying characteristics is also observed for the turned-on device with a current ratio of 7×104, which is essential to address one memory cell in large passive matrix circuits. Reliability test is carried out and the device is able to sustain its “ON” state for at least 12 hours without any external bias.

关键词： Si memory polymer

来源：评论

学校读者我要写书评

暂无评论

High-rise buildings under earthquake excitation: Stabilization using SMC

High-rise buildings under earthquake excitation: Stabilizati...

引用

作者： Dimirovski, Georgi M. Zhao, Jun Vukobratovic, Miomir K. Dogus University Faculty of Engineering Dept. of Computer Engineering Acibadem Zeamet Sk. 21 Kadikoy TR-34722 Istanbul Turkey SS Cyril and Methodius University Faculty of Electrical Engineering Rugjer Boskovic b.b. Karpos II MK-1000 Skopje Macedonia Northestern University School of Information Science and Engineering Institute of Control Science Shenyang Liaoning CN-110004 China Mihailo Pupin Institute Laboratory of Robotics and Automation Volgina 15 Karaburma 11000 Serbia

ISBN: (纸本)9783902661173

The goal to control the dynamics of high-rise buildings either to ameliorate the damage or prevent their destruction when subject to an earthquake excitation has been subject of extensive research. All known control designs have advantages and disadvantages as well as operating limits. The application of sliding-mode control to controlling earthquake induced vibrations of a multi-story structural system as an active seismic compensation plus base isolation has been investigated. The performance has been compared to the one of traditional industrial controls, and relevant conclusions drawn. Simulation results, carried out using El Centro earthquake acceleration, have shown that the sliding mode control can decrease significantly displacements of the floors. Copyright © 2006 IFAC.

关键词： Earthquakes

来源：评论

学校读者我要写书评

暂无评论

PCR thermal management in an integrated Lab on chip

引用

Journal of Physics: Conference Series 2006年第1期34卷 222-227页

作者： Singh, Janak Ekaputri, Mayang A-STAR Institute of Microelectronics Singapore Science Park II Singapore - 117685 11 Science Park Road Singapore School of Electrical and Computer Engineering National University of Singapore Singapore - 119077 21 Lower Kent Ridge Road Singapore

Thermal management modelling and simulations of a polymerase chain reaction (PCR) device to be integrated on a lab on chip (LOC) have been carried out and presented. A typical MEMS PCR in symmetrical configuration is the base model for this study. When the PCR device is integrated on a fluidic chip with many other bio-analysis components such as DNA extraction, RNA extraction, electro-chemical sensor, flow through components and channels etc., thermal symmetry required for uniform temperature across the PCR chamber is normally lost. In this paper, ANSYS 8.0 simulations in varying conditions and corresponding physical basis have been investigated and presented. Model optimizations are carried out when PCR chamber is placed, one, in the centre (symmetry) and two, in the corner (asymmetry) of the integrated chip. In both cases, temperature uniformity within 0.5 °C variation is obtained. © 2006 IOP Publishing Ltd.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Punctuated simplification of man-made objects

Punctuated simplification of man-made objects

引用

作者： Jang, Justin Wonka, Peter Ribarsky, William Shaw, Christopher D. Georgia Institute of Technology GVU Center College of Computing Atlanta GA 30332 United States Arizona State University PRISM Dept. of Computer Science and Engineering Tempe AZ 85287 United States UNC Charlotte CS Dept. Charlotte Visualization Center Charlotte NC 28223 United States Simon Fraser University Surrey School of Interactive Arts and Technology 14-660 Central City Tower 13450 102 Ave Surrey BC V3T 5X3 Canada Graphics Visualization and Usability Center Georgia Institute of Technology PRISM Lab. ASU Department of Information Technology UNC Charlotte Charlotte Visualization Center IEEE Visualization and Graphics Technical Committee School of Interactive Arts and Technology Simon Fraser University Surrey

We present a simplification algorithm for manifold polygonal meshes of plane-dominant models. Models of this type are likely to appear in man-made environments. While traditional simplification algorithms focus on generality and smooth meshes, the approach presented here considers a specific class of man-made models. By detecting and classifying edge loops on the mesh and providing a guided series of binary mesh partitions, our approach generates a series of simplified models, each of which better respects the semantics of these kinds of models than conventional approaches do. A guiding principle is to eliminate simplifications that do not make sense in constructed environments. This, coupled with the concept of "punctuated simplification", leads to an approach that is both efficient and delivers high visual quality. Comparative results are given.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Localized flow analysis of 2D and 3D vector fields

Localized flow analysis of 2D and 3D vector fields

引用

7th Joint Eurographics - IEEE VGTC Symposium on Visualization, VisSym 2005

作者： Wiebel, Alexander Garth, Christoph Scheuermann, Gerik Computer Science Institute University of Leipzig Computer Graphics Group University of Kaiserslautern

ISBN: (纸本)3905673193

In this paper we present an approach to the analysis of the contribution of a small subregion in a dataset to the global flow. To this purpose, we subtract the potential flow that is induced by the boundary of the sub-domain from the original flow. Since the potential flow is free of both divergence and rotation, the localized flow field retains the original features. In contrast to similar approaches, by making explicit use of the boundary flow of the subregion, we manage to isolate the region-specific flow that contains exactly the local contribution of the considered subdomain to the global flow. In the remainder of the paper, we describe an implementation on unstructured grids in both two and three dimensions. We discuss the application of several widely used feature extraction methods on the localized flow, with an emphasis on topological schemes. © The Eurographics Association 2005.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Simple and efficient compression of animation sequences 05

Simple and efficient compression of animation sequences

引用

Proceedings of the 2005 ACM SIGGRAPH/Eurographics symposium on computer animation

作者： Sattler, Mirko Sarlette, Ralf Klein, Reinhard Institute of Computer Science II University of Bonn Germany

ISBN: (纸本)9781595931986

We present a new geometry compression method for animations, which is based on the clustered principal component analysis (CPCA). Instead of analyzing the set of vertices for each frame, our method analyzes the set of paths for all vertices for a certain animation length. Thus, using a data-driven approach, it can identify mesh parts, that are "coherent" over time. This usually leads to a very efficient and robust segmentation of the mesh into meaningful clusters, e.g. the wings of a chicken. These parts are then compressed separately using standard principal component analysis (PCA). Each of this clusters can be compressed more efficiently with lesser PCA components compared to previous approaches. Results show, that the new method outperforms other compression schemes like pure PCA based compression or combinations with linear prediction coding, while maintaining a better reconstruction error. This is true, even if the components and weights are quantized before transmission. The reconstruction process is very simple and can be performed directly on the GPU. © 2010 ACM.

关键词： Principal component analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：