文档介绍：首先在分析现有体系结构验证方法所存在闯题的基础上,提出了基予其两分为踅连蓑系验证和互逶燕系验证两个层次,并且对其中綦子·镜南低系统鳃建设震量。体系缝梅验证是体系结擒设诗质量静羹要保障,麓着馥技术,包括基予芈戴袷莩韪餍匝橹し椒ā⑴ぱ橹し椒ā⑹菀恢氯镅摘要傈证蕊系统之阙可集成、可互搡作的关键,其质量如何宣接影响了整个賁昶主要优势两个是度研究了基予剑圆眂稴低程逑到徂溲榈椒ň不玖低程逑到峁故窍低掣鞑考憬峁梗侵晟墓叵祷偌爸圃蓟杓齐随时间演化的原则和指南。在低车难兄朴肟7⒐讨校逑到峁股杓剖统的规模、重要性越来越大,体系结构验证成为低程逑到峁箍7⒅械囊个重要环节,已经越来越受到学术界和工程界的重视。论文锋黯黧嘉蓼攀瑟瑟系统体系缝褥验证技术存在狈ν骋话咎逑邓跚苎橹体系②体系结构验证方法依赖予体系结构接述和逑到峁寡橹ね蹙卟痪哐煲藕性等多个方面的问题,首次提出了基于的甀系统体系结构验证方法。首先解决了基予涮稹鄹狩废低陈上到峁寡橹て矬际涂蚣苣缣猓浯危梅椒ㄖ接掇据拨心体系结梅数撰模型焱溅氡泶镬鉭薹鹱系统体系结构数据之窝煞关系进行体系结构验涯,丽不考虑体累结构的具体攒述方法,以此解决了体系结构验证方法和体系结构验诞工具翡不逶用健闯题。针对该方法,具体研究了以下几个方匿懿杰容;崛缌嘶贑腃系统体系结构验谜方法。熊∥至南低筹橄到崦费橹し椒ǎ⒍愿梅椒ǚ跞锷=於ㄒ澹黄浯蜗桌砺刍涵;再次建立了体系结构信息模型,并以此为基础提出了基于体系结构验证懿存容框架;最蒿提赛并解释了基于瓺逑到峁寡橹し椒ㄋ山饩霰9丶证方法、系统结构台理性验证方法和作战规则合理性验证方法等。芯苛嘶贑氖萃瓯感匝橹し椒鑫予薅系瓣擒产品孛数爨元素翡完簧犍规鲻已经完全表现在震封隘拦攒述的迥P椭校月畚母荨轊顲磁数据实体之闻关系蛉接述,直接建立了数据元素的完备性规则,然詹根据完备性规则对以规范存放在数蠢库孛翁每条数据进行捡查,戮诧瓣￡雌低程逑到衢耸萁型瓯感匝橹ぁ芯苛嘶鐲南低撑镄匝榈椒论文根据低辰峁沟奶氐悖匦露ㄒ辶薈气系统的可达性验证,将互连关系验涯蠢法进霞了疆究。芯苛嘶贑氖骋恢滦匝榈椒鬻豁科学技术大学研究生院学位论文
芯苛嘶琛轒韵系统结构合理性验涯方法战流程醋髡狡渴验证精透,进行了两方面翡研巍:~是研究了基予致震运用论文中研究的基于禡静系统结构合理性验证方法鞠基予辩豹撵点和作战活动的不一致性为例,研究了基于蠱的体系结构数据不一致性验证义了详价∥薹诚低辰峁股杓坪侠硇皂岸雀副辏⒛柜鹁苛嘶赼渺鬻对≯袋进行作战巍裂验证麴主要过程;二怒研究了骇д浇诘隳P汀掇倌、作战活动系统结构设计质量是影响整个体系结构设计质量优劣程度的最关键因素,也是霹标低晨7⒅柿课幼罟丶剿亍B畚慕杓厢嗤醭堂赣尴耄狨莶⒍系统体系结构数据的描述,如衙计算各种度量指标的值,以及如何进行加权综合反映鳶低澄飞杓频暮侠硇裕钪栈狗直鸲员钢侄攘恐副甑目蒲越辛熬苛嘶鑕缒耐菡缴崭液侠硇匝檠拇婪无论是军事领域还是忑业领域,流程验证都是重要的研究方向。论文针对作模型⒆髡焦嬖蚰P褪菽P为基础如何构建基于对象哦两的可执行模型和仿真模跫,弗盛对模型的转换规则进行了详细的形式纯描述。簸蜃,在理论方法研究鲍基戮土,竣牲某型号野战防空指撵信息系统炒为综合案例,首先对该系统的体系结构进行了描述,并以的规范进行存储,然战巍剽合理性验证方法对该系统豹结构合理性嗣箨战援剽会理性进行验诞,遭过关键谶:秽塔戤体系结构,核心体系缚拇数据模型,体系结拇验证,完备性验镄匝橹ぃ恢滦匝槊眨侠硇匝橹论文蓄先砑究拭体系结构数据一致性验证的主螫内容,然蜃以作战节方法。磷究。该案例检验论文提出的方法的可行性翱有效性。黧黔辩学技术太学磷巍釜靛学爱论文
辨删瓤龇辫燃妇蠊觚妇魏校丁奕几敬〗喷总《斑撇嫩眺溉呔猿犯久棍礤楦睁弼耪轷伢唬辽靖旧卷隻嘶㈣艇躺瞒她粼嚣毓黼溉钕龇蛐辩鹾髑巍挪她瓿融忿剑圆醚运笋澉峨戚歉秘黼洳蘸魅瓣蟾涵迭痨戳蜘飘触堍斑融醴躐泼渫阶Mш怠鄄钍享敫壤两滨聿ふ∥舘鹢￡渊嫩咖啦娥醚鳅唑醚簂縮懿巍蘸熬娅臻吲臁鹾斑嘲蝴溯斌冀挺鑫逭潘崾啡镓湃谒憎ξ△瘛熵嵛ā瓯箜氡珞涣д骸姆她黼莲臻爨赘茁猴暝婢铣叭烊锎撩蛊燹忿穌端玡确辣笃┵甧溯玑密瞕渡緊稴蹩姆娥瞪徽酗燃,矧远对鼯趣∞缓燃魏┐謙缭鉾蜮矗穙簇慌劝曜鞘缈迤璺杖谛锾偎杷栌褪侨诮货ご烤甘┴峄緄厄怫糯钏蝣疟鑒‰揸核畏斩溅肇漩脚翟醛醚甄蕊越嫒斑∞勰翻巍鼹戮蘸艟撼钗谂晷飈这涝胶墩撼。程詓瓣删遗协她溅渊嵫蠛穗蠡酗蒯戚姆濂潞麦宰祧啡谖忽瓣姆妇鑫鴍氇耄诫糕嚼毓掣喻碛膇拄黼如:￡蟨醴汉瓒趱毫主拨矧伯嚼趏雌扛纀薹瓢弘滞蠛。蒯穐攘譹戳塔删尊紀∞№凝翻雌瓣龇蚴禾横恩刑莝娃啦试潋龄氨嫩鳓蕊燃淤爨划旅纛遮艇耐泌罐勺甬落稳篷ㄞ贰纷趟恕茜逑祧痚耋善睦擞瓣螽鬻纛镯筠撼豹匿翻嚣胬嚣§糍。职翻蘸騛甑疑厩诨筷“苑蕖莅瓯缰圊耵畛蟣雠掰积秤慕恢蚭瓣。髓好浮0阤ネ胏詎站枷。数碟蛐鞠硪赫反铃佳祉雡嫩雠重胬吲窿越疆趱