作者：陈策,赵春霞,郭久武 单位：火力与指挥控制研究会 出版：《火力与指挥控制》2010年第01期 页数：5页  （PDF与DOC格式可能不同） PDF编号：PDFHLYZ2010010330 DOC编号：DOCHLYZ2010010339 下载格式：PDF + Word/doc 文字可复制、可编辑
《数据融合系统的模型化和形式化研究》PDF+DOC2000年第03期 吴陈,李新锋,夏祖勋,解洪成,吴洁 《密码协议分析的信任多集方法》PDF+DOC 董玲,陈克非,来学嘉

    • 不规范的软件需求是造成无法顺利开展装备软件定型测评的重要原因。介绍了软件需求的基本概念，指出了军用装备软件需求的层次划分和各层需求的产生与描述方法，定义了需求文档的若干质量属性，从形式化、半形式化到自然语言的顺序介绍了软件需求的描述方法，并对用自然语言描述软件需求时应注意的问题列举了实例进行说明。利用该方法开展软件需求分析和规格说明定义，可以缓解当前定型测评所面临的困难，使装备软件定型测评在技术实施上得到保证。

    📙 相关资料

    1. 《数据融合系统的模型化和形式化研究》PDF+DOC 从数学角度对数据融合进行研究 ，给出了一个数据融合的数学模型。考察这种数据融合模型的意义 ，并把其应用于形式化研究中 ，得出一种形式化数据融合问题求解描述的简单方法...
    2. 《密码协议分析的信任多集方法》PDF+DOC 提出了一种基于逻辑的信任多集方法，它与已有的密码协议安全性分析方法本质上不同：每个参与主体建立的新信任只应依赖于该主体已拥有的信任和接收或发送的包含了信任的新鲜性标识符的消息本身.在基于匹配对话和不可区分性的计算模型下，证明了给出的保证密码协议单方认证安全、双方认证安全、单方密钥安全和双方密钥安全的......

    提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。