复杂系统需求获取形式化的研究



复杂系统需求获取形式化的研究

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机软件论文→程序设计、软件工程论文→软件工程论文

复杂系统需求获取形式化的研究

论文目录
摘要	第1-7 页
ABSTRACT	第7-11 页
第一章引言	第11-17 页
· 研究背景	第11-12 页
· 国内外研究现状	第12-14 页
· 论文研究意义	第14-15 页
· 章节安排	第15-17 页
第二章相关知识介绍	第17-29 页
· 软件需求获取介绍	第17-19 页
· 软件需求获取面临的问题	第17-18 页
· 软件需求获取困难的原因	第18-19 页
· 形式化方法	第19-26 页
· 形式化方法的介绍	第19-23 页
· B 方法	第23-26 页
· 需求获取形式化语言的表示	第26 页
· 复杂网络的简介	第26-28 页
· 复杂网络研究简述	第26-27 页
· 复杂网络的社团研究简述	第27-28 页
· 本章小结	第28-29 页
第三章复杂系统的社团算法研究	第29-46 页
· 社团结构	第29-31 页
· 社团划分新算法	第31-36 页
· NEWMAN 快速算法	第31-33 页
· 派系过滤算法	第33-34 页
· CH 算法	第34-35 页
· 基于时空功能的社团算法思想	第35-36 页
· 科研合作案例应用	第36-44 页
· NEWMAN 快速算法案例应用	第36-38 页
· Palla 派系算法案例应用	第38-39 页
· CH 算法案例应用	第39-40 页
· 三种算法和时空功能单位群落结果比较	第40-44 页
· 本章小结	第44-46 页
第四章复杂系统的形式化需求获取及案例	第46-65 页
· 需求工程的困难	第46-48 页
· 复杂系统的形式化需求获取方法	第48-50 页
· 社团算法的需求获取	第49-50 页
· 复杂网络需求的形式化表示	第50 页
· 免疫系统案例研究	第50-64 页
· 免疫系统	第51 页
· 免疫系统的需求获取	第51-53 页
· 体液免疫建模	第53-64 页
· 本章小结	第64-65 页
第五章免疫案例的精化及正确性证明	第65-76 页
· B 方法精化过程	第65-68 页
· 精化过程	第65-66 页
· 广义代换的精化	第66-67 页
· 精化的语法	第67-68 页
· 对免疫系统机器的精化	第68-71 页
· 实例机器的工具检测与证明	第71-75 页
· 模型检测	第71 页
· 定理证明	第71-72 页
· ATELIER-B 工具检验和证明	第72-75 页
· 本章小结	第75-76 页
第六章系统模拟	第76-82 页
· 系统的设计思想	第76-77 页
· 程序实现	第77-81 页
· 开发环境	第77 页
· 部分代码	第77-81 页
· 程序界面	第81 页
· 本章小结	第81-82 页
第七章总结与展望	第82-84 页
· 本文工作总结	第82-83 页
· 进一步工作	第83-84 页
参考文献	第84-89 页
致谢	第89-90 页
论文发表情况及参加科研项目、学术会议	第90 页

本篇论文共90页，点击这进入下载页面。

更多论文
复杂系统需求获取形式化的研究
DNA Aβ_3-10基因疫苗免
玉米黑粉菌CYP51基因表达及定点突变
航空发动机叶片三维轮廓测量方法研
频繁子树挖掘及其相关技术的研究
大鼠骨髓间充质干细胞体外诱导分化
重组柑桔绿霉菌CYP51及其突变体与杀
基于小波变换的航空图像处理及动载
蚁群算法的理论与性能研究
乙脑病毒非结构4A蛋白编码基因重组
抗生素对非洲菊切花保鲜与衰老效应
三维激光扫描数据处理
肺炎克雷伯菌耐药突变选择窗的体内
新型双-（β-酮胺）合钴（Ⅱ）催化
基于小波变换的空间遥感图像实时压
基于多分辨率分析的图像融合技术研
bFGF在烟草烟雾诱导大鼠血管平滑肌
具有生物活性喹啉酰胺类化合物的合
折射型微透镜及微透镜阵列光学性质
基于Gabor小波的车辆识别与跟踪技术
星形胶质细胞与神经干细胞共培养对
新型聚苯撑乙烯的设计、合成与性能
三反射镜光学系统的计算机辅助装调
基于流形的特征抽取及人脸识别研究
不同浓度的蛋氨酸脑啡肽对小鼠CD4~
新型三唑啉酮衍生物的合成及除草活
CD45，CD90对分离得到大鼠骨髓间充
含三官能团的新型超支化聚苯撑乙烯
粒子滤波跟踪方法研究
序列模糊概念格模型及其分布处理研
间充质干细胞治疗慢性间质性肾炎动
芳香羧酸和杂环双齿桥联配体构筑的
酞菁铜有机场效应晶体管器件性能的
基于纹理和边缘特征的图像检索算法
耐甲氧西林金黄色葡萄球菌的基因分
含有嘧啶环的芳氧苯氧丙酸酯类化合
开放环境下的自动信任协商研究
机载CCD图像消旋控制技术研究
Egr-1诱骗寡核苷酸下调PDGF抑制原代
具有宽带红外发射的掺铒硼硅玻璃的
基于Agent和本体的Web服务组合研究
内毒素血症家兔模型肝损伤相关指标
CH/π驱动的自折叠分子转子的设计与
近红外光谱分析技术及其在人参成份
基于问答社区的个性化服务研究
含α-氨基膦酸酯结构单元的氮杂环化
HSV-gB、gD蛋白重组串联抗原表位蛋
半导体激光器光学膜技术研究
P2P流量识别技术的研究
移植血管低温/深低温保存的实验研究
APS星敏感器关键技术的研究
基于运动解耦的三维动力平台控制系
碳纳米管负载钯和金纳米粒子的制备
血小板源性生长因子-BB对人子宫内膜
海水近表层弱光辐射的光谱测量研究
条形机油冷却器自动组片系统研究与
小鼠皮肤切创愈合过程中Ⅰ型大麻素
武汉城市圈生态环境保护一体化机制
基于MEMS的无阀泵数值仿真与实验研
基于螺旋理论的3-PRS并联机构的运动
小鼠皮肤切创愈合过程中M₃
超球坐标下He-He-Mg体系弱束缚态能
包埋稀土发光材料的核-壳型纳米复合
基于神经网络的中央空调温度控制研
里德堡态碱金属原子的强外场效应
人巨细胞病毒UL146基因-α趋化因子
基于多Agent的生产调度系统瓶颈分析
光电跟踪系统复合轴伺服控制技术的

复杂系统论文社团算法论文需求获取论文形式化B方法论文免疫系统论文
版权申明：目录由用户城市仙**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved