排序方式: 共有12条查询结果,搜索用时 0 毫秒
11.
本文提出的规约式简化了建模元素。对于大型系统,更易设计和实现。对于提出RBAC的部分规约,其中不涉及权限之间角色与权利之间规约,因而不完备,而且过于复杂,难以验证和实现。本文给出了模型形式化规约,这对进一步的机器验证和软件开发将有很重要的作用。 相似文献
12.
基于BP神经网络的供应商选择研究 总被引:2,自引:0,他引:2
供应商的选择在整个物流系统中占有非常重要的地位.本文建立了基于BP神经网络的供应商评价指标体系,给出了BP神经网络的评价模型,并结合算例进行分析.实例证明,该方法是可行的. 相似文献