基于Petri网化简技术的工作流模型合理性验证

随着工作流系统趋于大型化,使得可达图的验证技术对于大型模型进行验证时面临着状态空间爆炸的问题.因此,在过程验证之前,对大型模型进行化简是必要的.本文通过引入Petri网、Workflow Petri网和过程合理性定义,采用Petri网的两种化简技术,实现了工作流过程模型结构合理性验证过程.     

CSP冷轧薄板退火过程再结晶机理的研究

采用EBSD分析方法,对CSP试验钢冷轧板退火过程中组织转变和再结晶织构的演变进行分析。结果表明,试验用钢的再结晶过程属定向形核,冷轧基体织构主要是成条状的{111}<110>、{111}<112>和{001}<110>取向。新的再结晶晶粒主要是{111}<112>和{111}<110>取向,且两种取向相互生成。在再结晶温度区间有利于形成{111}<110>和{111}<112>取向,在晶粒长大阶段会生成大量的对深冲性能无明显影响的{112}<110>取向转变。因此,控制再结晶温度区间内形成的{111}取向稳定存在而不发生转变,将有利于提高材料的深冲性能。     

CSP薄板冷轧退火组织和织构的研究

采用EBSD分析方法,对CSP试验钢冷轧板退火过程中组织转变和再结晶织构的演变进行分析,结果表明,在退火过程中,α取向线上的{112}<110>和{110}<110>织构的取向密度基本上没有变化,{100}<110>织构的取向密度是逐渐降低的,而{111}<110>织构有所增强,γ取向线上{111}<011>和{111}<112>织构都是呈先降低后升高的趋势,而且最终{111}<011>和{111}<112>两种织构的取向密度趋于相等,分别为5.28和5.24.     

基于概率论与数理统计的试卷质量分析评价研究

从概率论与数理统计角度引入相关系数概念,将相关系数应用于试卷质量分析中,通过对试卷效度及信度分析判定试卷质量,将试卷质量分析反馈到教学,改进教学,提高教学质量。     

基于Web services的网上在线实时答疑系统的研究

随着Internet技术的发展,网上答疑形式出现多样化,本文引入web services技术,提出一个在线实时答疑系统的框架,并给出了基于web services技术的网上答疑系统的功能。系统为学生提问和教师答疑提供了不受时间和空间限制的平台,体现了网上答疑的交互性和自主性等特点。同时,实现了教学资源和教学方法的共享。     

管接头锻模设计

分析了管接头的工艺特性,重点介绍了管接头锻造模具的设计。此模具将滚挤型槽加工在锁扣上,使模块的尺寸较传统设计减小了20%;终锻型槽局部设计了双仓飞边,避免了裂纹的产生。用此模具生产的锻件质量稳定,达到了设计要求。     

桑椹果醋营养功能功效解读

桑椹果醋是以桑椹或桑椹产品加工下脚料为主要原料,采用全液态生物发酵技术,经酒精发酵、醋酸发酵酿制而成的酸性饮品或调味品,它兼具桑椹和一般果醋的营养生理功能,又有果汁饮料酸甜爽口的特点,极好地改善了醋的口感,是一种时兴新型保健饮品。本文分析桑椹果醋中含有的各种功能营养成分,就桑椹果醋安神促睡眠、减肥抗疲劳、解酒毒、抗氧化等功效进行解读,从现代科学解释及验证并结合中医中药理论来进行阐述,全面深入地阐述其可能的作用机制。     

基于CSP工艺下冷轧板轧制过程中组织和织构演变的EBSD研究

包钢3 mm厚CSP热轧板经过热处理来适当调整组织和硬度后进行冷轧,压下量为81.7%.采用基于扫描电镜(SEM)上电子背散射衍射(EBSD)分析方法研究冷轧过程中织构的演变.结果表明,冷轧过程{110}滑移系首先开动,导致冷轧成品形成31.1%的{112}<110>织构和14.7%的[001]<110>织构,由于反应应力的作用形成39.2%的{111}面织构.     

CSP冷轧薄板退火工艺的研究

采用EBSD分析方法,对CSP试验钢冷轧板退火过程中组织转变和再结晶织构的演变进行分析,结果表明,试验用钢的再结晶过程属于定向形核理论,试验钢的再结晶形核阶段在{111}112冷轧基体上形成了{111}110和{110}100再结晶形核,在{111}110变形晶粒晶界形成{111}112新晶粒核心,{111}112和{111}110织构相互生成.在晶粒长大阶段消耗的大量的{100}110织构,且生成了{112}110织构.