Interface 500 ปี

ช่วงนี้หลังจากที่เรียนโท เสาร์ อาทิตย์แล้ว ดึกผมยังมี Job พิเศษ ที่ผมไม่อยากทำเลยครับ คือ นอนเฝ้า Database ครับ หลายคนอาจจะสงสัยทำไมต้องนอนเฝ้าหละ ของเล่า Timeline ก่อน 📌 2017-01-19 : ระบบแจ้ง IBM SQL0968C The file system is full. SQLSTATE=57011 ผมเข้าไป Clear Log ให้นะครับ📌 2017-01-20: Log เต็มอีกแล้วเหรอ ผมเริ่มสงสัยและมันต้องมีอะไรแปลกๆแน่ๆ เลย Export Log กลับมาดู📌 2017-01-21: เรียน Formal กำลังมืนได้ที่ เอ้า Log เต็มอีกแล้ว เลยรีบไปเคลียร์ Log ตอนนี้จับได้และ มันมี UAT ระบบรอบข้างของอีกบริษัท ก็เลยต้อง Process Interface ให้ Feed ย้อนหลังไป 1 ปี ผมเลยแจ้งเตือนไป ถ้าจะทำควร Duplicate Database ออกมาอีกก้อนครับ📌 2017-01-22: นึกว่าวันนี้จะปลอดภ้ย โดนอีกแล้ว Log เต็ม เข้ามาเคลียร์ต่อ คราวนี้แอบมาทำอีก ผมเคลียร์เรียบร้อยแล้ว ดูพื้นที่น่าจะเพียงแล้วเลยกลับบ้าน📌 2017-01-23: วันนี้คิดว่าจะนั่งรถเมล์ชิวๆไปทำงาน ได้แว๊นไปต่อ BTS เข้า Site แบบเร่งด่วน พอมาหาสาเหตุ รอบนี้มีแอบ Run Interface ย้อนหลังอีกแล้ววว แถม Human Error อีก ดังนี้ 📌 หลังจากจับโจรแล้ว สรุปปัญหาได้ 2 อย่าง 📌 ทางแก้ไขหละ สำหรับเรื่อง ฮาๆ…

Promela – Hello Formal Verification

หลังจากลง Spin และตัว Graphviz (เพิ่งรู้ว่ามันเอามาช่วย Spin ทำพวก Automata) มาลองเขียนโปรแกรมกันเลย ก่อนอาจารย์สอนพรุ่งนี้อีกที แปะ Code ไว้ก่อนนะครับ init{ printf(“Hello world \n Promela \n”); } สำหรับผลลัพธ์ก็ตามนี้ครับ เข้าสู่โลกของ Formal Verification ไปอีกขั้น

[RECAP] BOTDMS Module

จบไปแล้วสำหรับ Module BOTDMS (DataSet กับ DataFile) ที่ผมรับผิดชอบอยู่ มาสรุปดีกว่า ว่ามันมีอะไรที่ควรบันทึก ทั้งจุดเด่น และจุดด้อยครับ จุดเด่น จุดด้อยที่ควรปรับปรุง ตอนนี้เข้าสู่ช่วง MA เรียบร้อย น่าจะมีการ Change จากการลอง Test บน Production แต่ไม่ยอมแจ้งตอนเก็บ Requirement

[CUSE] มาขอสิทธิ์เข้า DreamSpark

ตัว DreamSpark เป็นโครงการใช้เราใช้ Software แบบมีลิขสิทธิ์จาก Microsoft ครับ ลองไปถามๆ Google ดู คณะวิศวะจุฬา มีโครงการด้วยครับ สำหรับการขอสิทธิ์มีขั้นตอน ดังนี้ สำหรับผม เห็นแบบฟอร์ม มันมี Google App ให้เลือกด้วย เอาแถมไปเลยครับ Reference  

Install Graphviz – Graph Visualization Software

หลังจากตอนที่แล้วได้ลง Spin มาแล้ว แต่ผมเหลือบในเห็นใน List ของ Tools ที่จำเป็นในวิชา Formal Verification เห็นมีลง Graphviz  ด้วย ผมเลยเอามาเขียนอีก Blog แยกดีกว่าครับ เตรียมตัวก่อนลง ลง Graphviz ทำให้ Graphviz ใช้กับ dos command ทดสอบ Graphviz ผูก iSpin Reference

