基于Petri网的分层工作流模型研究

为了满足企业对过程模型在描述能力和分析能力上的要求,提出了一个基于Petri网的分层工作流过程模型.在深入分析各种工作流模式的基础上,对基本网的进行了一些的扩展,通过增加变迁入口函数,变迁体函数,消息机制,控制变量等,描述了工作流模式中的多实例,取消,高级同步等复杂模式.给出了工作流过程的描述模型DWF_net和分析模型AWF_net的形式化定义.描述模型DWF_net实现对各种复杂流程的直接描述.变迁入口函数通过对控制变量的判断,来消解DWF_net中的冲突.变迁体函数通过可扩展逻辑描述语句,来实现对控制变量的读写及收发消息等操作.AWF_net作为DWF_net的分析模型,剥离了DWF_net个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型.最后,通过一个综合实例来说明如何使用本文提出的模型来对各种复杂流程建模和分析.     

高效液相色谱法在中草药鞣质及多酚类研究中的应用

分析了高效液相色谱法在中草药鞣质及多酚类成分研究中的应用,判断鞣质分子的大小,判断各组分纯度及 α、β －异构体;判断鞣质水解进行的程度及定性定量分析。方法简便、快速、准确、实用性强。     

数字参考咨询服务质量评价指标体系研究

分析了国内外数字参考咨询服务研究的现状,在我国CSDL的"分布式数字参考咨询系统服务评价指标体系"的基础上,提出了数字参考咨询服务质量评价指标体系。     

赣江中游四大家鱼产卵场现状初步调查

为了解赣江中游四大家鱼产卵场现状,于2008年4月至2009年6月间通过现场采样和社会调查2种方法对赣江中游赣州至新干段12处四大家鱼产卵场进行了调查,并对水文和正在兴建的大型水利工程对产卵场的影响进行了分析。采得标本共计3 942尾,其中四大家鱼58尾;采集卵苗590尾,其中四大家鱼鱼卵38粒,获得51份渔民鱼类资源调查问卷。结果表明,20世纪60年代赣江中游原有12处产卵场中赣州储潭和峡江巴邱四大家鱼产卵场保存较好。     

世界四大检索系统收录我院论文的情况分析

本文对在１９８９～１９９３年间我院被世界四大检索系统收录的论文情况进行了统计分析．据此，对我院在全国、机械工业部及河南省高校中的地位进行了论文收录数的排序．从中可以对我院发表论文学术水平的高低及在全国高校中的地位有一个比较清醒的认识．同时．对我院在发表学术论文中存在的问题进行了分析与讨论．     

工程制图习题库CAI设计与实现

针对工程制图教学的研究，介绍了MCAI技术在工程制图习题库中的设计与开发技术。在AutoCAD2000平台下集文字、图形、动画、声音为一体化，交互式地完成工程制图习题，具有形象、生动、直观的教学特点，而且使用简单，操作方便。     

循环群偏序集上的拓扑

利用循环群的特殊代数结构,引入了Scott子群拓扑σP(G),讨论了循环群偏序集上3种不同拓扑之间的关系,即循环群拓扑O(G)、Scott拓扑σ(G)和Scott子群拓扑σP(G),并得出若(G,O(G))是T0的紧空间且sub(G)分离G中的点,则CO(G)=σ(G)=σP(G).     

有效应力集中系数的理论研究

从理论上导出了塑性材料或低缺口敏感材料的有效应力集中系数K_f与理论应力集中系数K_t和硬化指数n之间的定量关系:K_f=K~(2/(2+n))计算了缺口疲劳极限△σ_RN和K_f,计算值和测量结果相符,误差一般小于10%。讨论了K_f和△σ_RN的物理意义,提出了疲劳强度应力集中系数K_a=K_t~2+2n/3+n和疲劳强度应变集中系数K_t=K~4/3+n,并得到了从△σ_RN向△K_th应力转变的应力集中系数K_t~*=(△σ_R/△σ_th)~3+n/2最后还导出了Frost规律σ_th~3·a=c中c与σ_R和裂尖半径ρ~*的关系。     

N-(2-(1,3-二氧代异吲哚啉-2-基)-丙酰基)-5-甲氧基)甲酰胺的合成

吲哚类生物碱是具有吲哚分子骨架的一类化合物,其中很多具有很好的生理活性。文献报道,用6-甲氧基吲哚氧化得到的N-(2-(1,3-二氧代异吲哚啉-2-基)-丙酰基)-5-甲氧基)甲酰胺(化合物1)是合成Trigonoliimin A的关键中间体。然而,6-甲氧基吲哚价格昂贵,造成化合物1合成成本太大。以2-硝基-4-甲氧基苯胺为起始原料,经重氮盐芳环上取代反应得到的2-碘-3-甲氧基硝基苯,然后和有取代基保护的炔丙胺,经过Castro-Stephens类型偶联反应、还原反应、酰化反应得到目标化合物1,方法简单、易操作、成本低。     

数学建模思想在概率论与数理统计课程教学中的渗透与应用

本文首先阐述了将数学建模思想融入到概率论与数理统计课程教学中的必要性与可行性;其次,结合概率论与数理统计的教学实践,给出了三个应用案例,讨论了数学建模思想融入到概率论与数理统计课程教学中的模式;进而,通过渗透数学建模思想于概率论与数理统计教学中,以此提升学生解决实际问题实践和应用能力.