本钢2300 mm热轧生产线薄规格轧制技术优化

文章介绍了本钢2300 mm热轧生产线薄规格热轧板的生产情况。通过对薄规格热轧板轧制技术的研究,实现薄规格热轧板高质量、稳定化生产,同时扩充了可稳定生产的薄规格产品范围。轧制目标厚度≤2.75 mm的薄规格不稳定率平均为0.13%,轧制目标厚度≤2.0 mm的薄规格不稳定率平均为0.44%,由于轧制薄规格不稳定率降低使卡钢废品和轧破返修量减少,使薄规格产品成材率提高0.24%,非计划换辊次数平均每月降低4次。     

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

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

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

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

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

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

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

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

区间时序逻辑的模型检查

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

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

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

基于时间区间时序逻辑的实时系统统一模型检测

在同一个逻辑框架内无法自动验证实时区间模型的实时区间性质. 为此, 该文使用一个离散时间区间时序逻辑公式建立实时系统模型, 使用另一个离散时间区间时序逻辑公式描述实时系统需要满足的性质, 在此基础上, 离散时间区间时序逻辑统一模型检测问题即可归约为目前已解决的离散时间区间时序逻辑可满足性判定问题. 该文证明了新方法的有效性以及正确性, 为区间实时逻辑这一类的模型检测问题提供了方法.     

混合系统的符号化可达性分析

定义了一种称作混合区域的形式化结构表示矩形混合系统的状态集,它实际上是由一组特殊形式的线性不等式联立表示的多面体空间.证明了混合区域对于矩形混合系统的可达性操作的封闭性.此外,用矩形混合系统近似模拟非线性混合系统,相应地解决了非线性混合系统的可达性问题.使用混合区域,可以直接计算由某个正则的混合区域开始的可达集,这样,混合系统的可达性问题主要是求解混合区域的正则型问题,而这问题是一种线性规划问题,可以使用经典的线性规划算法加以解决.     

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

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