On some Properties of Boolean Functions and Their Binary Decision Diagrams

Иво Й. Дамянов - Манипулирането на булеви функции е основнo за теоретичната информатика, в това число логическата оптимизация, валидирането и синтеза на схеми. В тази статия се разглеждат някои първоначални резултати относно връзката между граф-базираното представяне на булевите функции и свойствата на техните променливи.

A Mixed Integer Quadratic Programming Model for the Low Autocorrelation Binary Sequence Problem

In this paper the low autocorrelation binary sequence problem (LABSP) is modeled as a mixed integer quadratic programming (MIQP) problem and proof of the model’s validity is given. Since the MIQP model is semidefinite, general optimization solvers can be used, and converge in a finite number of iterations. The experimental results show that IQP solvers, based on this MIQP formulation, are capable of optimally solving general/skew-symmetric LABSP instances of up to 30/51 elements in a moderate time. ACM Computing Classification System (1998): G.1.6, I.2.8.

Effect of mixing sequence on the workability and performance of asphalt mixtures

In Sweden, during recent years, a new type of mixing protocol has been applied, in which the order of mixing is changed from the conventional method. Improved workability and diminished mixing and compaction energy needs have been important drivers for this. Considering that it is the mastic phase, which is modified by changing the mixing order, it provides an interesting case study for explaining the mechanisms of workability in connection with the mastic phase. To do so, an analytical viscosity framework was combined with a mixture morphology framework to upscale to the mixing level and tribology principles to explain the interaction between the mastic and the aggregates. From the mastic viscosity protocol, it was found that the mixing order significantly affects the resulting mastic viscosity. To analyse the effect of this on the workability and resulting mixture performance, X-ray computed tomography was used to analyse mixtures produced by the two different mixing sequences. Mechanical testing was utilised to determine the long-term mechanical performance. In this part of the study, mastic viscosity as a function of particle concentration and distribution was directly coupled to improved mixture workability and enhanced long-term performance.

Quality Improvement through Experiments with Mixtures

Mixture experiments are typical for chemical, food, metallurgical and other industries. The aim of these experiments is to find optimal component proportions that provide desired values of some product performance characteristics.

Methyl chloride purification for the silicone industry

