{"id":1060590,"date":"2013-11-01T00:04:00","date_gmt":"2013-11-01T07:04:00","guid":{"rendered":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/?post_type=msr-blog-post&#038;p=1060590"},"modified":"2024-09-25T00:13:41","modified_gmt":"2024-09-25T07:13:41","slug":"21ccc-2013","status":"publish","type":"msr-blog-post","link":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/articles\/21ccc-2013\/","title":{"rendered":"\u8ba1\u7b97\u89e3\u7801\u672a\u6765 \u601d\u60f3\u8de8\u8d8a\u8fb9\u754c&#8211;\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u7b2c\u5341\u4e94\u5c4a&#8221;\u4e8c\u5341\u4e00\u4e16\u7eaa\u7684\u8ba1\u7b97&#8221;\u5927\u4f1a\u5728\u5408\u80a5\u4e3e\u529e"},"content":{"rendered":"\n<figure class=\"wp-block-image size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"681\" src=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-content\/uploads\/2024\/07\/ee25ffa1-1024x681.png\" alt=\"a group of people standing on a stage posing for the camera\" class=\"wp-image-1060593\" srcset=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-content\/uploads\/2024\/07\/ee25ffa1-1024x681.png 1024w, https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-content\/uploads\/2024\/07\/ee25ffa1-300x200.png 300w, https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-content\/uploads\/2024\/07\/ee25ffa1-768x511.png 768w, https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-content\/uploads\/2024\/07\/ee25ffa1-240x160.png 240w, https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-content\/uploads\/2024\/07\/ee25ffa1.png 1093w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p>2013\u5e7411\u67081\u65e5,\u5408\u80a5\u4eca\u5929,\u7531\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662,\u4e2d\u56fd\u79d1\u5b66\u6280\u672f\u5927\u5b66\u8054\u5408\u4e3b\u529e\u7684\u7b2c\u5341\u4e94\u5c4a&#8221;\u4e8c\u5341\u4e00\u4e16\u7eaa\u7684\u8ba1\u7b97&#8221;\u5927\u578b\u56fd\u9645\u5b66\u672f\u7814\u8ba8\u4f1a\u5728\u5408\u80a5\u4e3e\u884c\u3002\u6765\u81ea\u56fd\u5185\u5916\u8ba1\u7b97\u9886\u57df\u7684\u5927\u5e08\u53d7\u9080\u4e0e\u73b0\u573a2000\u540d\u5e08\u751f\u5206\u4eab\u8fdc\u7a0b\u6d78\u5165\u5f0f\u73af\u5883,\u60c5\u611f\u8ba1\u7b97,\u667a\u80fd\u7cfb\u7edf,\u5927\u6570\u636e\u7b49\u9886\u57df\u7684\u6700\u65b0\u7814\u7a76\u6210\u679c\u548c\u672a\u6765\u8d8b\u52bf,\u4ee5\u8ba1\u7b97\u89e3\u7801\u672a\u6765,\u7528\u601d\u60f3\u8de8\u8d8a\u8fb9\u754c\u3002<\/p>\n\n\n\n<p>\u4e2d\u56fd\u79d1\u5b66\u6280\u672f\u5927\u5b66\u6821\u957f\u4faf\u5efa\u56fd\u8868\u793a,&#8221;\u2018\u4e8c\u5341\u4e00\u4e16\u7eaa\u7684\u8ba1\u7b97\u2019\u56fd\u9645\u5b66\u672f\u7814\u8ba8\u4f1a\u662f\u4e9a\u592a\u5730\u533a\u8ba1\u7b97\u673a\u79d1\u5b66\u9886\u57df\u6700\u9ad8\u6c34\u5e73\u7684\u5b66\u672f\u76db\u4f1a,\u5927\u4f1a\u4e3e\u529e\u5341\u4e94\u5e74\u6765\u4e3a\u56fd\u5185\u5916\u8ba1\u7b97\u673a\u79d1\u5b66\u9886\u57df\u7684\u5e7f\u5927\u4e13\u5bb6\u5b66\u8005\u548c\u5b66\u751f\u63d0\u4f9b\u4e86\u4ea4\u6d41\u5b66\u4e60\u7684\u5e73\u53f0,\u4e3a\u63a8\u52a8\u8ba1\u7b97\u673a\u79d1\u5b66\u53d1\u5c55\u505a\u51fa\u4e86\u91cd\u8981\u8d21\u732e\u3002\u4e2d\u56fd\u79d1\u5b66\u6280\u672f\u5927\u5b66\u613f\u610f\u4e0e\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u4e00\u540c\u9762\u5411\u672a\u6765,\u7ee7\u7eed\u81f4\u529b\u4e8e\u63a8\u52a8\u8ba1\u7b97\u673a\u79d1\u6280\u7684\u524d\u6cbf\u521b\u65b0\u3002&#8221;<\/p>\n\n\n\n<p>\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u9662\u957f\u6d2a\u5c0f\u6587\u535a\u58eb\u8868\u793a,&#8221;\u4e2d\u56fd\u79d1\u5b66\u6280\u672f\u5927\u5b66\u662f\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u5728\u4e2d\u56fd\u5408\u4f5c\u6700\u60a0\u4e45,\u6700\u5e7f\u6cdb,\u4e5f\u6700\u6df1\u5165\u7684\u5b66\u672f\u673a\u6784\u3002\u4eca\u5e74\u9002\u9022\u4e2d\u56fd\u79d1\u5b66\u6280\u672f\u5927\u5b6655\u5468\u5e74\u6821\u5e86\u4ee5\u53ca\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u5efa\u966215\u5468\u5e74\u3002\u591a\u5e74\u7684\u5bc6\u5207\u5408\u4f5c\u4f7f\u53cc\u65b9\u5728\u4eba\u624d\u57f9\u517b,\u79d1\u7814\u5408\u4f5c\u548c\u5b66\u672f\u4ea4\u6d41\u51e0\u4e2a\u65b9\u9762,\u90fd\u53d6\u5f97\u4e86\u4e30\u7855\u6210\u679c,\u76f8\u4fe1\u53cc\u65b9\u7684\u5408\u4f5c\u5c06\u5728\u672a\u6765\u5f97\u5230\u8fdb\u4e00\u6b65\u7684\u4f20\u627f\u548c\u5347\u534e\u3002<\/p>\n\n\n\n<p>\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u81ea1998\u5e74\u5efa\u9662\u4ee5\u6765\u4fbf\u4e0e\u4e2d\u56fd\u79d1\u5b66\u6280\u672f\u5927\u5b66\u5efa\u7acb\u4e86\u5bc6\u5207\u7684\u5408\u4f5c,\u53cc\u65b9\u5728\u4eba\u624d\u57f9\u517b\u7684\u673a\u5236,\u65b9\u6cd5\u4e0a\u6478\u7d22,\u78b0\u649e,\u5e76\u53d6\u5f97\u4e86\u4e30\u7855\u6210\u679c,\u5171\u540c\u57f9\u517b\u51fa\u4e86\u4f17\u591a\u4f18\u79c0\u4eba\u624d,\u5df2\u6709420\u4f59\u540d\u5b66\u751f\u6765\u5230\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u8bbf\u95ee\u548c\u5b66\u4e60,\u5176\u4e2d32\u4f4d\u4f18\u79c0\u535a\u58eb\u751f\u83b7\u5f97&#8221;\u5fae\u8f6f\u5b66\u8005&#8221;\u5956\u5b66\u91d1,24\u4f4d\u672c\u79d1\u751f\u83b7\u5f97&#8221;\u5fae\u8f6f\u5c0f\u5b66\u8005&#8221;\u5956\u5b66\u91d1\u3002\u8fd9\u4e5f\u662f\u552f\u4e00\u5341\u4e94\u5e74\u6765\u8fde\u7eed\u83b7\u5f97&#8221;\u5fae\u8f6f\u5b66\u8005&#8221;\u5956\u5b66\u91d1\u7684\u4e2d\u56fd\u9ad8\u6821\u3002\u66f4\u6709\u9648\u96ea\u9526,\u4f55\u56e0,\u683e\u9752\u548c\u9f50\u56fd\u541b\u5148\u540e\u4f5c\u4e3a\u4f18\u79c0\u5b66\u751f\u4ee3\u8868,\u5230\u6bd4\u5c14.\u76d6\u8328\u5bb6\u8bbf\u95ee\u3002<\/p>\n\n\n\n<p>\u79d1\u7814\u5408\u4f5c\u65b9\u9762,\u53cc\u65b9\u5171\u540c\u5efa\u7acb\u4e86\u4e2d\u56fd\u79d1\u5b66\u6280\u672f\u5927\u5b66-\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u591a\u5a92\u4f53\u8ba1\u7b97\u4e0e\u901a\u4fe1\u6559\u80b2\u90e8\u91cd\u70b9\u5b9e\u9a8c\u5ba4,\u4e2d\u56fd\u79d1\u5b66\u6280\u672f\u5927\u5b66\u5148\u8fdb\u6280\u672f\u7814\u7a76\u9662,\u6559\u80b2\u90e8\u4eba\u624d\u57f9\u517b\u5b9e\u9a8c\u533a\u548c\u5de5\u7a0b\u5b9e\u8df5\u6559\u80b2\u4e2d\u5fc3,\u4e2d\u79d1\u5927-\u5fae\u8f6f\u8f6f\u4ef6\u5de5\u7a0b\u4e2d\u5fc3\u7b49\u673a\u6784\u3002\u4ec5\u57282011\u5e74,\u4e2d\u56fd\u79d1\u5b66\u6280\u672f\u5927\u5b66-\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u591a\u5a92\u4f53\u8ba1\u7b97\u4e0e\u901a\u4fe1\u6559\u80b2\u90e8\u91cd\u70b9\u5b9e\u9a8c\u5ba4\u5c31\u83b7\u5f97\u56fd\u5bb6,\u7701\u90e8\u7ea7\u4ee5\u4e0a\u79d1\u7814\u9879\u76ee21\u9879,\u5176\u5b83\u9879\u76ee5\u9879,\u53d1\u8868\u79d1\u7814\u8bba\u6587<\/p>\n\n\n\n<p>\u5728\u672c\u6b21\u5927\u4f1a\u4e0a,\u5fae\u8f6f\u516c\u53f8\u5168\u7403\u8d44\u6df1\u526f\u603b\u88c1,\u5fae\u8f6f\u7814\u7a76\u9662\u521b\u59cb\u4ebaRick Rashid\u535a\u58eb\u505a\u4e86\u9898\u4e3a\u300a\u57fa\u7840\u7814\u7a76\u5728\u521b\u65b0\u4e2d\u7684\u89d2\u8272&#8211;\u56de\u987e\u4e0e\u5c55\u671b\u300b\u7684\u7cbe\u5f69\u6f14\u8bb2,\u5e76\u83b7\u5f97\u4e86\u7531\u6821\u957f\u4faf\u5efa\u56fd\u9881\u53d1\u7684\u4e2d\u56fd\u79d1\u5b66\u6280\u672f\u5927\u5b66\u540d\u8a89\u535a\u58eb\u5b66\u4f4d\u3002\u8fd9\u4e00\u8363\u8a89\u4e0d\u4ec5\u4ee3\u8868\u4e2d\u56fd\u9876\u5c16\u5b66\u672f\u673a\u6784\u5bf9Rick Rashid\u535a\u58eb\u5b66\u672f\u6210\u5c31\u7684\u9ad8\u5ea6\u8ba4\u53ef,\u4e5f\u662f\u5bf9\u53cc\u65b9\u7f8e\u6ee1\u5408\u4f5c\u7684\u751f\u52a8\u6ce8\u811a\u3002<\/p>\n\n\n\n<p>\u5728\u4e2a\u4eba\u7535\u8111\u9762\u4e16\u4e4b\u524d,\u4eba\u4eec\u5728\u4e0e\u8ba1\u7b97\u673a&#8221;\u4e92\u52a8&#8221;\u65f6\u4e00\u5ea6\u53ea\u80fd\u4f7f\u7528\u7a7f\u5b54\u7eb8\u5e26\u8f93\u5165\u4fe1\u606f;\u800c\u4eca,\u5c31\u8fde\u65e0\u7ebf\u952e\u76d8\u548c\u9f20\u6807\u90fd\u5df2\u5feb\u88ab\u4e22\u5230\u89d2\u843d&#8211;\u89e6\u63a7,\u4f53\u611f,\u8bed\u97f3,\u8d8a\u6765\u8d8a\u81ea\u7136\u7684\u4eba\u673a\u4ea4\u4e92\u6280\u672f\u6b63\u5728\u6e17\u900f\u5230\u6bcf\u4e2a\u4eba\u7684\u5de5\u4f5c\u548c\u751f\u6d3b\u3002\u98de\u901f\u6f14\u8fdb\u7684\u4fe1\u606f\u79d1\u6280\u4f9d\u8d56\u4e8e\u8ba1\u7b97\u673a\u57fa\u7840\u7814\u7a76\u7684\u6301\u7eed\u8fdb\u6b65&#8211;\u6bcf\u6b21\u57fa\u7840\u7814\u7a76\u9886\u57df\u7684\u4e00\u5c0f\u6b65,\u4fbf\u53ef\u80fd\u8ba9\u5e94\u7528\u5f00\u53d1\u5411\u524d\u8fc8\u51fa\u4e00\u5927\u6b65\u3002\u8fd9\u662f\u57fa\u7840\u7814\u7a76\u5b66\u672f\u76db\u4f1a\u5f80\u5f80\u80fd\u5438\u5f15\u5927\u6279\u79d1\u6280\u62e5\u8db8\u76ee\u5149\u7684\u539f\u56e0\u3002<\/p>\n\n\n\n<p>\u745e\u58eb\u6d1b\u6851\u8054\u90a6\u7406\u5de5\u5b66\u9662\u6559\u6388,2007\u5e74\u56fe\u7075\u5956\u83b7\u5f97\u8005Joseph Sifakis\u5728\u4f1a\u8bae\u4e0a\u4ee5\u300a\u4ece\u7a0b\u5e8f\u5230\u7cfb\u7edf&#8211;\u5efa\u7acb\u4e00\u4e2a\u66f4\u667a\u80fd\u7684\u4e16\u754c\u300b\u4e3a\u9898\u505a\u4e86\u6f14\u8bb2\u3002\u6f14\u8bb2\u4ecb\u7ecd\u4e86\u5728\u8fc7\u53bb\u7684\u51e0\u5341\u5e74\u91cc,\u8ba1\u7b97\u7684\u7a0b\u5e8f\u548c\u7cfb\u7edf\u53d1\u751f\u4e86\u5de8\u5927\u7684\u53d8\u5316\u4ee5\u53ca\u5176\u95f4\u8ba1\u7b97\u673a\u4e0e\u4eba\u4e0d\u65ad\u5730\u8fdb\u884c\u4ea4\u4e92\u5e76\u5f71\u54cd\u4eba\u7684\u884c\u4e3a\u3002\u672a\u6765,\u8ba1\u7b97\u673a\u4e0e\u4eba\u66f4\u6df1\u5c42\u6b21\u7684\u4e92\u52a8\u548c\u76f8\u4e92\u4fc3\u8fdb\u5c06\u5f62\u6210\u66f4\u6210\u719f\u7684\u5b66\u79d1\u3002<\/p>\n\n\n\n<p>\u5fae\u8f6f\u516c\u53f8\u5168\u7403\u8d44\u6df1\u526f\u603b\u88c1\u5468\u4ee5\u771f(Jeannette Wing)\u535a\u58eb\u8bb2\u8ff0\u4e86\u300a\u8ba1\u7b97\u673a\u79d1\u5b66\u7814\u7a76\u5728\u79d1\u5b66,\u6280\u672f\u548c\u793e\u4f1a\u4e0a\u7684\u5f71\u54cd\u300b,\u5979\u8ba4\u4e3a\u8ba1\u7b97\u9886\u57df\u662f\u88ab\u79d1\u5b66\u95ee\u9898,\u6280\u672f\u521b\u65b0\u548c\u793e\u4f1a\u9700\u6c42\u6240\u5f71\u54cd\u7684\u3002\u4f8b\u5982,\u6280\u672f\u7684\u5feb\u901f\u8fdb\u6b65\u548c\u5de8\u5927\u7684\u793e\u4f1a\u9700\u6c42\u8feb\u4f7f\u4eba\u4eec\u91cd\u65b0\u8003\u8651\u8ba1\u7b97\u6700\u57fa\u672c\u7684\u79d1\u5b66\u95ee\u9898\u3002<\/p>\n\n\n\n<p>\u6b64\u5916,\u4f0a\u5229\u8bfa\u4f0a\u5927\u5b66\u9999\u69df\u5206\u6821\u8ba1\u7b97\u673a\u7cfb\u526f\u4e3b\u4efb,\u7f8e\u56fd\u7535\u6c14\u7535\u5b50\u5de5\u7a0b\u5e08\u5b66\u4f1a,\u8ba1\u7b97\u673a\u534f\u4f1a\u9662\u58ebKlara Nahrstedt,\u9ebb\u7701\u7406\u5de5\u5b66\u9662\u5a92\u4f53\u5b9e\u9a8c\u5ba4\u60c5\u611f\u8ba1\u7b97\u7814\u7a76\u7ec4\u521b\u59cb\u4eba\u517c\u4e3b\u4efb,\u7f8e\u56fd\u7535\u6c14\u7535\u5b50\u5de5\u7a0b\u5e08\u5b66\u4f1a\u9662\u58ebRosalind Picard,\u4ee5\u53ca\u5fae\u8f6f\u516c\u53f8\u5168\u7403\u8d44\u6df1\u526f\u603b\u88c1\u6c88\u5411\u6d0b\u535a\u58eb\u4e5f\u505a\u4e86\u7cbe\u5f69\u6f14\u8bb2\u3002<\/p>\n\n\n\n<p>&#8220;\u4e8c\u5341\u4e00\u4e16\u7eaa\u7684\u8ba1\u7b97&#8221;\u5927\u4f1a\u662f\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u521b\u7acb\u4e4b\u521d\u4fbf\u521b\u529e\u7684\u5b66\u672f\u5e74\u4f1a,1999\u5e74\u9996\u6b21\u4e3e\u884c,\u6bcf\u5e74\u4e00\u5c4a,\u6bcf\u5c4a\u90fd\u6709\u88ab\u8a89\u4e3a&#8221;\u8ba1\u7b97\u673a\u79d1\u5b66\u9886\u57df\u7684\u8bfa\u8d1d\u5c14\u5956&#8211;\u56fe\u7075\u5956&#8221;\u83b7\u5f97\u8005\u4ee5\u53ca\u8ba1\u7b97\u673a\u79d1\u5b66\u9886\u57df\u5927\u5e08\u53c2\u52a0\u3002\u8fc4\u4eca\u4e3a\u6b62,\u5927\u4f1a\u5df2\u5728\u4e2d\u56fd,\u65e5\u672c,\u97e9\u56fd,\u65b0\u52a0\u5761\u7b49\u591a\u4e2a\u56fd\u5bb6\u548c\u5730\u533a\u6210\u529f\u4e3e\u529e\u4e8614\u5c4a,\u53c2\u4f1a\u4eba\u6570\u5df2\u7ecf\u7d2f\u8ba1\u8fbe\u523038,000\u4eba\u3002<\/p>\n\n\n\n<p>\u6b64\u5916,\u7531\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u548c\u4e2d\u56fd\u79d1\u5b66\u6280\u672f\u5927\u5b66\u5171\u540c\u4e3e\u529e\u7684\u8054\u5408\u5b9e\u9a8c\u5ba4\u7814\u8ba8\u4f1a\u5c06\u4e8e11\u67082\u65e5\u5728\u5408\u80a5\u4e3e\u884c\u3002\u8be5\u7814\u8ba8\u4f1a\u4ee5&#8221;\u5927\u6570\u636e\u65f6\u4ee3\u7684\u79d1\u7814\u5408\u4f5c&#8221;\u4e3a\u4e3b\u9898,\u56f4\u7ed5\u57ce\u5e02\u4fe1\u606f\u5316,\u5927\u6570\u636e\u4e0e\u673a\u5668\u5b66\u4e60\u4ee5\u53ca\u79d1\u7814\u5408\u4f5c\u4e09\u5927\u4e3b\u7ebf,\u901a\u8fc7\u4e13\u9898\u62a5\u544a,\u4e3b\u9898\u8bba\u575b,\u6d77\u62a5\u5c55\u793a\u7b49\u5f62\u5f0f,\u5206\u4eab\u548c\u63a2\u8ba8\u5927\u6570\u636e\u65f6\u4ee3\u65b0\u7684\u673a\u9047\u4e0e\u6311\u6218\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>2013\u5e7411\u67081\u65e5,\u5408\u80a5\u4eca\u5929,\u7531\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662,\u4e2d\u56fd\u79d1\u5b66\u6280\u672f\u5927\u5b66\u8054\u5408\u4e3b\u529e\u7684\u7b2c\u5341\u4e94\u5c4a&#8221;\u4e8c\u5341\u4e00\u4e16\u7eaa\u7684\u8ba1\u7b97&#8221;\u5927\u578b\u56fd\u9645\u5b66\u672f\u7814\u8ba8\u4f1a\u5728\u5408\u80a5\u4e3e\u884c\u3002\u6765\u81ea\u56fd\u5185\u5916\u8ba1\u7b97\u9886\u57df\u7684\u5927\u5e08\u53d7\u9080\u4e0e\u73b0\u573a2000\u540d\u5e08\u751f\u5206\u4eab\u8fdc\u7a0b\u6d78\u5165\u5f0f\u73af\u5883,\u60c5\u611f\u8ba1\u7b97,\u667a\u80fd\u7cfb\u7edf,\u5927\u6570\u636e\u7b49\u9886\u57df\u7684\u6700\u65b0\u7814\u7a76\u6210\u679c\u548c\u672a\u6765\u8d8b\u52bf,\u4ee5\u8ba1\u7b97\u89e3\u7801\u672a\u6765,\u7528\u601d\u60f3\u8de8\u8d8a\u8fb9\u754c\u3002 \u4e2d\u56fd\u79d1\u5b66\u6280\u672f\u5927\u5b66\u6821\u957f\u4faf\u5efa\u56fd\u8868\u793a,&#8221;\u2018\u4e8c\u5341\u4e00\u4e16\u7eaa\u7684\u8ba1\u7b97\u2019\u56fd\u9645\u5b66\u672f\u7814\u8ba8\u4f1a\u662f\u4e9a\u592a\u5730\u533a\u8ba1\u7b97\u673a\u79d1\u5b66\u9886\u57df\u6700\u9ad8\u6c34\u5e73\u7684\u5b66\u672f\u76db\u4f1a,\u5927\u4f1a\u4e3e\u529e\u5341\u4e94\u5e74\u6765\u4e3a\u56fd\u5185\u5916\u8ba1\u7b97\u673a\u79d1\u5b66\u9886\u57df\u7684\u5e7f\u5927\u4e13\u5bb6\u5b66\u8005\u548c\u5b66\u751f\u63d0\u4f9b\u4e86\u4ea4\u6d41\u5b66\u4e60\u7684\u5e73\u53f0,\u4e3a\u63a8\u52a8\u8ba1\u7b97\u673a\u79d1\u5b66\u53d1\u5c55\u505a\u51fa\u4e86\u91cd\u8981\u8d21\u732e\u3002\u4e2d\u56fd\u79d1\u5b66\u6280\u672f\u5927\u5b66\u613f\u610f\u4e0e\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u4e00\u540c\u9762\u5411\u672a\u6765,\u7ee7\u7eed\u81f4\u529b\u4e8e\u63a8\u52a8\u8ba1\u7b97\u673a\u79d1\u6280\u7684\u524d\u6cbf\u521b\u65b0\u3002&#8221; \u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u9662\u957f\u6d2a\u5c0f\u6587\u535a\u58eb\u8868\u793a,&#8221;\u4e2d\u56fd\u79d1\u5b66\u6280\u672f\u5927\u5b66\u662f\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u5728\u4e2d\u56fd\u5408\u4f5c\u6700\u60a0\u4e45,\u6700\u5e7f\u6cdb,\u4e5f\u6700\u6df1\u5165\u7684\u5b66\u672f\u673a\u6784\u3002\u4eca\u5e74\u9002\u9022\u4e2d\u56fd\u79d1\u5b66\u6280\u672f\u5927\u5b6655\u5468\u5e74\u6821\u5e86\u4ee5\u53ca\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u5efa\u966215\u5468\u5e74\u3002\u591a\u5e74\u7684\u5bc6\u5207\u5408\u4f5c\u4f7f\u53cc\u65b9\u5728\u4eba\u624d\u57f9\u517b,\u79d1\u7814\u5408\u4f5c\u548c\u5b66\u672f\u4ea4\u6d41\u51e0\u4e2a\u65b9\u9762,\u90fd\u53d6\u5f97\u4e86\u4e30\u7855\u6210\u679c,\u76f8\u4fe1\u53cc\u65b9\u7684\u5408\u4f5c\u5c06\u5728\u672a\u6765\u5f97\u5230\u8fdb\u4e00\u6b65\u7684\u4f20\u627f\u548c\u5347\u534e\u3002 \u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u81ea1998\u5e74\u5efa\u9662\u4ee5\u6765\u4fbf\u4e0e\u4e2d\u56fd\u79d1\u5b66\u6280\u672f\u5927\u5b66\u5efa\u7acb\u4e86\u5bc6\u5207\u7684\u5408\u4f5c,\u53cc\u65b9\u5728\u4eba\u624d\u57f9\u517b\u7684\u673a\u5236,\u65b9\u6cd5\u4e0a\u6478\u7d22,\u78b0\u649e,\u5e76\u53d6\u5f97\u4e86\u4e30\u7855\u6210\u679c,\u5171\u540c\u57f9\u517b\u51fa\u4e86\u4f17\u591a\u4f18\u79c0\u4eba\u624d,\u5df2\u6709420\u4f59\u540d\u5b66\u751f\u6765\u5230\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u8bbf\u95ee\u548c\u5b66\u4e60,\u5176\u4e2d32\u4f4d\u4f18\u79c0\u535a\u58eb\u751f\u83b7\u5f97&#8221;\u5fae\u8f6f\u5b66\u8005&#8221;\u5956\u5b66\u91d1,24\u4f4d\u672c\u79d1\u751f\u83b7\u5f97&#8221;\u5fae\u8f6f\u5c0f\u5b66\u8005&#8221;\u5956\u5b66\u91d1\u3002\u8fd9\u4e5f\u662f\u552f\u4e00\u5341\u4e94\u5e74\u6765\u8fde\u7eed\u83b7\u5f97&#8221;\u5fae\u8f6f\u5b66\u8005&#8221;\u5956\u5b66\u91d1\u7684\u4e2d\u56fd\u9ad8\u6821\u3002\u66f4\u6709\u9648\u96ea\u9526,\u4f55\u56e0,\u683e\u9752\u548c\u9f50\u56fd\u541b\u5148\u540e\u4f5c\u4e3a\u4f18\u79c0\u5b66\u751f\u4ee3\u8868,\u5230\u6bd4\u5c14.\u76d6\u8328\u5bb6\u8bbf\u95ee\u3002 \u79d1\u7814\u5408\u4f5c\u65b9\u9762,\u53cc\u65b9\u5171\u540c\u5efa\u7acb\u4e86\u4e2d\u56fd\u79d1\u5b66\u6280\u672f\u5927\u5b66-\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u591a\u5a92\u4f53\u8ba1\u7b97\u4e0e\u901a\u4fe1\u6559\u80b2\u90e8\u91cd\u70b9\u5b9e\u9a8c\u5ba4,\u4e2d\u56fd\u79d1\u5b66\u6280\u672f\u5927\u5b66\u5148\u8fdb\u6280\u672f\u7814\u7a76\u9662,\u6559\u80b2\u90e8\u4eba\u624d\u57f9\u517b\u5b9e\u9a8c\u533a\u548c\u5de5\u7a0b\u5b9e\u8df5\u6559\u80b2\u4e2d\u5fc3,\u4e2d\u79d1\u5927-\u5fae\u8f6f\u8f6f\u4ef6\u5de5\u7a0b\u4e2d\u5fc3\u7b49\u673a\u6784\u3002\u4ec5\u57282011\u5e74,\u4e2d\u56fd\u79d1\u5b66\u6280\u672f\u5927\u5b66-\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u591a\u5a92\u4f53\u8ba1\u7b97\u4e0e\u901a\u4fe1\u6559\u80b2\u90e8\u91cd\u70b9\u5b9e\u9a8c\u5ba4\u5c31\u83b7\u5f97\u56fd\u5bb6,\u7701\u90e8\u7ea7\u4ee5\u4e0a\u79d1\u7814\u9879\u76ee21\u9879,\u5176\u5b83\u9879\u76ee5\u9879,\u53d1\u8868\u79d1\u7814\u8bba\u6587 \u5728\u672c\u6b21\u5927\u4f1a\u4e0a,\u5fae\u8f6f\u516c\u53f8\u5168\u7403\u8d44\u6df1\u526f\u603b\u88c1,\u5fae\u8f6f\u7814\u7a76\u9662\u521b\u59cb\u4ebaRick Rashid\u535a\u58eb\u505a\u4e86\u9898\u4e3a\u300a\u57fa\u7840\u7814\u7a76\u5728\u521b\u65b0\u4e2d\u7684\u89d2\u8272&#8211;\u56de\u987e\u4e0e\u5c55\u671b\u300b\u7684\u7cbe\u5f69\u6f14\u8bb2,\u5e76\u83b7\u5f97\u4e86\u7531\u6821\u957f\u4faf\u5efa\u56fd\u9881\u53d1\u7684\u4e2d\u56fd\u79d1\u5b66\u6280\u672f\u5927\u5b66\u540d\u8a89\u535a\u58eb\u5b66\u4f4d\u3002\u8fd9\u4e00\u8363\u8a89\u4e0d\u4ec5\u4ee3\u8868\u4e2d\u56fd\u9876\u5c16\u5b66\u672f\u673a\u6784\u5bf9Rick Rashid\u535a\u58eb\u5b66\u672f\u6210\u5c31\u7684\u9ad8\u5ea6\u8ba4\u53ef,\u4e5f\u662f\u5bf9\u53cc\u65b9\u7f8e\u6ee1\u5408\u4f5c\u7684\u751f\u52a8\u6ce8\u811a\u3002 \u5728\u4e2a\u4eba\u7535\u8111\u9762\u4e16\u4e4b\u524d,\u4eba\u4eec\u5728\u4e0e\u8ba1\u7b97\u673a&#8221;\u4e92\u52a8&#8221;\u65f6\u4e00\u5ea6\u53ea\u80fd\u4f7f\u7528\u7a7f\u5b54\u7eb8\u5e26\u8f93\u5165\u4fe1\u606f;\u800c\u4eca,\u5c31\u8fde\u65e0\u7ebf\u952e\u76d8\u548c\u9f20\u6807\u90fd\u5df2\u5feb\u88ab\u4e22\u5230\u89d2\u843d&#8211;\u89e6\u63a7,\u4f53\u611f,\u8bed\u97f3,\u8d8a\u6765\u8d8a\u81ea\u7136\u7684\u4eba\u673a\u4ea4\u4e92\u6280\u672f\u6b63\u5728\u6e17\u900f\u5230\u6bcf\u4e2a\u4eba\u7684\u5de5\u4f5c\u548c\u751f\u6d3b\u3002\u98de\u901f\u6f14\u8fdb\u7684\u4fe1\u606f\u79d1\u6280\u4f9d\u8d56\u4e8e\u8ba1\u7b97\u673a\u57fa\u7840\u7814\u7a76\u7684\u6301\u7eed\u8fdb\u6b65&#8211;\u6bcf\u6b21\u57fa\u7840\u7814\u7a76\u9886\u57df\u7684\u4e00\u5c0f\u6b65,\u4fbf\u53ef\u80fd\u8ba9\u5e94\u7528\u5f00\u53d1\u5411\u524d\u8fc8\u51fa\u4e00\u5927\u6b65\u3002\u8fd9\u662f\u57fa\u7840\u7814\u7a76\u5b66\u672f\u76db\u4f1a\u5f80\u5f80\u80fd\u5438\u5f15\u5927\u6279\u79d1\u6280\u62e5\u8db8\u76ee\u5149\u7684\u539f\u56e0\u3002 \u745e\u58eb\u6d1b\u6851\u8054\u90a6\u7406\u5de5\u5b66\u9662\u6559\u6388,2007\u5e74\u56fe\u7075\u5956\u83b7\u5f97\u8005Joseph Sifakis\u5728\u4f1a\u8bae\u4e0a\u4ee5\u300a\u4ece\u7a0b\u5e8f\u5230\u7cfb\u7edf&#8211;\u5efa\u7acb\u4e00\u4e2a\u66f4\u667a\u80fd\u7684\u4e16\u754c\u300b\u4e3a\u9898\u505a\u4e86\u6f14\u8bb2\u3002\u6f14\u8bb2\u4ecb\u7ecd\u4e86\u5728\u8fc7\u53bb\u7684\u51e0\u5341\u5e74\u91cc,\u8ba1\u7b97\u7684\u7a0b\u5e8f\u548c\u7cfb\u7edf\u53d1\u751f\u4e86\u5de8\u5927\u7684\u53d8\u5316\u4ee5\u53ca\u5176\u95f4\u8ba1\u7b97\u673a\u4e0e\u4eba\u4e0d\u65ad\u5730\u8fdb\u884c\u4ea4\u4e92\u5e76\u5f71\u54cd\u4eba\u7684\u884c\u4e3a\u3002\u672a\u6765,\u8ba1\u7b97\u673a\u4e0e\u4eba\u66f4\u6df1\u5c42\u6b21\u7684\u4e92\u52a8\u548c\u76f8\u4e92\u4fc3\u8fdb\u5c06\u5f62\u6210\u66f4\u6210\u719f\u7684\u5b66\u79d1\u3002 \u5fae\u8f6f\u516c\u53f8\u5168\u7403\u8d44\u6df1\u526f\u603b\u88c1\u5468\u4ee5\u771f(Jeannette Wing)\u535a\u58eb\u8bb2\u8ff0\u4e86\u300a\u8ba1\u7b97\u673a\u79d1\u5b66\u7814\u7a76\u5728\u79d1\u5b66,\u6280\u672f\u548c\u793e\u4f1a\u4e0a\u7684\u5f71\u54cd\u300b,\u5979\u8ba4\u4e3a\u8ba1\u7b97\u9886\u57df\u662f\u88ab\u79d1\u5b66\u95ee\u9898,\u6280\u672f\u521b\u65b0\u548c\u793e\u4f1a\u9700\u6c42\u6240\u5f71\u54cd\u7684\u3002\u4f8b\u5982,\u6280\u672f\u7684\u5feb\u901f\u8fdb\u6b65\u548c\u5de8\u5927\u7684\u793e\u4f1a\u9700\u6c42\u8feb\u4f7f\u4eba\u4eec\u91cd\u65b0\u8003\u8651\u8ba1\u7b97\u6700\u57fa\u672c\u7684\u79d1\u5b66\u95ee\u9898\u3002 \u6b64\u5916,\u4f0a\u5229\u8bfa\u4f0a\u5927\u5b66\u9999\u69df\u5206\u6821\u8ba1\u7b97\u673a\u7cfb\u526f\u4e3b\u4efb,\u7f8e\u56fd\u7535\u6c14\u7535\u5b50\u5de5\u7a0b\u5e08\u5b66\u4f1a,\u8ba1\u7b97\u673a\u534f\u4f1a\u9662\u58ebKlara Nahrstedt,\u9ebb\u7701\u7406\u5de5\u5b66\u9662\u5a92\u4f53\u5b9e\u9a8c\u5ba4\u60c5\u611f\u8ba1\u7b97\u7814\u7a76\u7ec4\u521b\u59cb\u4eba\u517c\u4e3b\u4efb,\u7f8e\u56fd\u7535\u6c14\u7535\u5b50\u5de5\u7a0b\u5e08\u5b66\u4f1a\u9662\u58ebRosalind Picard,\u4ee5\u53ca\u5fae\u8f6f\u516c\u53f8\u5168\u7403\u8d44\u6df1\u526f\u603b\u88c1\u6c88\u5411\u6d0b\u535a\u58eb\u4e5f\u505a\u4e86\u7cbe\u5f69\u6f14\u8bb2\u3002 &#8220;\u4e8c\u5341\u4e00\u4e16\u7eaa\u7684\u8ba1\u7b97&#8221;\u5927\u4f1a\u662f\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u521b\u7acb\u4e4b\u521d\u4fbf\u521b\u529e\u7684\u5b66\u672f\u5e74\u4f1a,1999\u5e74\u9996\u6b21\u4e3e\u884c,\u6bcf\u5e74\u4e00\u5c4a,\u6bcf\u5c4a\u90fd\u6709\u88ab\u8a89\u4e3a&#8221;\u8ba1\u7b97\u673a\u79d1\u5b66\u9886\u57df\u7684\u8bfa\u8d1d\u5c14\u5956&#8211;\u56fe\u7075\u5956&#8221;\u83b7\u5f97\u8005\u4ee5\u53ca\u8ba1\u7b97\u673a\u79d1\u5b66\u9886\u57df\u5927\u5e08\u53c2\u52a0\u3002\u8fc4\u4eca\u4e3a\u6b62,\u5927\u4f1a\u5df2\u5728\u4e2d\u56fd,\u65e5\u672c,\u97e9\u56fd,\u65b0\u52a0\u5761\u7b49\u591a\u4e2a\u56fd\u5bb6\u548c\u5730\u533a\u6210\u529f\u4e3e\u529e\u4e8614\u5c4a,\u53c2\u4f1a\u4eba\u6570\u5df2\u7ecf\u7d2f\u8ba1\u8fbe\u523038,000\u4eba\u3002 \u6b64\u5916,\u7531\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u548c\u4e2d\u56fd\u79d1\u5b66\u6280\u672f\u5927\u5b66\u5171\u540c\u4e3e\u529e\u7684\u8054\u5408\u5b9e\u9a8c\u5ba4\u7814\u8ba8\u4f1a\u5c06\u4e8e11\u67082\u65e5\u5728\u5408\u80a5\u4e3e\u884c\u3002\u8be5\u7814\u8ba8\u4f1a\u4ee5&#8221;\u5927\u6570\u636e\u65f6\u4ee3\u7684\u79d1\u7814\u5408\u4f5c&#8221;\u4e3a\u4e3b\u9898,\u56f4\u7ed5\u57ce\u5e02\u4fe1\u606f\u5316,\u5927\u6570\u636e\u4e0e\u673a\u5668\u5b66\u4e60\u4ee5\u53ca\u79d1\u7814\u5408\u4f5c\u4e09\u5927\u4e3b\u7ebf,\u901a\u8fc7\u4e13\u9898\u62a5\u544a,\u4e3b\u9898\u8bba\u575b,\u6d77\u62a5\u5c55\u793a\u7b49\u5f62\u5f0f,\u5206\u4eab\u548c\u63a2\u8ba8\u5927\u6570\u636e\u65f6\u4ee3\u65b0\u7684\u673a\u9047\u4e0e\u6311\u6218\u3002<\/p>\n","protected":false},"author":34512,"featured_media":1060593,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","msr-content-parent":1012650,"msr_hide_image_in_river":0,"footnotes":""},"research-area":[],"msr-locale":[268881],"msr-post-option":[],"class_list":["post-1060590","msr-blog-post","type-msr-blog-post","status-publish","has-post-thumbnail","hentry","msr-locale-zh_cn"],"msr_assoc_parent":{"id":1012650,"type":"lab"},"_links":{"self":[{"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-blog-post\/1060590","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-blog-post"}],"about":[{"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-blog-post"}],"author":[{"embeddable":true,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/users\/34512"}],"version-history":[{"count":3,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-blog-post\/1060590\/revisions"}],"predecessor-version":[{"id":1086858,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-blog-post\/1060590\/revisions\/1086858"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/media\/1060593"}],"wp:attachment":[{"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/media?parent=1060590"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=1060590"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=1060590"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=1060590"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}