In this task, you are given a paragraph in Chinese, and your task is to construct a question in Chinese from the given passage. Construct a question in such a way that (i) it is unambiguous, (ii) it is answerable from the passage, (iii) its answer is unique, and (iv) the answer is a continuous text span from the paragraph. Avoid creating questions that (i) can be answered correctly without actually understanding the paragraph and (ii) uses the same words or phrases given in the passage. 

翠池是台湾雪山山脉的高山湖泊，位于雪山主峰西方约一公里，雪山七号圈谷之下，雪霸国家公园境内，地属苗栗县泰安乡，为大安溪之源。翠池所在地海拔高度3520公尺，是台湾高度最高的天然湖泊。翠池在泰雅语中，名为「Siron Hagai」，意为石头水池。翠池池形呈椭圆状，长约40公尺，宽约20公尺，受降雨影响，水量不定；丰水期时池水可深达1公尺，若逢枯水，则只有中央的洼地存有积蓄，但终年不涸，冬季时亦不结冰。池底铺满板岩碎块，周遭则是台湾面积最大的玉山圆柏纯林，林木高大，有别于其他高山地区矮小匍匐的丛灌景观。翠池北方有一处开口，池水聚流而下，是为雪山溪；溪水与大雪溪、马达拉溪等相汇集后，注入大安溪。东北处，有两道往西北方延伸的凸提，各长约50、60公尺，高3公尺，雪山溪穿过两道凸提，形成小峡谷。翠池南方则是碎石坡，为雪山七号圈谷，涵养地下泾流，是翠池水的来源。由于翠池南有圈谷坡，北有凸提，因此推断翠池可能是由冰河作用侵蚀所形成冰斗湖。翠池之上、下各有上翠池、下翠池二池，上翠池为季节性小沼，干季无水。
翠池地属何处？

阿里郎节是朝鲜官方举办的大型团体操表演活动。通常不定期地在首都平壤的五一体育场举行。阿里郎节以大型团体操的形式展现朝鲜的历史，约有六到十万人参加演出。它通过场面宏大的舞蹈讲述朝鲜经历的革命历程，其 中包括金氏父子的光辉事迹，以及宣传朝鲜建国后的建设成就和当代风貌。在主席台对面的观众席上另有数千人协助演出，他们通过变换手中的彩色纸板组合成壮观的演出背景并打出各种标语。2007年阿里郎节曾在四五月间上演，而原定秋季的演出因洪灾被取消。2008年的演出计划在8月1号至9月10号间举行。演出会在一些情况下向韩国及西方国家的公民开放观看。另外类似的活动也会在金日成体育场举行。
2007年原定于秋季演出的阿里郎节为何没有举行？

周以真（英文名Jeannette M. Wing，），美国计算机科学家。卡内基梅隆大学教授。美国国家自然基金会计算与信息科学工程部助理部长。ACM和IEEE会士。她的主要研究领域是形式化方法、可信计算、分布式系统、编程语言等。1993年她与图灵奖得主芭芭拉·利斯科夫合作，提出了著名的Liskov代换原则，是面向对象基本原则之一。1979年6月在麻省理工学院获得学士和硕士学位，导师中有图灵奖得主Ronald Rivest。1983年获得该校的博士学位。1983—1985年，在南加州大学任助理教授。1985年起，任教于卡内基梅隆大学。2004—2007年间，曾担任该校计算机系主任。2006年3月，在美国计算机权威期刊《Communications of the ACM》杂志上给出，并定义的计算思维（Computational Thinking）。认为：计算思维是运用计算机科学的基础概念进行问题求解、系统设计、以及人类行为理解等涵盖计算机科学之广度的一系列思维活动。周以真教授曾担任卡内基—梅隆大学计算机学院院长、美国国家科学院计算机科学与通讯部门主席、美国国防部高级研究计划署（DARPA）信息科学与技术委员会、美国国家科学基金科学顾问委员会以及Sloan 研究基金程序委员会的成员。2007年她出任美国国家科学基金会（NSF）计算机与信息科学与工程部（CISE）副部长，负责管理NSF在信息科学和计算机研究领域的基金。CISE每年的预算高达5.27亿美元，占整个美国联邦政府对计算机科学研究资助经费的86％。

1993年周以真与利斯科夫合作提出了什么原则？