纸坊沟流域土壤侵蚀变化浅析

该研究以平凉市纸坊沟流域为例,应用双累积曲线法,分析界定了流域1981-1997年大规模水土流失综合治理环境下土壤侵蚀变化出现差异特征的时间段.研究结果表明:1981-997年流域水土流失及治理措施变化剧烈的分水岭年份为1985-1986年.1985年以后,随着治理面积的逐年增加,综合治理程度的提高,明显改善了流域降雨、径流和输沙的关系.同时分析得出流域降水、径流、治理程度与土壤侵蚀流失具有一定的线性回归相关关系.     

水电站尾水管混凝土施工期温控仿真分析和防裂

水工混凝土结构中裂缝的存在和发展,既影响建筑物的外观,引发渗漏,同时也影响混凝土结构强度和稳定性。采用数值计算方法对某拟建的水电站尾水管混凝土进行施工过程仿真计算,根据气候、材料、约束等实际情况研究防裂工作的有利及不利条件,分析多种表面保温条件下的温度场和应力场情况,据此对混凝土施工中的温控防裂措施提出合理的建议。     

新疆地区水库的安全问题与对策分析

水库安全问题不但关系到水库自身的正常运行,还关系到了下游城镇、村庄居民的生命财产安全。针对新疆水库存在的安全问题,进行具体的研究和对策分析。     

广义不可推断属性符号化算术验证的研究

多级安全系统中机密数据的泄漏本质上是信息的非法流动.广义不可推断属性刻画了不同安全级主体之间合法的信息流动.在系统应用之前,验证其满足广义不可推断属性,可以排除各种隐蔽数据泄漏,保护数据的机密性.传统的广义不可推断属性验证方法——"展开方法"——验证的仅仅是属性成立的一个充分非必要条件,因此是不完备的.基于证伪技术提出一种完备的广义不可推断属性验证方法,该方法通过逐步搜索长度递增的使广义不可推断属性失效的反例来完成验证过程.为确保搜索过程能正确终止,即方法的完备性,提出状态转换系统的双构造运算,并在此基础上基于图结构理论给出最短反例的上近似计算.进一步为提高验证方法的时间效率和降低对内存空间的需求,将反例搜索和上近似计算归约为量化布尔公式满足性求解问题,借助于高效的满足性求解程序完成属性的验证,实现了验证过程的符号化计算.最后通过一个磁臂隐通道的实例说明验证方法在实际的隐通道分析中的应用.     

HSV-tk基因/GCV系统治疗肿瘤的旁观者效应与缝隙连接关系的研究

目的 探讨单纯疱疹病毒胸苷激酶（HSV－tk）基因／丙氧鸟苷（GCV）系统杀伤肿瘤细胞时旁观者效应与细胞间缝隙连接的关系。方法 用PA317细胞包装STK质粒（逆转录病毒载体介导的HSV-tk基因），形成假逆转录病毒颗粒，转染有缝隙连接的大鼠胶质瘤细胞C6和无缝隙连接的入宫颈癌细胞 Hela，制成 C6 tk+和 Helatk+细胞，将不同比例的C6和 C6 tk+、Hela和 Hela tk+细胞混合，每种比例8孔，培养 24h后 4孔加入含0．5μg/mlGCV的培养基，4孔作对照，6d后用MTT法测量细胞存活率。在两个培养皿中放入周围粘有33mm高滤纸的载玻片，分别接种 C6、C6 tk+细胞。细胞 80%汇合后将载玻片互换，并加入含0．5μg/ml GCV的培养基，6d后观察细胞形态。结果C6细胞组存在旁观者效应，Heal细胞组不存在旁观者效应。培养皿中tk+细胞大部分被杀死,tk-细胞无变化。结论HSV-tk基因/GCV系统杀伤肿瘤细胞时旁观者效应与细胞间缝隙连接有关。     

分子筛吸附器进水故障及其处理过程

KDONAr-10000／22000／370型空分设备因空冷塔液位计失效而发生分子筛吸附器进水故障。介绍了故障发生的经过和处理过程；最后得出了发现及处理分子筛吸附器进水故障的经验和教训。     

基于控制器局域网的石油井下仪器互连技术研究

设计一种用于石油井下仪器互连的接口方案。提出了基于控制器局域网的互连模型,以数字信号处理器内部集成的控制器局域网模块为基础,其软件编程主要涉及到控制器局域网模块的初始化、数据收发,以及邮箱中断管理等技术环节。测试表明,该设计具有高可靠性和实时性,完全能够满足石油井下仪器控制和数据传输的需要。     

低挥发分无烟煤及其混煤燃烧性能研究

采用热天平和一维火焰炉对耒阳低挥发分无烟煤及其混煤的着火、燃烧、燃尽以及结渣特性等进行试验研究,分析了挥发分含量及掺配比对煤燃烧性能的影响.根据试验结果,运用模糊数学方法进行综合评判,确定了混煤的最佳掺配比,为混煤的合理燃烧提供了科学依据.     

高层建筑与城市步道系统关系探讨

由于高层建筑为主的高密度市区现象在许多大中城市中日趋普遍,所以,高层建筑内部交通以何种形式与城市步道系统联系,同时,又有利于增加步道系统的活力和适应力,创造更人性化的城市空间,是建筑师不断面临和思考的问题.笔者就此问题总结了高层建筑与城市步道系统相协调的几种设计方法.     

面向领域知识的本体知识模型XML表示框架

基于面向领域知识表示模型的共性与差异，提出了一种基于本体的领域知识XML表示框架模型。首先，给出了关于本体及知识建模的相关定义，并对领域知识进行了简单定义及分析；在此基础上，给出了面向领域知识的本体知识模型的XML表示框架，对领域知识建模从领域模式和领域知识库两个方面进行了建模研究，实现了组成领域知识模型框架的两个子框架模型。