基于公式真度的公式集约简

基于经典命题逻辑的真度理论,讨论了经典命题逻辑系统当中公式集的约简问题。提出了真度约简及α-真度约简的概念,为公式集的约简提供了一种可行的操作方法。     

Simple and one-pot synthesis of tri and tetracyclic frameworks containing [1,8]naphthyridin-2-one moiety from the Baylis-Hillman adducts

A facile synthesis of tri and tetracyclic frameworks containing [1,8]naphthyridin-2-one skeleton from the Baylis-Hillman alcohols via the Johnson-Claisen rearrangement, followed by the treatment with Fe/AcOH in simple one-pot multi-step process is described.     

InBr3-catalyzed reduction of ketones with a hydrosilane: deoxygenation of aromatic ketones and selective synthesis of secondary alcohols and symmetrical ethers from aliphatic ketones

An InBr₃-Et₃SiH reducing system was developed to selectively convert aliphatic ketones to a variety of secondary alcohols in moderate to good yields. An initial mixing of InBr₃ and PhSiH₃ was followed by the addition of aliphatic ketones and a solvent to afford the symmetrical ether derivatives.     

An expedient reductive method for conversion of ketoximes to the corresponding carbonyl compounds

A wide array of readily prepared pivalates of ketoximes can be converted to the corresponding ketones in good yields by treatment with iron powder in THF containing catalytic amounts of both trimethylsilyl chloride and glacial acetic acid at room temperature for 30 min, followed by a brief aqueous workup.     

因素空间理论与知识表示的数学框架（Ⅸ）──均衡函数的构造与Weber－Fechner特性

本文是文［１－８］的继续，该文及后续论文仍将系统地研究因素空间理论及其在知识表示中的应用。该文研究均衡函数的构造，并且引入了激励型均衡函数和混合型均衡函数。特别，从混合型变权出发，我们得到与ＷｅｂｅｒＦｅｃｈｎｅｒ定律一致的综合函数。     

1,3-Bis(2,4,6-trimethylphenyl)imidazolium chloride in combination with triethylamine: an improved catalytic system for hydroacylation/reduction of activated ketones

A rapid, economic, and high yielding methodology has been developed for hydroacylation/reduction of activated ketones by using 1,3-bis(2,4,6-trimethylphenyl)imidazolium chloride as a catalyst in combination with triethylamine. The reaction proceeded at an ambient temperature via generating N-heterocyclic carbene in situ that interacted with the (hetero)aryl aldehyde employed. While the reduction of ketones takes place in MeOH, the hydroacylation process was found to be effective in THF for both electron rich and deficient aldehydes.     

Verification of model for adsorption and reduction of chromium(VI) by Escherichia coli 33456 using chitosan bead as a supporting medium

A non-steady-state mathematical model system for the kinetics of adsorption and reduction of Cr(VI) by Escherichia coli (E. coli) biofilm on chitosan bead (EBCB) process was derived. The mechanisms in the model system included Cr(VI) adsorption by chitosan beads, Cr(VI) bioreduction by E. coli cells and Cr(VI) mass transport diffusion. Batch kinetic tests were performed to determine surface diffusivity of Cr(VI), adsorption parameters for Cr(VI) and biokinetic parameters of E. coli 33456. Experiments were conducted using an EBCB reactor system with high recycled rate to approximate a completely-mixed flow reactor for model verification. The experimental results indicated that E. coli biofilm bioregenerated the chitosan beads after E. coli biofilm has grown significantly. Cr(VI) reducing efficiency by E. coli was about 84% when Cr(VI) concentration in the influent was 5 mg/L at a steady-state condition. The concentration of suspended E. coli cells reached up to 10 mg/L while the thickness of attached E. coli cells was estimated to be 150 μm at a steady-state condition by model prediction. The comparisons of experimental data and model simulation show that EBCB model system for Cr(VI) adsorption and reduction can predict the experimental results well.     

Global Geometry of 3-Body Motions with Vanishing Angular Momentum Ⅰ

Following Jacobi＇s geometrization of Lagrange＇s least action principle, trajectories of classical mechanics can be characterized as geodesics on the configuration space M with respect to a suitable metric which is the conformal modification of the kinematic metric by the factor （U ＋ h）, where U and h are the potential function and the total energy, respectively. In the special case of 3-body motions with zero angular momentum, the global geometry of such trajectories can be reduced to that of their moduli curves, which record the change of size and shape, in the moduli space of oriented m-triangles, whose kinematic metric is, in fact, a Riemannian cone over the shape space M^＊≌S^2 （1/2）.
In this paper, it is shown that the moduli curve of such a motion is uniquely determined by its shape curve （which only records the change of shape） in the case of h≠0, while in the special case of h = 0 it is uniquely determined up to scaling. Thus, the study of the global geometry of such motions can be further reduced to that of the shape curves, which are time-parametrized curves on the 2-sphere characterized by a third order ODE. Moreover, these curves have two remarkable properties, namely the uniqueness of parametrization and the monotonieity, that constitute a solid foundation for a systematic study of their global geometry and naturally lead to the formulation of some pertinent problems.     

Highly efficient catalytic system for hydrosilylation of ketones with iron(II) acetate-thiophenecarboxylate

A combination of a catalyst derived from ferrous acetate and sodium thiophene-2-carboxylate efficiently promoted hydrosilylation of aromatic and aliphatic ketones to give the corresponding secondary alcohols in high yields with extremely high selectivity.