立体几何中图形的“补割变化”规律

立体几何中图形的“补割变化”规律陈继武（浙江东阳市教研室３２２１００）立体几何图形的“补割变化”，对高中学生来说并不陌生，因为球的表面积公式和三棱推的体积公式；教材中均是将图形进行“补割变化”导出的．然而，在解立体几何问题时，如何因题制宜地将图形“补...     

真值维护系统的语义研究

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

带延迟约束单机排序的改进算法

给出了带延迟排序的一个改进启发式算法,从而解决了Wikum等提出的一个问题。并且此算法可以最优求解单位加工时间的问题,进一步对另一个问题,此算法亦被证明好于Wikum等原来的算法。     

考虑两种不确定性的模糊决策方法

本文提出了一种新的考虑两种不确定性的模糊决策方法。该方法采用贴近测度SM和阈值λ以决定是否启用某条规则,井用修正函数MF修正推出的结论;然后,再利用专家对规则的置信度SC再一次校正修正后的结论。这种决策方法将为专家系统提供有效的推理工具。本文最后,提出了算法及例子。     

量子阱非对称法布里-珀罗腔调制器电折变模式蓝移

对于从实验中观察到的GaAs/GaAlAs多量子讲非对称法布里一哨罗腔调制器中电致折射率变化引起的模式蓝移现象,从理论上予以讨论.利用等效光程方法分析了电致折射引起的模式的移动特性,实验和理论符合较好.     

类氖锗X光激光双程放大实验研究

本文在神光装置上,进行了类氖锗X光激光双程放大实验研究.实验中使用了硅/钼多层膜X光平面反射镜.用平场光栅谱仪测量了X光激光的时间积分和时间分辨信号.实验证实了X光激光的双程放大.时间积分结果表明,双程放大为单程放大信号的5倍多;时间分辨结果表明,对多层镜的作用时间作修正后,双程放大信号的增强倍数还要大.在本实验条件下,多层镜的寿命约为400—700ps.     

带相变的铸坯热弹塑性应力分析基本方程

本文讨论了温度、相变、应力间的耦合关系，给出了铸坯在考虑相变时的热弹塑性蠕变的本构关系，以及计算铸坯内应力的有限元迭代公式。     

2003年全国各地高考数学模拟试题选析——数列

1　高考回顾数列是高中代数的重要内容之一 ,由于它既具有函数特征 ,又能构成独特的递推关系 ,使得它既与中学数学其他部分知识如 :函数、方程、不等式、解析几何、二项式定理等有较紧密的联系 ,又有自己鲜明的特征 ,因此它是历年高考考查的重点、热点和难点 ,在高考中占有极其重要的地位 ,试题往往综合性强、难度大 ,承载着考察学生数学思维能力和分析、建模、解决问题的能力以及函数与方程的思想 ,转化与化归的思想、分类讨论的思想 .从近几年试题来看 ,数列部分内容的分值约占总分的 12 %左右 ,大多为一道选择题或填空题 ,一道解答题 .而…     

利用图形的对称性巧解最值问题

请看一道苏联大学生数学竞赛试题:在〔。,1〕上给是函数,一砂,则t点在什么位置时,面积召: 召,有最大值和最小值.(如图幼. 巧妙地运用对称图形,便能避免高等数学的繁杂运算,作到一望而解,并可将命题加以推广. 如图2,在〔O,1〕中作出曲线,~扩关于直线:=于的对称曲,,由对称性,可将s,移至左上角,阴影部分即8: 凡,移动:点,相当于卫入子轴上下平移,容易,出,只有当。轴经过尸点即t,合时,阴影面积(即s, 凡)为最小,而刀万轴移至最高处即当t二1时,5.十凡为最大. 困I图2 下面给出几个思考题: 1.若将上题中的函数,二广改为犷=砂,结论有无变化?.(此题系…