![](https://static.youtibao.com/asksite/comm/h5/images/m_q_title.png)
形式化方法模型是将数学方法用于()。
A.定义计算机系统的规格说明
B.开发无错误的计算机系统
C.验证计算机系统的正确性
D.以上所有选项
![](https://static.youtibao.com/asksite/comm/h5/images/solist_ts.png)
A.定义计算机系统的规格说明
B.开发无错误的计算机系统
C.验证计算机系统的正确性
D.以上所有选项
A.自上而下法试图在最广泛的层面上,即用企业层次或行业层次的数据来衡量操作风险
B.自上而下法基于收入波动性、套利模型和参数计量方法来计量风险
C.评估的结果将用于决定缓释风险所需预留的资本量,并将资本在各业务单位之间分配
D.在自上而下法下,操作风险管理是集中进行的
A.W.Lampson通过形式化表示方法运用()的思想第一次对访问控制问题进行了抽象。
B.主体(Subject)
C.(Object)
D.访问列表(AccessList)
E.访问矩阵(AccessMatrix)
0-1背包问题描述如下:给定n种物品和一背包.物品i的重量是wi,其价值为vi,背包的容量为C.问应如何选择装入背包的物品,使得装入背包中物品的总价值最大,在选择装入背包的物品时,对每种物品i只有两种选择,即装入背包或不装入背包.不能将物品i装入背包多次,也不能只装入部分的物品i.
0-1背包问题形式化描述如下:给定C>0,wi>0,vi>0(1≤i≤n),要求n元0-1向量,
使得
,而且
达到最大.因此,0-1背包问题是一个特殊的整数规划问题.
算法设计:对于给定的n种物品的重量和价值,以及背包的容量,计算可装入背包的最大价值.
数据输入:由文件input.txt提供输入数据.文件第1行有2个正整数n和C,分别表示有n种物品,背包的容量为C.接下来的2行中,每行有n个数、分别表示各物品的价值和重量.
结果输出:将最佳装包方案及其最大价值输出到文件output.txt.文件的第1行是最大价值,第2行是最佳装包方案.