Install Spin – Formal Verification Tools

สำหรับใน Blog ตอนนี้ผมเน้นไปทางสาวกหน้าต่างนะครับ Microsoft Windows นะครับ สำหรับบันทึกการลง Spin ในวิชา Formal  Verification เตรียมตัวก่อนลง ลง Cygwin ทำให้ Cygwin ใช้กับ dos command ลง SPIN ลง ActiveTcl ผูก iSpin ถ้ามีเวลาเพิ่มเติม ผมอยากลองลงกับตัว Ubuntu Sub-System ที่มากับ Windows10 นะครับ แต่ต้องทำ VM แยก คราวก่อนลอง Docker ไป คอมเปิดไม่ติดเลย 5555 Reference

[CR] 711 สีมจีนเล็ก

หลังจากกิข้าวเที่ยงแล้ว ไม่ยากกินขนม อ้วนและ 555 เลยลองมาส่องๆหาผลไม้ใน 711 ไปเจอกัน ส้มจีนเล็กครับ ลองถามราคาพนักงานดู ราคา 29 บาท ลองมาชิมกันดีกว่าครับ Reference

เข้าสู่โหมดนิสิตอีกครั้ง

วันนี้เป็นวันเปิดเทอมสำหรับการเรียนรปริญญาโทนะครับ ยอมรับว่ามากันอย่างมืนๆ ตัวห้องเรียนขึ้นเป็น ENG4 (AR) ครับ เมื่อมาถึงแล้ว

Control Hierarchy และ Fan-in กับ Fan-out คือ อะไร ?

คำนี้ผมเพิ่งได้ยินจากจากการเรียนปริญญาโทครับ โดยในคาบเรียบอาจารย์ให้แบ่งกลุ่ม และลองศึกษา Keyword ต่างๆ ประมาณ 20 นาที แล้วมานำเสนอครับ ของกลุ่มผมมี 3 คำครับ (เดี๋ยวมาอธิบายต่อไปเลย) Control Hierarchy คือ อะไร ? เป็นแผนภาพที่แสดงโครงสร้างของระบบ โดยมองในมุมของ Components (ผมเข้าใจว่ามองลงได้ถึงในระดับ Class/Method ได้นะ) ว่ามี Components มีความสัมพันธ์กับ Module อื่นๆ อย่างไร จากแผนภาพตรงนี้ เรามาค้นหาความสัมพันธ์ที่ซ่อนในโครงสร้างนี้กัน Fan-in & Fan-out คือ อะไร ? – ความหมาย – ทำไมต้องมาดู Fan-in & Fan-out หละ ให้ Code มัน Maintain ได้ง่ายไง – แล้วที่ดี คือ อะไร ? ส่วนใหญ่จะเน้น High fan-in & Low fan-out Structure Type พอเราดูสิ่งที่ค้นพบจาก Control Hierarchy ต่อมาเป็นการจัดการโครงสร้างกัน ว่าเราจะบริหารแบบไหน สำหรับผมมองว่าเรื่อง Control Hierarchy + Fan-in & Fan-out เป็นตัวช่วยหนึ่งที่ทำให้เราไม่ออกแบบระบบ โดยไปยึดติดกับ Keyword ต่างๆ จากมากเกินไปครับ เช่น Coupling หรือ Cohesion Reference

[WordPress] อ้าวทำไมแชร์ลง FB แล้วภาพไม่ขึ้นหละ

อยู่มาวันนึง อยู่ Post ที่ตั้งเวลาไว้ให้ Public จาก WordPress ไป Facebook ภาพไม่ขึ้นซะงั้น คำถามแรกที่ผมคิด มันเกิดอะไรขึ้นหว่า แต่การที่เราจะไม่หาสาเหตุได้ เราต้องรู้พื้นฐานก่อนครับ ว่าไอ้ที่ Facebook มันดูดไป มีลักษณะอย่างไรครับ อย่างแรกที่เราต้องรู้จักเลย อ่านมาถึงตรงนี้แล้ว อยากให้เว็บมี Open Graph หละ ? มาถึงปัญหาของผมบ้างหละ เจอแล้วต้นตอของมัน ทดสอบอีกครับ สรุป