WindowsNT环境下远程诊断系统的实现

详细阐述了ＮＴ下ＳＮＭＰ的工作原理,并讨论了基于ＳＮＭＰ的远程诊断系统在Ｗｉｎｄｏｗｓ ＮＴ环境下的构造方法,包括ＮＴ对远程访问的支持,ＮＴ的ＳＮＭＰ的实现框架等内容。     

基于OBDD的SMC中PRE(E)操作的改进算法

提出一种基于排序二值判定图(OBDD)的符号模型检测中PRE(操作的改进算法.该算法处理PRE(步骤3(嵌套布尔存在量化)的方法是一次遍历"删除"所有被量化变量的节点,产生表示布尔函数与嵌套存在量化结果等价的不确定排序二值判定图,把不确定排序二值判定图转换成OBDD.实验表明,该算法能有效缩短计算时间,减少中间节点所需空间.     

协调器——信息系统中的增值中间件

信息系统的复杂性总是与其规模同步增长的。由多构件组成的客户/服务器系统能够很快地采用当前的中间件技术进行重构,但是必须付出高昂的维护费用。如果用中间层服务来实现可共享的功能,那么当用户对客户软件提出新要求,导致客户端要求服务器添加新的服务功能时,系统维护费用将显著降低。在信息系统中,许多通用功能都可以在应用程序之间共享,但是要把它们适当地分配到两层C/S模型中去,还是相当困难的。如果功能分配不当,反而会弄巧成拙。随着系统规模扩大,用户要求的功     

大兴安岭北段嘎仙沟地区中侏罗世花岗闪长岩锆石U-Pb年龄、地球化学特征及其地质意义

大兴安岭北段嘎仙沟地区中侏罗世花岗闪长岩的LA-ICP-MS锆石U-Pb年龄为172.7±1.1 Ma。全岩SiO₂含量为62.81%～68.78%,全碱(ALK)和Al₂O₃含量较高,FeO^T、 MgO和TiO₂含量较低;里特曼指数σ=2.27～5.33, Na₂O/K₂O=1.19～3.57, Mg^#=38.0～49.0,属于中高钾钙碱性系列;铝饱和指数A/CNK=0.91～0.97,为准铝质岩石。稀土总量为(117.70～146.32)×10^-6,(La/Yb)_N值为11.70～18.10,呈轻稀土富集、重稀土亏损的右倾型配分模式;具轻微的铕负异常(δEu=0.86～0.98),表明源区没有明显的斜长石残留或分离结晶;较高的Zr/Hf、 Nb/Ta和Sr/Y值,低Y和Yb含量,富集大离子亲石元素Rb、 Sr和Ba,亏损高场强元素Nb、 Ta和Ti,指示源岩具有壳源...     

基于OBDD的SMC中PRE 操作的改进算法

提出一种基于排序二值判定图（OBDD）的符号模型检测中PRE 操作的改进算法。该算法处理PRE 步骤3（嵌套布尔存在量化）的方法是一次遍历“删除”所有被量化变量的节点,产生表示布尔函数与嵌套存在量化结果等价的不确定排序二值判定图,把不确定排序二值判定图转换成OBDD。实验表明,该算法能有效缩短计算时间,减少中间节点所需空间。     

钢筋混凝土水池设计

根据钢筋混凝土水池结构的特点,总结设计的方法和注意事项。     

基于OBDD的SMC中PRE操作的改进算法

提出一种基于排序二值判定图(OBDD)的符号模型检测中PRE操作的改进算法。该算法处理PRE步骤3(嵌套布尔存在量化)的方法是一次遍历“删除”所有被量化变量的节点,产生表示布尔函数与嵌套存在量化结果等价的不确定排序二值判定图,把不确定排序二值判定图转换成OBDD。实验表明,该算法能有效缩短计算时间,减少中间节点所需空间。     

微型钢管桩加固重力式挡土墙的应用

重庆等山地城市建筑,地势高差常以挡土墙作为支挡,而由于修建时技术条件限制,老旧小区周围及其内部现存挡土墙的安全性大部分不符合国家现行规范的要求,急需进行加固处理。目前,针对老旧挡土墙加固的常规方法存在较大的局限,尤其是不少方法针对老旧小区改造适用性差。该文进行了微型钢管桩在挡土墙加固中的应用研究,引用规范公式给出了加固后的计算公式,并对加固后的安全性能指标进行了量化,最后通过工程应用进一步验证了该加固方法的适用性,为挡土墙加固提供了一种可靠的加固方法。     

Windows NT环境下远程诊断系统的实现

详细阐述了NT下SNMP的工作原理,并讨论了基于SNMP的远程诊断系统在WindowsNT环境下的构造方法,包括NT对远程访问的支持、NT的SNMP实现框架等内容。     

吉林省通化市复兴村金矿区工程地质问题评价

目前复兴村金矿区已完成部分详查工作,未来的开采必然引发一系列工程地质问题。矿区地表风化强烈、裂隙发育,断裂构造较发育,岩石质量较好,岩体质量较差,工程地质环境质量属于较差—中等。依据岩性、岩石力学性质将工程地质岩组划分为第四系松散岩类岩组,较坚硬薄层变质岩岩组、坚硬块状碳酸盐岩组、坚硬块状火山岩组,边坡及地下采空区围岩的稳定性是主要的工程地质问题。对可能存在的工程地质问题进行了预测并提出相应问题的防治建议,为后续的矿山开采技术条件提供必要的依据。