问题
1. SAT问题
问题P为若干个子句的逻辑与,每个子句是若干变量的逻辑或(P是合取范式/CNF),问是否存在一组输入,使得P为真。
根据对偶性,这一问题可以表述为:命题S是若干子句的逻辑或,每个子句是若干变量的逻辑与(S是析取范式/DNF),问S是否为恒真命题。
渺渺苍天,星光烁烁,美丽家园球外乡
问题P为若干个子句的逻辑与,每个子句是若干变量的逻辑或(P是合取范式/CNF),问是否存在一组输入,使得P为真。
根据对偶性,这一问题可以表述为:命题S是若干子句的逻辑或,每个子句是若干变量的逻辑与(S是析取范式/DNF),问S是否为恒真命题。
原文:
https://www.fourmilab.ch/documents/pluto/
在二十世纪五十年代和六十年代初期,对可控核能(而不是核武器的爆炸)的应用让以前难以想象的事情成为可能,变成了简单的工程问题。“冥王星/Pluto”项目[……]
本文系翻译,原文地址:
https://fas.org/nuke/guide/usa/icbm/sm-62.htm
译文中对单位做了转换。
SM-62“蛇鲨”(Snark)是美国在1959~1961年装备的一种洲际巡航导弹。
文末有译者额外搜集的图片。
本文为俄罗斯杂志《航空大师》(Авиамастер)于2000年3月刊登载的一篇文章,原题为《空战中的女性》(ЖЕНСКИЕ ЛИЦА——ВОЗДУШНОЙ ВОЙНЫ ),主要介绍二战中苏联第586防空歼击机团的故事。原文见:
《流体力学》(上)(周光埛等,第二版)的第3章给出了这个方程的推导,这里列一下最终结果:
[latex]\begin{align*}
\boxed{
\frac{\partial\rho}{\partial t}+\frac{\partial(\rho u)}{[……]
心血来潮看了一下1998年的迪士尼动画电影《花木兰》,发现……由于导演是美国人,所以只要接受了“历史背景是近代欧洲”这个设定,在军事方面就毫无违和感!
将军推荐男主担任新组建部队指挥官。看台词,仔细感受一下。“No.1 in his class”,这是军校啊同志们。
男主[……]
【本报讯】北京大学文法理工医各学院部分系级实行精简课程,以提高师生教与学的效率,并推动了课程改革。北大本期开学以来,由于学生普遍高涨的学习热情与部分学生的好高鹜远,以致选修学分数目较之[……]
注:这篇文章是本人“太阳活动与人类社会”课程的期末论文。
假设你是美国总统。当你正在享用晚餐的时候,几名特勤局的彪形大汉冲进来,把你拖进地下会议室。国防部长告诉一脸茫然的你, 北美防空司令部的所有远程预警雷达被不明干扰源干扰,已全部瘫痪;空军的全部无线电通讯中断,正在执行空中警戒巡逻任务的[……]
这篇文章是我学习《COMPUTATIONAL FLUID DYNAMICS: The Basics with Applications》(作者John D. Anderson, Jr.)的心得体会。
这里的Quasi-1D Nozzle Flow是书上第七章的内容:用MacCorm[……]