关于半线性热方程的死角性质

本文考虑下述问题：这里，．本文证明了在发生死角时只有有限个死角点．     

粒子分辨CCT方法中的δ电子效应

提出了切伦科夫相关时间测量(CCT)中初始粒子在辐射体里产生的δ电子的干扰问题,以及降低干扰的方法. 通过模拟计算给出了北京τ-C工厂探测器初步设计中CCT的π/K分辨本领.     

电工学实验教学分层次改革的经验与体会

本文介绍了我们近几年来对电子学实验教学进行的分层次改革情况及取得的一些经验成果和心得体会。     

光放大器前置可调光学滤波器

介绍Ｆ－Ｐ干涉滤波器实现中心波长可调的两种机理，给出通过改变腔距来改变中心波工的滤波器的典型结构，并且给出了相应的电压驱动电路，实验表明选择合适的光放大器前置滤波器可以提高系统的灵敏度。     

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

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

红外光谱中溶剂效应机理初探——配位机制的提出

本文就红外光谱中溶剂效应机理提出了溶质和溶剂分子间的瞬时配位作用机制，认为同－溶质在不同溶剂中的振动波数不同，是由于这种瞬时配位作用改变了溶质价电子运动状态所致。据此提出了溶剂效砂的定量关系式，测定了七种溶剂配位效应常数。用这一套经验参数处理了几种取代苯甲酸的羰基伸缩振动的溶剂效应，得较好的线性关系。还发现羰基的振动波数与取代基的Ｈａｍｍｅｔｔ常数σ之间，羰基伸缩振动对溶剂效应的敏感度与σ之间，Ｈ     

真值维护系统的语义研究

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

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

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

大面积激光自动涂敷系统及其工业应用

本文系国家“八．五”攻关课题。为解决冶金轧辊大面积激光涂敷的需要。我们研制了一套宽带激光自动涂敷系统，它由宽带扫描镜和自动喷粉机组成。适用激光功率１－１０ｋＷ，它既右作于宽带涂敷，又可直接用于聚焦窄作敷。单道一次涂敷宽度１０－３５ｍｍ连续可调，单道一次涂敷厚度０．２－８ｍｍ可控。送粉量０．５克－２００克／分连续精密地，送粉精度〈２％。