Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini

In order to modelize the reasoning of an intelligent agent represented by a poset T, H. Rasiowa introduced logic systems called “Approximation Logics”. In these systems a set of constants constitutes a fundamental tool. In this papers, we consider logic systems called L′_T without this kind of constants but limited to the case where T is a finite poset. We prove a weak deduction theorem. We introduce also an algebraic semantics using Hey ting algebra with operators. To prove the completeness theorem of the L′_T system with respect to the algebraic semantics, we use the method of H. Rasiowa and R. Sikorski for first order logic. In the propositional case, a corollary allows us to assert that it is decidable to know “if a propositional formula is valid”. We study also certain relations between the L′_T logic and the intuitionistic and classical logics.     

Efficient Image Chaotic Encryption Algorithm with No Propagation Error

Many chaos‐based encryption methods have been presented and discussed in the last two decades, but very few of them are suitable to secure transmission on noisy channels or respect the standard of the National Institute of Standards and Technology (NIST). This paper tackles the problem and presents a novel chaos‐based cryptosystem for secure transmitted images. The proposed cryptosystem overcomes the drawbacks of existing chaotic algorithms such as the Socek, Xiang, Yang, and Wong methods. It takes advantage of the increasingly complex behavior of perturbed chaotic signals. The perturbing orbit technique improves the dynamic statistical properties of generated chaotic sequences, permits the proposed algorithm reaching higher performance, and avoids the problem of error propagation. Finally, many standard tools, such as NIST tests, are used to quantify the security level of the proposed cryptosystem, and experimental results prove that the suggested cryptosystem has a high security level, lower correlation coefficients, and improved entropy.     

Selective functionalization of crown ethers via arene chromium tricarbonyl complexes

The crown ethers dibenzo-16-crown-4 and dibenzo-18-crown-5 and a diaryl polyether were complexed by the chromium tricarbonyl group for the purpose of selective functionalization. This complexation did indeed permit exclusive functionalization of the complexed ring. CHO and CH₂OH functionalities were introduced ortho to the ether group. It was noted that the nature of the two ether chains had a strong influence on the regioselectivity of the functionalization, which occurred preferentially on the side with the polyether chain. Photochemical decomplexation produced functionalized organic crown ethers.     

Inhibition of matrix metalloproteinase-9 by "multi-prong" surface binding groups

A novel strategy of blocking the active site accessibility of MMP-9 by "multi-prong" surface binding groups is described.     

Thermal dimensional stability of isotropic polyoxymethylene

A parametric mapping analysis of the effect of various structural and morphological parameters on the thermal dimensional stability of polyoxymethylene is highlighted. The molecular composites model is found to describe adequately the expansional behavior of isotropic polyoxymethylene. The thermal expansivity is highly sensitive to the level of crystallinity followed by the transverse dimension of the crystallites. The longitudinal dimension of the crystallites, however, is not effective in altering the expansion behavior of isotropic polyoxymethylene. When comparing the model calculations with experimentally published data, an agreement of better than 15% is observed.     

Structural analysis of charge discrimination in the binding of inhibitors to human carbonic anhydrases I and II

Despite the similarity in the active site pockets of carbonic anhydrase (CA) isozymes I and II, the binding affinities of benzenesulfonamide inhibitors are invariably higher with CA II as compared to CA I. To explore the structural basis of this molecular recognition phenomenon, we have designed and synthesized simple benzenesulfonamide inhibitors substituted at the para position with positively charged, negatively charged, and neutral functional groups, and we have determined the affinities and X-ray crystal structures of their enzyme complexes. The para-substituents are designed to bind in the midsection of the 15 A deep active site cleft, where interactions with enzyme residues and solvent molecules are possible. We find that a para-substituted positively charged amino group is more poorly tolerated in the active site of CA I compared with CA II. In contrast, a para-substituted negatively charged carboxylate substituent is tolerated equally well in the active sites of both CA isozymes. Notably, enzyme-inhibitor affinity increases upon neutralization of inhibitor charged groups by amidation or esterification. These results inform the design of short molecular linkers connecting the benzenesulfonamide group and a para-substituted tail group in "two-prong" CA inhibitors: an optimal linker segment will be electronically neutral, yet capable of engaging in at least some hydrogen bond interactions with protein residues and/or solvent. Microcalorimetric data reveal that inhibitor binding to CA I is enthalpically less favorable and entropically more favorable than inhibitor binding to CA II. This contrasting behavior may arise in part from differences in active site desolvation and the conformational entropy of inhibitor binding to each isozyme active site.     

