基于偏序简化的并发系统验证

构件交互风格和交互协议的描述与验证是基于构件的分布式系统开发的基础和关键,而构件交互协议是一种典型的分布式并发系统.传统的方法难以解决系统建模和验证中的所谓的状态爆炸问题.偏序简化是应用迹的概念,对模型进行化简并且对模型进行死锁验证.但这样的验证重点放在了Petri网模型上,而没有涉及进程代数模型,所验证的只是模型是否有死锁状态.而以通信系统演算CCS为代表的进程代数,因其概念简洁,可用的数学工具丰富,在分布式并发系统的规范、分析、设计和验证方面获得了广泛应用.对此,提出将偏序规约应用于进程代数模型,给出基于进程代数模型的偏序简化算法,并提出利用进程代数模型偏序简化算法来验证安全性的方法.     

隧道重点排烟模式下诱导通风对效率的影响

数值模拟研究了重点排烟模式中诱导通风对公路隧道排热效率的影响。选取隧道平坡度段20 MW火源功率,无排烟、无诱导通风、不同诱导通风速率的13组火灾工况,分析不同火灾工况下烟气层运动状态和排烟口、排烟道的排热效率。结果表明,开启排烟风机后排烟道的排热效率为41%,设置纵向诱导通风后,排烟道排热效率为22%～25%;随着诱导通风速率增加,隧道两端排烟口的排热效率增加,中间排烟口的排烟效率降低。     

400MPa级热轧碳素结构钢筋盘条的生产实践

张钢采用控轧控冷技术生产400MPa级热轧碳素结构钢筋盘条,控制轧制采用二阶段变形制度;轧制中间阶段的控制冷却采用设定精轧入口温度和减定径入口温度,轧后一次控制冷却采用设定吐丝温度,二次控制冷却采用开启前6台风机,开口度为85%,三次冷却采用空冷。产品组织为铁素体+珠光体,晶粒细小均匀,屈服强度448.6MPa,抗拉强度650.8MPa,伸长率29.5%,完全满足标准要求。     

面向自动化建模的软件攻击技术分类研究

针对现有的软件攻击技术分类方法不能满足自动化建模需求的问题。本文提出了一种面向自动化建模的软件攻击技术分类方法——POPDDA。该方法分析了软件攻击技术在实现自动化建模过程中必要的属性信息,依此实现对软件攻击技术的分类,并根据Amoroso分类标准对POPDDA做出评价。最后基于POPDDA构建了相应的攻击知识库,利用攻击知识库实现自动化攻击模型的创建,并结合实验对建模效果进行分析。结果表明该分类方法能够满足Amoroso分类标准与自动化建模的需求,并解决了手工建模效率低、不精确与模型重复性构建的问题。     

针对文本水印摘要攻击的语义损失量评估方法

为了控制文本水印自动摘要攻击造成的语义信息损失,在已有的自动摘要评估方法的基础上,针对自动摘要文本水印攻击算法提出一种评估文本语义损失度的算法。该方法通过量化句子语义,合理计算摘要攻击造成的语义损失;并分析了攻击造成语义损失的主要因素,以及这些因素和语义损失量之间的数学关系。该方法能够从语义信息损失的角度更真实地评测摘要攻击算法的失真度,实现了自动化评估。     

可拓设计理论方法综述与展望

为了针对产品创新设计中的矛盾问题寻求最佳设计方案,提出一种可拓设计理论方法,该方法集理论、实践、科学、哲学和方法论为一体,具有设计目标清晰、冲突消解过程有序、方案输出结果满意等特点。通过分析比较发明问题解决理论、基于规则/实例推理、约束松弛、协商、回溯、可拓设计等常用于产品创新设计过程中的冲突问题消解方法,论述了可拓设计方法最大的特色在于模型化、形式化、定性与定量相结合,是一种智能化处理设计对象、设计系统的现代设计方法;系统介绍了可拓学和可拓设计的形成及相互关系、可拓设计的研究方法和设计原理,对可拓设计各步骤环节的研究现状进行了综述,论述了目前存在的不足及今后的发展方向与思路;阐述了可拓设计方法及其计算机实现的策略生成系统,对几种典型的可拓设计软件系统做了简要介绍;最后对全文进行总结,展望了今后的研究目标及需要解决的研究难点。     

柳州广电中心8讯道数字标清电视转播车设计与实践

主要介绍柳州市广播电视中心8讯道数字标清电视转播车的总体设计思路、详细技术方案,特别是视音频系统的选择、车厢内部布局的考虑,以及车体、监看、通话、外接板、配套设备等系统。     

重力场在支护锚固角度控制中的研究与应用

在深基坑、隧道、公路边坡等锚固施工过程中,为有效进行锚索、锚杆的角度控制,利用重力场的物理特性,研发了重力场作用下钻杆角度控制装置。同时,结合工程实例,介绍了该装置的组成结构、应用原理及实用效果。实践证明,该装置操作便捷,不仅降低了施工成本,而且提高了施工效率。     

基于直线电机的机器视觉高速纠偏系统

为了解决带材跑偏的问题,提出了一种基于直线电机的机器视觉高速纠偏系统。介绍了机器视觉系统和基于DSP的纠偏控制系统,采用了自适应模糊PID控制。同时以Microsoft Visual C++6.0为工具开发了稳定的纠偏软件,以CCS2000为工具完成了自适应模糊PID控制算法,并利用Matlab进行了仿真。     

直线电机伺服控制系统的功能通讯接口设计与实现

介绍了如何利用MCS-51系列单片机来组建直线电机的伺服控制系统的功能通讯接口,研究了如何组建伺服控制系统的硬件电路和编制软件算法.描述了基于MCS-51系列单片机的最小应用系统、按键接口、显示接口,以及参数设置和保存等部分的硬件电路设计,并在此硬件电路基础之上,给出了软件程序设计的基本思想以及各个子部分功能的软件实现.