579,495 research outputs found
Automating embedded analysis capabilities and managing software complexity in multiphysics simulation part I: template-based generic programming
An approach for incorporating embedded simulation and analysis capabilities
in complex simulation codes through template-based generic programming is
presented. This approach relies on templating and operator overloading within
the C++ language to transform a given calculation into one that can compute a
variety of additional quantities that are necessary for many state-of-the-art
simulation and analysis algorithms. An approach for incorporating these ideas
into complex simulation codes through general graph-based assembly is also
presented. These ideas have been implemented within a set of packages in the
Trilinos framework and are demonstrated on a simple problem from chemical
engineering
Vector Linear Error Correcting Index Codes and Discrete Polymatroids
The connection between index coding and matroid theory have been well studied
in the recent past. El Rouayheb et al. established a connection between multi
linear representation of matroids and wireless index coding. Muralidharan and
Rajan showed that a vector linear solution to an index coding problem exists if
and only if there exists a representable discrete polymatroid satisfying
certain conditions. Recently index coding with erroneous transmission was
considered by Dau et al.. Error correcting index codes in which all receivers
are able to correct a fixed number of errors was studied. In this paper we
consider a more general scenario in which each receiver is able to correct a
desired number of errors, calling such index codes differential error
correcting index codes. We show that vector linear differential error
correcting index code exists if and only if there exists a representable
discrete polymatroid satisfying certain conditionsComment: arXiv admin note: substantial text overlap with arXiv:1501.0506
Solving Set Constraint Satisfaction Problems using ROBDDs
In this paper we present a new approach to modeling finite set domain
constraint problems using Reduced Ordered Binary Decision Diagrams (ROBDDs). We
show that it is possible to construct an efficient set domain propagator which
compactly represents many set domains and set constraints using ROBDDs. We
demonstrate that the ROBDD-based approach provides unprecedented flexibility in
modeling constraint satisfaction problems, leading to performance improvements.
We also show that the ROBDD-based modeling approach can be extended to the
modeling of integer and multiset constraint problems in a straightforward
manner. Since domain propagation is not always practical, we also show how to
incorporate less strict consistency notions into the ROBDD framework, such as
set bounds, cardinality bounds and lexicographic bounds consistency. Finally,
we present experimental results that demonstrate the ROBDD-based solver
performs better than various more conventional constraint solvers on several
standard set constraint problems
LEARNING HOW STUDENTS ARE LEARNING IN PROGRAMMING LAB SESSIONS
Department of Computer Science and EngineeringProgramming lab sessions help students learn to program in a practical way. Although these sessions
are typically valuable to students, it is not uncommon for some participants to fall behind throughout
the sessions and leave without fully grasping the concepts covered during the session. In my thesis, I
will be presenting LabEX, a system for instructors to understand students' progress and learning
experience during programming lab sessions. LabEX utilizes statistical techniques that help
distinguishing struggling students and understand their degree of struggle. LabEX also helps instructors
to provide in-situ feedback to students with its real-time code review. LabEX was evaluated in an entry-level
programming course taken by more than two hundred students in UNIST, establishing that it
increases the quality of programming lab sessions.ope
hp-adaptive discontinuous Galerkin solver for elliptic equations in numerical relativity
A considerable amount of attention has been given to discontinuous Galerkin methods for hyperbolic problems in numerical relativity, showing potential advantages of the methods in dealing with hydrodynamical shocks and other discontinuities. This paper investigates discontinuous Galerkin methods for the solution of elliptic problems in numerical relativity. We present a novel hp-adaptive numerical scheme for curvilinear and non-conforming meshes. It uses a multigrid preconditioner with a Chebyshev or Schwarz smoother to create a very scalable discontinuous Galerkin code on generic domains. The code employs compactification to move the outer boundary near spatial infinity. We explore the properties of the code on some test problems, including one mimicking Neutron stars with phase transitions. We also apply it to construct initial data for two or three black holes
- …