Quantum Mechanical/Molecular Mechanical Study of the HDV Ribozyme: Impact of the Catalytic Metal Ion on the Mechanism

A recent crystal structure of the precleaved HDV ribozyme along with biochemical data support a mechanism for phosphodiester bond self-cleavage in which C75 acts as a general acid and bound Mg(2+) ion acts as a Lewis acid. Herein this precleaved crystal structure is used as the basis for quantum mechanical/molecular mechanical calculations. These calculations indicate that the self-cleavage reaction is concerted with a phosphorane-like transition state when a divalent ion, Mg(2+) or Ca(2+), is bound at the catalytic site but is sequential with a phosphorane intermediate when a monovalent ion, such as Na(+), is at this site. Electrostatic potential calculations suggest that the divalent metal ion at the catalytic site lowers the pK(a) of C75, leading to the concerted mechanism in which the proton is partially transferred to the leaving group in the phosphorane-like transition state. These observations are consistent with experimental data, including pK(a) measurements, reaction kinetics, and proton inventories with divalent and monovalent ions.     

Wigner distribution of elliptical quantum optical vortex

We calculate the Wigner quasiprobability distribution function of the quantum elliptical vortex in elliptical beam (EEV), produced by coupling squeezed coherent states of two modes. The coupling between the two modes is performed by using beam splitter (BS) or a dual channel directional coupler (DCDC). The quantum interference due to the coupling between the two modes promises the generation of controlled entanglement for quantum computation and quantum tomography.     

Ultrahigh resolution crystal structures of human carbonic anhydrases I and II complexed with "two-prong" inhibitors reveal the molecular basis of high affinity

The atomic-resolution crystal structures of human carbonic anhydrases I and II complexed with "two-prong" inhibitors are reported. Each inhibitor contains a benzenesulfonamide prong and a cupric iminodiacetate (IDA-Cu(2+)) prong separated by linkers of different lengths and compositions. The ionized NH(-) group of each benzenesulfonamide coordinates to the active site Zn(2+) ion; the IDA-Cu(2+) prong of the tightest-binding inhibitor, BR30, binds to H64 of CAII and H200 of CAI. This work provides the first evidence verifying the structural basis of nanomolar affinity measured for two-prong inhibitors targeting the carbonic anhydrases.     

Ultrasound assisted copolymerization of acrylonitrile with N-amino phenyl maleimides and N-amino phenyl 2,3 dimethyl maleimides

The N-amino phenyl maleimide (N-APhM) and N-amino phenyl 2,3 dimethyl maleimide (N-APhDiMeM) derivatives were prepared by the condensation of phenyl hydrazine with maleic anhydride and 2,3 dimethyl maleic anhydride respectively. (13)C NMR spectroscopy proved the formation of the symmetric amino maleimide structure and not the pyridazinone or aminoisomaleimides. The copolymerization of acrylonitrile with the (N-APhM) and (N-APhDiMeM) were prepared using ultrasound. The thermal behavior of the prepared copolymers, under nitrogen atmosphere, was investigated using thermogravimetry (TG) techniques. The dyeing of the copolymers formed has been studied using both conventional and ultrasonic techniques. The effect of dye bath pH, ultrasonic power, dyeing time and temperature were studied. Color strength values obtained were found to be higher using ultrasound than with conventional heating. The results of fastness properties of the dyed copolymers were also studied.