کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
426724 | 686250 | 2016 | 11 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Re-visiting axioms of information systems
ترجمه فارسی عنوان
بازدید از آیکون های سیستم های اطلاعاتی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
همبستگی نوعی، دامنه، سیستم اطلاعات، توپولوژی،
ترجمه چکیده
بر اساس تحقیق در مورد عناصر مورد استفاده در نظریه سیستم اطلاعاتی، مفهوم سیستم اطلاعات مداوم ساده ارائه شده است که به عنوان تعمیم سیستم های اطلاعات مداوم در نظر گرفته شده است. همانند سیستم اطلاعات مداوم، این نیز یک نمایش بتن از حوزه های پیوسته است و به طور معکوس معادل رده حوزه های پیوسته و توابع پیوسته اسکات است. علاوه بر این، تمام انواع سیستم های اطلاعاتی که در ادبیات مورد مطالعه قرار گرفته اند، تا کنون تبدیل به موارد خاصی از نوع جدید شده اند. با تعریف سیستم های اطلاعات خطی و توابع ورودی آن، ما نشان می دهیم که حالت های یک سیستم اطلاعاتی اسکات به طور دقیق نقطه پایانی عملکرد تطبیق آن است. بعضی از مفاهیم مربوط به یک رابطه تلقی می تواند با ویژگی های تابع مشتمل بر مربوطه مشخص شود و به ویژه، سیستم های ساده اطلاعات مداوم تنها توسط یک توالی از توابع توجیه پذیر تعیین می شود.
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Based on the investigation of the axioms used in the theory of information system, the notion of simplified continuous information system is introduced which is considered as a generalization of continuous information systems. Just like the continuous information system, it is also a concrete representation of continuous domains and categorically equivalent to the category of continuous domains and Scott continuous functions. What is more, all types of information systems studied in the literature so far turn out to be special cases of the new type. By defining linear information systems and their entailment functions, we show that the states of a Scott-style information system are exactly the fixpoints of its entailment function. Some axioms about an entailment relation can be characterized by the properties of the corresponding entailment function, and in particular, the simplified continuous information systems are solely determined by the idempotence of entailment functions.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 247, April 2016, Pages 130-140
Journal: Information and Computation - Volume 247, April 2016, Pages 130-140
نویسندگان
Mengqiao Huang, Xiangnan Zhou, Qingguo Li,