যখন একটি প্রক্রিয়া অন্য প্রক্রিয়া তৈরি করে

আমার পটভূমি জটিলতা তত্ত্ব / যুক্তিযুক্ত (যেখানে বেশিরভাগ সময় কেবল একটি প্রক্রিয়া থাকে), এবং বিতরণ করা কম্পিউটিংয়ে (যেখানে প্রক্রিয়া রয়েছে এবং এক বা একাধিক সময়ের সাথে ব্যর্থ হতে পারে) is তবে আমি এখন অন্য প্রক্রিয়াটি তৈরি / তৈরি / ঘুরানোর প্রক্রিয়া সম্পর্কে কিছু বলতে চাই। সমান্তরাল কম্পিউটিং, অপারেটিং সিস্টেম, ইত্যাদির ক্ষেত্রে কি কঠোরতা রয়েছে যা এর জন্য দায়ী? $n$

প্রেরণা:

আমি এমন মডেলগুলি তৈরির চেষ্টা করছি যা আণবিক ইন্টারঅ্যাকশনগুলির কিছু বৈশিষ্ট্য বিমূর্ত করে। আমি বলতে চাই যে রাসায়নিক বিক্রিয়ার সেট চাই একটি স্বাধীন প্রক্রিয়া, এবং যে একটি নির্দিষ্ট সময় পদে পদে , এটা অন্য স্বাধীন প্রক্রিয়া spawns । Intuitively, এই জিনিস, স্বাধীন প্রসেস মত মনে কারণ তারা সময় পরে একে অপরের সাথে কোন যোগাযোগ আছে - "। বার্তাগুলি" বা খুব সামান্য যোগাযোগ, শুধুমাত্র interchanging $S$ $t$ $S'$ $t$

আরও আনুষ্ঠানিকভাবে:

(1) এমন কি পূর্ব-বিদ্যমান সিএস সংজ্ঞা রয়েছে যেগুলি একটি প্রক্রিয়া অন্য স্বাধীন প্রক্রিয়া তৈরির ধারণাটি ধারণ করে? যেখানে থামে এবং শুরু হয় এবং কেন এটি করা "যুক্তিসঙ্গত" তা সীমাবদ্ধ করতে আমি বিশেষত আগ্রহী । $S$ $S'$

(২) যদি (1) এর একাধিক উত্তর থাকে, তবে আপনি বিভিন্ন সংজ্ঞা সংজ্ঞা ও উপকারকে কী বিবেচনা করবেন?

(দ্রষ্টব্য: কীভাবে এটি যথাযথভাবে ট্যাগ করতে হবে, এবং উত্তরগুলির উপর নির্ভর করে পুনরায় ট্যাগ দেওয়ার পরিকল্পনা করি আমার কোনও ধারণা নেই))

dc.parallel-comp process-algebra

— হারুন স্টার্লিং
সূত্র

আমি সর্বদা forkইউনিক্সের মতো অপারেটিং সিস্টেমে সিস্টেম কলটি ধারণাগতভাবে খুব মার্জিত পেয়েছি । আপনি এটি পারমাণবিক অপারেশন হিসাবে দেখতে পারেন যা বর্তমান প্রক্রিয়াটিকে নকল করে। একটি কাঁটাচামচ আগে, সেখানে মাত্র এক প্রক্রিয়া , যখন কাঁটাচামচ পর, দুই প্রসেস হয় এবং । আমরা অতিসরল করে তোলা জিনিস, তাহলে এবং হয় অভিন্ন , অন্য সব দিক ছাড়া একটি এক-বিট সূচকটি দেয় নেই এটা "নতুন" প্রক্রিয়া যখন জানে "আসল" প্রসেস হয়। এর পরে এবং পৃথকভাবে চালিয়ে যেতে পারে এবং তারা এমনকি করতে পারে

S

$S$

S

$S$

