基于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技术的网上答疑系统的功能。系统为学生提问和教师答疑提供了不受时间和空间限制的平台,体现了网上答疑的交互性和自主性等特点。同时,实现了教学资源和教学方法的共享。     

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

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

基于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织构.     

基于Web Services的工作流系统监控管理工具设计

随着工作流系统趋于大型化和复杂化,工作流实例在执行过程中会出现各种例外,如:实例运行的阻塞、安全性等.引入分布式技术Web Services平台,结合XML技术良好的灵活性和可扩展性,对工作流系统的监控管理工具进行设计,使得工作流管理与监控接口具备了良好的灵活性、重用性和可扩展性.实现监控管理系统对任务执行进行实时监控,对执行过程的一些错误进行及时处理,保证了过程模型的正确性和过程实例的一致性.