北方光缆温度特性问题的解决方案

为了克服架空光缆束管的伸缩及直埋光缆的冻害对光缆传输的影响,对因温度变化使架空光缆束管伸缩引起的光缆故障进行了研究和剖析,以让束管中的光纤自由伸缩为原则给出了多种有效的解决办法;直埋光缆因温度原因引起的故障主要表现为过路顶管冻害故障,并首次阐述了直埋光缆冻害故障多发生在初春而不是冬季的原因,提出了用蒸汽法以及用海绵橡胶子管代替塑料子管方法解决直埋光缆冻害故障,并计算了海绵橡胶子管替代法可实现的经济效益。     

用于下线间无线序光缆割接的旧路由光缆法

通过测试旧路由光缆,查找出旧路由光缆同机房侧光缆连接的光纤色谱线序信息,用于处理下线间无线序光缆割接难题。实践证明采用旧路由光缆法进行下线间无线序光缆割接可确保割接完毕后光路、线路直接通,两端光纤无需倒换,并且可按重要线路优先原则进行光缆路由变更。此外,旧路由光缆法还可用于处理光缆故障。     

光谱载体氯化锂对ICP—OES法测定铅锰的影响

为研究光谱载体LiCl对ICP—OES法测定Pb、Mn的影响，通过测定在不同LiCl浓度、射频功率、观测高度、载气流量和进样量条件下谱线MnⅠ279．482nm，MnⅠ403．075nm，MnⅡ257．610nm，MnⅡ259．372nm，PbⅠ217．000nm，PbⅠ283．306nm。PbⅡ220．353nm的净强度，得到了各谱线灵敏度的影响规律。证明LiCl是ICP-OES法测定Pb、Mn的良好光谱载体，LiCl增敏ICP-OES法测定地表水中Pb、Mn是可行的。     

西北某县城输配水管网改建工程优化设计

西北某县城输配水改建工程综合利用该县地形和原有供水设施,在满足居民生活用水水质、水压和水量的条件下,对输水方案、管网布局和计算以及运行调度进行了优化设计。优化结果表明,该设计不仅一次性投资小,运行费用低,而且符合实际情况。     

区间时序逻辑的模型检查

为了检验标注有限状态自动机描述的系统是否满足某个区间时序逻辑公式刻画的性质,定义了一套转换规则．利用这些规则,可以构造一个chop-自动机,该自动机接受的语言恰是所有满足这个区间时序逻辑公式的模型的集合．同时,定义了一套转换规则把一个chop-自动机转换为一个标注有限状态自动机,使得它们接受相同的原子命题序列集．这样,区间时序逻辑的模型检查问题就等价地转换成了很容易解决的两个标注有限状态自动机的语言包含问题．     

X70管线钢的成分设计及其轧制工艺的控制

根据低碳-锰(Mn)-铌(Nb)合金系针状铁素体钢进行成分设计,并从加热温度、变形量、终轧温度、冷却速度和卷取温度等参数对轧制工艺加以控制,在本钢2300热连轧机组生产线一次试轧X70管线钢获得成功。检验结果表明,所生产的X70管线钢是以针状铁素体组织为主,并具有良好的机械性能。     

多速率混合系统的模型检查

研究了初始化的多速率混合系统的模型检查问题,即检验初始化的多速率自动机是否满足某个混合区间时序逻辑公式描述的性质．首先定义了一套转换规则把混合区间时序逻辑公式转化为区间时序逻辑公式．接着定义了初始化的多速率自动机状态空间上的等价关系及其对应的域自动机,并且通过构造域自动机对应的标注有限状态自动机,把初始化的多速率混合系统的模型检查问题等价地转换成了可解的区间时序逻辑的模型检查问题．利用区间时序逻辑的模型检查算法加上上述的转换规则,就可以解决初始化的多速率混合系统的模型检查问题．     

热轧酸洗板铸坯表面清理过程对除鳞效果的影响

利用扫描电镜和表面粗糙度检测仪检测酸洗板纵向条纹缺陷。通过对酸洗板生产过程的跟踪与排查分析,产生纵向条纹的原因是铸坯表面清理后在热轧过程中坯料表面温度存在梯度,导致轧制后的带钢表面氧化铁皮及粗糙度分布不均所致。其中,铸坯表面清理是影响纵向条纹的主要因素。结合实验分析结果,对生产工艺进行了调整和优化,高等级酸洗板产品的纵向条纹缺陷已得到有效控制。     

一种基于区间时序逻辑模型检测的入侵检测算法

Model checking based on linear temporal logic reduces the false negative rate of misuse detection. However, linear temporal logic formulae cannot be used to describe concurrent attacks and piecewise attacks. So there is still a high rate of false negatives in detecting these complex attack patterns. To solve this problem, we use interval temporal logic formulae to describe concurrent attacks and piecewise attacks. On this basis, we formalize a novel algorithm for intrusion detection based on model checking interval temporal logic. Compared with the method based on model checking linear temporal logic, the new algorithm can find unknown succinct attacks. The simulation results show that the new method can effectively reduce the false negative rate of concurrent attacks and piecewise attacks.     

MapGis与CAD平台转换制图技术的探讨

根据MapGis与CAD平台之间的共同点,将两个系统之间的转换技术做了简单的分析,总结了转换制图的经验。