60Si2MnA钢材裂纹成因分析及控制

针对河北某钢铁公司生产中出现60Si2Mn A钢材内裂率升高的问题,结合实际生产冶炼过程,对钢材内部裂纹缺陷的形貌特征、形成原因、影响因素及控制措施等方面进行了系统的研究,结果表明:钢中大颗粒夹杂物是导致60Si2Mn A钢材产生内部裂纹的主要因素。夹杂物种类为铝、镁、钙、硅复合氧化物。钢液中[Al]、[Ca]及精炼渣(Mg O)含量偏高、钢包及大包套管耐材侵蚀严重是产生大颗粒夹杂物的主要原因。通过采用低铝硅铁代替普通硅铁、使用优质耐火材料,钢包空置时间≤1.5 h、每炉次更换一次大包套管、中间包使用双层覆盖剂等改进措施,使钢材内部裂纹发生率从0.53%降至0.11%。     

对《烘干法谷物水分测定仪》检定规程的探讨

目前,对烘干法谷物水分测定仪（以下简称水分仪）的检定,是依据JJG658-1990《烘干法谷物水分测定仪》检定规程.其中水分仪的称量装置主要以模拟指示为主,但随着称重传感器及机电结合技术的应用,数字指示的水分仪在检定过程中也经常遇到,这样,我们就面临一个无检定规程可以依据的问题.     

并发程序验证的时序Petri网方法

并发程序的设计、分析和验证已经成为计算机理论界基础理论研究的方向之一。Petri网和时序逻辑被认 为是探讨该问题较为有效的两个理论工具,但二者都有局限性。该文引用一种新网子类;时序Petri网,描述了并发程序的时序Petri网建模方法;利用网结构描述程序基本框架及保证语句的原子性,通过时序逻辑公式反映程序的共享逻辑变量的赋值变化及时序关系,从而有效地对基本网无法描述的并发程序进行了建模;在此基础上,结合Petri网的可达图分析技术和时序逻辑的演绎公式,分析和验证了并发程序的安全性和活性性质。     

Automatic Web services composition algorithm based on optimal matching

A novel layered method was proposed to solve the problem of Web services composition.In this method,services composition problem was formally transformed into the optimal matching problem of every layer,then optimal matching problem was modeled based on the hypergraph theory,and solved by computing the minimal transversals of the hypergraph.Meanwhile,two optimization algorithms were designed to discard some useless states at the intermediary steps of the composition algorithm.The effectiveness of the compos...     

本体概念分类的遗传算法

提出了一种基于遗传算法的本体概念分类规则学习方法(GAOCL).该方法从已有的本体库或知识库中获取实例作为训练样本,通过遗传算法获取相关的概念分类规则,实现概念实例的有效分类,以达到扩充和丰富本体的目的.首先,在编码过程中采用了可变长度的规则集合作为个体,以满足不同概念对分类规则数目的不同要求.其次,定义了规则集相对覆盖率,并以此作为适应值函数,评估个体对概念实例的分类效果,实现优化迭代.最后,给出了基于遗传算法的本体分类规则学习算法.利用一组标准样本集对该算法与同类算法进行了比较,实验结果表明该算法具有很好的收敛性,并且能获得较好的分类效果.     

VSAT卫星通信系统中接口规程和网内规程的研究与实现

本文论述了在VSAT通信系统中,链路级所采用的接口规程和网内规程;同时,由于作者独立完成了某VSAT预研课题中该部分的软硬件的设计及调试,因此本文还就其是如何实现的进行了论述。     

HDSP211X系列LED字符显示器的使用

ＬＥＤ字符显示器是一种很有应用前途的显示器。本文就以ＨＤＳＰ２１１Ｘ系列为例，详细地说明其性能和使用方法，以其推动在各个方面尤其是在军品方面的应用。     

时间Petri网的可调度分析及在FMS中的应用

在实时系统中,检查任务执行的计划是否满足要求的时间约束称为可调度分析.通过把时间特性与其他行为特性分离,提出了一种以时间Petri网建模的实时系统调度分析方法.如果特定任务的执行是可调度的,则可以计算任务执行的时间跨度,否则确定出不可调度的变迁以便于调整时间约束和纠正设计错误.提出了一种通过把复杂的任务序列分解成一些子序列来进行可调度性分析的综合时序分析技术,它不仅提高了效率,也有助于关于调度的可达性问题的讨论.讨论了柔性制造系统FMS中的车间装配子系统的可调度性.     

雷氏夹膨胀测定仪测得值的不确定度评定

本文简述了雷氏夹膨胀测定仪的工作原理,依据JJG (交通) 093-2009《雷氏夹及雷氏夹膨胀测定仪》检定规程,结合具体检定过程,对雷氏夹膨胀测定仪的检定项目建立了测量模型,分析了测得值的标准不确定度分量来源,运用不确定度评定与表示方法,给出了雷氏夹膨胀测定仪测得值不确定度评定报告。