Workshop 96 Brno, January 22-24,1996
Total Page:16
File Type:pdf, Size:1020Kb
&* & vjs ezi w? * «^? %&> !# *4^ y TECHNICAL UNIVERSITY IN BRNO iNis-mf-i4829 CZECH TECHNICAL UNIVERSITY IN PRAGUE WORKSHOP 96 BRNO, JANUARY 22-24,1996 PART I. Mathematics - Physics - Chemistry - Engineering Informatics and Cybernetics - Computers - Fluid Mechanics VOL 2 7JB19 TECHNICAL UNIVERSITY IN BRNO CZECH TECHNICAL UNIVERSITY IN PRAGUE WORKSHOP 96 BRNO, JANUARY 22-24,1996 PART I. Mathematics-Physics-Chemistry-Engineering Informatics and Cybernetics - Computers - Fluid Mechanics These arc the Proceeding of the Fifth Annual uiilvcrilty.wldc wmliinr WOItKHlIUI* 00 which will take place at tlio Technical University in Urflo from 22-24 January, 1990. Ths aim of the scr/iln/ir Is to ptctumt ami d'nr-tm tb«? M^t result* oliUlfiwl \y tmcMdwtn rnjirrinlly i\t llw Czech Teclinlul Uillvcnlly In PfAfjue, Tccliiilcfll University in Drno nriil At collaborAtlrrg Institutions' The organizing committee IIM iclccted A tot*l of 49t ««iitrifiiillotm divided Into 22 different arcM of Interest. IVit t IIM contributions In llifl «rcM of: tnatlictiiAtlcs clicmlstiy engineering Informatics and cybernetics computer! fluid mechanics Organizing committee: Chairman! P, Climcla Co-ehftlrmAn; M. KAUI J, H«/-(Wt V. /Jr*i>«<;, M. JJ«diU, R )J«Z*JM, W, JJobza, J, Ja;i, M, KrAl, J, MalOTfc*, J, Mi«n, P, Ondraika, h, Viiby), 1. lluller, A. Strejc, M. 'AlifA-IWA, D. ZatrakrttU Pragvt, December 1995 This book WM prepared with WTyC from the Input files supplied by the author*. All partial article* were prepared with WOO - a ipccial-purpoM t>Tj.;X-b*wd environment. Program- ming W96, general ityle, typographic corrections and the final composition of this book is by A. Streje (CTU Computing Centre). Published by the Ciech Technical University In Prague. Printed by CTU Publishing House. WORKSHOP 90 CONTENTS CONTENTS I. MATHEMATICS MATHEMATICAL MODELLING OP ENGINEERING PROBLEMS 17 J, /'Varied, A. gtnlick, J. Daltk, J. Ntdomn, It. RHUktvA, D. SkabrahovA NUMERICAL SOLUTION OF 2D EULEIl AND NAVIER-STOKES EQUATIONS 10 L Uenel, J. Mnl, J. IhrAk, K. Kottl, I SUM MATHEMATICAL MODELLING OK I'OUOUS MEDIA FLOW AND TRANSI'OIIT OP CHEMICALS IN UNDERGROUND WATER 21 A/. Stjjblo, J. Maryika, J. btut&k,.'. Skokan, M. Tima, J. Ihkoiovd, M, llotlolntk, Z. Strakoi, J. Novik, P. Manltk, V. WtMtrhauir THE MATHEMATICAL MODEL OF PERIODICAL FLOW WITH MIXED BOUNDARY CONDITIONS 23 /'. A'tiifent WELL-POSKDNKSS ANALYSI.S OP NONIIYDJIOSTATJO TWO-UYEJl MODELS OF INCOMPRESSIULB FLOW 25 II. Liska, L. Margolin, II. Wtndnff TESTING STABILITY I)Y QUANTIFIER ELIMINATION 27 II. Hong, II. Liska, S. Steinberg STABILITY OF STEADY SOLUTIONS OF PARABOLIC EQUATIONS IN HILHERT SPACES , 29 J. Neuitupn GEOMETRIC MODELING OF MILLING 31 St. h'argirovd ENVELOPE OF SURFACES CREATED BY OSCILLATORY SCREW MOTION 33 E. KopincovA CURVES WITH MATHEMATICA 35 F. Uuhtnik, J. Cerny, I. SlAmovd EXPERIENCE IN MATHEMATICALLY ORIENTATED SOFTWARE IN TEACHING 37 V, Btnti, C. Zlatnlk APPLICATIONS OF ALGEBRA IN COMPUTER SCIENCE 39 SI. DemlovA, J. Aiimtk, B. PondilUtk QUANTUM FIELD THEORY AND EXTENSIONS OF STATES 41 J. llamhalter 3 WORKSHOP 90 ™_____B_________ CONTENTS QUANTUM SYMMETRIES! MATIIEMA1CAL MODELS AND PHYSICAL APPLICATIONS.,,.,..,. 43 M, IlavlUtk, L tthvalj, B, Pttantovd, P. Stovtttk, J, Tatar COMING FROM DISTRIBUTIVE TO ORTJIOMODULAR 45 P. t'ttk, M, Nnvam SOME CARDINAL CHARACTERISTICS OF ORDERED SCTH 47 V. Novdk DISTINGUISHING SUfJSETS ON MTT1CKS 49 J. Zapltlal BXPONENTIALITY IN CATKCOIUES OK PARTIAL ALCJE1MAS ,51 J. Slapat 2. PHYSICS MEASUREMENT OF NONLINEAR WAVES IN IIARD-WALLED DUCTS 55 M. IkdnaHk, 0, Jiflf.rk PROPAGATION OK PLANE NONLINKAR WAVKS 67 M. DtdnaHk DEEP ENERGY LEVELS IN N-TYPE SI INTRODUCED UY SHOkT-TlME Pd DIFFUSION 69 V. Ihnda, J. PuttkovA, D. Stlpkovi PHYSICS OF INFORMATION AT THE FRONTIERS WITH INFORMATICS AND CYBERNETICS 61 J. Jtkn MOLECt/LAft DYNAMICS SIMULATIONS OF REFRIGERANTS AND MODEL FLUIDS 63 V. Vactk, A/. LUal, II. DuJInaky HYDRODYMAMICS MODEL OF INTERACTIONS OF SUDP1COSECOND LASLR PULSES WITH SOLID TARGETS 65 J, Limpauch, L. Drika, St. Tagirituhvili LASER MOLECULAR SPECTROSCOPY 61 V. Fidler, P. Kapuila, M. llof, V. Kuhtitk, M, Vrhovi COMPARISON OF EFFICIENCES OF NEUTRON SHIELDS CONTAINING UORON AND LITHIUM 60 J. Kvbaila, S. PoipUil, I. Sickl COLLECTION OF RADON DAUGHTERS FROM THE AIR WITH AN ELECTROSTATIC PREC1PITATOR 71 C. Jtth, J. Kvhaila, S. PoipUit 4 WORKSHOP 00 CONTENTS FLEXHJLE SYSTEM FOR MULTll'AKAMETHIC MEASUREMENTS IN NUCLBAll SI'ECf IIOSOOI'Y ,.,.,, 73 J. JakUck, J. Ocrmll, J. KubaStti, S, PonpUil, St. Vohccki MEASUREMENTS OF RADON IN AIR USINO ALPHA SPECTROMETRY WITH IONJZAT1ON CIIAMHBR U J. KonUtk, 8. Poipllll, Z. Jatwul, J. Kubniln, M. Vobecki} UNESCO SElllES Of LBAttNING MATERIALS IN ENGINEERING 77 E. VtnlA, V, Sthinnvi, I'. Win, K. KvUoii COMPUTATIONAL PHYSICS! NUMERICS FOR PEDESTRIANS 79 /,. Drikn PILOT PROGRAM PACKAGES FOR INTRODUCTORY PHYSICS TEACHING .... 81 L Drlka, St. SiAor GEODYNAMIC INFORMATION FROM THE RESULTS OF GEODETIC OHSERVATIONS 83 A, Ztman, I. Ptltk SOUND ENERGY TRANSFER IN A TRANSIENT SOUND FIELD,,,..,.....«......85 Z. Kynd ULTRASONIC INVESTIGATION IN GEOPHYSICAL RESEARCH 87 K. Malituki J. Plocck PRINCIPLES OF ACTIVE CONTROL IN DUCTS 80 0. JMttk QUANTUM MECHANICAL MODELLING OF CRYSTALS FRACTURE 01 P. Sandtra, V. Navr&ul, J. Poktuda COMPUTER SIMULATION OF POLYEDRIC STRUCTURES 03 J, Pokluda, P. PonUll, P. Sanden THE STABILITY CRITERION GIVEN IN TERMS OF INFORMATION GAIN 95 St. KhiilovA IN-SITU INTERFEROMETRIC THICKNESS MEASUREMENT OF DEPOSITED THIN FILMS 97 J. Spousta, W. Dejmtk, Z. llama, A. Ntbojsa, T. Sikola, M. Ml SURFACE ANALYSIS OF MATERIALS - DESIGN OF THE ATOMIC FORCE DDTECTOR FOR ATOMIC FORCE MICROSCOPY 00 T. Sikola, J. Spoiuta, L. Dillrichovi, L Tima, F. Matfjka, R. Kalouttk, F. Lcpour EXPERIMENTAL STUDY OF NO GENERATION IN ELECTRIC DISCHARGE.... 101 V. KHha, F. Itanilz, S. Ptkirtk, J. Ronnkrani WORKSHOP 00 CONTENTS MATHEMATICAL MODELS OP FINITE-DIMENSIONAL QUANTUM MECHANICS , 10U 0, Chudiitattso$ INVESTIGATION OK Gc-Sl MONOCRYSTALS SUITABLE FORSI'AO CONSTRUCTION ,,.,, ,, 105 //. Frank, K, tkmal, I, Madia, I. Vrothfokit, 11. Sopko TUB FIRST MJCROSTltlP GAS CHAMHER MADE IN C/ECH REFUIJLIC 107 J, Mfon, I'. Ctmj, At. Kocldn, !. Mdeha, S. N/mr/tk, It, Sowik, D. NovAkovA, J, I'avtl, Ih Sopko, L Stupkn, SI, SllAroh, J, Sdmtny, L VytkotH, M. VnnifkovA PKAOUB ELECTRON CONDUCTIVE GLASS 109 J, Mhm, 1. Mieha, II. KriloeA, 8. Nlmtltk, It. Novik, J. I'avtt, I). Sopko, L Stupkn, M. SUAraA, J. S(<i*tnjj, M. VanitkovA, S. Vynkntit STUDY OF ELECTRICAL DISCIIAIIOIIS AT PARTITION OF DIELECTRIC LAYERED AND POWDERY MATERIALS MI Z, Stanik, L Aubrtehl, J. Koller FORMING OF THE PLASMOIDS IN THE HIGH CURRENT DISCHARGES AT ATMOSPHERIC PRESSURE 113 P. Kuhci, J, Krovdrik, L Karpintki, SI. 1'itiluch, li. TumwatViAi TWO STEPS IN THE GAS-I'UtTZ-l'INCH -.115 A k'utei, J. Kruvdrik, A. Knjti, K, KotdM, M. Vathth, K, Tomanteimki Z-PINCII EQUILHIIUUM WITH NON XEKO IIELICITY 117 /'. Kulhdntk, M. Urban NEUTRON DIFFRACTION STUDY OF TUB Y-GVllaCu-0 SYSTEM 119 M. DiottU, S. Vratutav, %. Jir&k, J, llejtmAnek, K. Kntiek ENERGY TRANSFER IN Hg,CI, CRYSTALS .121 Z. Dryknar, P. Ptka, Z. PolUtk, P. Jiroulik DIAGNOSTICS OF SEMIlNS'UMTINGCaA. < .,,,,123 Z. Tomiak, I. M&cha, S. Potpliil, O. Sopko AN EQUIPMENT FOR CHECKING OF CARRIER LIFETIME DISTRIBUTION IN PNP STRUCTURES 125 J. Koiiltk, V. titnda 2-D PARTICLE SIMULATION OF THE CLOW DISCHARGE 127 St. 2ittk, S. Ptkdrtk, J. flostnkram 3. CHEMISTRY CHARACTERIZATION OF CONSTITUENTS OF COMPOSITE MATERIALS 131 /. Simtk, II. Vupalte WORKSHOP 00 CONTENTS TUB STUDY OP IMIOTOCATALYTIC DECOMPOSITION OK SURFACTANTS IN WATER SOLUTION , , 133 M, Vatlj, J. Toultn NON-CONVENTIONAL APPLICATION OF LOW TEMPERATURE PHYSICAL PMSMA IN CHEMISTRY ANI> CHEMICAL TECHNOLOGY 135 I, Laplik, U. Mikuliikovi, /,', laptlk, Jr., J. Matouhk, I. Maitk EXPERIMENTAL EQUIPMENT FOIt CHEMICAL APPLICATION OK THERMAL PLASMA 137 J. Ongor, I. JnkubavA, P. Kadlec, J, Stnk MEASURING AND CONTROL SYSTEM OF PLASMA REACTOR 139 0. Satyk, P. Iknel, P. I'ivoAlit QUANTUM CHEMICAL STUDY OF SMALL ORGANIC MOLECULES MI S. Sklenik, M, Vnely AB INITIO CALCULATIONS WITH ELECTRON CORRELATION 143 S, SkknAk, K. LapM, Jr. COMPUTATIONAL MODELING OF CHEMICAL REACTIONS IN A METAL-SI SYSTEM WITH PHASE CHANGE 140 II. Ctrnj, P. PHkryl, V. Chib PROPERTIES AND RADIATION INFLUENCE OF NiO.»l,Oj MIXED CATALYSTS 147 V. Milka, M. PotpUit, II. Silber DECARDONIZATION OF ELECTROLYTES FROM ALKALINE ACCUMULATORS 149 M. Ptkar, M. Ctntk SENSITIVE LAYERS FOR DETECTION OF ORGANIC AMINES AND HALOTHANE IN GASEOUS PHASE 151 S. Urodiki, D. Soph, I. Mdeha, V. Paptl STRUCTURE AND REACTIVITY OF COLOURED pi STANDARDS 153 Z. Fritdl, K. Stais THERMAL DECOMPOSITION OF ORGANIC SUBSTANCES 155 1. Adamce, M. Barltovi, 0. Coufal, J. Ttptj DIELECTRIC RELAXATION SPECTROSCOPY OF POLYSACCIIARIDES 157 K. Liedermann, L Upllk, Jr., S. llatsllltk, L GrmeU X-RAY FLUORESCENT ANALYSIS FOR THE COAL INDUSTRY 159 T. Ctchik WOUKSHOI'Or. CONTENTS 4. ENGINEERING INFORMATICS & CYBERNETICS GENETIC ALGORITHMS AND INVESTIGATION OK TIIKIIl PERFORMANCE .,,...,103 J, Ulamkv, J, /Malik, V, Mafik, 0, SlfpdnlioviS, SI, Dcmtovd, 'A, h'nvbn, T. Vlttk, J. Kophte GNOST/CAL NEURAL NETWORKS 105 /'. 1'nlntka MULTI-AGENT SYSTEM FOR CIM PURPOSES .107 V. Mafik, 0. SUpAnkovd, J. Lnlnnnkj, M. Dtmlovd, L Llmttkd, L I'hulil, T. VUtk, X, Kouha, M. Ftnclovtf, J, Koulnik, '/', llatdra, J. Koul, 0. Htk, I. Marvitn A MULTI-AGENT SYSTEM IN TIIANSI'OHT MANAGEMENT (GO //, llronkovA-UioUkd, T. VUtk, X. Kuubn, L 1'ftulH, J. Ulantky, 0. Stipdnkovd, V, AlaFlk, J. KUma, T. llnutru IMAGE-HASED SCENE IlEI'UESENTATION FOUND AUTOMATICALLY 171 V. IllavAt, A, Lconardit, T. Werner LASER PLANE RANGE FINDER,,,,,,.,, , 173 T. I'ajdla, V. IlkvAe MEASUREMENT OF THE TOOL WITH CC» CAMERA 175 5. Kraut COUNTING OF HEALDS AND DENTS HY OPTICAL METHOD 177 V. Smulnj, M. Fritdl, P. Tai, I1. Vila EFFICIENT ESTIMATION OF ESSENTIAL MATRIX IN MOTION ANALYSIS.... 179 T. Svoboda, T. f'ojdk VtCTORIZATION OF LARGE DINARY IMAGES 181 / Miller, P. Dvofnk MORPHOLOGICAL IMAGE PROCESSING L1DRARY 183 /', AW/, V. lllavdi TRAFFIC SIGNS IDENTIFICATION AND AUTOMATIC TEMPLATE GENERATION 185 V.