Elliptic Reconstruction and a Posteriori Error Estimates for Fully Discrete Semilinear Parabolic Optimal Control Problems

This article studies a posteriori error analysis of fully discrete finite element approximations for semilinear parabolic optimal control problems. Based on elliptic reconstruction approach introduced earlier by Makridakis and Nochetto [25], a residual based a posteriori error estimators for the state, co-state and control variables are derived. The space discretization of the state and co-state variables is done by using the piecewise linear and continuous finite elements, whereas the piecewise constant functions are employed for the control variable. The temporal discretization is based on the backward Euler method. We derive a posteriori error estimates for the state, co-state and control variables in the $L^\infty(0,T;L^2(\Omega))$-norm. Finally, a numerical experiment is performed to illustrate the performance of the derived estimators.     

GO-MOCE: Greedy Order Method of Conditional Expectations for Max Sat

In this paper we present and study a new algorithm for the Maximum Satisfiability (Max Sat) problem. The algorithm is based on the Method of Conditional Expectations (MOCE, also known as Johnson’s Algorithm) and applies a greedy variable ordering to MOCE. Thus, we name it Greedy Order MOCE (GO-MOCE). We also suggest a combination of GO-MOCE with CCLS, a state-of-the-art solver. We refer to this combined solver as GO-MOCE-CCLS.We conduct a comprehensive comparative evaluation of GO-MOCE versus MOCE on random instances and on public competition benchmark instances. We show that GO-MOCE reduces the number of unsatisfied clauses by tens of percents, while keeping the runtime almost the same. The worst case time complexity of GO-MOCE is linear. We also show that GO-MOCE-CCLS improves on CCLS consistently by up to about 80%.We study the asymptotic performance of GO-MOCE. To this end, we introduce three measures for evaluating the asymptotic performance of algorithms for Max Sat. We point out to further possible improvements of GO-MOCE, based on an empirical study of the main quantities managed by GO-MOCE during its execution.     

The matching of electrostatic extrema: A useful method in drug design? A study of phosphodiesterase III inhibitors

Summary Ligands which bind to a specific protein binding site are often expected to have a similar electrostatic environment which complements that of the binding site. One method of assessing molecular electrostatic similarity is to examine the possible overlay of the maxima and minima in the electrostatic potential outside the molecules and thereby match the regions where strong electrostatic interactions, including hydrogen bonds, with the residues of the binding site may be possible. This approach is validated with accurate calculations of the electrostatic potential, derived from a distributed multipole analysis of an ab initio charge density of the molecule, so that the effects of lone pair and -electron density are correctly included. We have applied this method to the phosphodiesterase (PDE) III substrate adenosine-3,5-cyclic monophosphate (cAMP) and a range of nonspecific and specific PDE III inhibitors. Despite the structural variation between cAMP and the inhibitors, it is possible to match three or four extrema to produce relative orientations in which the inhibitors are sufficiently sterically and electrostatically similar to the natural substrate to account for their affinity for PDE III. This matching of extrema is more apparent using the accurate electrostatic models than it was when this approach was first applied, using semiempirical point charge models. These results reinforce the hypothesis of electrostatic similarity and give weight to the technique of extrema matching as a useful tool in drug design.     

Best possibility of the Furuta inequality

Let , and . Furuta (1987) proved that if bounded linear operators on a Hilbert space satisfy , then . In this paper, we prove that the range and is best possible with respect to the Furuta inequality, that is, if or , then there exist which satisfy but .

     

STUDY ON THE DUCTILE DEFORMATION DOMAIN OF THE SIMPLE SHEAR IN ROCKS——TAKING BRITTLE FAULTS OF THE COVERING STRATA IN THE SOUTHERN JIANGSU AREA AS AN EXAMPLE

A study on the ductile deformation domain of the brittle fault in the shallow level ofthe crust is a new probe field for the modern structural geology. Taking the southern Jiang-su Province area as an example the orientation measurement of quartz crystals, the com-positional texture observation of three pressure sensitive minerals and the rheological param-eter determination of dislocation densities, etc. have been demonstrated and analysed basedon typical samples in the present paper. In addition, their generation mechanisms arealso discussed from the cataclastic rheology, the dynamic differentiation and the simpleshearing, specially, from the Ode strength theory. Finally, a generative relationship betweenthe ductile deformation domain of the brittle fault system, in the regional layer--slip andthe formation of the stratabound ore deposit is shown as well.     

Calculation of vertical ionization potentials of difluoramine by perturbation corrections to koopmans' theorem

The vertical ionization potentials of difluoramine are calculated by perturbation corrections to Koopmans' theorem. The calculation shows that difluoraimine has three overlapping bands between 15 and 16 eV. The calculated results compare well with the experimental values. The photoelectron spectrum of difluoramine is compared with that of OF₂ and CH₂F₂.     

高效液相色谱指纹图谱应用于地黄的研究

利用高效液相色谱建立了地黄的色谱指纹图谱。采用反相C1 8柱 (5 μm ,1 5 0mm× 4.6mm) ,流动相甲醇∶水 (V V =5∶95 ) ,检测波长为 2 80nm ,流速 1 .0mL min进行实验。根据相对保留值和相对面积值对色谱指纹图谱进行分析对比研究 ,建立了控制地黄药材质量的新方法。该法为中药样品的鉴定提供了较全面的信息 ,并为HPLC在复杂组分的样品分析领域开拓了新的应用途径。     

聚电解质──壳聚糖浓溶液流变学性质研究：浓度、温度、溶剂pH值和外加盐对粘度及流动性的影响

本工作用日本岩本ＲＰＸ－７０５多功能流变仪测定了在不同浓度、温度、溶剂ｐＨ值和外加盐浓度对壳聚糖在甲酸水溶液中其浓溶液粘度η随剪切速率γ的变化关系．讨论了浓度、温度等对溶液粘度、流动活化能Ｅ_γ和流动指数ｎ的影响．发现溶剂ｐＨ值减小或溶液中外加盐浓度增加，溶液粘度变小，ｎ增大，表明非牛顿流动性减弱，并且进一步讨论了零剪切粘度η_０和外加盐浓度Ｃ_ｓ的依赖关系．     

N(~4S)+NO(X~2II)→N_2(X~3Σ_g~-)+O(~3P)反应的立体动力学(英文)

采用准经典轨线方法研究了在不同碰撞能下,碰撞反应N(4S) NO(X2!)→N2(X3"g-) O(3P)在两个最低势能面3A″和3A′产物与反应物之间的矢量相关.结果表明,对于不同的碰撞能,在两个势能面上反应产物的转动取向展示了不同的特征和趋势.发生在3A″势能面上的反应主要由外平面机理支配,而发生在3A′势能面上的反应倾向于受内平面机理支配.这些差异来自于两个势能面的不同构型.     

原子氧在Ru低指数面及(110),(111)台阶面上的吸附

利用原子与表面簇合物相互作用的5参数Morse势方法(简称5-MP)系统地研究了O-Ru低指数面及Ru(1120),(1121)台阶面体系,获得了吸附几何、结合能、振动频率等临界点特性,所得相关数据与实验结果非常吻合.并且通过理论计算及原子吸附态振动指纹的遗传、遗变特性预言了氧原子在Ru(1121)台阶面的吸附.本文认为氧原子在HCP晶格的金属表面上的吸附倾向于三重位.