真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

一堂物理课

 我是一位中学教师,我深爱《现代物理知识》,在讲授《卢瑟福核式结构》一课时,我向同学们言简意赅地介绍了那上面的一篇文章:《原子核壳模型发现前后》.当我讲述卢瑟福提出有效模型是怎样成功地解释盖革与马斯顿的实验结果时,同学们顿时活跃起来,纷纷想一展身手,体验一次科学发明的过程.然而,物理上的每一个发现,都是科学家凭借坚实的理论基础和实验事实而获得的.在教师的指导下,同学们通过阅读教材,得出了如下结论:“如果是枣糕式模型,α粒子穿过原子内部时,它受到原子内两侧的斥力相互抵消,使α粒子偏转不会很大”.     

四阶方程两点边值问题Hermite有限元解的渐近展式与外推

1引言有限元解的渐近展式是提高微分方程数值解精度的重要工具,比如亏量校正和外推就是建立在有限元解的渐近展式的基础之上．许多作者对此进行了大量的研究(见[1]-[4]),特别是文[1],提出了在研究有限元解的渐近展式中十分有用的能量嵌入技巧．本文利用能量嵌入定理得到了四阶方程两点边值问题Hermite有限元解及其二阶平均导数的渐近展式,进一步我们还讨论了它们的Richardson外推公式．考虑四阶方程两点边值问题     

科学创造性思维:特征、方式、主体条件

科学创造性思维在特征上表现为逻辑思维与直觉思维的互补，在思维方式体现为发散式思维与收敛式思维的有机结合，其思维主体必须做到知、情、意相统一。     

大学物理问题式导入研究

通过对大学物理课堂导入重要性的讨论,探讨问题式导入法在大学物理课堂教学中的应用,并阐述了设计物理问题的基本理念.     

关于两类重要微分不等式

本文研究了两类重要微分不等式有界解的性质。引入了赋范线性空间(f,‖‖M),利用比较定理和黎卡提方程解的性质,给出了有界解的上界估计式,推广和改进了文[1,2]中的有关结果.     

Single-period Two-product Inventory Model with Reorder and Substitution

In market, excess demands for many products can be met by reorder even during one period, and retailers usually adopt substitution strategy for more benefit. Under the retailer's substitution strategy and permission of reorder, we develop the profits maximization model for the two-substitutable-product inventory problem with stochastic demands and proportional costs and revenues. We show that the objective function is concave and submodular, and therefore the optimal policy exists. We present the optimal conditions for order quantity and provide some properties of the optimal order quantities. Comparing our model with Netessine and Rudi's, we prove that reorder and adoption of the substitution strategy can raise the general profits and adjust down the general stock level.     

Mn位W掺杂对La0.3Ca0.7MnO3体系磁结构的影响

通过对La0.3Ca0.7Mn1-xWxO3(x=0.00,0.04,0.08,0.12,0.15)多晶样品M-T曲线、M-H曲线及ESR谱的测量,研究了Mn位W掺杂对电荷有序体系La0.3Ca0.7MnO3磁结构的影响.结果表明,当掺杂量为0.00≤x≤0.08时,体系存在电荷有序(CO)相,AFM/CO态共存于相变温度以下,电荷有序温度TCO随着W掺杂量的增加而增加;x=0.04时,样品在低温下为FM相与AFM/CO相共存,在CO相建立前、后均有FM从PM中分离出来;当x≥0.12时,CO态融化,在极低温度下存在顺磁-铁磁(PM-FM)相变.