技术栈
pl
Blockbuater_drug
4 天前
数据库
·
pl
·
pichemist
·
peptide-tools
·
阿斯利康
·
多肽理化性质
·
等电点
Peptide-Tools: 阿斯利康开源工具用于多肽性质预测-多肽等电点
本文介绍阿斯利康团队近日公开的开源多肽分析平台——Peptide-Tools Web Server的线上使用及本地部署。本文是第一部分，介绍多肽等电点的相关研究和Peptide-Tools预测等电点（pl）的应用。
jz_ddk
2 个月前
fpga
·
ps
·
zynq
·
pcap
·
pl
[实战] Zynq-7000 PCAP接口完全指南
在Zynq-7000 SoC架构中，处理器配置访问端口（PCAP） 是连接PS（处理系统）和PL（可编程逻辑）的关键桥梁。与传统的JTAG配置方式相比，PCAP提供了更高的配置速度和更灵活的访问能力，使得PS能够动态地控制和监控PL配置，实现真正的软件定义硬件。
柠檬叶子C
2 年前
pl
·
pl理论
·
编程语言理论
·
程序语言理论
【PL理论深化】(2) 语法分析 (Syntax) | 编程语言的语法结构：文法 | 语义结构 (Sematics)
目录0x00 语法分析（syntax analysis）0x01 编程语言的语法结构：文法（grammar）
柠檬叶子C
2 年前
pl
·
pl理论
·
编程语言理论
·
程序语言理论
【PL理论】(33) 类型系统：推导树证明 φ ⊢ e∶t | 继续定义关系：γ ⊢ e∶t
目录0x00 推导树证明 𝝓 ⊢ 𝒆 ∶ 𝒕0x01 继续定义关系：𝚪 ⊢ 𝒆 ∶ 𝒕对于程序 ，如果我们能画出一个推导树来证明：
柠檬叶子C
2 年前
pl
·
pl理论
·
程序语言设计
【PL理论】(23) 函数式语言：let-in 示例的分解 | 谁在使用动态作用域？
目录0x00 let-in 示例的分解0x01 谁使用动态作用域？让我们详细检查这个示例的评估步骤，回忆一下 let-in 语义的推理规则：
我是有底线的