|
|
About the Project
We are a loose interest group at the TU Wien (Vienna University of Technology) and in particular interested and involved in various scientific fields where computers are invaluable. Free open-source projects run by our members are the following:
-
dlvhex is an Open Source scientific prototype application for computing the models of so-called HEX-programs. HEX-programs are a declarative logic programming formalism with a syntax similar to Prolog programs.
In HEX, declarative reasoning can use external computation sources, which is useful for example to integrate knowledge in Semantic Web reasoning. For example, a logic programming rule
reached(X) :- &reach[edge,a](X)
computes the predicate reached taking values from the external computation which computes via reach[edge,a] all the reachable nodes in the graph defined by predicate edge from node a, delegating this task to an external computation source, e.g., a description logic reasoner, a C++ function, or a shell script. This way we can take advantage of efficient purpose-built solutions to computational problems within a declarative reasoning paradigm.
Several research groups have created plugins to provide external computation facilities, e.g., the string plugin for basic string manipulation, the description logic plugin for reasoning with ontologies, the SPARQL-plugin for semantic web reasoning, and others.
-
The OGR Simple Features Library is a C++ open source library providing IO access to a variety of geometry vector file format. OGR is part of the Geospatial Data Abstraction Library (GDAL) which covers IO and processing functionality for geospatial raster data formats. GDAL/OGR is widely used in open source and closed source applications. Some of the key features are:
- Uniform access to a large set of geospatial raster formats (GeoTIFF, Erdas Imagine, SDTS, ECW, MrSID, JPEG2000, DTED, NITF, ...)
- Uniform acces to a variety of vector formats (DWG, DXF, GML, ERSI Shapefile, KML, SVG, OCI, ..)
- Provides services for high performance image warping
- Generic coordinate transformation functionality within OGRSpatialReference
-
The Monitoring System Toolkit -- MOST -- is a vendor and set of tools to simplify measuring and processing different building data streams (energy use, occupancy, comfort, etc.). It supports various building systems, provides powerful data preprocessing functionality (generation of periodic -- hourly/weekly/... -- datasets, workdays only, etc.), enables batch processing with external tools (Excel, Matlab, etc.) and delivers a number of analyses and visualization applications (modular web interface, Matlab framework, etc.).
It consists of:
- Connector (driver) to building systems (OPC DA and therefore BACnet, KNX, M-Bus,
EnOcean, etc.) and "SQL structured" data sources using JDBC)
- Database engine supporting real time data preprocessing
- Java framework providing various software interfaces, virtual datapoints, etc.
- Matlab framework for advanced data processing, statistical analyses, etc.
- GWT based web interface supporting various use cases
-
In September 2010 Sony released the PlayStation Move – a motion-sensing game controller for the PlayStation 3. The Move controller is an excellent input device which can be used for very accurate 6DOF input. The aim of the MoveOnPC open source project is to support the Move controller as a Bluetooth input device on all major platforms:
- Windows, Linux, Mac OS X
- Android, MeeGo
-
Netgen is a multi-platform automatic mesh generation tool written in C++ capable of generating meshes in two and three dimensions. The program is open source, and is distributed under the conditions of the LGPL. It comes in two primary forms:
- A Stand-alone Program with its own Graphical User Interface (GUI) implemented using Tcl/Tk.
- A C++ library (Nglib) which can be linked into other applications functioning as the backend mesh generation kernel.
Netgen generates triangular or quadrilateral meshes in 2D, and tetrahedral meshes in 3D. The input for 2D is described by spline curves, and the input for 3D problems can be defined by Constructive Solid Geometry (CSG), the standard STL file format, or via Boundary Representations (BRep/IGES/STEP) when compiled with OpenCascade support. NETGEN provides modules for automated mesh optimization and hierarchical mesh refinement. Curved elements of arbitrary order are supported.
-
NGSolve is a general purpose Finite Element Library on top of Netgen. Among others, one can solve heat flow equations, Maxwell equations, and solid mechanical problems. Some features of NGSolve:
- Elements of arbitrary order for any shape (segm, trig, quad, tet, prism, pyramid, hex)
- Scalar elements and vector-valued elements for H(curl) and H(div)
- Integrators for Heat-flow, Elasticity, Navier-Stokes, Maxwell, etc.
- Iterative solvers with multigrid preconditioning
- Error estimators and adaptive mesh refinement
-
nomacs is a free image viewer for windows, linux and mac, which is licensed under the GNU Public License v3. nomacs is small, fast and able to handle the most common image formats including RAW images. Additionally it is possible to synchronize multiple viewers. Simple image editing tasks include image conversion, resizing and cropping.
The software is written in C++ and uses Qt which allows for a platform independent user interface.
-
The OpenEngSB is a technical integration platform for software tools. It applies successful concepts of the Enterprise Service Bus in business software engineering to software tools in the engineering process. The integration approach is vendor neutral and allows the integration of existing tools in an engineering environment.
The need for the OpenEngSB arises due to the increasing complexity and flexibility of engineering processes for developing modern software-intensive systems which require the systematic integration of software tools across engineering disciplines (such as mechanical, electrical, and software engineering). Technical and semantic gaps between software tools and engineering models in the development of automation systems hinder the correct and efficient communication across tool and system boundaries, leading to development delays and risks for system operation. The development of automation systems and also business software development is a group effort of engineering teams that are typically working at distributed locations. The integration of communication and collaboration tools into modern agile engineering workflows is therefore a particularly relevant goal.
-
OpenPixi is an open Particle-In-Cell (PIC) simulator. It simulates the motion of a large number of charged particles in an electro-magnetic background. Currently the simulation supports tracking thousands of particles in constant electric, magnetic, and gravitational fields. Support for dynamic relativistic particles and fields is in preparation.
OpenPixi is being developed in Java, with an educational aspect in mind.
As such, it is possible to interact with the plasma in a live Java applet.
Please try out the live version.
-
pi3diamond is a collaboration between the University of Stuttgart and TU Vienna with the aim of developing open source hard- and software to control quantum physics experiments. In particular we investigate single quantum defects in diamond.
The fast hardware is based on configurable digital logic consisting of FPGAs (field programmable gate arrays). The software for the data preparation and readout is programmed in Python.
-
ResK is a collection of data structures and algorithms for the compression of resolution proofs. Resolution proofs are used by various sat-solvers, smt-solvers and first-order theorem provers, as certificates of correctness for the answers they provide. These automated deduction tools have a wide range of application areas, from mathematics to software and hardware verification.
By providing smaller resolution proofs that are easier and faster to check, ResK aims at improving the reliability of these automated deduction tools and at facilitating the exchange of information between them.
ResK is the focus of an international cooperation project between the theory and logic group of TU-Wien and the VeriDis team of the french INRIA, who implements the smt-solver VeriT.
ResK is implemented in the increasingly popular JVM-based hybrid object-oriented and functional programming language Scala.
-
ViennaCL provides high level C++ interfaces for linear algebra routines on CPUs and GPUs using OpenCL. The focus is on generic implementations of iterative solvers often used for large linear systems and simple integration into existing projects. It is released under the MIT license and allows to solve the system of equations at very high speed using multiple CPU cores and/or GPUs (i.e. graphics adapters).
- BLAS Level 1, Level 2 and Level 3 routines on GPUs and multi-core CPUs
- C++ Interface is mostly uBLAS compatible
- Access to GPUs from both NVIDIA and AMD/ATI using OpenCL
- Multi-core CPUs can be used efficiently with ViennaCL and the ATI Stream SDK
- Kernel optimization environment for optimal performance on the target machine
-
To provide applications with the utmost flexibility in the generation and adaptation of meshes, the generic and high-quality meshing library ViennaMesh has been developed. ViennaMesh provides a unified interface for various mesh related tools. These tools cover mesh generation, adaptation, and classification of multi-segmented (aka. multi-material) meshes and geometries for unstructured two- and three-dimensional meshes. The goal is to provide applications with an additional back-end layer for mesh generation, allowing to seamlessly exchange mesh tools, for example, mesh generation kernels. Highlights are:
- A generic library providing a unified access to mesh generation, adaptation, and classification tools for multi-segment meshing in 2D/3D by
Triangle,
Tetgen, and
Netgen.
- A hull mesh adaptation tool for high-quality mesh adaptation.
- A mesh classification tool for evaluating the mesh quality.
- A prototype mesh orientation tool for repairing the orientation of hull mesh elements
Contact
Please send us an email to 
Members
In alphabetical order:
 |
| Affiliation: | Atominstitut, TU Wien |
| Interests: | Quantum Information, Quantum Computing with Solid-State Devices, High Speed Electronics |
|
 |
| Affiliation: | Atominstitut, TU Wien and CoQuS doctoral programme |
| Interests: | Quantum information processing (with solid-state and hybrid
devices). Free soft-, hard- & firmware for scientific computing:
Python, FPGAs, open standards. Sociology, geek culture, cyberpolitics,
and fun with the electromagnetic force. |
|
|
