摘要：
【输入】 调用图，其顶端是根过程 【输出】 每个过程每个参数的icp值 【算法步骤】 1. 将根过程加入工作表，遍历调用图，构建每个过程的形参集合，初始化每个形参的icp值为未知（icp格的顶元素） 2. 从工作表移出一个过程p，若工作表为空则终止 3. 遍历p的指令序列，对每个调用点遍历被调过程q 阅读全文
posted @ 2023-09-06 23:02
cq12yue
阅读(59)
评论(0)
推荐(0)
摘要：
【输入】控制流图<N, E> G，回边m—>n 【输出】循环子图<N, E> loop 【流程】 1. 将m、n加入loop的结点集合，及m—>n加入loop的边集合，若m不等于n即不为自环，则加入m到queue（先进先出队列） 2. 若queue非空，则其从头出队得结点q；否则结束 3. 在G中遍 阅读全文
posted @ 2023-09-06 22:59
cq12yue
阅读(20)
评论(0)
推荐(0)
摘要：
【命题1】控制流图G中若a dom n，且b dom n，则a dom b 或b dom a 【证明】设G入口为s，假设结论不成立，即a 不dom b且b 不dom a，或a dom b且b dom a。根据支配结点定义，如果是前者，则从s有全部路径经a（或b）到n但不经过b（或a），这与题设b（或 阅读全文
posted @ 2023-09-06 22:57
cq12yue
阅读(22)
评论(0)
推荐(0)
摘要：
1. 迭代算法在什么情况下是正确的 数据流值满足半格的定义，以及数据流方程中的传递函数满足单调性 2. 迭代算法在什么情况下必定收敛 在满足正确性的前提下，当数据流值对应的半格高度有限时，必定收敛。以最小元为初值的迭代收敛于最小不动点，以最大元为初值的迭代收敛于最大不动点 3. IDEAL、MOP、 阅读全文
posted @ 2023-09-06 22:53
cq12yue
阅读(59)
评论(0)
推荐(0)
摘要：
为什么要加宽算子？因为当格的偏序集合L不满足升链条件，从最小元迭代计算最小不动点的过程是不收敛的，即迭代序列(fⁿ(⊥))ₙ不保证最终稳定，且其最小上界不保证等于最小不动点，因此需要一种近似lfp(f)的方法。引入加宽算子fw:L×L—>L, fw(x)=x▽f(x)，可以将L上的一个序列转为收敛的 阅读全文
posted @ 2023-09-06 22:45
cq12yue
阅读(25)
评论(0)
推荐(0)
摘要：
【性质】 1. 判定两个完全格L和M能否构成伽罗瓦连接，即抽象化函数α: L—>M是否完全加性的，或具体化函数γ: M—>L是否完全乘性的 2. 构造抽象化函数和具体化函数，即对于一个Galois连接（L, α, γ, M），给定α可通过γ(m) = ⊔{l | α(l) ⊑ m}确定γ，这对于所有 阅读全文
posted @ 2023-09-06 22:42
cq12yue
阅读(102)
评论(0)
推荐(0)
摘要：
定理：集合Z[n]由所有i=0,1,…, n-1整数组成，其中满足gcd(i,n)=1的元素与乘法模n操作形成了交换群G，且单位元为e=1。证明：设a、b属于G，有gcd(a,n)=1，gcd(b,n)=1，则gcd(a*b,n)=gcd(b,n)=1，即(a*b) mod n封闭，显然单位元为1； 阅读全文
posted @ 2023-09-06 22:34
cq12yue
阅读(81)
评论(0)
推荐(0)
摘要：
记输出为[G`, G, p, q, g]，其中p为大素数，G`为模p的有限循环整数群，阶为p-1；q为大素数，为G的阶，G为G`的子群（模亦是p），生成元为g（G`的一个元素），另外满足如下条件： 1. 1<q的位长<p的位长，p、q随机选取，p同余于1 mod q，即q整除p-1，q为p-1的素因 阅读全文
posted @ 2023-09-06 22:28
cq12yue
阅读(57)
评论(0)
推荐(0)
摘要：
定理：令K[x]是由次数小于8、系数为0或1的多项式组成的环，m(x)=x^8+x^4+x^3+x+1为不可约多项式，则K[x]/(m(x))（模m(x)剩余类环）同构于元素个数为256的有限域F 证明： 1. 构造映射H: P->Z，P表示K[x]中的多项式，Z表示小于256的非负整数，定义函数 阅读全文
posted @ 2023-09-06 22:22
cq12yue
阅读(39)
评论(0)
推荐(0)
浙公网安备 33010602011771号