【摘 要】
：
功能需求获取一直是系统需求分析的难点,目前尚无特别有效的方法。该文通过对确定有限自动机的扩展(extended deterministic finite automata,EDFA),将系统输入与确定有限状
【机 构】
：
中国民航大学适航学院,北京畅研汇明科技有限公司
【基金项目】
：
国家自然科学基金委员会-中国民航局民航联合研究基金(U1533105)
论文部分内容阅读
功能需求获取一直是系统需求分析的难点,目前尚无特别有效的方法。该文通过对确定有限自动机的扩展(extended deterministic finite automata,EDFA),将系统输入与确定有限状态机的输入激励相结合,将系统输出与系统输入和系统状态相结合,通过确定有限状态机的状态集合,划分系统功能需求空间,提出了一种结构化的功能需求获取方法,有助于提升功能需求获取的完整性,降低功能需求获取的难度。通过对自动巡航系统跟车模式下的需求获取,验证了基于EDFA功能需求获取方法的有效性和实用性。
其他文献
目的探讨采用清创修补的手术方式治疗腓骨肌腱撕裂的临床效果。方法回顾性分析2014年7月至2016年7月于华中科技大学同济医学院附属武汉普爱医院足踝外科接受手术治疗的腓骨肌
理工院校作为培养科技创新人才的主要基地,开展知识产权通识教育极为必要性。文章针对理工院校知识产权通识教育的现状及存在的问题,结合创新创业教育人才培养目标进行知识产
目的：探讨大过期流产的最佳处理方法。方法：对确诊大过期流产的60例患者，随机分为两组，每组30例，治疗组用口服米非司酮配伍米索前列醇治疗，对照组常规应用已烯雌酚加催产素。结果：治
目的：探讨人工流产次数与子宫腺肌病发病率之间的相关性。方法：对2004年1月～2005年12月在我科确诊为子宫腺肌病的临床资料进行回顾性分析。结果：子宫腺肌病的患者临床症状、病灶