S^{'}

$S'$

S

$S$

S^{'}

$S'$

S^{'}

$S'$

S

$S$

S

$S$

S^{'}

$S'$ নিজেরাই সংশোধন করুন ।

— Jukka Suomela

@ জুক্কা: আপনাকে ধন্যবাদ :-) আমি ইউনিক্সের আদিমকে যা যা করছি তার সাথে সংযুক্ত করার কোনও উপায় থাকলে তা মিষ্টি হবে be

— অ্যারন স্টার্লিং

উত্তর:

অবশ্যই মডেলিং প্রক্রিয়াগুলির জন্য অনেকগুলি সিস্টেম রয়েছে। এগুলি প্রক্রিয়া বীজগণিতের বিভাগে আসে । এর মূল উদাহরণগুলি হ'ল পাইক্যালকুলাস , সিসিএস , এসিপি এবং সিএসপি । $\pi$

প্রক্রিয়া ক্যালকুলিতে প্রক্রিয়া আচরণ নির্দিষ্টকরণের জন্য মৌলিক প্রক্রিয়াগুলি অন্তর্ভুক্ত রয়েছে: বার্তা প্রেরণ এবং গ্রহণ (সমকালীন বা অবিচ্ছিন্নভাবে), সমান্তরাল প্রক্রিয়া তৈরি করা, আচরণের মধ্যে অবিচ্ছিন্ন পছন্দ এবং প্রক্রিয়াগুলির প্রতিলিপি। যদিও নির্মানের সংখ্যার তুলনায় ক্যালকুলি ছোট, তবুও তারা খুব অভিব্যক্তিপূর্ণ এবং বিপুল পরিমাণে গবেষণা তাদের বৈশিষ্ট্যগুলি অধ্যয়ন করতে চলেছে।

অন্যদের থেকে -calculus ভিন্ন কারণ এটা করতে পারবেন, ভব, প্রসেস প্রথম শ্রেণীর মান হিসাবে গৃহীত হবে। এটি গতিশীল টপোলজিতে পরিবর্তনগুলি সক্ষম করে চ্যানেলের নামগুলি প্রথম শ্রেণির মান হিসাবে প্রায় পাস করার অনুমতি দেয়। এটি সম্ভবত আপনি চান ক্যালকুলাস কারণ এটি সর্বাধিক গতিশীলতা সরবরাহ করে। $\pi$

মডেলিংয়ের রেণুগুলির দৃষ্টিকোণ থেকে দেখা গেলে, সিএসপি (ক্রমবর্ধমান ক্রিয়াকলাপগুলি যোগাযোগ করা) কিছুটা অদ্ভুত। এটিতে প্রচুর পরিমাণে ব্যাকিং তত্ত্ব এবং সরঞ্জাম সমর্থন রয়েছে। (CAR Hoare দ্বারা উদ্ভাবিত।)

সিসিএস এবং এসিপির ক্যালকুলাসের চেয়ে কম গতিশীলতা রয়েছে তবে এগুলি বিশ্লেষণ এবং অনুকরণ করা অনেক সহজ। CP CRL (এবং CRL2) নামে একটি শক্ত টুলসেট এসিপি-র জন্য উপলব্ধ। সিসিএসের জন্য অনুরূপ সরঞ্জাম বিদ্যমান বলে নিশ্চিত। $\pi$ $\mu$ $\mu$

আমি সম্পর্কিত কাজটি পরীক্ষা করা শুরু করব (নীচে দেখুন) এবং তারপরে আপনি যে মডেলিংয়ের আনুষ্ঠানিকতা সন্ধান করছেন তা সন্ধান করতে চাই।

প্রক্রিয়া বীজগণিত ব্যবহার করে বাস্তবে প্রচুর পরিমাণে কাজের মডেলিং রাসায়নিক বিক্রিয়া এবং জৈবিক প্রক্রিয়া রয়েছে। সম্ভবত দেখার জন্য সেরা জায়গা লুকা কার্ডেলির প্রকাশনা তালিকা। বায়োকমপুটিং সম্পর্কিত তাঁর সম্পূর্ণ গবেষণার প্রবন্ধটিতে সম্ভবত 30 টি প্রবন্ধ রয়েছে। এই আলোচনা তার অনেক কাজের একটি ওভারভিউ দেয়। এই এক সামান্য আরো প্রথাগত যদিও কাগজপত্র পড়া সত্যিই বিস্তারিত দেখতে একমাত্র উপায়।

একটি পদ্ধতি যা সরাসরি রাসায়নিক প্রক্রিয়াগুলির মডেল করে তা হ'ল চ্যাম (রাসায়নিক বিমূর্ত মেশিন)। এখানে মূল উপাদান হ'ল অণু এবং ঝিল্লির সমাধান। অণু পুনরায় সাজানোর জন্য এবং আবর্জনা অপসারণের জন্য গরম এবং শীতল করার নিয়ম রয়েছে। এই বিধিগুলি বিপরীতমুখী। অবশেষে সেখানে প্রতিক্রিয়া নিয়ম করে কোন মডেল প্রতিক্রিয়া জানায়। বীজগণিত প্রক্রিয়াটির বিপরীতে, CHAM মডেলগুলি প্রক্রিয়াগুলির বাক্য গঠন সম্পর্কে এতটা উদ্বিগ্ন নয়, তাই আপনি অণুগুলির নিজস্ব প্রতিনিধিত্ব আবিষ্কার করতে পারেন।

টুলসেটে অনুধাবন অনুসারে পুনর্লিখনের যুক্তি মাউড এই জাতীয় প্রতিক্রিয়াগুলি নির্দিষ্ট করে দেওয়ার জন্য আরও কম বা কম সরাসরি পদ্ধতির প্রস্তাব দেয়। একজনকে কেবল পুনর্লিখনের নিয়মগুলি নির্দিষ্ট করতে হবে, "স্যুপ" হস্তান্তর স্বয়ংক্রিয়। এই টুলসেটটি (ছোট্ট) রাসায়নিক বিক্রিয়াদের অনুকরণ এবং বিশ্লেষণ সক্ষম করবে। মাউডের একটি সম্ভাব্য বৈকল্পিকও বিদ্যমান।

— ডেভ ক্লার্ক
সূত্র

সম্ভাবনাগুলির মধ্যে পেট্রি-নেটগুলিও বিবেচনা করা যেতে পারে? দুটি বহির্গামী ট্রানজিশন সহ একটি জায়গা রেখে কাঁটাচামক মডেল করা যেতে পারে।

— এম। আলাগান

আরও সাধারণভাবে, পেট্রি-নেট স্টাইলের মিথস্ক্রিয়াকে রৈখিক যুক্তিতে মডেল করা যেতে পারে (উদাহরণস্বরূপ, যদিও একমাত্র এটি নয়, ওয়াটকিনস এট আল, টাইপিস 2003 দ্বারা প্রবর্তনমূলক প্রবন্ধ "দেখুন

— রব সিমনস

ধন্যবাদ, ডেভ। কৌতুকজনকভাবে, সম্ভবত, আমার একটি প্রকল্পের কাজটি বাড়িয়ে দিচ্ছে যা আপনার পেলে লিঙ্ক করেছেন সেই পৃষ্ঠায় দুটি পেপারে কার্ডেলি করেছিলেন। প্রক্রিয়া বীজগণিত সম্পর্কে আমার জ্ঞান সীমাবদ্ধ, তাই আমি যদি সম্ভব হয় তবে জিনিসগুলিকে আনুষ্ঠানিকতা এড়াতে চেষ্টা করেছি। কার্ডেলি ক্যালকুলাসের বায়ো-সংস্করণ সংজ্ঞায়িত করে তবে আমি সেগুলি খুব ভাল বুঝতে পারি না। এটি অবশ্যই আপনাকে সহায়তা করে যা সম্ভবত সবচেয়ে ভাল দিক হতে পারে বলে মনে করে। আমার পক্ষে কমপক্ষে একটি নতুন ফর্মালিজম শিখার আরও কারণ।

π

$\pi$

— অ্যারন স্টার্লিং

@M। আলাগান: সরেজমিনে মনে হচ্ছে পেট্রি নেটগুলি কাজটি করতে পারে। প্রতিটি জায়গা রাসায়নিক পদার্থ হিসাবে বিবেচনা করা যেতে পারে। প্রতিটি রূপান্তর প্রতিক্রিয়া হিসাবে বিবেচনা করা যেতে পারে। সুতরাং, আমাদের যদি H এবং O এবং H2O নামক স্থানগুলি থাকে, তবে একটি স্থানান্তর H থেকে ওপেন থেকে দুটি টোকেন নিতে পারে এবং একটি টোকেন H2O তে রাখে। এই পদ্ধতিতে মডেলিংয়ের ক্ষেত্রে সমস্যাটি হ'ল বীজগণিতগুলির প্রক্রিয়াটির বিপরীতে এই জাতীয় প্রতিটি রূপান্তরগুলির মধ্যে কেবল এক সময় একই সাথে আগুন জ্বলতে পারে যা এই সময়ে এমন অনেকগুলি রূপান্তরকে আগুনে জ্বলতে দেয়।

— ডেভ ক্লার্ক

অ্যারন: আপনি যা করার চেষ্টা করছেন তার উপর নির্ভর করে, বায়োপাইপা মতো আরও আধুনিক প্রক্রিয়া ক্যালকুলি আপনার পক্ষে কার্যকর হতে পারে।

— আন্দ্রেস সালামন

কাজের আরেকটি লাইন যা - আমি বিশ্বাস করি - সম্পর্কিত তবে বায়োকমপুটিংয়ের মতো নয় (দুর্ভাগ্যক্রমে আমি এই অঞ্চলে খুব বেশি পারদর্শী নই), এটি হ'ল ঝিল্লি কম্পিউটিং। "

মেমব্রেন কম্পিউটিং সম্পর্কে আমার বোঝাটি হ'ল এটি প্রক্রিয়া-কাকলুই বিশ্বে মূলত বিকশিত রূপক ব্যবহার করে (ডেভ ক্লার্কের উত্তর সেখানে পয়েন্টারগুলির একটি ভাল সেট দিয়েছে) সেলুলার ইন্টারঅ্যাকশনগুলিকে মডেল করে দেয়। ঝিল্লি কম্পিউটিংয়ের একটি ভাল গাইড সম্ভবত টিসিএসে পাউন এবং রোজেনবার্গের ঝিল্লি কম্পিউটিংয়ের উপযুক্তভাবে নামযুক্ত একটি গাইড । এটি কয়েক বছর আগে ছিল (এবং আমি চেক করার জন্য এই মুহুর্তে কোনও পে-ওয়াল এর ভিতরে নই) তবে আমি বিশ্বাস করি ঝিল্লি কম্পিউটিংয়ের কয়েকটি মডেলের "ফোরকিং" ধারণাটি রয়েছে যা সেলুলার মাইটোসিসকে কোনওভাবে আয়না করার কথা বলে মনে হয়।

— রব সিমন্স
সূত্র

ধন্যবাদ, রব কার্ডেলির কাজ যতদূর আমি জানি ঝিল্লি কম্পিউটারে স্পর্শ করে না। এটি ডিএনএ সার্কিটগুলির জন্য একটি প্রোগ্রামিং ল্যাঙ্গুয়েজ তত্ত্ব তৈরির দিকে আরও বেশি দৃষ্টি নিবদ্ধ করে। আমি পয়েন্টারের প্রশংসা করি, তবে আমি অনুমান করি যে আমি আরও কিছু "মূলধারার" খুঁজছি (যার অর্থ কোনওভাবেই বায়ো-সম্পর্কিত নয়)।

— অ্যারন স্টার্লিং

এটি অবশ্যই একটি বিকল্প। অ্যারোন: কার্ডেলির ব্রেন ক্যালকুলাস লুচার্ডেল্লি.নেম / পেপারস / ব্রেন ১০০ ক্যালকুলি.পিডিএফ মডেলগুলির ঝিল্লি।

— ডেভ ক্লার্ক

হা! ভিড়সোর্সিংয়ের শক্তি! আবার ধন্যবাদ! :-)

— অ্যারন স্টার্লিং