তারা কি শিল্পে সেমাইডাইফিনেট প্রোগ্রামিং ব্যবহার করে?


10

কাজের তালিকায় আমি এর কোনও উল্লেখ দেখতে পাচ্ছি না। আমি উল্লিখিত পূর্ণসংখ্যা প্রোগ্রামিং, এমআইপি, মিশ্র-পূর্ণসংখ্যার নাইনলাইনার প্রোগ্রামিং, এলপি, ডায়নামিক প্রোগ্রামিং ইত্যাদি দেখেছি, তবে কোনও এসডিপি নেই। ইন্ডাস্ট্রির চেয়ে একাডেমিতে কি এটি অনেক বেশি ট্রেন্ডেন্ডার?

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

উত্তর:


8

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

বৃহত প্রযুক্তি সংস্থা খাতে আমার অভিজ্ঞতা থেকে, লোকেরা সবচেয়ে জটিল, এবং সাধারণত নির্জনবাদী মডেলগুলিতে মিলসগুলি সমাধান করে।

আমি কেমিক্যাল ইঞ্জিনিয়ারিং দিক থেকে তাদের এমআইএনএলপিতে আগ্রহী বলে মনে করি, বিশেষত ননকনভেক্স চতুর্ভুজাকৃতির-সীমাবদ্ধ অপ্টিমাইজেশন যা মিশ্রিত সমস্যাগুলির মধ্যে প্রাকৃতিকভাবে উত্থিত হয়। এছাড়াও PDE সীমাবদ্ধ সমস্যা এবং অন্যান্য সমস্ত মজাদার জিনিস রয়েছে তবে বেশিরভাগই আমার দক্ষতার বাইরে রয়েছে।

যদি আমার অনুমান করতে হয়, এসডিপি সেমিউন্ডাক্টর ডিজাইনে সাবরুটিন হিসাবে ব্যবহার করা যেতে পারে (যেমন ম্যাক্সকুট হিসাবে) তবে মান সলভারের অভাবের কারণে আমি অনুমান করছি যে এখানে বিশাল চাহিদা নেই (এখনও, কমপক্ষে) isn't

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


আমার ধারণা, এসডিপি সর্বদা বহুপদী সময় হিসাবে পরিচিত হয় না। আইআইআরসি নির্দিষ্টভাবে জানতে আপনার অতিরিক্ত বাধা দরকার।
ব্যবহারকারী541686

অবশ্যই, তবে যদি এই প্রতিবন্ধকতাগুলি পূরণ না করা হয় তবে আপনি এটিকে প্রমাণ হিসাবে দেখতে পাবেন না কারণ খুব বেশি বক্তব্য থাকবে না।
আইইনডানিং

7

আমাদের অনেকের আশা মতো সেমিডেফিনাইট প্রোগ্রামিং এবং সেকেন্ড অর্ডার শঙ্কু প্রোগ্রামিং বাস্তবে তেমন দ্রুত গৃহীত হয়নি। আমি গত 20 বছর ধরে এটিতে জড়িত ছিলাম এবং ধীর অগ্রগতি দেখে এটি হতাশাব্যঞ্জক। আমাকে কিছু চ্যালেঞ্জ উল্লেখ করতে দিন:

  1. O(m2)mO(m2) স্টোরেজ প্রয়োজনীয়তাগুলি গবেষণার একটি সক্রিয় বিষয় তবে এসডিপির ক্ষেত্রে তারা সাধারণ উদ্দেশ্য সমাধানকারী হিসাবে ব্যবহারের জন্য যথেষ্ট শক্তিশালী হিসাবে প্রমাণিত হয় নি।

  2. এলপি সফ্টওয়্যার বিক্রেতারা তাদের পণ্যগুলিতে এসডিপির জন্য সমর্থন অন্তর্ভুক্ত করতে উপযুক্ত দেখেনি। এসওসিপি-র জন্য কিছু সীমিত সমর্থন উপস্থিত হতে শুরু করছে।

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

  4. মডেলিংয়ের ভাষা এবং সিস্টেমগুলি (যেমন গ্যাম, এএমপিএল ইত্যাদি) এখনও এসওসিপি এবং এসডিপি-র জন্য ভাল সমর্থন সরবরাহ করে না। সিভিএক্স প্যাকেজটি এই দিকের সবচেয়ে আকর্ষণীয় কাজ, তবে এটির ব্যবহারকারীর পক্ষ থেকে কিছু পরিশীলনের প্রয়োজন oph

