宁夏回族自治区自然科学基金(NZ0955)
- 作品数：5 被引量：7H指数：2
- 相关作者：韩强丁静姜久雷王江静更多>>
- 相关机构：北方民族大学北京邮电大学东华大学更多>>
- 发文基金：宁夏回族自治区自然科学基金国家科技支撑计划宁夏回族自治区科技厅科技攻关项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 构件化业务流程重组应用服务器可信属性建模方法研究被引量：1
- 2012年
- 针对面向业务流程重组的应用服务器在可信属性建模方面的不足,基于组成应用服务器的构件属性和构件组合行为特征,利用进程代数等相关方法进行抽象,从构件之间的运算角度,定义BPRAS构件运算算子,从而建立BPRAS代数模型,并基于该代数模型,进一步对其支撑的业务流程应用软件可信属性建模,提出多种可信范式,为可信BPRAS软件设计提供理论模型支撑。最后介绍了一个应用实例。
- 韩强
- 关键词：业务流程重组应用服务器建模方法
- 基于语义验证的可视化BPR建模工具
- 2012年
- 为满足业务流程重组领域的需求变化,重组业务流程需要可验证需求语义特征的建模方法与工具支持,从而为提高执行重组业务流程应用软件的系统支撑平台可信性奠定需求语义验证方面的关键技术基础。针对该问题,研究并提出一种BPR框架下可出具验证的可视化建模工具。该工具在具备基本的可视化业务流程建模功能基础上,可通过与随机Pe-tri Net性能计算工具协同计算,从可覆盖性等角度验证流程属性满足需求语义的合法性。实验结果证明,该工具可提高重组业务流程的正确性和开发效率。
- 韩强
- 关键词：业务流程重组语义验证可视化建模工具NET
- 列存储模式下闪存数据库的查询优化算法被引量：1
- 2010年
- 固态硬盘的高性能在现有数据库系统中未能获得提升,针对该问题,提出一种连接算法,基于列存储模式,对闪存数据库连接查询进行优化。算法充分利用列存储的存储粒度小和固态硬盘高速随机读的优点,有效克服与闪存的不匹配问题。实验结果表明,与原算法相比,该算法在不同选择率和不同内存条件下的查询时间较少。
- 姜久雷王江静
- 关键词：闪存数据库固态硬盘
- 随机Petri网性能计算软件关键技术的研究被引量：2
- 2009年
- 性能计算对随机Petri网模型的性能分析具有重要作用。以研究随机Petri网性能计算软件关键技术为主要目的,提出了一种独立于计算(CIM)的性能计算软件体系结构元模型,并以此元模型为依据,遵循面向对象的系统分析与设计方法给出该软件独立于平台(PIM)的软件体系结构模型,对核心算法设计方案采用先计算基础性能数据,再计算扩展性能数据的策略分步骤完成,并给出了基于MVC模式实现的PSM模型实例和一个电子农务应用案例。最后,给出了同类性能计算软件的设计可适用此开发方法的初步结论。
- 丁静韩强
- 关键词：随机PETRI网元模型马尔可夫链软件体系结构电子农务
- 随机Petri网性能计算软件体系结构研究被引量：3
- 2010年
- 以建立随机Petri网性能计算软件的软件体系结构为目的,采用面向对象的系统分析与设计方法,在对性能计算软件需求分析的基础上,设计了系统的总体结构,进而实现了系统各个模块的功能。提出由三个主要构件组成的性能计算软件体系结构:人机交互模块,主控模块,性能计算核心模块。做出该软件体系结构适用于基于基本建模理论性能计算软件的结论。
- 丁静韩强
- 关键词：随机PETRI网软件体系结构软件开发面向对象方法
