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

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

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

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

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

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

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

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

基于Petri网的拼单购物流程模型优化分析

通过Petri网进行形式化建模,优化网上拼单购物业务流程模型.分析拼单购物的实际情况,给出业务流程Petri网模型,查找流程存在缺陷.根据行为轮廓理论增加相应的结构变迁与库所,优化购物环节,使顾客拼单购物更加方便、省时.     

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

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

基于Petri网的食品检测流程建模及优化分析

构建监管机构食品检测流程模型并进行优化分析.构建流程模型,通过关联矩阵分析说明Petri网模型的结构性质,结合实际情况增加相关的控制结构并优化模型. PIPE软件和PM4PY平台仿真模拟实验结果表明,优化后的模型有较好的稳定性,是有界、安全和无死锁的,可以应用在模型食品检测流程中.     

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

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

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

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

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

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