نتایج جستجو برای: bl

تعداد نتایج: 7645  

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه هرمزگان 1389
اصغر صالحی, مسعود هاوشکی, مهدی سبزواری,

در این پایان نامه bl-جبر a را تعریف کرده و بعضی از روابط مهم در bl-جبر را بیان و ثابت می کنیم. قسمت بولی bl-جبر a ، یعنی(b(a را تعریف کرده و در چندین قضیه خواص (b(a را بررسی می کنیم. یک زیر مجموعه ?-بسته در a را تعریف کرده و با استفاده از آن bl-جبر کسرها نسبت به یک زیر مجموعه ?-بسته را تعریف می کنیم. ثابت می کنیم که مجموعه سیستم های استنتاجی bl-جبر a یک مشبکه براورین و یک مشبکه جبری است. طیف یک...

15 صفحه اول
پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شهید چمران اهواز - دانشکده ریاضی و کامپیوتر 1393
نعیمه صابری, حبیب حریزاوی, سینا هدایتیان,

شبه bl- جبرها تعمیم های تعویض ناپذیری از bl-جبرها هستند که به عنوان یک منطق پایه برای هاجک می باشند. در این پایان نامه رده هایی از شبه bl- جبرها از جمله : شبه bl- جبرهای موضعی، خوب، مستقل و کامل را معرفی و خواص آنها را مورد بررسی قرار می دهیم. یک شبه bl- جبر را موضعی گوییم، اگر وتنها اگر یک فیلتر ماکسیمال منحصر به فرد داشته باشد. همچنین زنجیر شبه bl- جبر و فیلتر نرمال اولیه را تعریف می کنیم و ن...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه هرمزگان - دانشکده علوم پایه 1393
اعظم مرودی زاده, مسعود هاوشکی,

در این پایان نامه سعی بر معرفی و شناخت رادیکال فیلترها، فیلترهای اولیه و تجزیه اولیه فیلترها در bl-جبرها، به منظور شناخت ابعاد مختلف bl-جبرها و دسته بندی آنها می باشد. بعد از ارایه مفاهیم مقدماتی و تعاریف پیش نیاز، نخست رادیکال فیلترها در bl-جبرها و برخی از ویژگی های آنها آمده است. در ادامه فیلترهای نیم ماکسیمال در bl-جبرها معرفی می شوند و پاره ای از قضایا را که معرف روابط بین این فیلترها با ...

15 صفحه اول
Journal: journal of mahani mathematical research center 2018
Khadijeh Abolpour, Marzieh Shamsizadeh, Mohammad Mehdi Zahedi,

Taking into account the notion of BL-general fuzzy automaton, in the present study we define the notation of BL-intuitionistic general L-fuzzy automaton and I-bisimulation for BL-intuitionistic general L-fuzzy automaton.Then for a given BL-intuitionistic general L-fuzzy automaton, we obtain the greatest I-bisimulation. According to this notion, we give the structure of quotient BL-intuiti...

متن کامل
پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه هرمزگان 1389
اسماء قادری, مسعود هاوشکی,

در این پایان نامه bl- جبر را تعریف کرده و بعضی روابط مهم در bl- جبر را بیان وثابت می کنیم .سپس روابط بین عملگرهای بستار و bl- جبر را مطالعه نموده و خواص عملگرهای بستار و bl - همومورفیسم روی bl - جبر را تحقیق می کنیم . نشان می دهیم تصویر یک عملگر بستار روی bl - جبر با یک bl - جبر خارج قسمتی یکریخت است . همچنین طیف های اول و ماکسیمال از یکbl – جبر را بررسی و ثابت می کنیم که طیف اول، فضای توپولوژی...

15 صفحه اول
Journal: Iranian Journal of Fuzzy Systems 2016
K. Abolpour M. M. Zahedi, M. Shamsizadeh

In this note, we define bisimulation for BL-general fuzzy automata and show that if there is a bisimulation between two BL-general fuzzy automata, then they have the same behavior.For a given BL-general fuzzy automata, we obtain the greatest bisimulation for the BL-general fuzzy automata. Thereafter, if we use the greatest bisimulation, then we obtain a quotient BL-general fuzzy automata and th...

متن کامل
Journal: Iranian Journal of Mathematical Sciences and Informatics 2011
G. R. Rezaei, N. Kouhestani, R. A. Borzooei,

In last ten years many mathematicians have studied properties of BL-algebras endowed with a topology. For example A. Di Nola and L. Leustean cite{dn} studied compact representations of BL-algebras, L. C. Ciungu cite{ciu} investigated some concepts of convergence in the class of perfect BL-algebras, J. Mi Ko and Y. C. Kim cite{jun} studied relationships between closure operators and BL-algebras,...

متن کامل
Journal: :Repertorium novarum specierum regni vegetabilis 1921

متن کامل
Journal: International Journal of Industrial Mathematics 2019
A. Saeidi Rashkolia, M. Shamsizadeh

In this paper, we prove that any BL-general fuzzy automaton (BL-GFA) and its quotient have the same behavior. In addition, we obtain the minimal quotient BL-GFA and minimal quotient transformation of the BL-GFA, considering the notion of maximal admissible partition. Furthermore, we show that the number of input symbols and time complexity of the minimal quotient transformation of a BL-GFA are ...

متن کامل
پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده کشاورزی 1390
فرزاد باقرزاده کاسمانی, محمد امیر کریمی ترشیزی, عبدالامیر علامه,

به منظور بررسی قابلیت مهار آفلاتوکسین b1 توسط پروبیوتیک باسیلوس، آزمایش های in vitro و in vivo انجام شد. از محتویات دستگاه گوارش 40 قطعه طیور مختلف 350 ایزوله باسیلوس جداسازی گردید. پس از انجام تست های پروبیوتیکی رایج و آزمون آفلاتوکسین زدایی بر روی جدایه ها ، یک جدایه که واجد بالاترین صفات مورد بررسی بود انتخاب و به عنوان laterosporus (bl) berevibacillus شناسایی گردید و در آزمایش مزرعه ای مورد...

15 صفحه اول

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید

function paginate(evt) { url=/search_year_filter/ var term=document.getElementById("search_meta_data").dataset.term pg=parseInt(evt.target.text) var data={ "year":filter_year, "term":term, "pgn":pg } filtered_res=post_and_fetch(data,url) window.scrollTo(0,0); } function update_search_meta(search_meta) { meta_place=document.getElementById("search_meta_data") term=search_meta.term active_pgn=search_meta.pgn num_res=search_meta.num_res num_pages=search_meta.num_pages year=search_meta.year meta_place.dataset.term=term meta_place.dataset.page=active_pgn meta_place.dataset.num_res=num_res meta_place.dataset.num_pages=num_pages meta_place.dataset.year=year document.getElementById("num_result_place").innerHTML=num_res if (year !== "unfilter"){ document.getElementById("year_filter_label").style="display:inline;" document.getElementById("year_filter_place").innerHTML=year }else { document.getElementById("year_filter_label").style="display:none;" document.getElementById("year_filter_place").innerHTML="" } } function update_pagination() { search_meta_place=document.getElementById('search_meta_data') num_pages=search_meta_place.dataset.num_pages; active_pgn=parseInt(search_meta_place.dataset.page); document.getElementById("pgn-ul").innerHTML=""; pgn_html=""; for (i = 1; i <= num_pages; i++){ if (i===active_pgn){ actv="active" }else {actv=""} pgn_li="
  • " +i+ "
    • "; pgn_html+=pgn_li; } document.getElementById("pgn-ul").innerHTML=pgn_html var pgn_links = document.querySelectorAll('.mypgn'); pgn_links.forEach(function(pgn_link) { pgn_link.addEventListener('click', paginate) }) } function post_and_fetch(data,url) { showLoading() xhr = new XMLHttpRequest(); xhr.open('POST', url, true); xhr.setRequestHeader('Content-Type', 'application/json; charset=UTF-8'); xhr.onreadystatechange = function() { if (xhr.readyState === 4 && xhr.status === 200) { var resp = xhr.responseText; resp_json=JSON.parse(resp) resp_place = document.getElementById("search_result_div") resp_place.innerHTML = resp_json['results'] search_meta = resp_json['meta'] update_search_meta(search_meta) update_pagination() hideLoading() } }; xhr.send(JSON.stringify(data)); } function unfilter() { url=/search_year_filter/ var term=document.getElementById("search_meta_data").dataset.term var data={ "year":"unfilter", "term":term, "pgn":1 } filtered_res=post_and_fetch(data,url) } function deactivate_all_bars(){ var yrchart = document.querySelectorAll('.ct-bar'); yrchart.forEach(function(bar) { bar.dataset.active = false bar.style = "stroke:#71a3c5;" }) } year_chart.on("created", function() { var yrchart = document.querySelectorAll('.ct-bar'); yrchart.forEach(function(check) { check.addEventListener('click', checkIndex); }) }); function checkIndex(event) { var yrchart = document.querySelectorAll('.ct-bar'); var year_bar = event.target if (year_bar.dataset.active == "true") { unfilter_res = unfilter() year_bar.dataset.active = false year_bar.style = "stroke:#1d2b3699;" } else { deactivate_all_bars() year_bar.dataset.active = true year_bar.style = "stroke:#e56f6f;" filter_year = chart_data['labels'][Array.from(yrchart).indexOf(year_bar)] url=/search_year_filter/ var term=document.getElementById("search_meta_data").dataset.term var data={ "year":filter_year, "term":term, "pgn":1 } filtered_res=post_and_fetch(data,url) } } function showLoading() { document.getElementById("loading").style.display = "block"; setTimeout(hideLoading, 10000); // 10 seconds } function hideLoading() { document.getElementById("loading").style.display = "none"; } -->