This study experimentally investigated methyl chloride (MeCl) purification method using an inhouse designed and built volumetric adsorption/desorption rig. MeCl is an essential raw material in the manufacture of silicone however all technical grades of MeCl contain concentrations (0.2 - 1.0 % wt) of dimethyl ether (DME) which poison the process. The project industrial partner had previously exhausted numerous separation methods, which all have been deemed not suitable for various reasons. Therefore, adsorption/desorption separation was proposed in this study as a potential solution with less economic and environmental impact. Pure component adsorption/desorption was carried out for DME and MeCl on six different adsorbents namely: zeolite molecular sieves (types 4 Å and 5 Å); silica gels (35-70 mesh, amorphous precipitated, and 35-60 mesh) and granular activated carbon (type 8-12 mesh). Subsequent binary gas mixture adsorption in batch and continuous mode was carried out on both zeolites and all three silica gels following thermal pre-treatment in vacuum. The adsorbents were tested as received and after being subjected to different thermal and vacuum pre-treatment conditions. The various adsorption studies were carried out at low pressure and temperature ranges of 0.5 - 3.5 atm and 20 - 100 °C. All adsorbents were characterised using Brunauer Emmett Teller (BET), thermogravimetric analysis (TGA), scanning electron microscopy (SEM) and energy dispersive x-ray analysis (EDXA) to investigate their physical and chemical properties. The well-known helium (He) expansion method was used to determine the empty manifold and adsorption cell (AC) regions and respective void volumes for the different adsorbents. The amounts adsorbed were determined using Ideal gas laws via the differential pressure method. The heat of adsorption for the various adsorbate-adsorbent (A-S) interactions was calculated using a new calorimetric method based on direct temperature measurements inside the AC. Further adsorption analysis included use of various empirical and kinetic models to determine and understand the behaviour of the respective interactions. The gas purification behaviour was investigated using gas chromatography and mass spectroscopy (GC-MC) analysis. Binary gas mixture samples were syringed from the manifold iii and AC outlet before and after adsorption/desorption analysis through manual sample injections into the GC-MS to detect and quantify the presence of DME and ultimately observe for methyl chloride purification. Convincing gas purification behaviour was confirmed using two different GC columns, thus giving more confidence on the measurement reliability. From the single pure component adsorption of DME and MeCl on the as received zeolite 4A subjected to 1 h vacuum pre-treatment, both gases exhibited pseudo second order adsorption kinetics with DME exhibiting a rate constant nearly double that of MeCl thus suggesting a faster rate of adsorption. From the adsorption isotherm classification both DME and MeCl exhibited Type II and I adsorption isotherm classifications, respectively. The strength of bonding was confirmed by the differential heat of adsorption measurement, which was found to be 23.30 and 10.21 kJ mol-1 for DME and MeCl, respectively. The former is believed to adsorb heterogeneously through hydrogen bonding whilst MeCl adsorbs homogenously via van der Waal’s (VDW) forces. Single pure component adsorption on as received zeolite 5A, silica gels (35-70, amorphous precipitated and 35-60) resulted in similar adsorption/desorption behaviour in similar quantities (mol kg-1). The adsorption isotherms for DME and MeCl on zeolite 5A, silica gels (35-70, amorphous precipitated and 35-60) and activated carbon 8-12 exhibited Type I classifications, respectively. Experiments on zeolite 5A indicated that DME adsorbed stronger, faster and with a slightly stronger strength of interaction than MeCl but in lesser quantities. On the silica gels adsorbents, DME exhibited a slightly greater adsorption capacity whilst adsorbing at a similar rate and strength of interaction compared to MeCl. On the activated carbon adsorbent, MeCl exhibited the greater adsorption capacity at a faster rate but with similar heats of adsorption. The effect of prolonged vacuum (15 h), thermal pre-treatment (150 °C) and extended equilibrium time (15 min) were investigated for the adsorption behaviour of DME and MeCl on both zeolites 4A and 5A, respectively. Compared to adsorption on as received adsorbents subjected to 1 h vacuum the adsorption capacities for DME and MeCl were found to increase by 1.95 % and 20.37 % on zeolite 4A and by 4.52 % and 6.69 % on zeolite 5A, respectively. In addition the empirical and kinetic models and differential heats of adsorption resulted in more definitive fitting curves and trends due to the true equilibrium position of the adsorbate with the adsorbent. Batch binary mixture adsorption on thermally and vacuum pre-treated zeolite 4A demonstrated purification behaviour of all adsorbents used for MeCl streams containing DME impurities, with a concentration as low as 0.66 vol. %. The GC-MS analysis showed no DME detection for the tested concentration mixtures at the AC outlet after 15 or 30 min, whereas MeCl was detectable in measurable amounts. Similar behaviour was also observed when carrying out adsorption in continuous mode. On the other hand, similar studies on the other adsorbents did not show such favourable MeCl purification behaviour. Overall this study investigated a wide range of adsorbents (zeolites, silica gels and activated carbon) and demonstrated for the first time potential to purify MeCl streams containing DME impurities using adsorption/desorption separation under different adsorbent pre-treatment and adsorption operating conditions. The study also revealed for the first time the adsorption isotherms, empirical and kinetic models and heats of adsorption for the respective adsorbentsurface (A-S) interactions. In conclusion, this study has shown strong evidence to propose zeolite 4A for adsorptive purification of MeCl. It is believed that with a technical grade MeCl stream competitive yet simultaneous co-adsorption of DME and MeCl occurs with evidence of molecular sieiving effects whereby the larger DME molecules are unable to penetrate through the adsorbent bed whereas the smaller MeCl molecules diffuse through resulting in a purified MeCl stream at the AC outlet. Ultimately, further studies are recommended for increased adsorption capacities by considering wider operating conditions, e.g. different adsorbent thermal and vacuum pre-treatment and adsorbing at temperatures closer to the boiling point of the gases and different conditions of pressure and temperature.

Implementation of pseudo J-integral based Paris’ law for fatigue cracking in asphalt mixtures and pavements

