Python Module for Logical Validation
Written by Rob Truxler Tuesday, 29 March 2011 19:41
logic.py is a Python module for validation of formal logical statements. As such, it can be used to evaluate and check propositional logic statements as well as define a models under which first-order logical statements can be evaluated. A basic scenario in which evaluating logical statements would be useful is when you wish to confirm that a state is reached after executing a block of code. Typically this is done through unit tests. The trouble with unit tests is that they require much effort to set up and typically only test as many cases as the programmer’s time can afford. Unit tests can be augmented with a simple model that enumerates a representative set of inputs so that a logical statement can be validated with a single call to logic.validate() or Context.validate().
ChartGeoreferencer
Written by Rob Truxler Friday, 09 April 2010 22:17
Nautical charts change rapidly. As the periodic push and pull of the ocean's tides erode our coastlines, depth changes and new hazards arise that require representation on these charts. As the magnetic north pole's deviation from Earth's true north pole changes annually, the mariner must know the local magnetic declination in order to use his compass. As bridges and other structures change, so might the commercial shipping lanes that pass underneath. For these reasons, much effort is invested in keeping nautical charts accurate and up to date.
Older nautical charts can act as a historical archive of the world's coastlines and urban-scapes. Since historical nautical charts lack geo-referencing, it is difficult to align new maps with their older versions. Using Hough Transforms, this research attempts to find methods that ease the geo-referencing task.
Texture Mapping in Java 2D
Written by Rob Truxler Thursday, 01 October 2009 16:28
Ever wanted uv-style texture mapping when rendering triangles or quads in Java using Swing? Okay, there's probably only a handful of people that ever wanted to do this, and I'm one.
The first section here contains snippets of example code and discussion. The second section contains some performance measures and discussion. The third section contains the source code of the example and the library class (TextureMapper) as well as links to download each source file.ChartViewport
Written by Rob Truxler Monday, 21 September 2009 12:56
Any sailors out there? Over 2008 Christmas break I worked feverishly
(literally... I ended up with the flu) to prepare all of NOAA's
(National Oceanic and Atmospheric Association) nautical charts for the
Google Maps API. So for nautical enthusiasts out there, there is now a
Google mashup for you, check it out at chartserver.bbn.com. There you can find all (about 2000) published nautical charts covering the coastal United States in a simple to use interface.
New Site
Written by Rob Truxler Monday, 30 March 2009 21:46
A long awaited redesign of my site is finally underway. The new site (what you are currently looking at) features portfolio items just as the old site did, but it is powered by the open source content management system, Joomla!.
The content management system will make it much easier to update my portfolio and add tutorials (something I've been meaning to do for a very long time).