摘要： 1. LINGO中的Infeasibilities：矛盾约束的数目 一般不可行的问题里面才会不为0 可行的都是0或者很接近0 。 Slack or Surplus什么意思：slack一般用作松弛的或是松懈的，surplus一般用作剩余或是超出 。 lingo中的reduced cost 和dual price是什么意思：“Reduced Cost”列出最优单纯形表中判别数所在行的变量的系数，表示当变量有微小变动时, 目标函数的变化率。“DUAL PRICE”（对偶价格）表示当对应约束有微小变动时, 目标函数的变化率。 @gin(x);是限制x为整数 @for(link:@... 阅读全文

摘要： 1．Simulink的启动 在MATLAB的命令窗口输入simulink或单击MATLAB主窗口工具栏上的Simulink命令按钮即可启动Simulink。Simulink启动后会显示Simulink模块库浏览器(Simulink Library Browser)窗口。2.目前还不懂，求指点…… 阅读全文

摘要： 80年代初，Goldwasser等人提出了零知识证明这一概念。从本质上讲，零知识证明是一种协议。所谓协议(Protocol)，就是两个或两个以上的参与者为完成某项特定的任务而采取的一系列步骤，包括以下三个特征： 1. 协议自始至终是有序的过程，每一步骤必须依次执行，在前一步骤没有执行完之前，后面的步骤不可能执行。 2. 协议至少需要两个参与者，一个人可以通过执行一系列的步骤来完成某项任务，但它不构成协议。 3. 通过执行协议必须能够完成某项任务。零知识证明必须包括两个方面，一方为证明者，另一方为验证者。证明者试图向验证者证明某个论断是正确的，或者证明者拥有某个知识，却不向验证者透露... 阅读全文