Pavement analysis and design for fatigue cracking involves a number of practical problems like material assessment/screening and performance prediction. A mechanics-aided method can answer these questions with satisfactory accuracy in a convenient way when it is appropriately implemented. This paper presents two techniques to implement the pseudo J-integral based Paris’ law to evaluate and predict fatigue cracking in asphalt mixtures and pavements. The first technique, quasi-elastic simulation, provides a rational and appropriate reference modulus for the pseudo analysis (i.e., viscoelastic to elastic conversion) by making use of the widely used material property: dynamic modulus. The physical significance of the quasi-elastic simulation is clarified. Introduction of this technique facilitates the implementation of the fracture mechanics models as well as continuum damage mechanics models to characterize fatigue cracking in asphalt pavements. The second technique about modeling fracture coefficients of the pseudo J-integral based Paris’ law simplifies the prediction of fatigue cracking without performing fatigue tests. The developed prediction models for the fracture coefficients rely on readily available mixture design properties that directly affect the fatigue performance, including the relaxation modulus, air void content, asphalt binder content, and aggregate gradation. Sufficient data are collected to develop such prediction models and the R2 values are around 0.9. The presented case studies serve as examples to illustrate how the pseudo J-integral based Paris’ law predicts fatigue resistance of asphalt mixtures and assesses fatigue performance of asphalt pavements. Future applications include the estimation of fatigue life of asphalt mixtures/pavements through a distinct criterion that defines fatigue failure by its physical significance.

Centrifugal separation of molten steel and glass mixtures

A lot of mixed vitrified waste exists at DOE sites, which contain valuable metal having great potential for being reused in industry. Of these useful metals, steel constitutes more than 45% of the volume. Using the differential centrifugal separation technology, steel is separated by using remote melting of the mixed waste. The high costs involved are directly proportional to the time involved in separation of the steel from the mixed waste. This is determined by using similitude principles. Having obtained a solidified steel ingot by melting, it is essential to determine the decontaminated portions of the ingot that can be released to industry. Two parameters representing measures of separation are proposed—the Centrifugal Fluid Separation Number and the Thermal Separation Number. Regression correlations are determined to express the estimated time of separation. Experimental analysis of solidified ingots has shown that when the Thermal Separation Number is less than 1700 the steel contains little or no trace of glass. This result can be used to recycle steel back to industry. ^

Design principles of semantic binary database management systems

The Semantic Binary Data Model (SBM) is a viable alternative to the now-dominant relational data model. SBM would be especially advantageous for applications dealing with complex interrelated networks of objects provided that a robust efficient implementation can be achieved. This dissertation presents an implementation design method for SBM, algorithms, and their analytical and empirical evaluation. Our method allows building a robust and flexible database engine with a wider applicability range and improved performance. ^ Extensions to SBM are introduced and an implementation of these extensions is proposed that allows the database engine to efficiently support applications with a predefined set of queries. A New Record data structure is proposed. Trade-offs of employing Fact, Record and Bitmap Data structures for storing information in a semantic database are analyzed. ^ A clustering ID distribution algorithm and an efficient algorithm for object ID encoding are proposed. Mapping to an XML data model is analyzed and a new XML-based XSDL language facilitating interoperability of the system is defined. Solutions to issues associated with making the database engine multi-platform are presented. An improvement to the atomic update algorithm suitable for certain scenarios of database recovery is proposed. ^ Specific guidelines are devised for implementing a robust and well-performing database engine based on the extended Semantic Data Model. ^

Electro and Magneto-Electropolished Surface Micro-Patterning on Binary and Ternary Nitinol

