为实现高校学费管理业务流程的网络化、自动化,依据工作流管理系统参考模型,设计了轻量级工作流引擎,并提出基于该工作流引擎的高校学费管理系统解决方案。利用Petri网对一个典型的学费管理业务流程建模并分析所建模型的正确性。基于该工作流引擎的高校学费管理系统解决方案能够较好地满足实际应用的需要。
传统的安全性分析方法用于分析由失效引起的事故能够起到很好的作用,但是目前大多数事故是由于部件间异常的交互引起的,应用传统的分析方法已经力不从心了。因此给出基于STAMP(System-Theoretic Accident Modeling and Process)的形式化安全性分析方法。首先介绍基于STAMP的安全性分析原理及分析步骤,形式化分析工具NuSMV及CTL语言;然后提出应用形式化方法进
当前，在我国经济高速发展的时期，创业活动已成为经济增长的内生动力。然而，创业型企业，尤其是新创企业，在当前竞争激烈的市场经济环境下，很难在市场上长久的生存下去。究其原因，创业
有些兽医人员认为,搞科研是专家多,设备齐,资料丰富,条件优越的科研单位的事,而基层单位搞不出什么科研成果。这种认识是不全面的。我们认为,各级兽医单位都可以根据自己的具
针对基于蚁群算法的文本分类算法Ant-Miner所固有的易陷入局部最优解、复杂度较高等缺陷,引入最大-最小蚁群系统(MMAS)并通过规则质量的变化动态自适应地对信息素的浓度进行调节,引入基于密度的启发式因子来降低计算启发式因子的复杂度,同时通过先验知识来降低条件项选择概率的计算复杂度,在此基础上提出了一种基于Ant-Miner算法的改进文本分类算法。
创造和创新必须遵守逻辑规律．通常，人们思考问题都是从真前提进而得到真结论，在创造和创新活动中，一般都要经过由假前提寻求真结论的思维过程．
瓷板血凝试验(HA)和瓷板血凝抑制试验(HI)与96孔微量板HA和HI试验相比,瓷板法操作简易,对鸡新城疫有检测诊断价值。定量检测较微量板法平均约低2个滴度,且呈正相关性。本试验
为构建合理、准确、客观的资源模型,在分析常用社会化标注系统资源模型权值计算方法及不足的基础上,基于信息熵概念对权重计算公式重新定义,改进资源模型,提高了资源的语义准确度,并通过两组实验分析比较,证明改进后的资源模型能显著提高标签检索性能。
目的 研究KAP模式联合中药足浴对糖尿病足老年患者足部自护行为及自我效能的影响。方法 选取2016年9月至2017年2月三门峡市中医院收治的86例糖尿病足老年患者,随机分为对照组