Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia最新文献_第2页

A structural analysis of the A5/1 state transition graph A5/1状态转移图的结构分析

Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia Pub Date : 2012-10-01 DOI: 10.4204/EPTCS.99.4

A. Beckmann, J. Fedorowicz, J. Keller, U. Meyer

{"title":"A structural analysis of the A5/1 state transition graph","authors":"A. Beckmann, J. Fedorowicz, J. Keller, U. Meyer","doi":"10.4204/EPTCS.99.4","DOIUrl":"https://doi.org/10.4204/EPTCS.99.4","url":null,"abstract":"We describe efficient algorithms to analyze the cycle structure of the graph induced by the state transition function of the A5/1 stream cipher used in GSM mobile phones and report on the results of the implementation. The analysis is performed in five steps utilizing HPC clusters, GPGPU and external memory computation. A great reduction of this huge state transition graph of 2^64 nodes is achieved by focusing on special nodes in the first step and removing leaf nodes that can be detected with limited effort in the second step. This step does not break the overall structure of the graph and keeps at least one node on every cycle. In the third step the nodes of the reduced graph are connected by weighted edges. Since the number of nodes is still huge an efficient bitslice approach is presented that is implemented with NVIDIA's CUDA framework and executed on several GPUs concurrently. An external memory algorithm based on the STXXL library and its parallel pipelining feature further reduces the graph in the fourth step. The result is a graph containing only cycles that can be further analyzed in internal memory to count the number and size of the cycles. This full analysis which previously would take months can now be completed within a few days and allows to present structural results for the full graph for the first time. The structure of the A5/1 graph deviates notably from the theoretical results for random mappings.","PeriodicalId":360852,"journal":{"name":"Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115251558","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 12

Lex-Partitioning: A New Option for BDD Search Lex-Partitioning: BDD搜索的新选项

Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia Pub Date : 2012-10-01 DOI: 10.4204/EPTCS.99.8

S. Edelkamp, Peter Kissmann, Á. Torralba

{"title":"Lex-Partitioning: A New Option for BDD Search","authors":"S. Edelkamp, Peter Kissmann, Á. Torralba","doi":"10.4204/EPTCS.99.8","DOIUrl":"https://doi.org/10.4204/EPTCS.99.8","url":null,"abstract":"For the exploration of large state spaces, symbolic search using binary decision diagrams (BDDs) can save huge amounts of memory and computation time. State sets are represented and modified by accessing and manipulating their characteristic functions. BDD partitioning is used to compute the image as the disjunction of smaller subimages. \u0000In this paper, we propose a novel BDD partitioning option. The partitioning is lexicographical in the binary representation of the states contained in the set that is represented by a BDD and uniform with respect to the number of states represented. The motivation of controlling the state set sizes in the partitioning is to eventually bridge the gap between explicit and symbolic search. \u0000Let n be the size of the binary state vector. We propose an O(n) ranking and unranking scheme that supports negated edges and operates on top of precomputed satcount values. For the uniform split of a BDD, we then use unranking to provide paths along which we partition the BDDs. In a shared BDD representation the efforts are O(n). The algorithms are fully integrated in the CUDD library and evaluated in strongly solving general game playing benchmarks.","PeriodicalId":360852,"journal":{"name":"Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127181855","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 5

Graph Subsumption in Abstract State Space Exploration 抽象状态空间探索中的图包容

Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia Pub Date : 2012-04-01 DOI: 10.4204/EPTCS.99.6

E. Zambon, A. Rensink

引用次数: 10

A boosting approach to content-based 3D model retrieval 一种基于内容的3D模型检索增强方法

Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia Pub Date : 2007-12-01 DOI: 10.1145/1321261.1321301

Hamid Laga, M. Nakajima

引用次数: 12

Experiments in 3D interaction for mobile phone AR 手机AR的3D交互实验

Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia Pub Date : 2007-12-01 DOI: 10.1145/1321261.1321295

Anders Henrysson, Joe Marshall, M. Billinghurst

引用次数: 56

Considerations for the design of exergames 关于游戏设计的考虑

Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia Pub Date : 2007-12-01 DOI: 10.1145/1321261.1321313

J. Sinclair, P. Hingston, M. Masek

引用次数: 381

Magallanes: 3D navigation for everybody Magallanes:每个人的3D导航

Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia Pub Date : 2007-12-01 DOI: 10.1145/1321261.1321285

M. Abásolo, Joseph Della

{"title":"Magallanes: 3D navigation for everybody","authors":"M. Abásolo, Joseph Della","doi":"10.1145/1321261.1321285","DOIUrl":"https://doi.org/10.1145/1321261.1321285","url":null,"abstract":"Although the problem of wayfinding in virtual worlds has been studied in several works, it still remains as one of the main limitations of using 3d worlds in internet. This paper presents a VRML prototype, called Magallanes, that can be added to any new or existent 3D scene to help users in 3D navigation. The designer can define both viewpoints as usual and also virtual tours as connections between viewpoints. The prototype automatically generates a graphical user interface added to the scene that facilitates the selection of places of interest. When the user selects a destination, the prototype automatically finds the optimal navigation path from the avatar position to the destination, by applying the A* algorithm to the graph of viewpoints. Afterwards, the camera is animated following the generated path. One of Magallanes' novelties is that the viewpoints and connections can not only be added by prototype instantiation, but also can be dynamically done while the user navigates. Although Magallanes can be used to help any user to navigate a VRML scene, we find it particularly useful for persons with hands disabilities to whom 3D navigation with a conventional mouse may become almost impossible. Magallanes was tested in combination with a visual-based interface that captures facial gestures and head movement to control the mouse.","PeriodicalId":360852,"journal":{"name":"Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133827710","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 16

Performance and user based analysis of a collaborative virtual environment system 协同虚拟环境系统的性能和基于用户的分析

Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia Pub Date : 2007-12-01 DOI: 10.1145/1321261.1321296

M. A. Rodrigues, R. R. C. Chaves

引用次数: 3

Evaluation of game engines for simulated surgical training 模拟外科训练的游戏引擎评估

Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia Pub Date : 2007-12-01 DOI: 10.1145/1321261.1321311

S. Marks, J. Windsor, B. Wünsche

{"title":"Evaluation of game engines for simulated surgical training","authors":"S. Marks, J. Windsor, B. Wünsche","doi":"10.1145/1321261.1321311","DOIUrl":"https://doi.org/10.1145/1321261.1321311","url":null,"abstract":"The increasing complexity and costs of surgical training and the constant development of new surgical procedures has made virtual surgical training an essential tool in medical education. Unfortunately, commercial tools are very expensive and have a small support base. Game engines offer unique advantages for the creation of highly interactive and collaborative environments.\u0000 This paper examines the suitability of currently available game engines for developing applications for medical education and simulated surgical training. We formally evaluate a list of available game engines for stability, availability, the possibility of custom content creation and the interaction of multiple users via a network. Based on these criteria, three of the highest ranked engines are used for further case studies.\u0000 We found that in general it is possible to easily create scenarios with custom medical models that can be cooperatively viewed and interacted with. Limitations in physical simulation capabilities make some engines unsuitable for fully interactive applications, but they can be used in combination with predefined animations. We show that overall game engines represent a good foundation for low cost virtual surgery applications and we discuss technologies which can be used to further extend their physical simulation capabilities.","PeriodicalId":360852,"journal":{"name":"Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133609312","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 84

Compact and efficient generation of radiance transfer for dynamically articulated characters 紧凑和有效的生成辐射传输动态铰接字符

Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia Pub Date : 2007-12-01 DOI: 10.1145/1321261.1321288

D. Nowrouzezahrai, P. Simari, E. Kalogerakis, Karan Singh, E. Fiume

{"title":"Compact and efficient generation of radiance transfer for dynamically articulated characters","authors":"D. Nowrouzezahrai, P. Simari, E. Kalogerakis, Karan Singh, E. Fiume","doi":"10.1145/1321261.1321288","DOIUrl":"https://doi.org/10.1145/1321261.1321288","url":null,"abstract":"We present a data-driven technique for generating the precomputed radiance transfer vectors of an animated character as a function of its joint angles. We learn a linear model for generating real-time lighting effects on articulated characters while capturing soft self-shadows caused by dynamic distant lighting. Indirect illumination can also be reproduced using our framework. Previous data-driven techniques have either restricted the type of lighting response (generating only ambient occlusion), the type of animated sequences (response functions to external forces) or have complicated runtime algorithms and incur non-trivial memory costs. We provide insights into the dimensionality reduction of the pose and coefficient spaces. Our model can be fit quickly as a preprocess, is very compact (~1 MB) and runtime transfer vectors are generated using a simple algorithm in real-time (> 100 Hz using a CPU-only implementation.) We can reproduce lighting effects on hundreds of trained poses using less memory than required to store a single mesh's PRT coefficients. Moreover, our model extrapolates to produce smooth, believable lighting results on novel poses and our method can be easily integrated into existing interactive content pipelines.","PeriodicalId":360852,"journal":{"name":"Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114594226","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 4