-
题名基于人员需求相似度的产业集群知识溢出测度研究
- 1
-
-
作者
魏保伟
余军合
李兴森
战洪飞
严俊
-
机构
宁波大学机械工程与力学学院
浙江大学宁波理工学院
-
出处
《科技与经济》
2018年第6期66-70,共5页
-
基金
国家自然科学基金项目--"面向产业集群广义制造系统的知识模块化机理研究"(项目编号:71671097
项目负责人:战洪飞)成果之一
+5 种基金
国家自然科学基金项目--"基于可拓学的知识智能涌现创新机理研究"(项目编号:71271191
项目负责人:李兴森)成果之一
浙江省自然科学基金项目--"数据驱动的产业集群广义制造系统分析与性能评估方法研究"(项目编号:LY16G010004
项目负责人:余军合)成果之一
浙江省公益技术应用研究计划项目--"大数据驱动的产业集群产品协同设计技术与方法"(项目编号:2016C31047
项目负责人:战洪飞)成果之一
-
文摘
产业集群内龙头企业通过知识溢出的形式带动中小型企业发展,是一种快速有效的区域经济发展模式。人员需求代表着知识需求,人员需求是知识溢出的载体,研究以人员需求相似度为指标构建产业集群知识溢出测度模型,并给出模型有效性的验证方案。最后,研究了产业集群内企业各运作流程中的知识溢出强弱情况,为行业协会和政府部门制定合理的区域经济发展战略提供科学的参考依据。
-
关键词
产业集群
人员需求相似度
知识溢出
知识溢出测度
-
Keywords
industrial cluster
similarity of staff requirement
knowledge spillover
knowledge spillover measure
-
分类号
F121.3
[经济管理—世界经济]
-
-
题名基于模型检验的需求不一致研究
被引量:1
- 2
-
-
作者
郭兆
魏长江
-
机构
青岛大学数据科学与软件工程学院
-
出处
《计算机工程与设计》
北大核心
2021年第1期127-135,共9页
-
文摘
为在软件需求分析阶段获得易于理解且一致性需求,在现有的研究基础上,提出一种基于自然语言与模型检验相结合的方法。将自然语言描述的需求按照子句的相似度进行划分,提取关键词转换成自动机模型,对转换后的模型使用SMV语言描述并用模型检验工具和方法对模型进行分析和验证,通过乘坐电梯的案例对此方法进行实验验证。实验结果表明,该方法能够高效验证系统需求并能根据反例修正可能出现的错误,为系统需求模型的一致性验证提供一种思路。
-
关键词
需求不一致
自然语言处理
需求相似度
自动机
模型检验
-
Keywords
inconsistent requirement
natural language processing
requirement similarity
automatic machine
model checking
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-