集合、函数与图灵机基础解析

1、分析以下集合的形式化描述,以便理解它们包含哪些元素。用简短的英文描述来概括每个集合。a. {1, 3, 5, 7, … } b. { … , -4, -2, 0, 2, 4, … } c. {n| n = 2m,其中 m 属于自然数集 N} d. {n| n = 2m,其中 m 属于自然数集 N,且 n = 3k,其中 k 属于自然数集 N} e. {w| w 是由 0 和 1 组成的字符串,且 w 与其反转后的字符串相等} f. {n| n 是整数,且 n = n + 1}

a. The set of all positive odd numbers.
b. The set of all even numbers.
c. The set of all positive even numbers.
d. The set of positive integers that can be divided by both 2 and 3, i.e., the set of positive integer multiples of 6.
e. The set of palindromic strings composed of 0 and 1.
f. The empty set, because there is no integer that satisfies $ n = n + 1 $.

2、写出以下集合的形式化描述。a. 包含数字1、10和100的集合;b. 包含所有大于5的整数的集合;c. 包含所有小于5的自然数的集合;d. 包含字符串“aba”的集合;e. 包含空字符串的集合;f. 不包含任何元素的集合。

  • a. {1, 10, 100}
  • b. {n | n ∈ Z 且 n > 5}
  • c. {n | n ∈ N 且 n < 5}
  • d. {"aba"}
  • e. {ε}
  • f.

3、设集合A为{x, y, z},集合B为{x, y}。a. A是B的子集吗?b. B是A的子集吗?c. A和B的并集是什么?d. A和B的交集是什么?e. A和B的笛卡尔积是什么?f. B的幂集是什么?

  • a. 否
  • b. 是
  • c. {x, y, z}
  • d. {x, y}
  • e. {(x, x), (x, y), (y, x), (y, y), (z, x), (z, y)}
  • f. {∅, {x}, {y}, {x, y}}

4、设集合X为{1, 2, 3, 4, 5},集合Y为{6, 7, 8, 9, 10}。一元函数f: X→Y和二元函数g: X × Y→Y由以下表格描述。n f(n) 1 6 2 7 3 6 4 7 5 6 g 6 7 8 9 10 1 10 10 10 10 10 2 7 8 9 10 6 3 7 7 8 8 9 4 9 8 7 6 10 5 6 6 6 6 6 a. f(2)的值是多少?b. f的值域和定义域分别是什么?c. g(2, 10)的值是多少?d. g的值域和定义域分别是什么?e. g(4, f(4))的值是多少?

a. $ f(2) $ 的值是 7。

b. $ f $ 的定义域是 $ {1, 2, 3, 4, 5} $,值域是 $ {6, 7} $。

c. $ g(2, 10) $ 的值是 6。

d. $ g $ 的定义域是 $ {1, 2, 3, 4, 5} \times {6, 7, 8, 9, 10} $,值域是 $ {6, 7, 8, 9, 10} $。

e. 因为 $ f(4) = 7 $,所以 $ g(4, f(4)) $ 即 $ g(4, 7) $ 的值是 8。

5、对于每个部分,给出一个满足条件的关系。a. 自反且对称但不传递;b. 自反且传递但不对称;c. 对称且传递但不自反。

a. 定义集合 A = {1, 2, 3} 上的关系 R = {(1, 1), (2, 2), (3, 3), (1, 2), (2, 1), (2, 3), (3, 2)}。

- **自反性**:对于集合 A 中的每个元素 x,都有 (x, x) ∈ R,满足自反性。
- **对称性**:若 (x, y) ∈ R,则 (y, x) ∈ R,满足对称性。
- **不传递性**:(1, 2) ∈ R 且 (2, 3) ∈ R,但 (1, 3) ∉ R,不满足传递性。

b. 定义集合 A = {1, 2, 3} 上的关系 R = {(1, 1), (2, 2), (3, 3), (1, 2)}。

- **自反性**:对于集合 A 中的每个元素 x,都有 (x, x) ∈ R,满足自反性。
- **传递性**:若 (x, y) ∈ R 且 (y, z) ∈ R,则 (x, z) ∈ R,这里不存在需要验证传递性的情况,满足传递性。
- **不对称性**:(1, 2) ∈ R,但 (2, 1) ∉ R,不满足对称性。

c. 定义集合 A = {1, 2, 3} 上的关系 R = {(1, 2), (2, 1), (2, 3), (3, 2), (1, 3), (3, 1)}。

- **对称性**:若 (x, y) ∈ R,则 (y, x) ∈ R,满足对称性。
- **传递性**:若 (x, y) ∈ R 且 (y, z) ∈ R,则 (x, z) ∈ R,满足传递性。
- **不自反性**:(1, 1) ∉ R,(2, 2) ∉ R,(3, 3) ∉
内容概要:本文详细记录了对一个Android ARM64静态ELF文件中字符串加密机制的逆向分析过程。该ELF文件的所有字符串均被加密,无法通过常规strings命令或IDA直接识别。作者通过分析发现,加密字符串存储在.rodata段,其解密所需信息(包括密文地址、长度和16位密钥)保存在.data.rel.ro段的40字节描述符中。核心解密函数sub_10F408采用自反的双pass流密码算法,结合固定密钥KEY_TERM(由.data段24字节数据计算得出),实现字节级非线性、位置长度相关的加密。文章还复现了完整的Python解密脚本,并揭示了该保护机制的本质为代码混淆而非强加密,最终成功批量解密全部956条字符串,暴露程序真实行为,如shell命令模板、设备标识篡改、网络重置等操作。此外,文中还提及未启用的自定义壳框架及其反dump设计。; 适合人群:具备逆向工程基础的安全研究人员、二进制分析人员及对ELF保护技术感兴趣的开发者。; 使用场景及目标:①学习ELF二进制中字符串加密的典型实现方式逆向突破口;②掌握从结构识别、函数追踪到算法还原的完整逆向流程;③理解“绑定二进制”的完整性校验设计及其局限性;④实践编写IDAPython脚本自动化提取解密敏感数据。; 阅读建议:此资源以实战案例驱动,不仅展示技术细节,更强调逆向思维验证方法,建议读者结合IDA调试环境,逐步跟随文中步骤进行动态分析算法验证,深入理解每一步的推理依据。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值