业务流程的形式化设计与验证

针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通过模型检测技术,使用Spin工具验证设计模型是否满足需求性质.若不满足性质,则能够获得反例执行的路径.实例分析表明,该方法可用于业务流程设计的正确性验证.      

无线传感器网络中的定向扩散算法

无线传感器网络中节点有限的能量,决定了数据融合在网络中数据传输的重要性.数据融合技术可以通过减少冗余数据量等技术,大大地延长网络的生命期.定向扩散算法通过兴趣的扩散、梯度的建立以及强化与弱化达到了节省能量消耗的目的.     

一个小型机上的通用电路分析程序-GCAPN

众所周知，电路分析技术是电路设计师强有力的工具，在小型机上实现电路分析程序将更有利于它的广泛应用。本文介绍的 ＧＣＡＰＮ是运行在具有磁盘操作系统 ＲＤＯＳ的ＤＪＳ—１３０机（或ＮＯＶＡ机）上的通用电路分析程序，该机具有３２Ｋ内存，字长为１６位。 ＧＣＡＰＮ有一个直观易学的输入语言，采用了“改进节点法”建立电路方程，应用稀疏矩阵技术和隐式变步长的积分方法来求解方程组。程序中对“改进节点法”作了若干改进，并采用了适于小型机特点的数据结构和软件技术。另外，程序中还备有ＭＯＳ和双极型晶体管的模型。用ＧＣＡＰＮ可以进行直流、交流和瞬态分析     

公司项目投资的优化模型

本文主要通过数学规划的方法,对未来5年内的投资资金利润的问题进行相关讨论研究,得到未来5年不同情况下投资资金利润最大以及其投资方案,对各个方案的优劣讨论评价．     

基于组态软件的煤矿排水监控系统研究

为解决煤矿井下排水系统远程监测与控制问题,提出采用组态软件解决的方法。分析了Intouch组态技术以及PLC的硬件配置,通过以太网的组态设置完成通信配置,并实现了水位监控组态软件的设计,研究表明该方案提高了系统的可靠性。     

样条小波用于电分析化学信号微分的研究

通过对样条小波特性的研究发现,如果用三次样条函数的导函数二次样条函数作为小波基函数,其小波变换既具有去噪功能又具有微分功能。从理论上探讨了信号的样条小波变换与信号微分的关系,并将其应用于电分析化学信号的处理。研究结果表明,利用样条小波变换可以对信号微分。与其他小波变换相比较,样条小波变换可同时实现信号滤波和微分功能;与数字微分和模拟微分相比较,样条小波变换不仅具有滤波功能,而且由于不用选择步长、Ｒ     

函数概念的发展对教学的启示

函数是中学数学中最重要的概念之一,函数概念发展已经历了认识不断上升的三个阶段．回顾函数概念的发展史对函数概念教学的启发是：函数思想要做到及早渗透;形成变量观是理解函数概念的起始和基础;函数概念的教学要循序渐进、数形结合,并注意应用变式。     

甘肃太统-崆峒山国家级自然保护区山杨锈病病原及发生规律

山杨锈病是甘肃太统-崆峒山自然保护区中对山杨林危害最严重的植物病害。2013年3月—2014年12月,对该保护区内山杨锈病的发生规律进行了跟踪调查,并对病原真菌进行了采样、分离和鉴定。结果显示,在保护区内发生的山杨锈病病原菌属于松杨栅锈菌(Melampsora laricipopulina Kleb.)。该病原生物的发生规律主要表现为:每年5月下旬至6月初山杨开始发病,6月下旬危害程度逐渐加重,7月中、下旬病害快速蔓延,危害程度进一步加重,到7月底感病率达到100%;8月中、下旬约有60%叶片发黑,30%的叶片脱落,山杨的长势受到严重影响。研究结果基本反映了该区域山杨锈病的发生规律,为该林区山杨林保护提供了理论依据,为山杨锈病的防治研究奠定了基础。     

关于市政给排水管道的施工探讨与分析

目前,随着经济的不断发展,城市对给排水管道的施工也越来越重视,给排水作为管道施工的质量好坏直接影响着居民的日常用水、影响着城市对污水的排放与处理,因此,市政在给排水管道的施工过程中就要对施工的一些重要问题进行研究,以此来确保施工的质量。本文主要对市政给排水管道施工当中的有关问题进行了分析。     

土地整理中的水稻需水量与灌溉定额 --以湖北省武穴市魏高邑项目区为例

在彭曼法推算水稻需水量的基础上,结合武穴市的气象、地形条件,用“浅、蓄、湿、晒”灌溉技术计算一定设计保证率的水稻灌溉定额.将该法用于武穴市魏高邑项目区土地整理中,有很高的实用价值,计算精度也较高.