ইঞ্জিনিয়ারিং ও বিজ্ঞানের অনেক ক্ষেত্রে গবেষণা পর্যায়ে এসডিপি অ্যাপ্লিকেশন খুঁজে পেয়েছে। মনে হয় সম্ভবত এগুলি শিল্পের ক্ষেত্রেও গুরুত্বপূর্ণ হয়ে উঠবে।


5
কেবল যোগ করতে: একমাত্র বাণিজ্যিক এসডিপি সলভার আফাইক মোসেক এবং এটি যাইহোক সাম্প্রতিককালে। আমি মনে করি যে দৃ one়তা আরও বেশি গুরুত্বপূর্ণ যা ভাবেন তার চেয়ে বেশি: অনেক প্রয়োগে আপনি আরও সময় বরাদ্দ করতে পারেন, তবে যদি কোনও সমাধানকারী ব্যর্থ হয় তবে তার কী করা উচিত?
আন্ড্রেস্যাসিওলি

5

বিদ্যুৎ প্রবাহ সমস্যার জন্য ল্যাবগুলিতে আমি যে কাজটি সম্পর্কে অবগত রয়েছি সেগুলির বেশিরভাগ স্টোকাস্টিক অপ্টিমাইজেশনের উপরও রয়েছে, বেশিরভাগ মিল্পগুলিতে ফোকাস করে।

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

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

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

কয়েকটি এসডিপি সলভার রয়েছে যা ঠিক আছে, এবং তারা সমস্যাগুলি সমাধান করেছেন যা একাডেমিয়ার জন্য বেশ বড় (শেষবার আমি চেক করেছিলাম 3-4 বছর আগে, এবং তারা দশ সহস্র থেকে কয়েক হাজার পরিবর্তনশীল সমাধান করছিল), তবে বিদ্যুৎ প্রবাহের পরিস্থিতি অনেক বড় সমস্যা জড়িত (কয়েক মিলিয়ন থেকে কোটি কোটি ভেরিয়েবল), এবং আমি মনে করি না যে সমাধানকারীরা এখনও সেখানে আছেন। আমি মনে করি তারা সেখানে যেতে পেরেছিল - ম্যাট্রিক্স-মুক্ত অভ্যন্তরীণ-পয়েন্ট পদ্ধতিগুলির ক্ষেত্রে সাম্প্রতিক কাজগুলি যথেষ্ট পরিমাণে ঘটেছে যা বোঝায় যে এই কৌশলগুলি ব্যবহার করে এসডিপি সলভারগুলি স্কেল করা সম্ভব হবে - তবে এখনও কেউ এটি করেনি সম্ভবত কারণ এলপি, মিলস এবং উত্তল এনএলপিগুলি প্রায়শই ঘন ঘন আসে এবং প্রযুক্তি প্রতিষ্ঠিত হয়।


2
আমি এখন এই সম্পর্কে খুব সামান্য, কিন্তু মজার বিষয় হ'ল তত্ত্ব নিয়ন্ত্রণ করার জন্য অ্যাপ্লিকেশনগুলি কিছু সময়ের জন্য ছিল। লিনিয়ার ম্যাট্রিক্স ইনক্যুয়ালিটিস ইন সিস্টেমস অ্যান্ড কন্ট্রোল ১৯৯৪ সালে প্রকাশিত হয়েছিল। স্টিফেন বয়েড তাঁর বেশিরভাগ গবেষণা অপ্টিমাইজেশন এবং নিয়ন্ত্রণের মোড়ে দেখেন, এবং তিনিও কমপক্ষে
১৯৯

এটা সত্যি. শিল্প নিয়ন্ত্রণ সম্পর্কে আমি যা জানি তার বেশিরভাগই রাসায়নিক প্রক্রিয়াজাতকরণ শিল্পের একটি সংক্ষিপ্ত ইন্টার্নশিপ থেকে আসে এবং সেখানে মডেল ভবিষ্যদ্বাণীমূলক নিয়ন্ত্রণটি একটি নতুন নতুন জিনিস ছিল এবং আমি বিশ্বাস করি যে 80-এর দশকের মাঝামাঝি এবং 90-এর দশকের মাঝামাঝি সময়ে কোনও কোনও সময়ে বিকশিত হয়েছিল।
জিফ অক্সবেরি
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.