In this study, an Atomic Force Microscopy (AFM) roughness analysis was performed on non-commercial Nitinol alloys with Electropolished (EP) and Magneto-Electropolished (MEP) surface treatments and commercially available stents by measuring Root-Mean-Square (RMS) , Average Roughness (Ra), and Surface Area (SA) values at various dimensional areas on the alloy surfaces, ranging from (800 x 800 nm) to (115 x 115µm), and (800 x 800 nm) to (40 x 40 µm) on the commercial stents. Results showed that NiTi-Ta 10 wt% with an EP surface treatment yielded the highest overall roughness, while the NiTi-Cu 10 wt% alloy had the lowest roughness when analyzed over (115 x 115 µm). Scanning Electron Microscopy (SEM) and Energy Dispersive Spectroscopy (EDS) analysis revealed unique surface morphologies for surface treated alloys, as well as an aggregation of ternary elements Cr and Cu at grain boundaries in MEP and EP surface treated alloys, and non-surface treated alloys. Such surface micro-patterning on ternary Nitinol alloys could increase cellular adhesion and accelerate surface endothelialization of endovascular stents, thus reducing the likelihood of in-stent restenosis and provide insight into hemodynamic flow regimes and the corrosion behavior of an implantable device influenced from such surface micro-patterns.

XML storage and retrieval using the semantic binary object -oriented database system (SEM-ODB)

Over the past five years, XML has been embraced by both the research and industrial community due to its promising prospects as a new data representation and exchange format on the Internet. The widespread popularity of XML creates an increasing need to store XML data in persistent storage systems and to enable sophisticated XML queries over the data. The currently available approaches to addressing the XML storage and retrieval issue have the limitations of either being not mature enough (e.g. native approaches) or causing inflexibility, a lot of fragmentation and excessive join operations (e.g. non-native approaches such as the relational database approach). ^ In this dissertation, I studied the issue of storing and retrieving XML data using the Semantic Binary Object-Oriented Database System (Sem-ODB) to leverage the advanced Sem-ODB technology with the emerging XML data model. First, a meta-schema based approach was implemented to address the data model mismatch issue that is inherent in the non-native approaches. The meta-schema based approach captures the meta-data of both Document Type Definitions (DTDs) and Sem-ODB Semantic Schemas, thus enables a dynamic and flexible mapping scheme. Second, a formal framework was presented to ensure precise and concise mappings. In this framework, both schemas and the conversions between them are formally defined and described. Third, after major features of an XML query language, XQuery, were analyzed, a high-level XQuery to Semantic SQL (Sem-SQL) query translation scheme was described. This translation scheme takes advantage of the navigation-oriented query paradigm of the Sem-SQL, thus avoids the excessive join problem of relational approaches. Finally, the modeling capability of the Semantic Binary Object-Oriented Data Model (Sem-ODM) was explored from the perspective of conceptually modeling an XML Schema using a Semantic Schema. ^ It was revealed that the advanced features of the Sem-ODB, such as multi-valued attributes, surrogates, the navigation-oriented query paradigm, among others, are indeed beneficial in coping with the XML storage and retrieval issue using a non-XML approach. Furthermore, extensions to the Sem-ODB to make it work more effectively with XML data were also proposed. ^

UBVRI Photometric Analysis of the Solar-Type Eclipsing Binary TYC 3034-299-1

TYC 3034-0299-1 (CVn) is a magnetically active, contact binary, ROTSE variable. UBVRcIc light curves are presented along with a period study and a simultaneous UBVRI light curve solution. Our light curves show eclipse amplitudes of 0.72 and 0.62 mags (V) in the primary and secondary eclipses. Modeled results include a dark spot region, found at longitude 51°, a 24% Roche lobe fill-out, and a mass ratio of 0.48. A total eclipse is found to occur in the secondary eclipse making TYC 3034-0299-1 a W-type (less massive star is hotter) W UMa variable.

The utilization of chiral ion mobility spectrometry for the detection of enantiomeric mixtures and thermally labile compounds

This dissertation utilized electrospray ion mobility mass spectrometry (ESI-IMS-MS) to develop methods necessary for the separation of chiral compounds of forensic interest. The compounds separated included ephedrines and pseudoephedrines, that occur as impurities in confiscated amphetamine type substances (ATS) in an effort to determine the origin of these substances. The ESI-IMS-MS technique proved to be faster and more cost effective than traditional chromatographic methods currently used to conduct chiral separations such as gas and liquid chromatography. Both mass spectrometric and computational analysis revealed the separation mechanism of these chiral interactions allowing for further development to separate other chiral compounds by IMS. Successful separation of chiral compounds was achieved utilizing a variety of modifiers injected into the IMS drift tube. It was found that the modifiers themselves did not need to be chiral in nature and that achiral modifiers were sufficient in performing the required separations. The ESI-IMS-MS technique was also used to detect thermally labile compounds which are commonly found in explosive substances. The methods developed provided mass spectrometric identification of the type of ionic species being detected from explosive analytes as well as the appropriate solvent that enhances detection of these analytes in either the negative or positive ion mode. An application of the developed technique was applied to the analysis of a variety of low explosive smokeless powder samples. It was found that the developed ESI-IMS-MS technique not only detected the components of the smokeless powders, but also provided data that allowed the classification of the analyzed smokeless powders by manufacturer or make. ^

