Método de medición de combustible en una embarcación fluvial
Mauricio Pardo González, Víctor Manotas Angulo, Humberto Campanella Pineda y Javier Páez Saavedra

Se expone una forma de mejorar el método de medición de combustible en una embarcación fluvial, específicamente en un remolcador. El marco de referencia sobre el que se basa este artículo, es la estrategia utilizada para establecer la cantidad de combustible presente en los tanques de la embarcación. El método que hasta el momento se viene utilizando, produce un error influenciado por factores de perturbación, como la inclinación y la forma de tanqueo del remolcador. Se buscó desarrollar un método alternativo que redujera el error entre el combustible entregado y el medido en la embarcación. Este nuevo método logró ser independiente de la inclinación sin necesidad de utilizar un inclinómetro o instrumento de medida de ángulos.

Proteasas alcalinas de una cepa nativa de Bacillus sp Alcalofílico
Alex Armando Sáez Vega

Se evaluó el efecto de cuatro fuentes de nitrógeno sobre la actividad enzimática de proteasas alcalinas, secretadas por una cepa nativa de Bacillus sp Alcalofílico, cultivada a diferentes concentraciones de LMF (Licor de Maíz Fermentado). El crecimiento de la cepa no es afectado por los pH de inoculación de 7,0; 8,5 y 9,5; en contraste con la actividad enzimática y producción de proteína verdadera, que tuvieron sus mejores resultados a pH inicial de 8,5. A este pH se evaluaron dos fuentes de nitrógeno orgánico (extracto de levadura y peptona) y dos inorgánicos (NH4Cl y NaNO3). Con la peptona se presentó la mejor actividad enzimática, a una relación molar C/N entre 1 y 2. Para el intervalo estudiado de % LMF (0,5 a 2% p/v), la concentración del LMF no incide sobre la actividad enzimática.

Método heurístico para restauración del servicio en sistemas de distribución de energía eléctrica
César Arango Lemoine, Jesús María López Lezama y Mónica Alejandra González Londoño

Cuando ocurre una falla en un sistema de distribución de energía eléctrica de topología radial, el aislamiento de la sección donde ocurrió la falla provoca el aislamiento de algunas porciones del alimentador aguas abajo del área fallada, por lo tanto, el paso a seguir debe ser restaurar el servicio a los usuarios afectados. Dicha restauración debe hacerse tan rápido como sea posible, teniendo en cuenta restricciones de topología del sistema y capacidad de los alimentadores. En este artículo se presenta un método heurístico que permite la restauración del servicio mediante la reconfiguración de alimentadores. Se presentan los resultados para un sistema de distribución de 11 barras y tres alimentadores principales.

Modelo de producción–inventario con tiempo de espera proporcional al tiempo de producción
Henry Laniado Rodas y Andrés F. García Suaza

En este trabajo se estudia un modelo de producción–inventario con tasas de demanda y producción constantes. Dentro de los supuestos se considera que el tiempo de espera, referido al tiempo en que la unidad de producción está inhabilitada, es proporcional al tiempo de actividad de la misma. El objetivo es desarrollar un modelo matemático y determinar el número óptimo de ciclos que minimice los costos, o bien, maximice la utilidad.

Identification by force modulation microscopy of nanoparticles generated in vacuum arcs
Mauricio Arroyave Franco

An alternative method based on force modulation microscopy (FMM) for identification of nanoparticles produced in the plasma generated by the cathode spots of vacuum arcs is presented. FMM technique is enabled for the detection of variations in the mechanical properties of a surface with high sensitiveness. Titanium nitride (TiN) coatings deposited on oriented silicon by pulsed vacuum arc process have been analyzed. AFM (Atomic Force Microscopy) and FMM images were simultaneously obtained, and in all cases it was possible to identify nanoparticle presence. Further X-ray Di_raction spectra of sample coating were taken. Existence of contaminant particles of 47 nanometers in diameter was reported.

Caracterización deductiva de los árboles de forzamiento semántico
Manuel Sierra A.

El cálculo proposicional clásico está caracterizado por una herramienta de inferencia visual llamada árboles de forzamiento semántico. Con esta herramienta se marcan los nodos del árbol asociado a una fórmula dada, y con base en estas marcas se determina si la fórmula es válida o no. En caso de invalidez, la valuación que refuta la validez de la fórmula está determinada por las marcas de las hojas en su árbol de forzamiento. En caso de validez, se puede construir una deducción formal de la fórmula asociada a la raíz del árbol; esto se logra debido a que cada regla utilizada para marcar los nodos en el árbol está asociada a una regla de inferencia en el sistema deductivo.

Geometric constraint subsets and subgraphs in the analysis of assemblies and mechanisms
Oscar E. Ruiz

Geometric Reasoning ability is central to many applications in CAD/CAM/ CAPP environments. An increasing demand exists for Geometric Reasoning systems which evaluate the feasibility of virtual scenes specified by geometric relations. Thus, the Geometric Constraint Satisfaction or Scene Feasibility (GCS/SF) problem consists of a basic scenario containing geometric entities, whose context is used to propose constraining relations among still undefined entities. If the constraint specification is consistent, the answer of the problem is one of finitely or infinitely many solution scenarios satisfying the prescribed constraints. Otherwise, a diagnostic of inconsistency is expected. The three main approaches used for this problem are numerical, procedural or operational and mathematical. Numerical and procedural approaches answer only part of the problem, and are not complete in the sense that a failure to provide an answer does not preclude the existence of one. The mathematical approach previously presented by the authors describes the problem using a set of polynomial equations. The common roots to this set of polynomials characterizes the solution space for such a problem. That work presents the use of Groebner basis techniques for verifying the consistency of the constraints. It also integrates subgroups of the Special Euclidean Group of Displacements SE(3) in the problem formulation to exploit the structure implied by geometric relations. Although theoretically sound, these techniques require large amounts of computing resources. This work proposes Divide-and-Conquer techniques applied to local GCS/SF subproblems to identify strongly constrained clusters of geometric entities. The identification and preprocessing of these clusters generally reduces the effort required in solving the overall problem. Cluster identification can be related to identifying short cycles in the Spatial Constraint graph for the GCS/SF problem. Their preprocessing uses the aforementioned Algebraic Geometry and Group theoretical techniques on the local GCS/SF problems that correspond to these cycles. Besides improving the efficiency of the solution approach, the Divide-and-Conquer techniques capture the physical essence of the problem. This is illustrated by applying the discussed techniques to the analysis of the degrees of freedom of mechanisms.