articles

Objects as the sets of object property values are the topic of this article. We say that these sets are the object information models but also we call them semantic models. We use them in Digital Semantic Library for document indexing and to represent facts about objects in real world. The special aspect is that depending on time and situation the special subset of property values become important and also it is naturally acceptable by user.

Paper is devoted to the problem of feature genera¬tion and palm comparison in the presence of artifacts. The observed artifacts are long finger-nails, partly clenched fingers, long sleeves, which cover wrist region. These artifacts are rarely considered during recognition, while they are common in real conditions. The work contains the results of the conducted experiments. Possibility of using the obtained features is observed for the problem of person's recognition by hand geometry.

In the article the primitive recognition and feature ex¬traction methods are discussed. Application of integral transformation of image space into paramete space for lines and circle detection was presented. Inversion of the image coordinates was described along with its application for circle parameters estimation. Also method of algebraic curves of second order invariants analysis was used for estimation of circle, ellipse and hyperbola canonical parameters.

Decompilation is a difficult problem in reverse engi¬neering. Structural analysis (reconstruction of structural constructs like while, if-then-else, switch, etc.) is an im¬portant part of decompilation. The current paper presents several methods for structural analysis. One of the presented methods was implemented in the TyDec decompiler being developed by the authors. The paper also presents a method for reconstruction C++ exception handling constructs.

The article includes three models which have inde¬pendent meaning to education process: ontology model of pupil presents a structure and a dynamic of professional knowledge forming and can be using to modeling of pupil; semiotic model of translating educating space (TES) allows to provide an adaptive education during pupil and TES contact; integrating semiotic-ontology model formalize this contact and allows to control it.

Understanding of protein synthesis topological principals and translation synthesis language to algorithm language, aimed to improve existing and develop new methods of artificial protein synthesis based on modeling. That's quite important for molecular medicine and bio-informatics. This paper describes an approach to implementation molecular vector machine as finite state machine. Also DNA compiler metaphor discussed. As improvement the knot theory and machine learning methods are being considered.