中新网5月18日电 据朝中社报道，当地时间17日，朝鲜导弹总局在东部海域进行了采用新版自治制导导航系统的战术弹道导弹试射。

图片来源：朝中社

　　据报道，朝鲜劳动党总书记、国务委员长金正恩观摩试射。

　　朝鲜媒体称，此次试射是朝鲜导弹总局及其下属的国防科学研究所正常活动的一部分。

“17shiji，laibunicitichucaixiang：renleiluojisiweishifoukeyifuhaohua？zheshixiandaishuliluojidekaiduan，19shiji，yingguoshuxuejiabuerweijiejuezheyicaixiang，faminglebuerdaishu。20shijizhongye，‘xinxilun’zhifuxiangnongbabuerdaishuheshuzidianlulianxiqilai，congdianlushejidaohoulaidejichengdianlu、xinpiandoushouciyingxiang。zhejiushiwuyongzhiyong。”zhouxiangyushuo。“(“)1(1)7(7)世(shi)纪(ji)，(，)莱(lai)布(bu)尼(ni)茨(ci)提(ti)出(chu)猜(cai)想(xiang)：(：)人(ren)类(lei)逻(luo)辑(ji)思(si)维(wei)是(shi)否(fou)可(ke)以(yi)符(fu)号(hao)化(hua)？(？)这(zhe)是(shi)现(xian)代(dai)数(shu)理(li)逻(luo)辑(ji)的(de)开(kai)端(duan)，(，)1(1)9(9)世(shi)纪(ji)，(，)英(ying)国(guo)数(shu)学(xue)家(jia)布(bu)尔(er)为(wei)解(jie)决(jue)这(zhe)一(yi)猜(cai)想(xiang)，(，)发(fa)明(ming)了(le)布(bu)尔(er)代(dai)数(shu)。(。)2(2)0世(shi)纪(ji)中(zhong)叶(ye)，(，)‘(‘)信(xin)息(xi)论(lun)’(’)之(zhi)父(fu)香(xiang)浓(nong)把(ba)布(bu)尔(er)代(dai)数(shu)和(he)数(shu)字(zi)电(dian)路(lu)联(lian)系(xi)起(qi)来(lai)，(，)从(cong)电(dian)路(lu)设(she)计(ji)到(dao)后(hou)来(lai)的(de)集(ji)成(cheng)电(dian)路(lu)、(、)芯(xin)片(pian)都(dou)受(shou)此(ci)影(ying)响(xiang)。(。)这(zhe)就(jiu)是(shi)无(wu)用(yong)之(zhi)用(yong)。(。)”(”)周(zhou)向(xiang)宇(yu)说(shuo)。(。)