Development of atmospheric pressure ionization ion mobility spectrometry and ion mobility spectrometry mass spectrometry

This study is focused on the development and evaluation of ion mobility instrumentation with various atmospheric pressure ionization techniques and includes the following work. First, a high-resolution drift tube ion mobility spectrometer (IMS), coupled with a commercial triple quadrupole mass spectrometer (MS), was developed. This drift tube IMS is compatible with the front-end of commercial Sciex mass spectrometers (e.g., Sciex API-300, 365, and 3000) and also allows easy (only minor modifications are needed) installation between the original atmospheric pressure ion source and the triple quadrupole mass spectrometer. Performance haracteristics (e.g.,resolving power, detection limit, transmission efficiency of ions) of this IMS-MS instrument were evaluated. Development of the IMS-MS instrument also led to a study where a proposal was made that tetraalkylammonium ions can be used as chemical standards for ESI-IMS. Second, the same drift tube design was also used to build a standalone ion mobility spectrometer equipped with a Faraday plate detector. For this highresolution (resolving power about 100 shown) IMS device, a multi-ion source platform was built, which allows the use of a range of atmospheric pressure ionization methods, such as: corona discharge chemical ionization (CD-APCI), atmospheric pressure photoionization (APPI), and radioactive atmospheric pressure chemical ionization (R-APCI). The multi-ion source platform provides easy switching between ionization methods and both positive and negative ionization modes can be used. Third, a simple desorpion/ionization on silicon (DIOS) ion source set-up for use with the developed IMS and IMS-MS instruments was built and its operation demonstrated. Fourth, a prototype of a commercial aspiration-type ion mobility spectrometer was mounted in front of a commercial triple quadrupole mass spectrometer. The set-up, which is simple, easy to install, and requires no major modifications to the MS, provides the possibility of gathering fundamental information about aspiration mobility spectrometry.

Efficiently Approximating Query Optimizer Plan Diagrams

Given a parametrized n-dimensional SQL query template and a choice of query optimizer, a plan diagram is a color-coded pictorial enumeration of the execution plan choices of the optimizer over the query parameter space. These diagrams have proved to be a powerful metaphor for the analysis and redesign of modern optimizers, and are gaining currency in diverse industrial and academic institutions. However, their utility is adversely impacted by the impractically large computational overheads incurred when standard brute-force exhaustive approaches are used for producing fine-grained diagrams on high-dimensional query templates. In this paper, we investigate strategies for efficiently producing close approximations to complex plan diagrams. Our techniques are customized to the features available in the optimizer's API, ranging from the generic optimizers that provide only the optimal plan for a query, to those that also support costing of sub-optimal plans and enumerating rank-ordered lists of plans. The techniques collectively feature both random and grid sampling, as well as inference techniques based on nearest-neighbor classifiers, parametric query optimization and plan cost monotonicity. Extensive experimentation with a representative set of TPC-H and TPC-DS-based query templates on industrial-strength optimizers indicates that our techniques are capable of delivering 90% accurate diagrams while incurring less than 15% of the computational overheads of the exhaustive approach. In fact, for full-featured optimizers, we can guarantee zero error with less than 10% overheads. These approximation techniques have been implemented in the publicly available Picasso optimizer visualization tool.

Polymorphs, Salts, and Cocrystals: What's in a Name?

The December 2011 release of a draft United States Food and Drug Administration (FDA) guidance concerning regulatory classification of pharmaceutical cocrystals of active pharmaceutical ingredients (APIs) addressed two matters of topical interest to the crystal engineering and pharmaceutical science communities: (1) a proposed definition of cocrystals; (2) a proposed classification of pharmaceutical cocrystals as dissociable ``API-excipient'' molecular complexes. The Indo U.S. Bilateral Meeting sponsored by the Indo-U.S. Science and Technology Forum titled The Evolving Role of Solid State Chemistry in Pharmaceutical Science was held in Manesar near Delhi, India, from February 2-4, 2012. A session of the meeting was devoted to discussion of the FDA guidance draft. The debate generated strong consensus on the need to define cocrystals more broadly and to classify them like salts. It was also concluded that the diversity of API crystal forms makes it difficult to classify solid forms into three categories that are mutually exclusive. This perspective summarizes the discussion in the Indo-U.S. Bilateral Meeting and includes contributions from researchers who were not participants in the meeting.

Homo- or Heterosynthon? A Crystallographic Study on a Series of New Cocrystals Derived from Pyrazinecarboxamide and Various Carboxylic Acids Equipped with Additional Hydrogen Bonding Sites

Four new cocrystals of a well studied active pharmaceutical ingredient (API), namely, pyrazinecarboxamide (PZA), with various monocarboxylic acids equipped with additional hydrogen bonding sites such as vanillic acid (VA), gallic acid (GA), 1-hydroxy-2-naphthoic acid (1HNA), and indole-2-carboxylic acid (I2CA) have been successfully prepared and characterized by FTIR, H-1 NMR, differential scanning calorimetry (DSC), and single crystal and powder X-ray diffraction (SXRD and PXRD, respectively) techniques. In the majority of the cases, preferential occurrence amide amide and acid acid homosynthons has been observed. Since the heterosynthon is energetically preferred to homosynthon, such unusual occurrence of homosynthon in these cocrystals is intriguing.

