For those who are tired doing the laundry, Samsung has found an answer: a washing machine that can tell you when your laundry is done via a smartphone app(application).

    Strange though it may seem — “my wife already does that” was a common response among attendees viewing the device when it was introduced at the Consumer Electronics Show (CES) this week — Samsung is just one of many appliance makers racing to install (安装) a large number of internet-connected features in machines in an effort to make them “smart”.

    Last year, it was a refrigerator that tweeted. This year, it's Wi-Fi-enabled laundry machines and fridges that can tell you when your groceries are going bad.

    The washers and dryers, available starting in the spring, connect to any smartphone through a downloadable application. The phone can then be used as a remote control, so the machines can be turned on and off while their owners are at work or on the bus.

    Samsung says it's not just something new — the app connection actually has some practical uses.

     “If you started to dry clothes in the morning and forgot to take them out, you can go to your phone and restart your dryer for the time when come home, so your clothes are refreshed and ready to go,” said spokesperson Amy Schmidt.

    The company also says that with electricity rate(电价)varying depending on the time of day, more control over when the machines are used can help save money.

    Perhaps, but what they will probably really accomplish is what all good technologies do —enable laziness. Rather than getting up to check on whether the laundry is done, users will instead monitor it on their phones while watching TV.

将a²＋b²＋2ab＝(a＋b)²改写成全称命题是(  )

阅读下面文字，完成下题。

清代词流派概述

    清代的词坛被誉为词林发展史上的一个“中兴时期”，这种说法并不意味着清词只是宋词的简单重复或再现，而是以一种经过了时代浸染和词自身蜕变之后的新发展。最值得注意的就是词家辈出而又流派纷呈。

    流派是指具有共同的或者相似的理论主张，以及相同或相似的创作风格的若干作家组成的一个团体或者群落，流派的产生是文学繁荣的标志。清代词坛上的流派纷呈，是建立在对词这种文学样式的群体认同基础之上的，或者说到了清代，词才最终确立了自己与诗、文一样的独立地位，才真正从创作实践到理性认同都进入了成熟时期。而地域是文学流派形成的客观环境因素，清代词坛的风格流派便呈现出一种很明显的地域性特征。

    从明崇祯初年到清顺治朝的四十多年的时间，是以陈子龙、李雯等为领袖的云间词派盛行的时期，云间属于当时的松江府（今上海松江）。这一派词人标举南唐、北宋词，称他们的创作是“皆境由情生，辞随意启，天机偶发，元音自成，繁促之中尚存高浑，斯为最盛也”（陈子龙《幽兰草·题词》）。他们标榜天机自然的高浑境界，追求典雅婉妍的风格旨趣，但因纠缠于传统的“词为艳科”的观念之中，有意同当时动荡的社会局势保持距离，所以创作实践与理论主张并非相一致。虽然如此，云间词派还是开启了一个词风转变的历史时代。另外，在明末清初的词坛上还有浙江嘉善地区的“柳州词派”，以及以王世祯为首的广陵词人群体，后者是清代第一次形成的大规模的词人流派。

    从清顺治七年到康熙二十七年之间的四十多年，为阳羡词派活跃的时期。这是清初另一个规模更大的词学流派，将陈维崧作为自己的宗主和领袖。这一词学流派开始从观念上反拨“词为艳科”“小道”的传统偏见，在理论上主张崇情主意、不拘一格，把词提到与“经”“史”并驾齐驱的地位。从创作实践来看，他们把“哀民生之多艰”和“惟歌生民病”的诗学传统，运用到词的创作之中，用民生疾苦和家国之痛的切肤感受，代替词人风流的“浅斟低唱”和“偎红倚翠”，从内容的深厚和广博上提升了词的格调。可以说，到了这一词派出现，清词的嬗变才真正形成。

    正值阳羡派衰落和浙西词派渐兴之间，在北京的词坛上活跃着被称为“京华三绝”的曹贞吉、纳兰性德和顾贞观。纳兰的《饮水词》以才气运词，凄绝冷艳的格调辅以深厚真挚的感情，得南唐二主词之情致，其悼亡篇可称千古一绝，读之令人心碎肠断。他们三人虽然没有立帜结派，但走的都是“独抒性灵”的创作道路。

    康熙朝时，词坛上再次诞生了另外一个影响更大、延续时间长达百年之久的词派，这就是以朱彝尊为旗帜的浙西词派。浙西词派的词人实际上并不完全是浙江人。朱彝尊作为该派的宗主，其词既有愤然慷慨之作，又有轻逸流丽之篇，或重情的渲染，或主景的描绘，多有足以传世的不朽篇章。

    嘉庆、道光而后，清代词坛上重新出现一个较大的词派——常州词派，这一词派也长达百年之久，但其中堪称大家的词人并不是很多。张惠言是此词派的宗主。

    道光咸丰以后的清代词坛，在常州词派以外产生了不少的词作名家，如龚自珍、项鸿祚、谭献等。他们把那个动荡不安的社会局势纳入到词的创作之中来，就像杜甫的“诗史”一样，创作出了一批堪称是“词史”的作品。还有所谓“清末四大家”的王鹏运、朱孝臧、郑文焯和况周颐，他们的作品成为清代词坛即将衰落之前的一丝回光返照。

（节选自张毅《词林观止》前言，有删改）