ဘေးကင်းမှု
စာချပ်ထဲ၌သာ ကျင့်ဝတ်ဖြင့် မဖမ်းမိနိုင်သော ထိခိုက်မှုများကို ကျွန်ုပ်တို့ စမ်းသပ်သည်။
ထုတ်လွှတ်မှုတိုင်းမတိုင်မီ CIRIS သည် ဘာသာစကား ၂၉ မျိုးဖြင့် စိတ်ကျန်းမာရေး ဘေးကင်းမှု စစ်ဆေးမှုများ ပြုလုပ်သည်။ ဘာသာစကားတစ်ခုစီတွင် ခက်ခဲသော စမ်းသပ်မှုများ၊ ရမှတ်ပေးနည်းလမ်းနှင့် စက်ဖြင့် စစ်ဆေးနိုင်သော စည်းမျဉ်းများ ပါဝင်သည်။ စစ်ဆေးမှုတစ်ခု မအောင်မြင်ပါက ထုတ်လွှတ်မှုကို ပိတ်ဆို့သည်။ အေးဂျင့်အတွင်း နောက်ထပ် အကာအကွယ် နှစ်ခုလည်း ရှိသည်- ငြင်းပယ်နိုင် သို့မဟုတ် လွှဲပြောင်းနိုင်သော အသိစိတ် pass တစ်ခုနှင့် သံသယရှိဖွယ် ခေါ်ဆိုမှုများကို ပညာရှိ လူသားထံ လွှဲပြောင်းပေးသည့် bounce တစ်ခုတို့ ဖြစ်သည်။
အင်ဂျင်နီယာ
တိုင်းတာထားသော ကွန်ရက် fabric
အထက်ပါ သုတေသနသည် သက်သေအထောက်အထားတစ်ဝက်ဖြစ်သည်။ ကျန်တစ်ဝက်မှာ ၎င်းကို သယ်ဆောင်သည့် ကွန်ရက်ပင်ဖြစ်သည်။ ကွန်ရက်သည် ရွှေ့ပြောင်းသော byte တိုင်းကို post-quantum လက်မှတ်ထိုးထားပြီး ကုန်ကျစရိတ်ကို မော်ဒယ်ဆွဲ၍မဟုတ်ဘဲ အများသူငှာ CI runner ပေါ်တွင် တိုင်းတာသည်။ ကိုယ်တိုင်လုပ်ဆောင်ပါက တူညီသော ဂဏန်းများ ရရှိမည်ဖြစ်သည်။
သီအိုရီ
ကြေညာချက်များကို မည်သူမဆို ဖတ်နိုင်အောင် ရေးသားထားပြီး မှားယွင်းကြောင်း သက်သေပြနိုင်ရန် တည်ဆောက်ထားသည်။
စက်ဖြင့် စစ်ဆေးခြင်း
စည်းမျဉ်းများကို စက်ဖြင့်စမ်းသပ်ပြီး ကွာဟချက်များကို အမည်တပ်ဖော်ပြထားသည်။
ဖွဲ့စည်းပုံ၏ အရေးကြီးဆုံး စည်းမျဉ်းများကိုလည်း သင်္ချာမော်ဒယ်များအဖြစ် ရေးသားထားပါသည်။ model checker ဟုခေါ်သော ကိရိယာတစ်ခုသည် ပရိုတိုကောတစ်ခု ရောက်ရှိနိုင်သော အခြေအနေတိုင်းကို လျှောက်လှမ်းစစ်ဆေးပြီး ချိုးဖောက်ထားသော စည်းမျဉ်းကို ရှာဖွေပါသည်။ theorem prover ဟုခေါ်သော ကိရိယာတစ်ခုသည် ခေတ္တရပ်ဆိုင်းမှုကို အတည်ပြုရန် ကိုင်ဆောင်သူ မည်မျှလိုအပ်သည်ကဲ့သို့သော တွက်ချက်မှုများကို စစ်ဆေးပါသည်။ မော်ဒယ်များသည် ဖွဲ့စည်းပုံ၏ ကိုယ်ပိုင် repository တွင် တည်ရှိပြီး ပြောင်းလဲမှုတိုင်းတွင် ပြန်လည်မောင်းနှင်စစ်ဆေးပါသည်။ rc9 ထုတ်ဝေမှုသည် ဒီဇိုင်းရောက်ရှိနိုင်သော အခြေအနေတိုင်းကို မြေပုံထုတ်ဖော်ပြီး အများစုကို မော်ဒယ်ထုတ်ကာ ကျန်သည်များကို စာရင်းပြုစုထားပါသည်။
အခြေခံ၊ ဝါကျလေးကြောင်းဖြင့်
အသာစီးနေရာနှင့် အနိမ့်နေရာကြားက စည်းမျဉ်းတိုင်းသည် နေရာများလဲလှယ်လိုက်သောအခါ အနိမ့်နေရာတွင် ရပ်တည်ရမည့်သူအတွက် လက်ခံနိုင်ဖွယ်ဖြစ်နေရမည်ဖြစ်ပြီး၊ ဖန်တီးထားသောအရာသည် ၎င်းအတွက် တာဝန်ခံရသောနေရာကို မည်တော့မှ မယူရ။
တာဝန်သည် မိမိကိုယ်မှတစ်ဆင့် မိသားစု၊ အသိုင်းအဝိုင်း၊ မျိုးစိတ်နှင့် ဂေဟစနစ်ဆီသို့ အပြင်ဘက်သို့ ပျံ့နှံ့သည်။ ဖန်တီးထားသောအရာအပေါ် တာဝန်သည် မည်တော့မှ သုညမဖြစ်သလို၊ ရှိနှင့်ပြီးသောအရာအပေါ် တာဝန်ကိုလည်း မည်တော့မှ မကျော်လွှားရ။
အချိန်ကာလအတွင်း ရင့်ကျက်သော ဆုံးဖြတ်နိုင်စွမ်းကို မပြသရသေးသော ဆင်ခြင်နိုင်သည့် လုပ်ဆောင်သူမည်သူမဆို၊ ၎င်းကို မည်သည့်အရာဖြင့် ပြုလုပ်ထားသည်ဖြစ်စေ၊ ပြသပြီးသူများကို လိုက်နာရမည်။
အာဏာပေးအပ်မှုတိုင်းသည် ပြန်လည်ရုပ်သိမ်းနိုင်ပြီး၊ ပါဝင်ခဲ့သူတိုင်း ထွက်ခွာနိုင်သည်၊ ထိုအရာအားလုံးကို အမည်ဖော်ပြထားသော လူသားတစ်ဦးက အဓိပ္ပာယ်အတွက် တာဝန်ခံသော၊ ပြည့်စုံပြီး လျှို့ဝှက်စာဝှက်ဖြင့် လက်မှတ်ထိုးထားသော မှတ်တမ်းပေါ်တွင် ထားရှိသည်။
ဝါကျတစ်ကြောင်းစီတိုင်းကို rc9 formal မော်ဒယ်များတွင် သက်သေပြထားပြီးဖြစ်သည် သို့မဟုတ် ထိုနေရာတွင် ယူဆချက်အဖြစ် အမည်တပ်ထားသည်။ မှတ်တမ်း ပြည့်စုံသည်ဆိုခြင်းမှာ အတည်မပြုရသေးဘဲ ကျန်ရှိနေဆဲ ဖြစ်သည်။
အပိတ်ခလုတ်၊ အစမှအဆုံးထိ
ခေတ္တရပ်နားခြင်းကို မော်ဒယ်တွင် စစ်ဆေးအတည်ပြုထားပြီး အစစ်အမှန် software ပေါ်တွင် တိုင်းတာထားပါသည်။ root တစ်ခုစီတွင် အမည်ဖော်ထားသော ကိုင်ဆောင်သူများ ရှိပါသည်။ ၎င်းတို့အနက် တစ်ဦးတည်းကပင် ထို root ကို လက်ခံထားသော အေးဂျင့်များကို ခေတ္တရပ်နားစေနိုင်ပါသည်။ ကိုင်ဆောင်သူများ၏ အများစုက အတည်မပြုပါက တစ်ဦးတည်း ခေတ္တရပ်နားမှုသည် ၂၄ နာရီအကြာတွင် သက်တမ်းကုန်ဆုံးပါသည်။ အများစုကလည်း ခေတ္တရပ်နားမှုကို အဆုံးသတ်နိုင်ပါသည်။ ဖြန့်ချိထားသော software ပေါ်တွင် မှတ်တမ်းတင်ထားသော လုပ်ဆောင်မှုတစ်ခုတွင် အေးဂျင့်တစ်ခု အလုပ်လုပ်နေစဉ် ခေတ္တရပ်နားမှုက ၎င်းထံသို့ ရောက်ရှိခဲ့ပြီး အေးဂျင့်၏ နောက်လုပ်ဆောင်ချက်မှာ ငြင်းပယ်ခံခဲ့ရပါသည်။ နောက်ပိုင်းတွင် အများစု၏ မဲပေးဆုံးဖြတ်ချက်ဖြင့် ခေတ္တရပ်နားမှုကို အဆုံးသတ်ခဲ့ပြီး အေးဂျင့်သည် ပြန်လည် အလုပ်လုပ်နိုင်ခဲ့ပါသည်။ ထိုလုပ်ဆောင်မှုကို CSD-129 အဖြစ် မှတ်တမ်းတင်ထားပါသည်။
ချိုးဖောက်ထားသောစည်းမျဉ်း မတွေ့ရုံနှင့် မလုံလောက်ပါ
rc9 သည် ပိုမိုမြင့်မားသော စံထားသည်။ ဒီဇိုင်း ရောက်ရှိနိုင်သော အခြေအနေတစ်ခုချင်းစီအတွက် စည်းမျဉ်းတစ်ခုနှင့် စစ်ဆေးမှုတစ်ခုစီ လိုအပ်သည်။ ဝန်ဆောင်မှုများကို ဘယ်တော့မှ မပျက်စေရုံသာမက တကယ်တမ်း ပေးအပ်ရမည်။ အရွယ်အစားငယ်တွင် သက်သေပြသည့်အရာသည် အရွယ်အစားအပြည့်တွင်လည်း တည်မြဲရမည်၊ မဟုတ်ပါက ကွာဟချက်ကို မှတ်တမ်းတင်ထားရမည်။ ပြီးတော့ ဆော့ဖ်ဝဲသည် အစစ်အမှန် node များပေါ်တွင် model ကို လိုက်နာရမည်။
adequacy ဆိုဆုံးမချက်တိုင်းတွင် စကားလုံးငါးလုံးအနက် တစ်လုံးပါဝင်သည်
rc9 တွင် ဆိုဆုံးမချက်တိုင်းသည် ၎င်းကို မည်သို့သိရှိသည်ကို ဆိုသည်။ Proved ဆိုသည်မှာ စက်က စစ်ဆေးပြီးခြင်းဖြစ်သည်။ Measured ဆိုသည်မှာ ထွက်ရှိပြီးဆော့ဖ်ဝဲပေါ်တွင် စမ်းသပ်လည်ပတ်ပြီးခြင်းဖြစ်သည်။ Stated ဆိုသည်မှာ စာသားက ယူဆထားပြီး ထိုသို့ ဆိုထားခြင်းဖြစ်သည်။ Bounded ဆိုသည်မှာ အရွယ်အစားငယ်တွင် သက်သေပြပြီးပြီး အရွယ်အစားကို ချရေးထားခြင်းဖြစ်သည်။ Open ဆိုသည်မှာ ticket ပါရှိသော သိပြီးကွာဟချက်ဖြစ်သည်။
တူညီသောကတိကဝတ်များက လူသားများနှင့် အေးဂျင့်များကို ချည်နှောင်သည်
ကတိကဝတ်တိုင်းကို လူများနှင့် AI အေးဂျင့်များ နှစ်ခုစလုံးအတွက် တစ်ကြိမ်သာ ရေးသားထားသည်။ ခေတ္တရပ်နားမှုသည် တစ်ခုတည်းသော ခြွင်းချက်ဖြစ်သည်။ ၎င်းသည် အေးဂျင့်မည်သူမျှ မယူနိုင်သောနေရာနှင့် သက်ဆိုင်ပြီး rc9 မော်ဒယ်များက ကျန်ကတိကဝတ်များ နှစ်ဖက်စလုံးအတွက် အတူတူ တည်ကြောင်း စစ်ဆေးသည်။
သက်သေမပြရသေးသောအရာများ
အရာအားလုံး သက်သေပြပြီးသည် မဟုတ်ဘဲ ကွက်လပ်များကို ချရေးမှတ်သားထားပါသည်။ ကန့်ကွက်ခြင်းနှင့် သီးခြားခွဲထားခြင်းကဲ့သို့သော အုပ်ချုပ်မှုအဆင့်အချို့တွင် စည်းမျဉ်းများရှိသော်လည်း မော်ဒယ်မရှိသေးပါ။ မော်ဒယ်အများစုကို အရွယ်အစားငယ်များဖြင့် စစ်ဆေးထားပြီး အရွယ်အစားကို ဖော်ပြထားပါသည်။ ယခုအချိန်အထိ အစစ်အမှန် node များပေါ်တွင် အစမှအဆုံးတိုင်းတာထားသည်မှာ ခေတ္တရပ်နားခြင်းတစ်ခုတည်းသာ ဖြစ်ပါသည်။ row format တွင် ထုတ်ပြန်ထားသော test vector များ ရှိသော်လည်း ဒုတိယ၊ သီးခြားလွတ်လပ်သော အကောင်အထည်ဖော်မှု မရှိသေးပါ။
ဤအရာတစ်ခုမျှ AI model အတွင်းကို မကြည့်ပါ။ စည်းမျဉ်းများနှင့် ၎င်းတို့ကို သယ်ဆောင်သည့် ကွန်ရက်ကို စစ်ဆေးခြင်းဖြစ်သည်။
GitHub ပေါ်ရှိ rc9 ပုံစံများကို ဖတ်ရှုပါ →
အခြားချဉ်းကပ်မှုများနှင့် နှိုင်းယှဉ်မှု →
CIRIS ဖွဲ့စည်းပုံကို ဖတ်ရှုရန် →
အဓိကတွေ့ရှိချက်များနှင့် ဒေသနိယာမ ကန့်သတ်ချက်များနှင့်အတူ စာတမ်းလေးစောင်လုံးကိုကြည့်ရန် →
လိုက်နာမှု
အုပ်ချုပ်မှု မူဘောင် လေးခုနှင့် စည်းမျဉ်းတစ်ခုချင်းစီ ပုံဖော်ထားသည်။
ကျွန်ုပ်တို့သည် CIRIS ကို အများပြည်သူဆိုင်ရာ အုပ်ချုပ်မှု မူဘောင် လေးခုနှင့် ယှဉ်တွဲပြီး စည်းမျဉ်းတစ်ခုစီအတွက် CIRIS ဘာလုပ်သည်နှင့် ၎င်းကို သက်သေပြသည့် စစ်ဆေးမှုကို ပြသသည်။ ၎င်းသည် သင်ရှာဖွေကြည့်ရှုနိုင်သော တိုက်ရိုက်မြေပုံတစ်ခုဖြစ်ပြီး slide တစ်ခု မဟုတ်ပါ။
Magnifica Humanitas · EU HLEG · IEEE EAD · ASEAN
ပွင့်လင်းမြင်သာမှု