Polymorphs and hydrates of Etoricoxib, a selective COX-2 inhibitor

The crystal structures of two polymorphs and two polymorphic hemihydrates of Etoricoxib are reported. Etoricoxib is a non-steroidal anti-inflammatory drug (NSAID) that is a selective inhibitor of COX-2. It is used in the treatment of various types of inflammation, pain and fever. Clas et al. have reported four polymorphs (labeled I through IV) and two solvates (hemi-and sesquihydrate) of the API in US patent 6,441,002 (Clas et al, US patent 6,441,002, 2002). However, no crystal structures have been reported for any of these forms. A comparison was made between the PXRD patterns reported in patent `002 and the powder spectra simulated from single crystal data. The two polymorphs characterized here correspond to form I and form IV of the patent. Form II of the patent could not be obtained by us with a variety of experimental conditions. Form III of the patent corresponds to hemihydrate II of this study. Form III is therefore not a polymorph of form I and form IV. What we have termed hemihydrate I in this study is obtained under a wide variety of conditions and it is also the only hemihydrate reported as such in the patent. Because the Etoricoxib molecule contains no conventional hydrogen bond donors, there cannot be any strong hydrogen bonds in the crystal structures of forms I and IV. The packing is accordingly characterized by weak hydrogen bonds of the C-H center dot center dot center dot O=S and C-H center dot center dot center dot N type. Thermal data were collected for form I, form IV and hemihydrate I to shed some light on relative stabilities. PXRD diffractograms show the transformation of form IV to form I at elevated temperature, indicating that form I is more stable than form IV. However, this transformation occurs only in samples of form IV that contain some form I; it does not occur in pure form IV. The formation of the two hemihydrates could follow from the known tendency of an acceptor-rich molecule to crystallize as a hydrate.

New solid forms of the anti-HIV drug etravirine: salts, cocrystals, and solubility

Thirteen new solid forms of etravirine were realized in the process of polymorph and cocrystal/salt screening to improve the solubility of this anti-HIV drug. One anhydrous form, five salts (hydrochloride, mesylate, sulfate, besylate, and tosylate), two cocrystals (with adipic acid and 1,3,5-benzenetricarboxylic acid), and five solvates (formic acid, acetic acid, acetonitrile, and 2:1 and 1:1 methanolates) were obtained. The conformational flexibility of etravirine suggests that it can adopt four different conformations, and among these, two are sterically favorable. However, in all 13 solid forms, the active pharmaceutical ingredient (API) was found to adopt just one conformation. Due to the poor aqueous solubility of the API, the solubilities of the salts and cocrystals were measured in a 50% ethanol water mixture at neutral pH. Compared to the salts, the cocrystals were found to be stable and showed an improvement in solubility with time. All the salts were dissociated within an hour, except the tosylate, which showed 50% phase transformation after 1 h of the slurry experiment. A structure property relationship was examined to analyze the solubility behavior of the solid forms.

Stable Crystalline Salts of Haloperidol: A Highly Water-Soluble Mesylate Salt

Haloperidol, an antipsychotic drug, was screened for new solid crystalline phases using high throughput crystallization in pursuit of solubility improvement. Due to the highly basic nature of the API, all the solid forms with acids were obtained in the form of salts. Eleven crystalline salts in the form of oxalate (1:1), benzoate (1:1), salicylate (1:1 and 1:2), 4-hydroxybenzoate (1:1), 4-hydroxybenzoate ethyl acetate solvate (1:1:1), 3,4-dihydroxybenzoate (1:1), 3,5-dihydroxybenzoate (1:1), mesylate (1:1), besylate (1:1), and tosylate (1:1) salt were achieved. There is an insertion of carboxylate or sulfonate anion into the hydrogen bonding pattern of haloperidol. The salts with the aliphatic carboxylic acids were found to be more prone to form salt hydrates compared with aromatic carboxylate salts. All the salts were subjected to solubility measurement in water at neutral pH. There was no direct correlation observed between the solubility of the salt and its coformer. All the salts are stable at room temperature as well as after 24 h slurry experiment except the oxalate salt, which showed an unusual phase transformation from its hydrated form to the anhydrous form. A structureproperty relationship was examined to analyze the solubility behavior of the solid forms.

Discovering Math APIs by Mining Unit Tests

In today's API-rich world, programmer productivity depends heavily on the programmer's ability to discover the required APIs. In this paper, we present a technique and tool, called MATHFINDER, to discover APIs for mathematical computations by mining unit tests of API methods. Given a math expression, MATHFINDER synthesizes pseudo-code to compute the expression by mapping its subexpressions to API method calls. For each subexpression, MATHFINDER searches for a method such that there is a mapping between method inputs and variables of the subexpression. The subexpression, when evaluated on the test inputs of the method under this mapping, should produce results that match the method output on a large number of tests. We implemented MATHFINDER as an Eclipse plugin for discovery of third-party Java APIs and performed a user study to evaluate its effectiveness. In the study, the use of MATHFINDER resulted in a 2x improvement in programmer productivity. In 96% of the subexpressions queried for in the study, MATHFINDER retrieved the desired API methods as the top-most result. The top-most pseudo-code snippet to implement the entire expression was correct in 93% of the cases. Since the number of methods and unit tests to mine could be large in practice, we also implement MATHFINDER in a MapReduce framework and evaluate its scalability and response time.

Mining Unit Tests for Discovery and Migration of Math APIs

Today's programming languages are supported by powerful third-party APIs. For a given application domain, it is common to have many competing APIs that provide similar functionality. Programmer productivity therefore depends heavily on the programmer's ability to discover suitable APIs both during an initial coding phase, as well as during software maintenance. The aim of this work is to support the discovery and migration of math APIs. Math APIs are at the heart of many application domains ranging from machine learning to scientific computations. Our approach, called MATHFINDER, combines executable specifications of mathematical computations with unit tests (operational specifications) of API methods. Given a math expression, MATHFINDER synthesizes pseudo-code comprised of API methods to compute the expression by mining unit tests of the API methods. We present a sequential version of our unit test mining algorithm and also design a more scalable data-parallel version. We perform extensive evaluation of MATHFINDER (1) for API discovery, where math algorithms are to be implemented from scratch and (2) for API migration, where client programs utilizing a math API are to be migrated to another API. We evaluated the precision and recall of MATHFINDER on a diverse collection of math expressions, culled from algorithms used in a wide range of application areas such as control systems and structural dynamics. In a user study to evaluate the productivity gains obtained by using MATHFINDER for API discovery, the programmers who used MATHFINDER finished their programming tasks twice as fast as their counterparts who used the usual techniques like web and code search, IDE code completion, and manual inspection of library documentation. For the problem of API migration, as a case study, we used MATHFINDER to migrate Weka, a popular machine learning library. Overall, our evaluation shows that MATHFINDER is easy to use, provides highly precise results across several math APIs and application domains even with a small number of unit tests per method, and scales to large collections of unit tests.

Using formal reasoning on a model of tasks for FreeRTOS

FreeRTOS is an open-source real-time microkernel that has a wide community of users. We present the formal specification of the behaviour of the task part of FreeRTOS that deals with the creation, management, and scheduling of tasks using priority-based preemption. Our model is written in the Z notation, and we verify its consistency using the Z/Eves theorem prover. This includes a precise statement of the preconditions for all API commands. This task model forms the basis for three dimensions of further work: (a) the modelling of the rest of the behaviour of queues, time, mutex, and interrupts in FreeRTOS; (b) refinement of the models to code to produce a verified implementation; and (c) extension of the behaviour of FreeRTOS to multi-core architectures. We propose all three dimensions as benchmark challenge problems for Hoare's Verified Software Initiative.

桶形基础的承载特性与承载力计算

桶形基础的承载特性,由于埋深范围和筒内包裹大块土体,而显著区别于桩基和普通浅基础.水平承载力计算与桩基存在显著的差别.本文结合了API规范中有关桩基和浅基础承载力的有关规定,结合桶形基础的特点,基于刚体极限平衡理论,提出了桶形基础承载力计算的一种方法,并用于分析垂直荷载与泥面弯矩的对水平承载能力的影响.

脉搏检测分析系统中基于多线程的高速串口通信

为在脉搏检测分析系统中实现数据的多路高频采集,建立了一个基于多线程的Windows API串口控制类,通过同步使工作者线程在进行高波特率串行通信的同时,主线程还能进行数据处理和实时绘图等其它工作。类的封装使程序有较强的可扩展性和可移植性。

Bilaketan oinarritutako mashup aplikazioa ingelesez idazteko

API bidez eskainitako web zerbitzu baten oinarritutako mashup aplikazioa da, ingelesez idatzitako testu batean okerrak antzeman ahal izateko. REST, JSON, AJAX, Javascript eta jQuery erabiliz garatu da web aplikazio hau.

桶形基础的承载特性与承载力计算

桶形基础的承载特性,由于埋深范围和筒内包裹大块土体,而显著区别于桩基和普通浅基础。水平承载力计算与桩基存在显著的差别。本文结合了API规范中有关桩基和浅基础承载力的有关规定,结合桶形基础的特点,基于刚体极限平衡理论,提出了桶形基础承载力计算的一种方法,并用于分析垂直荷载与泥面弯矩的对水平承载能力的影响。

Tráfico en Tiempo Real

El desarrollo de este proyecto tiene como objetivo integrar en la plataforma Geoservicios información relacionada con el tráfico, obtenida del distribuidor TomTom. Para ello se creará un API en Java sobre dicha plataforma, en la cual se utilizarán y almacenarán los datos de tráfico obtenidos, para la visualización de la información en cualquier tipo de mapa. Junto con la visualización en tiempo real, también se desea guardar un histórico de toda esa información para su posterior análisis. Este servicio está pensado para poder integrarse en diferentes tipos de aplicaciones. La demostración se hará sobre un visor web de mapas, pero también se puede integrar en aplicaciones de escritorio o en aplicaciones para smartphones.