An experimental study of the effects of double-diffusive convention processes during the solification of binary alloys

Experiments were conducted to show the effects of thermal and geometric boundary conditions on the liquid pool of a binary alloy system which is undergoing phase change, solidification. Transparent analogue solutions were selected for study and experimental apparatus were designed and built. Thermal distribution and concentration data were collected and analysed for the melt pool of various selected geometries and boundary conditions of the systems under study. The data indicate-that characteristic flows develop for both Hypereutectic and Hypoeutectic concentration levels and that the development of macrosegregation and microsegregation defects in continuous casting materials can be minimised by the adjustment of the process variables.

Digital signal processing implementation for near real-time wavelet transformation system for binary images

Communication has become an essential function in our civilization. With the increasing demand for communication channels, it is now necessary to find ways to optimize the use of their bandwidth. One way to achieve this is by transforming the information before it is transmitted. This transformation can be performed by several techniques. One of the newest of these techniques is the use of wavelets. Wavelet transformation refers to the act of breaking down a signal into components called details and trends by using small waveforms that have a zero average in the time domain. After this transformation the data can be compressed by discarding the details, transmitting the trends. In the receiving end, the trends are used to reconstruct the image. In this work, the wavelet used for the transformation of an image will be selected from a library of available bases. The accuracy of the reconstruction, after the details are discarded, is dependent on the wavelets chosen from the wavelet basis library. The system developed in this thesis takes a 2-D image and decomposes it using a wavelet bank. A digital signal processor is used to achieve near real-time performance in this transformation task. A contribution of this thesis project is the development of DSP-based test bed for the future development of new real-time wavelet transformation algorithms.

An experimental and modelling study of the capture of CO2 from gas mixtures with different techniques, with focus on multicomponent effects.

In the present work, the deviations in the solubility of CO2, CH4, and N2 at 30 °c in the mixed gases (CO2/CH4) and (CO2/N2) from the pure gas behavior were studied using the dual-mode model over a wide range of equilibrium composition and pressure values in two glassy polymers. The first of which was PI-DAR which is the polyimide formed by the reaction between 4, 6-diaminoresorcinol dihydrochloride (DAR-Cl) and 2, 2’-bis-(3, 4-dicarboxyphenyl) hexafluoropropane dianhydride (6FDA). The other glassy polymer was TR-DAR which is the corresponding thermally rearranged polymer of PI-DAR. Also, mixed gas sorption experiments for the gas mixture (CO2/CH4) in TR-DAR at 30°c took place in order to assess the degree of accuracy of the dual-mode model in predicting the true mixed gas behavior. The experiments were conducted on a pressure decay apparatus coupled with a gas chromatography column. On the other hand, the solubility of CO2 and CH4 in two rubbery polymers at 30⁰c in the mixed gas (CO2/CH4) was modelled using the Lacombe and Sanchez equation of state at various values of equilibrium composition and pressure. These two rubbery polymers were cross-linked poly (ethylene oxide) (XLPEO) and poly (dimethylsiloxane) (PDMS). Moreover, data about the sorption of CO2 and CH4 in liquid methyl dietahnolamine MDEA that was collected from literature65-67 was used to determine the deviations in the sorption behavior in the mixed gas from that in the pure gases. It was observed that the competition effects between the penetrants were prevailing in the glassy polymers while swelling effects were predominant in the rubbery polymers above a certain value of the fugacity of CO2. Also, it was found that the dual-mode model showed a good prediction of the sorption of CH4 in the mixed gas for small pressure values but in general, it failed to predict the actual sorption of the penetrants in the mixed gas.