【摘 要】
:
需求获取是信息系统开发的关键问题之一,清晰的业务需求描述有助于准确地获取信息系统需求.文中为一种业务需求获取方法引入形式化的语义描述,提高了其语义的精确性、无二义
【机 构】
:
解放军理工大学指挥自动化学院,江苏南京,210007
论文部分内容阅读
需求获取是信息系统开发的关键问题之一,清晰的业务需求描述有助于准确地获取信息系统需求.文中为一种业务需求获取方法引入形式化的语义描述,提高了其语义的精确性、无二义性和一致性,以利于进行形式化推理和精化,从而更好地描述和规范需求以指导信息系统分析和设计.
其他文献
本文提出一种针对锂离子电池检测和化成过程的新型智能化系统.该系统着眼于解决传统检测和化成方法的低效率和高误差率,成功将锂离子电池的检测和化成两个独立系统合二为一,
9月4日,国务院出台了新型农村社会养老保险试点的指导意见。根据这份指导意见,年满16周岁(不含在校学生)、未参加城镇职工基本养老保险的农村居民,可以在户籍地自愿参加新农
手部及前臂皮肤软组织缺损是手外科常见创伤,当深部组织外露时,皮瓣移植修复为最常用方法.我院自1990年5月至2005年9月采用18种吻合血管的游离皮瓣移植修复手部及前臂皮肤缺
目的:探讨颈部严重放射性溃疡的显微外科修复方法:及临床效果. 方法:自1990年5月至2004年12月,应用岛状皮瓣或游离皮瓣移植修复颈部严重放射性溃疡11例,其中胸大肌皮瓣7例
啤酒是深受广大消费者喜爱的大众化低酒精饮料。研究表明啤酒除了具有低酒精浓度的特点,还含有丰富的糖类、氨基酸、维生素和微量元素,具有消暑解渴、帮助消化、消除疲劳[1 ]
目的:探讨桥式交叉吻合血管游离组织移植在四肢组织缺损中的应用及其效果. 方法:1982年5月--2005年11月,应用桥式交叉吻合血管游离组织移植方法修复四肢组织缺损110例,其中
目的:探讨手及前臂带蒂组织瓣移植手术失败原因和防治对策. 方法:收集1985-2005年临床遇到的手部组织瓣失败病例157例,分析和探讨手术失败原因. 结果:坏死的157例组织
目的 报道应用远端蒂腓肠神经营养血管肌皮瓣修复填充小腿下段及足踝部创伤性软组织缺损、骨髓炎创腔的临床效果.方法 以远端蒂腓肠神经营养血管肌皮瓣修复小腿下段及足踝部因创伤致组织缺损、骨髓炎22例,皮瓣面积最大17 cm×15 cm,最小10 cm×8 cm,肌瓣最大为10.0cm×7.0 cm×2.0 cm,最小为6.0 cm×5.0 cm×1.0 cm.结果 修复小腿下段16例皆获成功,伤口Ⅰ期愈
大跨连拱隧道与洞外线路平面接线及洞口位置选择上的灵活性,使得一些中短隧道往往采用双连拱隧道结构形式,但在设计方面的中隔墙厚度的确定是凭经验得出的.结合我国第一条黄
本文介绍美国心脏病协会(AHA)和美国心脏病学院(ACC)于2001年曾经发表过冠状动脉粥样硬化性疾病(CAD)二级预防的专家共识文件.近4年来完成的有关重要临床试验的结果,进一步支