Human-oriented and machine-oriented reasoning: Remarks on some problems in the history of Automated Theorem Proving

Examples in the history of Automated Theorem Proving are given, in order to show that even a seemingly mechanical activity, such as deductive inference drawing, involves special cultural features and tacit knowledge. Mechanisation of reasoning is thus regarded as a complex undertaking in cultural pruning of human-oriented reasoning. Sociological counterparts of this passage from human- to machine-oriented reasoning are discussed, by focusing on problems of man-machine interaction in the area of computer-assisted proof processing.     

Health resort treatment of eye diseases caused by ischemia]

The authors discuss the results of ophthalmodynamometric tests used for the assessment of cerebro-retinal vessels reactivity following carbon dioxide baths and "peat collars". An analysis of systemic and local blood pressure in the ophthalmic artery measured with Weigelin and Lobstein technique enables to assess changes in blood pressures following a/m balneologic procedures. It was found that blood pressure does not change parallelly due to the mechanism of cerebral autoregulation. Transient decrease in blood pressure in the ophthalmic artery is produced by the dilatation of the internal carotid artery indicating a potent vasodilating action of carbon dioxide.     

时滞系统的多源数据融合卡尔曼滤波器研究

对于带观测时滞的线性离散时变随机控制优化问题,提出了观测变换方法,把带观测时滞状态空间模型等效地转换为无观测时滞的状态空间模型,接着应用卡尔曼(Kalman)滤波方法,在线性最小方差最优融合准则下,给出按矩阵、按对角阵和按标量加权三种最优信息融合卡尔曼(Kalman)滤波器,可分为局部最优全局次优的.融合器的精度高于每一个局部Kalman估值器的精度.可以减少用增广状态方法计算负担大的缺点.为了计算最优加权,给出了计算局部估计误差互协方差公式.对于带观测时滞的三传感器目标跟踪系统的Monte Carlo仿真例子证明了算法的有效性.     

现代化多星座卫星导航系统性能分析研究

卫星定位系统因其全球性、全天候、高精度等优点而被广泛应用。然而单一卫星导航系统在地球特殊区域存在可见星数目有限,卫星几何构形不佳等问题。针对上述问题,结合各系统未来更新状况,提出使用MATLAB软件进行星座仿真,分析了北斗、GPS III、GLONASS、GALILEO各系统区域定位的局限性,并利用最小二乘法将四个系统进行组合,从可见星数目和GDOP值两方面对组合系统与单一系统展开性能比较。仿真结果表明,组合星座系统能够明显增加可见星数目,改善单一星座区域GDOP值,提高定位精度。     

基于SPH的泥石流可视化仿真研究

泥石流是常见的危害性较大的地质灾害,发生时相关影像往往缺失。为了分析再现流体现象,提出进行可视化再现灾害过程,具有较强的现实意义。对泥石流的形态与动力学规律进行分析,使用改进的基于SPH的粒子系统方法设计出泥石流可视化仿真的方案,可将泥石流中的流体与刚体都简化为SPH方法中的微团粒子,通过对微团粒子间在光滑半径内的相互作用来得到流体与刚体的位置,最终得到了较好的泥石流可视化仿真结果,从而证明了SPH改进算法对可视化仿真泥石流是有效的。     

曲线运动SAR成像算法研究

研究合成孔径雷达曲线运动时的优化成像质量问题。提出了一种结合了惯导加速度参数和根据回波数据两种运动补偿曲线运动合成孔径雷达成像算法,提高了成像质量。首先研究了合成孔径雷达曲线运动时的目标模型,分析了惯性导航系统的原理,并以频谱分析的子孔径成像为基础,加入运动补偿等辅助处理。进行仿真,根据一组仿真参数和曲线轨迹生成仿真回波数据,证明仿真成像算法的有效性。系统运算简单,可为曲线运动时的合成孔径雷达实时信号处理系统系统设计提供依据。     

Temperature dependence of resistivity for thermally diffused V3Si multilayer films

Results concerning V₃Si films produced by a simple annealed multilayer technique are reported together with X-ray diffraction patterns, Auger spectroscopy, and Rutherford backscattering analysis. Low-temperature electrical resistivity measurements are discussed. It is found that the V₃Si films exhibit aT ² dependence in the temperature rangeT _c T23 K and aT ^2.6 dependence in the rangeT _c T40 K. The normal-state resistivity in the whole temperature range (T _c T600 K) is analyzed in the framework of Cote-Meisel theory. Consistent values of the saturation resistivity _m and of the Debye temperature are obtained by fitting the experimental data with the Cote-Meisel expression for (T).     

基于数据挖掘的焊接生产管理平台

焊接生产规模不断向自动化和流水线方式发展 ,对生产管理水平提出了更高的要求。为了从车间已积累的大量的生产历史数据中获得潜在的规律性和趋势 ,为管理者提供决策支持 ,文中在已有的质量在线监测平台和数据库系统上开发了基于先进的数据挖掘技术的焊接生产管理平台 ,同时为了获得有效的挖掘模式 ,对数据进行了预处理 ,建立了焊接车间数据集市。该平台主要使用控制图控制焊接生产产量和废品数量 ;利用决策树方法分析废品产生因素 ,获得了有效的挖掘模型 ,对于指导焊接生产具有重要意义     

环磺酮代谢物合成工艺研究

针对环磺酮代谢物开展制备工艺研究.以环磺酮为原料,经拜耳-维利格氧化重排等反应制备得到3个代谢物,含量均大于98.5％,满足用于农药登记、农残质检等领域的应用,极具社会应用价值.     

Effect of Polyhexamethylene Biguanide in Combination with Undecylenamidopropyl Betaine or PslG on Biofilm Clearance

Hospital-acquired infection is a great challenge for clinical treatment due to pathogens’ biofilm formation and their antibiotic resistance. Here, we investigate the effect of antiseptic agent polyhexamethylene biguanide (PHMB) and undecylenamidopropyl betaine (UB) against biofilms of four pathogens that are often found in hospitals, including Gram-negative bacteria Pseudomonas aeruginosa and Escherichia coli, Gram-positive bacteria Staphylococcus aureus, and pathogenic fungus, Candida albicans. We show that 0.02% PHMB, which is 10-fold lower than the concentration of commercial products, has a strong inhibitory effect on the growth, initial attachment, and biofilm formation of all tested pathogens. PHMB can also disrupt the preformed biofilms of these pathogens. In contrast, 0.1% UB exhibits a mild inhibitory effect on biofilm formation of the four pathogens. This concentration inhibits the growth of S. aureus and C. albicans yet has no growth effect on P. aeruginosa or E. coli. UB only slightly enhances the anti-biofilm efficacy of PHMB on P. aeruginosa biofilms. However, pretreatment with PslG, a glycosyl hydrolase that can efficiently inhibit and disrupt P. aeruginosa biofilm, highly enhances the clearance effect of PHMB on P. aeruginosa biofilms. Meanwhile, PslG can also disassemble the preformed biofilms of the other three pathogens within 30 min to a similar extent as UB treatment for 24 h.