所以我在LC3上做一个程序，我有一个掩蔽问题。我可以创建一个长度合适的所有1的面具，将所有的东西都精细地转移到合适的领域，但我不能在我的一生中，一旦我完成了这些和比较，就把东西移回右边。你如何在LC3右转？我在迭代比较中看到了一些东西，但我不知道如何比较不同位置的位，要比较相同位置的位，我最终必须将一位移到右边。我遗漏了什么吗？要模拟右移，只需制作两个掩码，一个用于源位，一个用于目标位： src_mask=0x04; // read from bit position 2 dst_mask=

根据多个变量的无效性，您首选的实施措施是什么： 即： 或： 我猜对0进行int检查更快，而且毫无疑问是正确的模式，当然对于大量属性而言 我想说，你使用什么方法取决于具体情况。如果你只是想说某个属性出错，那么即使是一个简单的布尔值也足够了，如果你想说某个属性出错，并指出第一个出错的属性是另一种情况，而指出每个出错的属性又是另一种情况。因此，这取决于需求。这将是一个更好的适合。这不是实际的代码。这是一种广泛存在的模式，当属性返回到不再无效的状态时，需要停止验证，因此可能不再需要验证，但需要检查是否有

众所周知，如果有多个理发师可以互相剃须，那么理发师悖论就解决了 本规范是一致的： sig Man {shaves: set Man} some sig Barber extends Man {} fact { Barber.shaves = {m: Man | m not in m.shaves} } run { } for 4 sig Man { shavedMen : set Man } fact { # {barber:Man | barber.shav

这个问题与逻辑比任何编程语言都更相关。如果这个问题不适合论坛，请让我知道，我会删除这个 我必须写一个逻辑来计算博客奖网站的博客分数。一个博客可能会被提名为多个奖项类别，并由评审团进行同行评审或评分，评分为-1到5分（-1表示他们完全不喜欢的博客）。现在，一个博客可以由一个或多个陪审员评分。计算博客最终得分时的一个标准是，如果一个博客被更多人正面评价，它应该得到更多的权重（反之亦然）。类似地，一个博客即使被一名陪审员评为-1，其得分也会受到影响（-1在这里有点否决权）。最后，我还想根据博客的Tec

是否有一个软件包（最好是应用程序，而不是库）可以从给定的真值表（以某种文本格式）创建简化有序二元决策图（ROBDS）？对于任何BDD库，您都可以随心所欲。当然，您必须自己编写一段代码 如果您正在寻找一个轻量级工具，我经常使用这样的小程序快速查看函数的BDD： 您也可以尝试以下方法： 它是迄今为止我使用的BDD的最佳工具。BDD是一种内存受限的数据结构，因为它严重依赖于检测重复的子表。您会发现，大多数BDD软件包并不完全适合大型通用真值表，而是针对非常稀疏或高度重复的表达式进行了优化 使用标准BD

在猫头鹰中： 有一个类X和属性P1、P2和P3，每个属性都有域X。 我想说： X的每个实例必须至少参与与属性P1或P3之一的关系。 参与与P2的关系的X的每个实例也必须参与与P1的关系。 但X的每个实例可能仅参与与P1和P2的关系或与P3的关系。 使用一些语法和标签可能更容易理解： :Chronology a owl:Class ; rdfs:label "X" ; :hasBegin a owl:DatatypeProperty ; rdfs:label "P1" ;

这个问题并不特定于任何计算语言，我也不确定它是否属于这里。很难解释我的意思，但让我试试。例如，当你告诉计算机做这个或那个时，你是在告诉计算机做什么，计算什么等等。。。根据我的理解，计算机没有智能，它们是信息和一种操作顺序，它们做要求它们做的事情。我的问题是，当你要求计算机选择一个从1到10的随机数时，计算机如何知道选择一个数字。。。？ 我希望你能理解我的问题。干杯 计算机不知道 这就是为什么当你要求一个“随机”数时，你会得到伪随机值 这个链接（尽管是维基百科）给出了一个简短的解释：计算机从各种事

如何规范化和简化（A^B）-->！B v C v！（A v C） 我已经使用（A->B）=的规则规范化了表达式！A或B。但我不知道如何简化它。我得到了答案！A v！B v C 这是正确的吗？如果不是，我错在哪里 我得到了和你一样的答案 1. (A ^ B) => !B V C V !(A v C) 2. (A ^ B) => !B V C V (!A ^ !C) 3. (A ^ B) => !B V (C V (!A ^ !C)) //(C V (!A ^ !C)) =>

设f（n）=2n^2，g（n）=1.01^n。是f（n）=O（g（n））？是f（n）=Ω（g（n））？用证明来证明你的答案。想想那些函数的图形对于非常大的n是什么样子的。哪一个增长更快（即从长远来看超过另一个）？时间复杂性表示算法的渐近运行时间

我有一个场景，根据多个变量值检查是否隐藏某些内容。对于其中一些语句，如果它们的计算结果为true，那么我将跳过显示内容（默认情况下显示）。但是，我需要重新编写我的语句，以便如果它们的计算结果为true，那么我将显示一些内容（默认情况下隐藏） 例如： If X !== 1 && Y !==1 If X === 3 or Y === 3 例如： If X !== 1 && Y !==1 If X === 3 or Y === 3 如果这两个例子都是真的

我是编程新手，我想知道在下面的函数中迭代了多少次。我只想知道迭代的次数如何依赖于a和b 其中A和B是二进制数。例如A=101010和B=1010。 下面是两个数字相加的算法，不使用+运算符 while B is greater than 0: U = A XOR B V = A AND B A = U B = V * 2 我将假设通常的约定是，非零的值被视为True，而0的计算结果为False 因为您没有指定 A/的初始值，让

我正试图设计一个具有命题逻辑的机器人，我正试图证明在4,2处有一个资源，使用的是ponens方法和解析规则，但如果你能帮忙，我就卡住了 （2，2）中的机器人探测到周围的悬崖 （2，1）和（1，2）中没有悬崖 （2，4）中的机器人没有探测到周围的悬崖 （3,1）和（2,2）中没有资源r1 （3，3）中没有资源r1，或者（3，4）中有悬崖 此外，如果存在悬崖，则在相邻位置存在资源，如果资源旁边最多有一个悬崖

我有一个逻辑问题： 如果我有：f（A，B，C，D）=M（4,7,8,11）.D（1,2,13,14） 使用k-map的乘积之和是多少（请注意，这是big-m，您必须在乘积之和中找到答案） 我画了k-图，问题是，我找不到一种方法来覆盖零，而不必用4个布尔项（a，B，C，D）分别表示4个项，而不使用D项，对吗 注意：这是一个家庭作业问题，我不想得到答案，因为我想自己解决这个问题 +---+---+---+---+ 00 | 1 | 0 | 1 | 0 | +---+---+---+---

有些研究文章（例如）和设备（例如）使用所谓的概率逻辑。我想这个想法是这样一个装置的输出，给定一些输入，会收敛到某种概率分布。这些设备与使用模拟信号的设备有什么区别？也就是说，这些设备仍然被认为是数字、模拟、混合信号吗？本文似乎描述了一些新的概率布尔逻辑，而不是实现。我只是浏览了一下这篇论文，但它似乎只是这些理论中的另一种。顺便说一句，概率逻辑没有给出经典逻辑给出的东西有一个简单的原因，也就是说，它们不是真函数，即a和B的值不完全取决于a和B的值 至于在芯片上实现这样的事情：我认为两者都是可能的。

加法序列。 3,3,6,9,15.... 称为加法序列，其中前两个数字必须相同..3+3=6,3+6=9，依此类推。 此外，一个数字可以拆分为多个数字中的一个，以从加法序列中删除。 例如：12122436。。。在这个序列中，12+12=24…12+24=36。 问题是给定开始和结束的数字，找出加法序列中所有可能的项。 我知道很容易找到一个序列。但是我不知道如何考虑像122436等更大的数字。为了简单起见，如果没有数字被拆分，我会说加法序列是严格的。严格加法序列的形式如下：n*1，n*1，n*2，

我正在用VHDL实现一个正交解码器，并提出了两个解决方案 在方法1中，所有逻辑都放在一个对时钟和复位敏感的进程中。 在Spartan-3A上，它使用四个片、七个FFs和四个输入LUT 代码1 quadr_解码器的行为体系结构是 信号信道电流：标准逻辑； 信号信道前置：标准逻辑； 信号信道电流：标准逻辑； 信号信道前置：标准逻辑； 开始 过程（n_重置，clk_进入）开始 如果（n_reset='0'），则 --初始化内部信号 chan_a_curr您的代码版本2组合驱动输出，而代码版本1注册输出

[秒]=>阵列 ( [0]=>阵列 ( [@attributes]=>数组 ( [id]=>“sfdsdf” ) [title] => "test" [p] => "". [sec] = array( [@attributes] =

需要获取一个逻辑应用程序连接器，该连接器可以从消息队列连接器获取文件路径和文件名-“当消息到达时（使用peek lock模型）”，并进一步调用数据工厂。假设您的消息为json类型，如果没有，请让我知道。如果要获取json消息中的键值，需要解析json操作，然后获取值 并且消息是用base64编码的，因此Parse JSON输入内容应该是decodeBase64（triggerBody（）？['ContentData']），之后您将能够获得值 谢谢你@George Chen我会尽力按照你说的做。

我有一个连词，让我们把它抽象为：a/\B，我有一个引理证明了C->a，我希望得到目标C/\B。这可能吗 如果是的话，我会对如何做感兴趣。如果我使用split，然后将引理应用于第一个子目标，我无法将两个结果子目标C和B重新组合到C/\B-或者我可以吗？而且，apply似乎不能只应用于连接词的一个分支 如果没有，请向我解释为什么这是不可能的：-）你可以引入一个引理，比如： Theorem cut: forall (A B C: Prop), C /\ B -> (C -> A) ->

示例1: 输入 arr1=[2,6,8] arr2=[4,3,4,4] 输出=[4,6,1,2] 示例2: 输入 arr1=[20,16,33,11] arr2=[5，-7,6] 输出=[2,2,3,7,7] 我终于找到了逻辑——简单的加法就是这样。 取这两个数组并将其添加到第三个数组中 4344（+）268=4612完整的问题陈述是什么？对于一个逻辑能力问题来说似乎有点奇怪！

我试图解决这个问题，但找不到解决方案： class Program { // Important note: // The value of masks given here is hard-coded for m == 5. // In a complete solution, you need to calculate the masks for the // actual value of m given. See explanation in answer

我读了很多关于它的文章。他们称之为： 在逻辑学中，意义通常用满足关系来描述 M |=A 它描述了当一个情况M满足公式a时 所以，我也搜索了一些例子。我发现以下例子： 真|=假=假 假|=真=真 我完全不明白。在这些情况下，它意味着什么？（假设您谈论的是命题逻辑（它与其他逻辑类似，例如pred.logic）） 对于两个公式A和B： A |= B "B evaluates to true under all evaluations that evaluate A to true" 对于一组公式M

我试图给Smarty变量分配一个假值，但每当我测试它时，它都会产生真值 我的任务如下： {assign "access" false} 但是，当我测试其值时： {if $access} You've access {/if} 这是真的 我做错了什么？也许你不能用速记来表示布尔人 您需要使用： {assign "access" value=false} 或 也许你不能用简写法来表示布尔人 您需要使用： {assign "access" value=false} 或 如果您在smart

对于一个课程作业，我们被要求通过创建包含两个输入a和B和一个输出O的系统来查找如何在各种逻辑门之间转换。上一次转换是从XOR到或，但我似乎找不到任何答案。其中每一项的逻辑如下： XOR A | B | O ---------- 0 | 0 | 0 1 | 0 | 1 0 | 1 | 1 1 | 1 | 0 NOR A | B | O ---------- 0 | 0 | 1 1 | 0 | 0 0 | 1 | 0 1 | 1 | 0 为简单起见，我将为函数或而不是图表请求伪代码。XOR二进制

我是新手，所以我有一个非常基本的问题。 我有子类和父类Child具有子类Girl child1有类型Girl，child2有类型Child，anna和peter都有类型Parent。此外，还有安娜·伊斯帕伦托夫·柴尔德1和彼得·伊斯帕伦托夫·柴尔德2之间的关系，没有进一步的特征 现在我想定义类ParentOfGirl，这样它就相当于Parent和isParentOf only Girl。我希望推理者推断安娜有这种新类型，但事实并非如此 我将Inverse functional属性添加到isPar

让@表示由下面右侧定义的二进制布尔运算符： p@q=（p^q） （b） 运算符集{@，，}完整吗？详细解释 （c） 通过归纳法证明，单个命题变量p中仅使用布尔运算符@（或根本不使用运算符）的任何命题公式都是等价的 对真值False或对单个命题变量p。解释。（b）是 （p@q）=（p&~q）=~p|q=p->q p@~q=p&~q=p&q （~p@q）=~（p&~q）=~p | ~~q=p | q （c） 归纳证明可能如下所示： 基本情况：p相当于p，而p@p是假的，因为p&~p是矛盾的 归纳

假设我有一个向量值[6:0]和一个输入向量输入[3:0]。问题是我想根据输入值将值向量中的位数设置为1，例如： 输入=0011（12月3日），然后值=000111（将3位设置为1） 输入=0101（12月5日），然后值=011111（将5位设置为1） 因为我们可以很容易地做到这一点，只有当值处于常量时，但在这里它是运行时变化的。有什么办法可以解决这个问题吗？这里没有必要选择一个范围 wire [3:0] input; wire [7:0] shifted; wire [6:0] value; /

我有一个简单的定理，我想用案例证明。下面给出了一个例子 Goal forall a b : Set, a = b \/ a <> b. Proof intros a b. ... 所有a b的目标：设定，a=b\/a b。 证明 介绍a b。 ... 我将如何着手解决这个问题。那么，我究竟如何使用等式的两个可能值（真或假）来定义案例证明呢 任何帮助都将不胜感激。 谢谢，我很确定，Sets的相等性在Coq中是不可判定的。原因（据我有限的理解）是它不是一个归纳定义的集合（因此，您

我很难理解怎么做 想象一下，我有3头驴子，每头驴子都有一块自己喜欢的布，在自己喜欢的操场上玩耍 如果我给这些驴子一个约束，哪一个操场可能是它最喜欢的操场，比如操场A、B或C，或者甚至通过一个提示，比如驴子汉弗莱最喜欢的布料肯定不是T恤，我该怎么做呢 也就是说，到目前为止我的想法是 cloth(tshirt). cloth(socks). cloth(hat). playground(a). playground(b). playground(c). donkey(alphred). do

我将用一个例子来说明 H : R -> P -> Q H0 : R 次级目标： (Q -> P) \ / (P -> Q) 所以我的问题是如何提取（p->Q）。我已经有R了，但当我有 “在H0中应用H”，它评估所有内容并给出Q。您可以执行以下任一操作： specialize (H H0). 将H替换为H:p->Q，或： pose proof (H H0) as H1 介绍H1:p->Q 您还可以继续： right. exact (H H0). 您可以执行以下任

如果我将4位输入分段为r x y z，其中如果输入为8，则4位将为1 0 1。我知道r和z必须有一个and门，但无法找到一种让XY工作的方法。我画了一张真值表，发现 1001 1011 10101 1 必须全部等于1才能满足所放置的条件。 感谢您的帮助。x和y在这种情况下并不重要，因为每个可能的答案都有x和y变量的组合。所以这个电路的最小表达式是r和z 这是一个很好的练习，看看为什么是r和z和（（x和y）或（x'和y）或（x'和y'）或（x'和y'））。也是回路的有效表达式。试着看看为什么我

我只是一个Cobol编程的新手，我必须挑战自己在循环中做一个练习循环 我的输出是 JOHN.SMITH 5 5 4 3 2 1 ********** JOHN.SMITH 4 4 3 2 1 ********** . . . JOHN.SMITH 1 1 ********** 这是我的代码，我无法打印出来，我正在考虑我的问题。多谢各位 *----------------------------- IDENTIFICATION DIVISION. *---------

我试图为离散数学作业设计一个逻辑门解决方案。 问题是：“在核电站中，有4个传感器用于指示电站中的各种警告。这些传感器是 容易产生错误警告，所以我们想要设计一个逻辑电路，其输出仅在at时为on（T） 至少有两个传感器在（T）上。为了节省成本，我们希望设计的电路具有尽可能少的逻辑门 （和或不）是可能的。” （a） 设计一个与规格匹配的逻辑门。 （b） 使用相应的逻辑命题来描述您设计的逻辑电路。 （c） 生成真值表，以验证电路是否按要求运行 到目前为止，我得到了这个 但我认为这是不对的 有人愿意检查一

我想用CoqIDE证明正则语言的定理 我需要将“a”| |“b”中的假设H1:s1\解构为“a”中的H2:s1\而不创建额外的子目标 我使用了inversion H2策略，但它创建了额外的子目标。那么，是否有可能在不创建额外子目标的情况下解构假设 3 subgoals w : word H : w \in ("a" || "b");; "c" s1, s2, s3 : list ascii H1 : s1 \in "a" || "b" ______________________________

给我猜这个谜语。。。在while（$row=mysql\u fetch\u assoc（$result）和$runningOK）循环中，如果使用PHP&&操作符代替和，那么mysql\u fetch\u assoc会严重失败，运行时只返回数字1 我已经试过了mysql\u fetch\u array（），但仍然存在1问题。只有当且仅当我将&替换为和时，才会返回正确的行，就像当前的while语句一样 为了确保这一点，我将调试语句放在了前面、里面和后面。我想知道这是PHP的怪癖还是我无法解释的原因

我们正在寻找一种方法，以直观的方式相互描述特定模块或应用程序本身的逻辑流。我经常在这里和那里偶然发现不同的方框图，但仍然不确定这是否是某种标准，是否有特定的名称。在这种情况下，其他团队或公司通常使用什么方法？UML包含一些与您所寻求的匹配的图表类型 您可以使用Dia或Microsoft Visio创建流程图。虽然迪亚是免费的，而且相当体面

一个规划问题需要满足哪些条件才能通过动态规划得到解决？为了找出答案，你做了什么推理 一旦您得出结论，它确实有一个DP解决方案，那么您将如何继续创建一个解决该问题的DP算法？创建这样的算法背后的逻辑是什么？一个问题必须满足两个条件才能通过动态规划解决。引用第15章： 最优子结构如果问题的最优解包含子问题的最优解 当递归算法重复访问同一个问题时，我们说优化问题有重叠的子问题 在第8章中，作者描述了通过动态规划解决问题所涉及的三个步骤： 将答案表述为递归关系或递归算法 证明你的循环所采用的不同参数值的

两者的区别是什么 if mi.(j) = false && m.(j).(i) = false 及 if not (mi.(j) && m.(j).(i)) 因为我认为它有相同的含义，但当我运行代码时，它给出了不同的答案。说mi.（j）是真的，m.（j）。（I）是假的 mi.(j) = false && m.(j).(i) = false true = false && false = false false &&

我尝试过将所有形式的知识建立一个层次结构，包括物理对象、数字、过程等。如何改进？像“杰克正坐在树上创作音乐”这样的句子怎么会出现在这个图表中呢？杰克会走进人类，走进树的地方，但音乐会去哪里呢？ 我在这个领域没有任何经验，但从纯语言学和逻辑的角度来看，你可以把“生产”完全投入到工作中去。或者把你的“对象”分成不同的种类，比如“产品”>{“技术”、“医疗”…}等和艺术品”->{“音乐”、“绘画”…} 但是，你可以说，这是一个更具体的一点，只是为了适应这个句子 我对你的问题没有直接的答案，但我想我知道

我无法通过逻辑等价来简化逻辑表达式。表达方式如下： ~A~C~D + AB~C~D + ABD + ABC~D + A~B~C~D 使用卡诺图，我可以将表达式简化为AB+~C~D 问题在于我试图使用逻辑等价来减少表达式。我尝试过两种方法： ~A~C~D + AB( ~C~D + D + C~D ) + A~B~C~D ~A~C~D + AB( D + ~D(~C + C) ) + A~B~C~D ~A~C~D + AB( ~D + D ) + A~B~C~D ~A~C~D + AB + A~B

我是SugarLogic和SugarCRM的新手。我试图给一个字段添加逻辑。基本上我有一个增值税复选框字段，如果勾选了，我希望总成本字段乘以23%。如果未勾选，则不添加增值税。我将感谢给予的任何帮助。下面的代码对我不起作用 ifElse(equal($vat_applicable,true),multiply($total_cost,0.023)) 谢谢x因为这是一个“if/else”的SugarLogic函数，所以您需要完成公式的其余部分（else）。将此公式添加到“总成本”字段 ifEls

有谁能给我指一下使用J-K触发器的并行输入/串行输出移位寄存器的逻辑图，或者告诉我如何创建它？我发现图表使用D类型，但没有J-K类型。 任何帮助都将不胜感激 谢谢。如果您已经有使用D触发器的电路，请使用它！。D触发器只是一个jk触发器，在k输入之前有一个反相器，j+k连接在一起 例如，拿你的jk触发器： +-----+ |j Q| | | |Clk | | | |k ~Q| +-----+ +-----+ D------|j Q|----

我的Coq证明有问题，希望得到一些帮助和指导。我的部分定义如下： Inductive Architecture : Set := | Create_Architecture (Arch_Name: string)(MyComponents: list Component) (MyConnections: list Connector) with ... with Connector : Set := | Create_Connector (Con_Name:string) (cl

如果A与B相关 并且B具有dataproperty:existence={true，false} 如何用manchester owl语法（对于protege）表示子集，其中： 是A型和 A的每个isRelatedTo都有值“true”我想你要问的是，如何为其成员具有typeA且其isRelatedTo属性的所有值均为true^^xsd:boolean的类编写类表达式。这很简单： A和（仅与相关{true}） 在Protégé中，它看起来是这样的： 我不明白表达式中是如何涉及B的，以及属性“exi

首先是一些术语（借用自第14页）： 正的程序是有错误的程序 负片程序是没有错误的程序 因此有四种类型的程序： 一个阳性程序，分析为阳性->真阳性（TP） 阳性程序，分析为阴性->假阴性（FN） 阴性程序，分析为阳性->假阳性（FP） 负程序，分析为负->真负（TN） 如果系统从不接受积极的程序，则该系统是健全的 如果系统从不拒绝负面程序，则系统是完整的 所以从我上面写的判断： A complete system accepts FN and TN programs. A sound syste

我正在读B.罗素的《数学哲学导论》一书，并试图将这些定义形式化。然而，我在证明书中提出的两个相似性定义之间的等价性时遇到了困难 这是从书中引用的文本 1直接定义相似性： 我们可以将两个关系p和Q定义为“相似”，或者定义为 “相似性”，当一个关系的领域是 P的域，其逆域是Q的域，且 这样，如果一个术语与另一个术语有P的关系，则 一个与另一个的相关关系是Q，反之亦然 反之亦然 以下是我对上述文本的理解： Inductive similar {X} (P : relation X) (Q : rela

我正设法解决这个问题。希望有人能帮忙 想象一下，我们有一个叫做混乱的程序 显然这是伪代码，所以不会运行 对于任何程序p，我们都可以运行Virus FinderP。如果是病毒，则结果为真；如果不是，则结果为假 感染可执行文件是一个模块，它扫描内存中的可执行程序，并在这些可执行文件中复制程序混乱 对于病毒查找器的实际功能，我们没有任何指导，只是如果输入是病毒，它将返回True；如果输入不是病毒，它将返回False 是否有可能确定病毒查找器是否能正确判断混淆是否为病毒？我最初的想法是不行。但是我不能理

证明： （（a∧（b）∨ （不是∧ b） )∧ （（不是c）∧ 不是（d）∨ （不是（c）∨ d） ）等于b∧ 不是c∧ 不是d 我的建议是在开始时使用摩根定律： （（a∧（b）∨ （不是∧ b） )∧ （（不是c）∧ 不是（d）∨ （不是c∧ 非d））等于b∧ 不是c∧ 不是d 有人能帮我吗？这个表达式的形式是x∧ y其中 x = (a∧b) ∨ (not a ∧ b) = (a ∨ not

有人能帮我解决以下问题吗 我正在努力解释这个问题中的所有4个选项 我尝试将所有选项转换为CNF，但当我尝试进行解释时，这对我来说没有多大意义。翻译： (A) There exist x and y such that x is John's brother and y is John's brother and x = y. <=> John has a brother. (B) If there exists x such that x is John's b

我想应用这个定理： 其中，a b n应具有类型Z 我的目标中有一个子表达式（a+b）mod 3，带有ab:nat rewrite Zplus_mod给出错误未找到匹配的子项 用（a:=a）重写Zplus_mod会给出一个错误“a”的类型为“nat”，而预期的类型为“Z”。 由于自然数也是整数，如何对nat参数使用Zplus_mod定理？您不能应用此定理，因为在使用自然数的上下文中，符号mod指的是自然数nat.modulo上的函数，当您指的是Z类型的整数时，符号mod指的是Z.modulo 使用