简介:针对电子政务服务的日趋复杂性,为降低出错率、时间以及人工成本,本文从变化管理角度来分析采用语义技术描述的电子政等服务中相关本体特性,在此基础上构建一种基于元建模理论的本体演化模型来实现半自动化的变化管理,以提高本体演化的效率。该模型特性如下:其一,根据电子政务领域的特性,保留OWL—S中基本本体的设计概念;其二,参考电子政务领域知识对其简易化重构及扩展,即更改并增加某些特殊的概念/类/属性,使该本体演化模型更人性化、更高效、更便利;其三,引入业务过程建模方法中的相关概念来完善业务流程的建模设计,丰富抽象业务层的语义表达性以提高该模型的项目可实施性。尽管本文研究对象是电子政等领域,但是该解决方案也适用于其他的语义Web服务领域。
简介:研究了一类具有时滞的捕食系统模型。首先,分析捕食系统无时滞时,利用线性近似方程和构造Lyapunov函数研究系统平衡点的稳定性;其次,含有时滞时,满足一定条件时系统正平衡点的稳定性;最后,分析正平衡点处hopf分支的存在性。
简介:为了在军事航海和作战中为舰艇指挥员提供准确、实时的三维潮汐流信息,通过坐标变换,建立了α坐标系下的三维潮汐潮流预报方程。利用该方程对潮汐潮流进行数值模拟,可克服苗卡尔坐标系下的方程在浅水区分辨率不高的缺点。对黄海某海区的数值模拟结果验证了该模式的有效性。
简介:通过VAR模型的建立来研究影响福建省经济增长的因素,得出居民年消费值、固定资产投资以及进出口贸易值对福建省GDP增长的影响。此外,福建省经济增长与各个影响因素之间存在着一种长期均衡稳定的关系,并且进出口贸易值对经济增长拉动最为明显.