试题试做

共 10557 道。先按知识点进入练习，也可以从下面的最新题目直接试做。

最新试题 · 第 101 页

关于向线程池提交任务的 execute() 与 submit()，正确的有？

拒绝策略 CallerRunsPolicy 的行为是？

shutdown() 与 shutdownNow() 的主要区别是？

newFixedThreadPool 内部使用无界的 LinkedBlockingQueue，其主要风险是？

编辑距离满足三角不等式，即 d(s1,s3) ≤ d(s1,s2) + d(s2,s3)。

用动态规划求两条序列的最优比对时，下列说法正确的有？

只需求出两串编辑距离的数值时，可用「滚动数组」优化 DP，其优化目标是？

Smith-Waterman 算法相对 Needleman-Wunsch 的关键改动是？

编辑距离动态规划中，dp[i][j] 通常表示的含义是？

即使程序通过了形式化证明，若需求规格本身写错了，程序仍可能不满足用户的真实需求。

与测试相比，形式化验证的优势有？

Hoare 逻辑中三元组 {P} S {Q} 表达的含义是？

程序验证中「完全正确」与「部分正确」的关系是？

Knuth 为鼓励读者报告《计算机程序设计艺术》中的错误，采用的著名做法是？

在 SQLx 中管理数据库事务时，下列关于其事务行为的说法正确的有？

SQLx 框架目前原生支持的数据库产品包括哪些？

SQLx 中执行查询并要求恰好返回一行、否则报错的常用方法是？

可能导致项目被"错误地放行（Go）"的认知偏误包括？

在 Go/No-Go 评审前预先设定量化的决策标准（如疗效下限、安全性上限），主要好处是？

"阶段门（stage-gate）"研发管理流程指的是？

试题试做第101页 - 生命科学与前沿科技学习平台 | 必学必会