基于petri网的校园一卡通系统优化分析

构建基于petri网的校园卡使用模型,通过增加控制结构优化系统,让使用者通过系统清晰地获得信息,实现校园洗浴系统的优化,给用户带来更加人性化的洗浴体验.仿真软件验证结果表明,系统能够满足peteri网的有界性和安全性,运行良好.     

Zakharov系统初值问题整体光滑解的唯一性

用连续性方法和精妙的先验估计式证明了在二维空间中一类具混合阶型非线性项的广义Zakharov系统柯西问题整体光滑解的唯一性.     

关于数学期望公式推广的一个注记

在文献[1]的基础上,得到了用分布函数表示的任意随机变量数学期望的计算公式,并通过一些特例说明了该公式在期望计算中的有效性。     

对弗赖登塔尔"数学化"的再认识

首先在弗赖登塔尔"数学化"观点的基础上,对目前流行的"数学化"概念作出全面的理解,特别强调:数学化可以实现数学知识的再创造,而不仅仅局限于数学知识的应用.然后指出:问题解决实质是数学化的过程;从数学教学的角度看,数学化过程是学生数学知识建构的过程.最后提出关于数学教育改革的若干启示.     

基于事件日志酒店预订系统配置信息挖掘方法

为了满足企业复杂多变的应用需求,通过结合配置信息建立可配置的流程模型已成为新的趋势.目前对于建模工作的研究主要集中于一般的流程模型,对于存在不可见任务等问题具有局限性.基于行为轮廓建立源模型,然后合并成一个一般的流程模型,通过过程挖掘技术挖出模型中的配置信息,得到一个可配置的流程模型,最后通过酒店预订流程系统验证了该方法的有效性.     

基于Petri网行为轮廓的网上订餐系统变化域分析

基于Petri网构建网上订餐系统流程模型.建立源模型与目标模型表示二者的行为轮廓关系,对其变化域进行分析,利用添加配置变迁的方法优化模型.实验表明,优化后的网上订餐系统模型改变了模型的细粒度,与实际更为贴近,更能满足用户的需求.     

基于Petri网数据流约束下的业务流程变化域分析

基于Petri网行为轮廓理论,通过研究模型之间的行为依赖关系,分析模型的控制依赖关系和数据依赖关系,研究在数据流约束下模型的一致性,优化疑似变化区域,找出模型的最小变化域.业务流程实例分析证明,该方法有效.     

对弗赖登塔尔“数学化”的再认识

首先在弗赖登塔尔“数学化”观点的基础上,对目前流行的、数学化”概念作出全面的理解,特别强调,数学化可以实现数学知识的再创造,而不仅仅局限于数学知识的应用,然后指出：问题解决实质是数学化的过程,从数学教学的角度看,数学化过程是学生数学知识建构的过程,最后提出关于数学教育改革的若干启示。     

基于SARIMA-GARCH模型的黑龙江省快递业务量预测与应用

近年来,随着电子商务的不断发展,快递业务量持续快速增长,在终端配送领域出现了持续的高压工作状态.为了有效预测快递业务量的变化趋势,缓解配送领域压力,基于时间序列预测理论建立了SARIMA和SARIMA-GARCH时间序列预测模型,分别对黑龙江省快递业务量进行了分析与预测.2种模型预测结果对比表明,SARIMA-GARCH时间序列预测模型更能较为准确地预测快递业务量的变化趋势,黑龙江省快递业务量近2年间仍将不断增长.这一结果为黑龙江省快递业务量统计预测工作与缓解终端配送领域的高压工作状态提供了一定的参考.