976 resultados para 3-valued paraconsistent logic
Resumo:
Minnie’s Bow-Toons follows the adventures of Minnie Mouse and her best friend Daisy Duck as they run Minnie's Bow-tique, a specialty shop stocked only with colorful bows and bowties. In the third season Minnie, Daisy and their assistant Cuckoo Loca opens a pet grooming salon adjacent to the Bow-tique. In the fourth season Minnie, Daisy and Cuckoo Loca travel around the world, visiting cities like London, Venice and Tokyo.
Resumo:
The standard method for deciding bit-vector constraints is via eager reduction to propositional logic. This is usually done after first applying powerful rewrite techniques. While often efficient in practice, this method does not scale on problems for which top-level rewrites cannot reduce the problem size sufficiently. A lazy solver can target such problems by doing many satisfiability checks, each of which only reasons about a small subset of the problem. In addition, the lazy approach enables a wide range of optimization techniques that are not available to the eager approach. In this paper we describe the architecture and features of our lazy solver (LBV). We provide a comparative analysis of the eager and lazy approaches, and show how they are complementary in terms of the types of problems they can efficiently solve. For this reason, we propose a portfolio approach that runs a lazy and eager solver in parallel. Our empirical evaluation shows that the lazy solver can solve problems none of the eager solvers can and that the portfolio solver outperforms other solvers both in terms of total number of problems solved and the time taken to solve them.
Resumo:
The structures of the cocrystalline adducts of 3,5-dinitrobenzoic acid (3,5-DNBA) with 4-aminosalicylic acid (PASA), the 1:1 partial hydrate, C7H4N2O6 .C7H7NO3 . 2H2O, (I) and 2-hydroxy-3-(1H-indol-3-yl)propenoic acid (HIPA) and the 1:1:1 d6-dimethylsulfoxide solvate, C7H4N2O6 . C11H9NO3 . C2D6OS, (II) are reported. The crystal substructure of (I) comprises two centrosymmetric hydrogen-bonded R2/2(8) homodimers, one with 3,5-DNBA, the other with PASA, and an R2/2(8) 3,5-DNBA-PASA heterodimer. In the crystal, inter-unit amine N-H...O and water O-H...O hydrogen bonds generate a three-dimensional supramolecular structure. In (II), the asymmetric unit consists of the three constituent molecules which form an essentially planar cyclic hydrogen-bonded heterotrimer unit [graph set R2/3(17)] through carboxyl, hydroxy and amino groups. These units associate across a crystallographic inversion centre through the HIPA carboxylic acid group in an R2/2~(8) hydrogen-bonding association, giving a zero-dimensional structure lying parallel to (100). In both structures, pi--pi interactions are present [minimum ring centroid separations: 3.6471(18)A in (I) and 3.5819(10)A in (II)].
Resumo:
The structures of the 1:1 co-crystalline adduct C8H6BrN3S . C7H5NO4 (I) and the salt C8H7BrN3S+ C7H3N2O7- (II) from the interaction of 5-(4-bromophenyl)-1,3,4-thiadiazol-2-amine with 4-nitrobenzoic acid and 3,5-dinitrosalicylic acid, respectively, have been determined. The primary inter-species association in both (I) and (II) is through duplex R2/2(8) (N-H...O/O-H...O) or (N-H...O/N-H...O) hydrogen bonds, respectively, giving heterodimers. In (II), these are close to planar [dihedral angles between the thiadiazole ring and the two phenyl rings are 2.1(3)deg. (intra) and 9.8(2)deg. (inter)], while in (I) these angles are 22.11(15) and 26.08(18)deg., respectively. In the crystal of (I), the heterodimers are extended into a one-dimensional chain along b through an amine N-...N(thiadiazole) hydrogen bond but in (II), a centrosymmetric cyclic heterotetramer structure is generated through N-H...O hydrogen bonds to phenol and nitro O-atom acceptors and features, together with the primary R2/2(8) interaction, conjoined R4/6(12), R2/1(6) and S(6) ring motifs. Also present in (I) are pi--pi interactions between thiadiazole rings [minimum ring centroid separation, 3.4624(16)deg.] as well as short Br...O(nitro) interactions in both (I) and (II) [3.296(3)A and 3.104(3)A, respectively].
Resumo:
The structures of the 1:1 anhydrous salts of nicotine (NIC) with 3,5-dinitrosalicylic acid (DNSA) and 5-sulfosalicylic acid (5-SSA), namely (1R,2S)-1-methyl-2-(3-pyridyl)-1H-pyrrolidin-1-ium 2-carboxy-4,6-dinitrophenolate, C10H15N2+ C7H3N2O7-, (I) and (1R,2S)-1-methyl-2-(3-pyridyl)-1H-pyrrolidin-1-ium 3-carboxy-4-hydroxybenzenesulfonate, C10H15N2+ C7H5O6S-, (II) are reported. The asymmetric units of both (I) and (II) comprise two independent nicotinium cations (C and D) and either two DNSA or two 5-SSA anions (A and B), respectively. One of the DNSA anions shows a 25% rotational disorder in the benzene ring system. In the crystal of (I), inter-unit pyrrolidinium N-H...N(pyridine) hydrogen bonds generate zigzag NIC cation chains which extend along a while the DNSA anions are not involved in any formal inter-species hydrogen bonding but instead form pi--pi associated stacks which parallel the NIC chains along a [ring centroid separation, 3.857(2)A]. Weak C-H...O interactions between chain substructures give an overall three-dimensional structure. With (II), A and B anions form independent zigzag chains with C and D cations, respectively, through carboxylic acid O-H...N(pyridine) hydrogen bonds. These chains, which extend along b are pseudo-centrosymmetrically related and give pi--pi interactions between the benzene rings of anions A and B and the pyridine rings of the NIC cations C and D, respectively [ring centroid separations, 3.6422(19) and 3.7117(19)A]. Present also are weak intermolecular C-H...O hydrogen-bonding interactions between the chains, giving an overall three-dimensional structure.
Resumo:
The monoanionic ligand 1,1,3,3 tetracyano-2 ethoxypropenide (tcnoet) is reported with its Cu(II)–bpy complex of formula [Cu2(µ-tcnoet)2(tcnoet)2(bpy)2]. The structure has been determined using X-ray diffraction and features an alternating chain with bridging tcnoet ligands. One ligand acts as a bidentate, dinucleating ligand with one short Cu–N and one medium Cu–N bond, whereas the other tcnoet is largely monodentate, albeit with a very weak interdimer Cu–N bond. Despite the arrangement in dinuclear units, further arranged into linear chains through the non-bridging tcnoet ligand, the compound shows no significant magnetic exchange, as deduced from magnetic susceptibility down to 4 K. Ligand-field, IR and EPR spectra in the solid state and in frozen solution are reported and are consistent with the overall structure.
Resumo:
The mining industry is highly suitable for the application of robotics and automation technology since the work is arduous, dangerous and often repetitive. This paper discusses a robust sensing system developed to find and trade the position of the hoist ropes of a dragline. Draglines are large `walking cranes' used in open-pit coal mining to remove the material covering the coal seam. The rope sensing system developed uses two time-of-flight laser scanners. The finding algorithm uses a novel data association and tracking strategy based on pairing rope data.
Resumo:
The mining industry is highly suitable for the application of robotics and automation technology since the work is arduous, dangerous and often repetitive. This paper describes the development of an automation system for a physically large and complex field robotic system - a 3,500 tonne mining machine (a dragline). The major components of the system are discussed with a particular emphasis on the machine/operator interface. A very important aspect of this system is that it must work cooperatively with a human operator, seamlessly passing the control back and forth in order to achieve the main aim - increased productivity.
Resumo:
The fungal metabolite 3-chloro-4-hydroxyphenylacetic acid (1) was utilized in the generation of a unique drug-like screening library using parallel solution-phase synthesis. A 20-membered amide library (3–22) was generated by first converting 1 to methyl (3-chloro-4-hydroxyphenyl)acetate (2), then reacting this scaffold with a diverse series of primary amines via a solvent-free aminolysis procedure. The structures of the synthetic analogues (3–22) were elucidated by spectroscopic data analysis. The structures of compounds 8, 12, and 22 were confirmed by single X-ray crystallographic analysis. All compounds were evaluated for cytotoxicity against a human prostate cancer cell line (LNCaP) and for antiparasitic activity toward Trypanosoma brucei brucei and Plasmodium falciparum and showed no significant activity at 10 μM. The library was also tested for effects on the lipid content of LNCaP and PC-3 prostate cancer cells, and it was demonstrated that the fluorobenzyl analogues (12–14) significantly reduced cellular phospholipid and neutral lipid levels.
Resumo:
The cliché about modern architecture being the fairy-tale fulfillment of every fantasy ceases to be a cliché only when it is accompanied by the fairy tale’s moral: that the fulfillment of the wishes rarely engenders goodness in the one doing the wishing (Adorno). Wishing for the right things in architecture and the city is the most difficult art of all: since the grim childhood-tales of the twentieth century we have been weaned from dreams and utopias, the stuff of modernism’s bad conscience. For Adorno writing in 1953, Hollywood cinema was a medium of “regression” based on infantile wish fulfillment manufactured by the industrial repetition (mimesis) of the filmic image that he called a modern “hieroglyphics,” like the archaic language of pictures in Ancient Egypt which guaranteed immortality after death in Egyptian burial rites. Arguably, today the iconic architecture industry is the executor of archaic images of modernity linked to rituals of death, promises of omnipotence and immortality. As I will argue in this symposium, such buildings are not a reflection of external ‘reality,’ but regression to an internal architectural polemic that secretly carries out the rituals of modernism’s death and seeks to make good on the liabilities of architectural history.
Resumo:
The mineral tengerite-(Y) has been studied by vibrational spectroscopy. Multiple carbonate stretching modes are observed and support the concept of non-equivalent carbonate units in the tengerite-(Y) structure. Intense sharp bands at 464, 479 and 508 cm−1 are assigned to YO stretching modes. Raman bands at 765 and 775 cm−1 are assigned to the CO32− ν4 bending modes and Raman bands at 589, 611, 674 and 689 cm−1 are assigned to the CO32− ν2 bending modes. Multiple Raman and infrared bands in the OH stretching region are observed, proving the existence of water in different molecular environments in the structure of tengerite-(Y).
Resumo:
One of the objectives of this study was to evaluate soil testing equipment based on its capability of measuring in-place stiffness or modulus values. As design criteria transition from empirical to mechanistic-empirical, soil test methods and equipment that measure properties such as stiffness and modulus and how they relate to Florida materials are needed. Requirements for the selected equipment are that they be portable, cost effective, reliable, a ccurate, and repeatable. A second objective is that the selected equipment measures soil properties without the use of nuclear materials.The current device used to measure soil compaction is the nuclear density gauge (NDG). Equipment evaluated in this research included lightweight deflectometers (LWD) from different manufacturers, a dynamic cone penetrometer (DCP), a GeoGauge, a Clegg impact soil tester (CIST), a Briaud compaction device (BCD), and a seismic pavement analyzer (SPA). Evaluations were conducted over ranges of measured densities and moistures.Testing (Phases I and II) was conducted in a test box and test pits. Phase III testing was conducted on materials found on five construction projects located in the Jacksonville, Florida, area. Phase I analyses determined that the GeoGauge had the lowest overall coefficient of variance (COV). In ascending order of COV were the accelerometer-type LWD, the geophone-type LWD, the DCP, the BCD, and the SPA which had the highest overall COV. As a result, the BCD and the SPA were excluded from Phase II testing.In Phase II, measurements obtained from the selected equipment were compared to the modulus values obtained by the static plate load test (PLT), the resilient modulus (MR) from laboratory testing, and the NDG measurements. To minimize soil and moisture content variability, the single spot testing sequence was developed. At each location, test results obtained from the portable equipment under evaluation were compared to the values from adjacent NDG, PLT, and laboratory MR measurements. Correlations were developed through statistical analysis. Target values were developed for various soils for verification on similar soils that were field tested in Phase III. The single spot testing sequence also was employed in Phase III, field testing performed on A-3 and A-2-4 embankments, limerock-stabilized subgrade, limerock base, and graded aggregate base found on Florida Department of Transportation construction projects. The Phase II and Phase III results provided potential trend information for future research—specifically, data collection for in-depth statistical analysis for correlations with the laboratory MR for specific soil types under specific moisture conditions. With the collection of enough data, stronger relationships could be expected between measurements from the portable equipment and the MR values. Based on the statistical analyses and the experience gained from extensive use of the equipment, the combination of the DCP and the LWD was selected for in-place soil testing for compaction control acceptance. Test methods and developmental specifications were written for the DCP and the LWD. The developmental specifications include target values for the compaction control of embankment, subgrade, and base materials.
Resumo:
This work is a MATLAB/Simulink model of a controller for a three-phase, four-wire, grid-interactive inverter. The model provides capacity for simulating the performance of power electroinic hardware, as well as code generation for an embedded controller. The implemented hardware topology is a three-leg bridge with a neutral connection to the centre-tap of the DC bus. An LQR-based current controller and MAF-based phase detector are implemented. The model is configured for code generation for a Texas Instruments TMS320F28335 Digital Signal Processor (DSP).
Resumo:
There is an ongoing debate in relation to Part 3-5 of the ACL, particularly over its use in relation to other civil liability remedies. This article looks more closely at ss 138 and 139. It argues that, because of a possible design flaw in the statutory construction of s 138, it can be interpreted much more broadly than it has been to date. Also, the paper discusses the effect on an interpretation of s 139 ACL of both the High Court’s decision in Marks v GIO Australia Holdings Ltd, and a small but significant amendment to s 139 when the ACL was enacted. It argues that s 139 can now be interpreted broadly to include claims not just for loss of financial support or services but for all loss or damage or injury caused.
Resumo:
Displacement of conventional synchronous generators by non-inertial units such as wind or solar generators will result in reduced-system inertia affecting under-frequency response. Frequency control is important to avoid equipment damage, load shedding, and possible blackouts. Wind generators along with energy storage systems can be used to improve the frequency response of low-inertia power system. This paper proposes a fuzzy-logic based frequency controller (FFC) for wind farms augmented with energy storage systems (wind-storage system) to improve the primary frequency response in future low-inertia hybrid power system. The proposed controller provides bidirectional real power injection using system frequency deviations and rate of change of frequency (RoCoF). Moreover, FFC ensures optimal use of energy from wind farms and storage units by eliminating the inflexible de-loading of wind energy and minimizing the required storage capacity. The efficacy of the proposed FFC is verified on the low-inertia hybrid power system.