有线电视系统工程的招标

针对有线电视系统工程建设的特点，依照《招标投标法》的规定和程序，对有线电视系统工程招标的种类、招标方式、招标工程必备的条件、标底的编制及审定、开标、评标和中标的原则进行详细介绍，对招标文件的编制进行具体说明。     

“问题阅读“策略及其运用

1.问题的提出21世纪教学的核心是学会学习,阅读能力是“学会学习”的基础,良好的阅读习惯、高效的阅读方法,能使学生终身受益.但是现今学生的学习存在误区,认为学习语文需要“读书”,对于自然科学,只要上课听懂就行,即使教师布置阅读任务,也是浮光掠影,草草而过.学习语文固然需要“读”,学习数学同样需要“读”.教材是学生获得知道的重要来源,具有极高的阅读价值.究意怎样才能用好数学教材?笔者通过长期的实践和研究,总结了用来指导学生有效阅读教材的“问题阅读”策略,这对于培养学生自主学     

新颖的双栅高压MOS集成电路

本文分析了高压MOS器件中的负阻效应,描述了负阻击穿机理的物理模型,提出了一种新颖的双栅高压MOS结构,有效地抑制了负阻击穿,从而提高了器件的可靠性.     

1,1’-三亚甲基双环戊二烯基-特丁基镧四氢呋喃配合物的~(13)C核磁共振化学位移研究

随着有机金属化学的发展,人们对鑭系元素的有机金属化合物表现出越来越大的兴趣。七十年代以来这一领域已取得很大进展。相继合成了包含金属-碳囵π键及金属-碳σ键的许多有机金属化合物,其中对包含环戊二烯基的一类鑭系有机金属化合物的合成和性质研究尤为活跃。文献上对这类化合物的~(13)C核磁共振的实验研究只有过为数不多的一些报道,而用量子力学近似方法对鑭系配合物的~(13)C核磁共振化学位移进行计算则尚未见报道。本文在这一方面以1,1′-三亚甲基双环戊二烯基-特丁基鑭四氢呋喃配合物为对象进行一些尝试性探讨。     

室温制备高合金化Pt-Ru/CMK-3催化剂及其对甲醇的电催化氧化

通过低温络合反应制备了高分散高合金化的Pt-Ru固溶体, 并将其均匀地担载在有序介孔碳CMK-3上, 以形成二元复合金属催化剂. XRD谱图表明,fcc结构的Pt原子部分被hcp结构的Ru原子取代形成置换固溶体， 而且几乎没有未形成合金的Ru存在. TEM和XRD研究结果表明， Pt-Ru/CMK-3催化剂中Pt-Ru合金粒子的平均粒径为27 nm, 且具有良好的均一度. 还研究了催化剂对甲醇的电催化氧化性能, 并与E-TEK公司同类催化剂进行了对比, 研究结果表明, Pt-Ru/CMK-3催化剂具有较大的电化学活性面积, 对甲醇的电催化氧化性能和抗CO中毒能力明显优于其它同类催化剂.     

基于针孔成像像面参数提取的单板机镜头显微成像质量评价方法

提出以针孔成像调制传递函数面积(MTFA)和MTFA相对变化率作为像面参数,定量评价单板机镜头的显微成像质量.采用针孔法获取不同视场位置的光斑图像,以提取单板机镜头显微成像系统的调制传递函数(MTF);建立单板机镜头透镜组的MTF数学模型,提取边缘视场弧矢方向与子午方向的MTFA和MTFA相对变化率,用于度量被测镜头显...     

基于模拟关系的编译优化实现正确性验证方法

编译器中通常采用各种优化方法来提高目标代码的质量,为了实现较好的效果,一些编译优化算法通常十分复杂,很容易给可靠性和安全性带来隐患.现有的编译器缺陷大部分是由优化阶段引起的.传统的编译优化正确性研究大部分只关注优化算法的正确性,但是只有该算法被正确的实现了才能确保实际运行的优化过程是正确的.本文提出一种基于模拟关系的方法来验证编译优化实现的正确性.在每次优化结束后,我们通过建立优化前代码和优化后代码之间的模拟关系生成优化正确应满足的逻辑条件,然后验证逻辑条件是否成立从而判定编译优化的实现是否正确性.以优化编译中的常量折叠优化和变量替换的验证作为示例显示了本方法的有效性和可靠性.     

用传输线和时域有限差分法计算电缆X射线响应

 介绍了时域传输线和时域有限差分两种计算电缆X射线瞬态响应的方法,并利用电缆芯线总电荷以及介质层的电荷分布,结合实验结果,分别给出了时域传输线模型中的电流源和时域有限差分模型中电流密度的计算方法。作为例子,在60 keV单能X射线垂直于电缆轴向辐照的条件下,采用两种方法计算了电缆两端接匹配负载时负载上的电流响应;采用传输线方法计算了不同能量X射线辐照电缆时的芯线负载电流响应。计算结果表明,两种方法计算的电缆X射线瞬态响应是一致的;电缆介质层中存在静电场;X射线能量不同时,电缆芯线负载电流存在最大值。计算中,电缆与X射线的作用采用蒙特卡罗方法计算。     

基于函数调用图的静态数据分配

在许多嵌入式设计中,数据存储器是稀缺资源.如何基于静态分配方案,用最少的内存空间来存储程序数据成为嵌入式设计中一个非常重要的问题.如果两个函数之间不存在直接或者间接的调用关系的话,这两个函数的局部变量的生命期就没有重叠.这样的两个函数的局部变量可以共用存储空间而不会影响程序的正确性.基于这个思路,本文提出一种基于函数调用图的拓扑排序的最优静态分配算法(TBA)并证明了该分配算法的最优性.该分配算法通过静态分析技术,构建函数调用图(FCG),基于FCG的拓扑排序,计算每个函数的私有数据段的全局地址以及段内每个符号的全局地址,并根据重定位表更新对这些符号的引用.实验结果表明该算法优于前人提出的启发式算法.     

防空导弹自动驾驶仪测试性建模研究与应用

为了得到防空导弹自动驾驶仪的故障检测与诊断策略,减少自动驾驶仪的测试费用,建立了自动驾驶仪的测试性模型并进行分析,解决了建模的难点。通过多层抽象混合推理故障建模方法推导了自动驾驶仪结构与测试点之间的关系,根据测试点的特征和自动驾驶仪工作原理建立信息流模型,在此基础上,利用故障与测试间的相关性矩阵来描述测试性模型。基于此模型设计了诊断策略构建方法。实际应用表明,建立测试性模型的方法完全正确,通过模型能够构建有效的检测与诊断策略,缩短测试时间。