-
题名机载软件层次化需求的形式化建模与分析
- 1
-
-
作者
王康星
胡军
王立松
丁鼎
董亚炯
戴嘉磊
-
机构
南京航空航天大学计算机科学与技术学院
软件新技术与产业化协同创新中心
-
出处
《南京航空航天大学学报(自然科学版)》
北大核心
2025年第1期195-204,共10页
-
基金
国家自然科学基金(U2241216)。
-
文摘
越来越复杂的多层级功能需求给高安全机载软件的设计开发带来了重要挑战。本文给出了一个面向工程应用领域具有层次化语义特征的软件需求形式化建模与分析方法。首先,设计了一个层次化的形式化需求模型。层次化变量关系模型(Hierarchical variable relation model,HVRM)引入工程领域中典型的功能模块属性以及端口等概念来表达系统功能的层次化特征语义,同时也具备原有变量关系模型(Variable relation model,VRM)中基于表格形式的形式化语义,可表示包括条件型、事件型、多维度模式转换等多种类需求的语义信息。进而,基于需求的一致性完整性要求确立了VRM一致性完整性约束簇。其次,设计了一个将工程条目化需求建模为HVRM形式化需求模型的处理框架,并在一个机载软件需求工具平台(Hierarchical avionics requirement tools,HART)中进行了处理功能和需求追溯功能的实现和集成。最后采用某机型自动飞行系统中飞行模式转换软件逻辑需求进行了实例需求建模和模型分析。
-
关键词
计算机软件与理论
需求工程
形式化方法
需求建模与分析
飞行控制系统
-
Keywords
computer software and theory
requirement engineering
formal methods
requirement modeling and analysis
flight control system
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名西藏自治区中小学教师对远程培训的需求与分析
- 2
-
-
作者
吴艳青
-
机构
西藏自治区电化教育馆现代教育技术培训中心
-
出处
《中国电化教育》
CSSCI
北大核心
2015年第3期129-133,共5页
-
文摘
"国培计划"远程培训项目是提高教师应用信息技术优化课堂,转变学习方式,实现教师专业发展,促进教师终身学习的有效途径。该文从"国培计划"实施背景和西藏自治区"国培计划"实施情况出发,以《中小学教师信息技术应用能力标准(试行)》为依据,对西藏自治区中小学教师远程培训需求进行实地调研与分析;文章最后对调查结果进行讨论,总结出"国培计划"远程培训取得的成果和培训过程中存在的问题,旨在对进一步提升"国培计划"中小学教师远程培训效果起到积极地推动作用,使其能够满足教师培训需求,确保项目设置的针对性和科学性。
-
关键词
西藏
中小学教师
国培计划
远程培训
需求与分析
-
Keywords
Tibet
Primary and Secondary School Teachers
The National Training Program
The Remote Training
Requirements and Analysis
-
分类号
G635.1
[文化科学]
G434
[文化科学—教育学]
-
-
题名东北三省村镇不同类型人群的公共设施需求调查与分析
被引量：6
- 3
-
-
作者
冷红
孔凡秋
袁青
-
机构
哈尔滨工业大学建筑学院
哈尔滨工业大学建筑学院黑龙江省寒地城乡人居环境科学重点实验室
-
出处
《现代城市研究》
CSSCI
北大核心
2017年第3期43-50,共8页
-
基金
住建部科技项目计划“应对严寒气候的村镇空间布局模拟与优化技术研究(2014R2-013)”
黑龙江省自然科学基金“基于视觉感知的黑龙江省乡村大地景观规划策略研究(E201310)”
-
文摘
人口结构改变在东北三省村镇主要体现在人口流失与老龄化两方面。人口结构改变已成为东北三省村镇现阶段面临的重大问题,公共设施规划建设如何适应新的人口结构也已成为重要挑战。从人口结构视角,结合实地调研,分析东北三省村镇人口结构与公共设施建设概况,总结村镇居民对公共设施的使用情况及需求特征,得出人口萎缩与人口老龄化是影响公共设施建设的主要人口结构因素,最终提出东北三省村镇公共设施规划建设思考。
-
关键词
人口结构
东北三省
村镇
公共设施
需求调查与分析
-
Keywords
population structure
Northeast China
villages and towns
public facilities
demand survey and analysis
-
分类号
TU982.29
[建筑科学—城市规划与设计]
-
-
题名公路建设项目交通需求预测与分析
被引量：8
- 4
-
-
作者
王建军
刘建超
陈宽民
-
机构
长安大学公路学院
陕西交通职业技术学院
-
出处
《重庆交通学院学报》
2004年第1期45-48,共4页
-
文摘
按照公路建设项目交通需求预测与分析的思路,对公路建设项目在路网中的作用、区域社会经济发展预测、交通发生/吸引预测、交通分布预测、交通分配预测、与其它运输方式间的转移交通量预测等进行了解释和说明,从而为合理推算公路交通量提供了理论基础.
-
关键词
交通需求预测与分析
趋势型OD分布
诱增型OD分布
现状公路网
规划公路网
-
Keywords
traffic demand analysis and forecast
tendency OD distribution
prognostic OD distribution
current highway network
planned highway network
-
分类号
U491
[交通运输工程—交通运输规划与管理]
-
-
题名基于RGPS领域资产的按需服务组合方法及实现
被引量：2
- 5
-
-
作者
胡博
何克清
陈华峰
王健
-
机构
武汉大学软件工程国家重点实验室
-
出处
《小型微型计算机系统》
CSCD
北大核心
2009年第5期859-862,共4页
-
基金
国家重点基础研究发展计划"九七三"项目(2007CB310801)资助
国家"十一五"科技支撑计划项目(2006BAK04A20-7)资助
国家高技术研究发展计划"八六三"项目(2006AA04Z156)资助
-
文摘
随着Web服务的应用和发展,使得组合Web服务来满足人们不同的业务需求成为可能.在研究当前Web服务组合的基础之上,提出一种需求驱动的Web服务组合办法,该方法基于RGPS领域资产,从而避免了在需求过程中的不明确、不一致和不完整性等.为了证明方法的正确性,文章还实现了其框架,并开发出一个套件原型来辅助基于RGPS的领域建模和需求获取与分析.
-
关键词
服务组合
RGPS领域资产
需求获取与分析
需求建模
-
Keywords
web service composition
RGPS domain asset
requirements elicitation and analysis
domain modeling
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于公共信息服务平台构建行业协同供应链的探讨
被引量：2
- 6
-
-
作者
鲍立威
宋继炯
秦炳辉
杨应广
吕清楚
薛文剑
-
机构
北京中烟信息技术有限公司
-
出处
《中国烟草学报》
EI
CAS
CSCD
2010年第B12期91-95,108,共6页
-
文摘
面向消费者的现代营销体系本质上是以提升客户价值为核心、以有效响应市场需求为导向的行业协同供应链的建设。基于当前社会经济和行业发展背景，研究探讨了如何通过构建行业公共信息服务平台有效支持行业供应链协同运行，设想以卷烟产品的市场生态系的角度，基于行业公共信息服务平台来支持按订单组织生产、工商协同营销、推行电子商务和卷烟市场精准营销等策略的实现。
-
关键词
面向消费者的现代营销体系
客户价值
市场需求与分析
烟草行业
协同供应链
公共信息服务平台
-
Keywords
consumer-oriented modern marketing system
customer value
market demands and analysis
tobacco industry
collaboration
information service platform
-
分类号
TS4-07
[农业科学—烟草工业]
-
