每日文摘
每日教程
生活就像海洋,只有意志坚强的人,才能到达彼岸。
每日文摘
每日教程
首页
名言
文案
人物
标签
著作
推荐
搜索
—— 请按键盘
空白键
开始游戏 ——
系统
遗传密码证明了生物系统的复杂性和优雅性。
The genetic code is a testament to the complexity and elegance of biological systems.
马歇尔·尼伦伯格
当我们允许种族、宗教或经济地位的偏见渗入司法系统时,我们不仅背叛了法律的理想,也削弱了整个社会赖以生存的道德基础。
厄尔·沃伦
一个人的思想,不动笔就不大会有系统;日子久了,也就放过去了,甚至于忘了,岂不可惜!
丁玲
逐步归纳永恒和普适的原则,对其进行测试,将其系统化。
瑞·达利欧
免疫系统就像一把双刃剑;它可以对抗癌症,但也需要被控制。
"The immune system is like a double-edged sword; it can fight cancer but also needs to be controlled."
詹姆斯·艾利森
理解免疫系统就是理解解锁新癌症疗法的关键。
"Understanding the immune system is understanding the key to unlocking new cancer therapies."
詹姆斯·艾利森
免疫系统是抗击癌症的关键。
"The immune system is the key to fighting cancer."
詹姆斯·艾利森
在二战之前,生活是简单的。在那之后,我们有了系统。
Life was simple before World War II. After that, we had systems.
玛丽亚·斯皮罗普洛
我们需要超越设备本身,专注于它实现的生态系统。
We need to think beyond the device and focus on the ecosystem it enables.
黛博拉·埃斯特林
二战前生活很简单。之后,我们有了系统。
Life was simple before World War II. After that, we had systems.
玛丽亚·克拉维
抽象是管理大型软件系统复杂性的关键。
Abstraction is the key to managing complexity in large software systems.
芭芭拉·利斯科夫
在分布式系统中,关键挑战是在不可靠的组件之间达成共识。
In distributed systems, the key challenge is achieving consensus among unreliable components.
莫西·瓦尔迪
形式系统的发展彻底改变了我们对数学的理解。
The development of formal systems has revolutionized our understanding of mathematics.
戴纳·斯科特
真理的概念在任何足够强大以包含算术的形式系统中都是不可定义的。
The notion of truth is not definable in any formal system that is strong enough to include arithmetic.
戴纳·斯科特
如果你想理解一个系统,试着改变它。
If you want to understand a system, try changing it.
莱斯利·兰波特
在量子力学中,测量的行为可以改变被测量系统的状态。
In quantum mechanics, the act of measurement can change the state of the system being measured.
彼得·肖尔
形式化方法不是银弹,但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
约瑟夫·斯法基斯
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
约瑟夫·斯法基斯
验证不仅仅是发现错误;它关乎理解系统为何以某种方式工作。
"Verification is not just about finding bugs; it's about understanding why the system works the way it does."
约瑟夫·斯法基斯
系统设计的未来在于将形式化方法与传统工程实践相结合。
"The future of system design lies in the integration of formal methods with traditional engineering practices."
约瑟夫·斯法基斯
«
1
2
3
4
5
6
7
8
9
10
...
37
38
»