【摘 要】
:
KAOS方法在分析系统目标时只考虑具有负面影响的冲突关系,没有提供支撑作用的判断方法。该文定义一组类似于Tropos中目标间的二元关系,扩展KAOS的目标模型语义框架,使目标间
论文部分内容阅读
KAOS方法在分析系统目标时只考虑具有负面影响的冲突关系,没有提供支撑作用的判断方法。该文定义一组类似于Tropos中目标间的二元关系,扩展KAOS的目标模型语义框架,使目标间的支撑和抑制作用明朗化。构造目标关系的推理规则和推导算法,以发现模型中隐含的关系,进而分析目标模型的一致性和可行性,为需求可行性评估奠定了理论基础。
其他文献
目的探讨CRP、CA125、阴道彩超联合检查在卵巢癌与卵巢子宫内膜异性囊肿鉴别诊断中的应用价值。方法选择93例卵巢肿物患者与45例体检健康者,回顾性分析经CRP、CA125、阴道彩
软件安全漏洞问题日益严重,静态漏洞检测提供从软件结构和代码中寻找漏洞的方法。该文研究软件漏洞静态检测的两个主要方面:静态分析和程序验证,重点分析词法分析、规则检查
目的探讨外伤性脾损伤CT分级和输血在保脾中的意义,以帮助及时选择恰当的治疗方式,降低死亡率。方法对2002年1月至2012年1月,本院收治的105例脾损伤患者的治疗进行回顾性分析
随着国家对教育投入的不断加大,构建符合高等学校实际的大型仪器设备使用评价指标体系,加强对大型设备使用效益的评价,充分发挥大型精密贵重仪器设备的使用效益将成为越来越
目的 探讨慢性精神分裂症患者前瞻性记忆障碍实施康复训练的效果。方法 选取我院2014年1月-2016年3月收治的60例慢性精神分裂症前瞻性记忆障碍患者,采用随机数字表法将患者分
高速公路等交通基础设施的建设和运营对国民经济增长的作用一直受到学术界和决策者的关注。本文以中国改革开放的前沿阵地——广东省为例,通过格兰杰因果关系检验和协整检验,
目的观察右美托咪定在老年下颌骨骨折术后镇痛中的应用效果。方法选择我院2015年1月至2019年1月收治的下颌骨骨折患者72例,年龄60~73岁,平均年龄(65.3±4.2)岁,男性患者4
本文主要以价值创造为视角探讨了供应链整合的动因与供应链整合内涵,最终通过整合,实现实体资源、虚拟资源、知识链的整合,共同提升价值创造能力.
我国计算机网络技术在大数据时代到来的过程中获得了飞速的发展,数据信息已经成为人们生活中不可或缺的一部分,不管是在政治工作还是经济发展方面,信息的传递都借助计算机网
以甲B类物质苯为例对有风情况下的池火灾进行了数值模拟.采用prePDF对苯的燃烧进行模拟,得到非绝热条件下,有关苯燃烧的峰温及产物组分与混合分数、平均分数方差和焓变之间关