基于事前分析方法的工作流过程模型的验证

工作流执行过程中经常会出现非正常终止的情况,对此,将事前分析方法应用于工作流过程模型的验证中,即在工作流过程实例化前进行模型的有效性分析和结构正确性验证。该方法对传统的有向网络图进行扩展并以此来描述工作流过程,确定模型的有效性;进一步将扩展有向网络图转换成工作流网模型,应用Petri网技术分析该模型的冲突结构,以确保工作流过程的逻辑合理性。     

液态金属电阻仪数据采集处理系统的开发与应用

液态金属电阻仪数据采集处理系统采用2182纳伏表并配用K型热电偶进行电压测量和温度测量,用PF66M型数字多用表加装电流换向器供给直流恒定电流,并基于VB语言开发了一套测量液态金属电阻率随温度变化的实时数据采集和数据分析处理软件,实现了计算机与测量仪表的通讯和测量数据的自动采集记录。通过对PbSn61.9合金的实测应用分析,该数据采集系统工作可靠,显著提高了液态金属电阻测量的精度和效率。     

Magnetic circuit optimization and experimental study of new internally excited automatic balancing

Mass imbalance-induced vibration affects the rotating machinery very large,especially the high-speed types.Off-line balancing techniques have been widely develo...     

数字水印技术模型表示及其算法研究

随着多媒体技术和网络技术的广泛应用,对图像、音频、视频等多媒体内容的保护成为迫切的问题“数字水印作为版权保护的重要手段和一种新型的信息隐藏方法,近几年得到了迅猛发展”.对当前数字水印分类,典型原理和算法,水印的提取、检测,数字水印以及相关技术做了论述,并对未来的研究方向作出展望.     

设施拥堵状态下的层次性备用覆盖网络模型与改进遗传算法

经典的分层覆盖位置问题(HCLP)是在有限预算内找到设施位置以提供分层服务的问题.这个过程中,需求点的差异化服务需求可以来自层次型网络中不同服务可用性的设施.我们设计了混合服务可用性的层次型网络,通过讨论层次型设施数量为定量和变量的情况构建混合层次网络备用覆盖问题的整数规划模型,并设计、改进元启发式算法来求解问题.结果表明考虑变量的混合服务可用性的优化模型在一次覆盖中能更好的满足客户的需求,而其备用覆盖能力和系统造价并非始终优于单类型层次网络;建议的启发式算法在合理的计算时间内产生高质量的解.     

河南省蝙蝠科3种蝙蝠的核型研究

采用取骨髓蒸汽固定法对河南省蝙蝠科3种蝙蝠的核型进行研究.结果:大棕蝠的染色体数为2n=50,N.F=48,与南蝠有较为近似的核型;普通长翼蝠的染色体数为2n=46,N.F=50;毛腿鼠耳蝠的染色体数为2n=44,N.F=52.本文研究的3种蝙蝠中,毛腿鼠耳蝠为河南省新记录,大棕蝠的核型为国内首次报道.     

填充床放电等离子体反应器对铜绿微囊藻的去除

研究了多根高压电极型填充床放电等离子体反应器对铜绿微囊藻光密度的去除.探讨了高压电极材料、气量、峰值电压和脉冲频率对填充床放电等离子体反应器中铜绿微囊藻光密度去除的影响.结果表明:高压电极材料对铜绿微囊藻光密度的去除不太明显;铜绿微囊藻光密度去除率在处理当天随气量、峰值电压、频率增加而增强的作用效果不明显;而是在放置培养期间,铜绿微囊藻生长受抑制的程度加强,光密度去除率增加.     

应用精密三角高程测量实现跨河水准的研究

文章从三角高程测量单向观测的高差计算公式入手,分析了三角高程测量的误差来源,推导了跨河水准网中测距三角高程的精度估算公式;在此基础上,得出了减弱各项误差从而提高精度的一些结论。结合目前的自动化全站仪,探讨了精密三角高程测量实现精密跨河水准的可行性和便利性,最后指出了在实施跨河水准测量时应注意的一些事项。     

需求依赖价格和交货期的供应链协调模型

在一个两层供应链系统中,基于对价格和交货期敏感的需求,构建了Stackelberg和收益共享两种决策模型,并给出了最优价格和响应时间的求解过程,通过比较说明收益共享契约有助于提高整个供应链的收益.最后讨论了收益共享契约下渠道收益的分配问题.     

怎样利用Visual Basic制作PowerPoint多媒体课堂时间显示器

针对现代多媒体课堂教学中,PowerPoint全屏放映时无法看到系统时间,影响教学效率这一问题,本文介绍了利用V isual Basic制作PowerPoint多媒体课堂时间显示器的设计思想和方法.