国家自然科学基金(70971056)
- 作品数：13 被引量：37H指数：4
- 相关作者：葛世伦张浩任南苏翔黄侨更多>>
- 相关机构：江苏科技大学镇江市金舟软件有限责任公司北京航空航天大学更多>>
- 发文基金：国家自然科学基金江苏省教育厅哲学社会科学基金江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理交通运输工程自然科学总论更多>>
- 采用MWBS的造船工程多层次多项目计划模型及系统研究被引量：2
- 2011年
- 船舶制造企业是典型的大型单件小批制造企业,该类型企业的任务、资源、组织和计划均具有明显的多层次性。然而,由于船舶设计和制造过程的复杂性和多变性,使得造船企业生产计划比一般制造业更为困难。为此,首先提出面向船舶制造业的现代船舶工程分解结构体系,在此基础上构建多层次造船工程计划模型,并研究了多项目资源平衡问题。结合某船舶企业的实际情况,根据多层次生产计划模型,开发了面向船舶制造企业的多项目多层次生产计划与控制系统,对体系和模型的正确性和有效性进行了验证。
- 张浩任南史恭波李正华
- 基于扩展Petri网的除冰软件安全需求建模和验证被引量：3
- 2012年
- Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题.
- 李震刘斌陆民燕殷永峰
- 关键词：软件工程PETRI网
- 基于信息熵及超效率SBM模型的柔性制造系统绩效评价被引量：3
- 2014年
- 基于熵权的基本原理,对各个决策单元输入、输出指标的熵权进行计算,在超效率松弛变量的度量方法(Slacksbased Measure,SBM)模型基础上,构建了一种带有熵权约束的超效率SBM模型。在此基础上,构建了柔性制造系统评价指标体系,进而提出了一种基于信息熵及超效率SBM模型的柔性制造系统绩效评价方法。最后,结合柔性制造系统评估案例,对方法的有效性进行了分析,结果显示,该方法具有很强的适应性。
- 张浩张浩杨佳妮
- 关键词：柔性制造系统熵权绩效评价
- 基于multi-agent的第四方物流信息平台结构模型的研究被引量：4
- 2012年
- 第三方物流为单个企业带来了物流效益,却不能很好地提高供应链上整体的物流增值价值,在此背景下,第四方物流技术应运而生,它集成了第三方物流的优势并补充了其缺陷。建立的第四方物流信息平台集成了多种服务供应商所拥有的资源、能力和技术,运用multi-agent和AUML建模方法对该平台进行分析与简要设计,通过角色建模、静态建模、动态建模来分析平台结构,借助AUML图来完成建模的图形化设计,最终实现整个供应链上最佳物流方案的制定。
- 葛世伦聂冬芹
- 关键词：第四方物流MULTI-AGENT第四方物流信息平台
- 船舶制造信息资源标准管理模型及其应用研究被引量：2
- 2011年
- 针对船舶制造信息资源标准研究明显不足,导致其生产组织与计划混乱、生产效率底下的现状,提出面向船舶制造业的制造信息资源标准模型,在此基础上构建其编码映射及集成模型.并根据某船舶企业的实际情况,通过建立基于船舶制造信息资源标准的集成制造管理平台,对体系和模型的正确性和有效性进行了验证.
- 张浩葛世伦潘燕华王平
- 关键词：集成管理平台
- 中国地区船舶工业技术效率差异及其变动趋势分析——基于Malmquist生产率指数被引量：2
- 2012年
- 本文以3项投入（固定资产、船舶主要建造设施量、年平均从业人数）及2项产出（工业总产值、修正总吨）研究中国各省份船舶工业绩效表现，以2007～2009年各省船舶工业为研究对象，利用SuperSBM模型进行超效率实证分析，通过Mahnquist生产力指数研究各省船舶工业绩效变动趋势。研究结果发现：2007—2008年各省份生产力指数变化的主要原因是受技术效率变化的影响较大；而在2008—2009年生产力指数变化的主要原因是受技术变化的影响较大。在生产力指数分析上，整体来说，2007～2009年我国各省份船舶工业的全要素生产率呈现下滑趋势，其主要原因是由技术及效率变化交互影响带来的。
- 张浩朱疆
- 开源Web自动化测试框架的改进研究被引量：10
- 2012年
- Web应用"捕捉/回放"式测试复用率不高,而编写测试脚本的测试方法对测试人员的程序设计能力又有较高要求。针对这个问题,根据Web应用的特性提出了一套自动化测试框架的设计,并基于开源Web自动化测试工具Selenium为此框架设计了一套"私有语言",即基于XML的数据驱动文件的解析规则。最后实现了基于此数据驱动文件的Web自动化测试框架。数据驱动文件描述了Web应用行为的多请求/响应的模型,清晰地定义了外部测试数据以避免数据"硬编码"的缺陷。利用此框架,测试人员仅仅通过编写XML数据驱动文件就能进行测试工程的开发,有效降低测试门槛,提高测试效率。
- 黄侨葛世伦
- 关键词：软件自动化测试B/S架构数据驱动SELENIUM
- 云环境下的IT服务管理研究
- 2013年
- 云计算技术的出现让企业面临着新的选择和决策。在优势和风险并存的情况下,企业如何从云环境中获取和管控所需要的IT服务是亟需研究的问题。文中基于云服务的特点,对企业的云服务管理要素进行了分析,参考ITIL(Information Technology Infrastructure Library,信息技术基础架构库)理论,提出了云环境下对服务匹配和服务实施过程的管控方法。最后构建了面向企业的云服务管理模型,以供企业进行云环境下的IT建设时参考。
- 杨苏苗虹葛世伦
- 关键词：云计算IT服务IT部门ITIL
- 基于元数据的船舶物流价值链信息共享机制研究被引量：5
- 2010年
- 船舶物流作为服务业的一种,其价值就是在实现自身价值的同时为船舶制造企业、船舶配套企业等客户创造价值,优化物流业务,降低物流成本。本文分析了船舶物流价值链的内涵,而舶物流信息资源种类多,数据量大,元数据的制定是信息共享的基础,构建了基于XML的船舶物流价值链元数据设计流程,提出了基于元数据的船舶物流价值链信息共享整体架构,以便该价值链上的各主体对各种船舶物流信息资源的发布、共享和利用。
- 王志英任南葛世伦
- 关键词：价值链船舶物流元数据信息共享XML
- 基于描述逻辑的物资管理领域本体模型研究被引量：2
- 2013年
- 为解决企业异构数据的共享问题,提出利用本体模型和描述逻辑对元数据进行形式化的方法,通过形式化元数据交互实现异构数据的共享。以大型单件小批制造企业为研究对象,首先对物资管理领域数据模型进行分析,抽象出相关概念类构建领域本体模型。然后,结合描述逻辑对物资管理领域本体模型进行形式化描述。最后,以领料申请为实例说明物资管理领域本体模型在异构数据共享中的应用。实证表明,构建的本体模型能有效解决企业异构数据的共享问题。模型具有一定的通用性可重用于企业的其他主题领域,为企业业务信息的无歧义共享提供了一种有效途径。
- 葛世伦蒋璐
- 关键词：本体描述逻辑元数据形式化物资管理
