检索结果-内蒙古大学图书馆

Aspiration level approach to solve matrix games with I-fuzzy goals and I-fuzzy pay-offs

Pacific Science Review A: Natural Science and Engineering 2016年第1期18卷 5-13页

作者： Mijanur Rahaman Seikh Prasun Kumar Nayak Madhumangal Pal Department of Mathematics Kazi Nazrul University Asansol 713 340 India Department of Mathematics Midnapore College(Autonomous) Midnapore 721 101 India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721 102 India

The objective of this paper is to develop a new solution methodology for matrix games, in which goals are viewed as intuitionistic fuzzy sets (IFSs) and the elements of the pay-off matrix are represented by triangular intuitionistic fuzzy numbers (TIFNs). In this methodology, a suitable ranking function is defined to establish an order relation between two TIFNs, and the concept of intuitionistic fuzzy (I-fuzzy) inequalities is interpreted. Utilizing these inequality relations and ranking functions, a pair of linear programming models is derived from a pair of auxiliary intuitionistic fuzzy programming models. Based on the aspiration levels, this pair of linear programming models is solved to determine the optimal strategies for both players of the game. The proposed method in this paper is illustrated with a voting share problem to demonstrate the validity and applicability of the method.

关键词： Intuitionistic fuzzy sets Triangular intuitionistic fuzzy numbers Fuzzy game theory Mathematical programming Ranking function

来源：评论

学校读者我要写书评

暂无评论

Hassenstein-Reichardt Detector Using Controllable Single Pulse Time-Delay Circuit for Neuromorphic Hardware

Hassenstein-Reichardt Detector Using Controllable Single Pul...

引用

computer Science (COMSCI), International Scientific Conference on

作者： Ianislav Trendafilov Veska Gancheva Neuromorphica Ltd. Sofia Bulgaria Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies Technical University of Sofia 8 Kliment Ohridski blvd. Sofia Bulgaria

Inspired by the visual system of the fruit fly, we had created a generic building block for neuromorphic hardware that is vital for third generation neural networks. This enables time delay to be parametrized in a cheap and inexpensive way. The advantage of our proposal is the possibility of building and testing new networks using dynamicist approach in artificial intelligence.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Down to Earth - How to Visualize Traffic on High-dimensional Torus Networks

Down to Earth - How to Visualize Traffic on High-dimensional...

引用

Workshop on Visual Performance Analysis (VPA)

作者： Lucas Theisen Aamer Shah Felix Wolf Department of Computer Science RWTH Aachen University Aachen Germany German Research School for Simulation Sciences Laboratory for Parallel Programming Aachen Germany

High-dimensional torus networks are becoming common in flagship HPC systems, with five of the top ten systems in June 2014 having networks with more than three dimensions. Although such networks combine performance with scalability at reasonable cost, the challenge of how to achieve optimal performance remains. Tools are needed to help understand how well the traffic is distributed among the many dimensions. This involves not only capturing network traffic but also its comprehensible visualization. However, visualizing such networks requires projecting multiple dimensions onto a two-dimensional screen, which is naturally challenging. To tackle this problem, in this position paper, we propose a visualization technique which can display traffic on torus networks with up to six dimensions. Our fundamental approach is to simultaneously present multiple views of the same network section, with each view visualizing different dimensions. Furthermore, we leverage the multiple-coordinate system concept and combine it with a customized polygon view to provide both a global and a zoomed-in perspective of the network. By interactively linking all the views, our technique makes it possible to analyze how the communication pattern of an application is mapped onto a network.

关键词： Data visualization Visualization Monitoring Measurement Educational institutions Joining processes Hardware

来源：评论

学校读者我要写书评

暂无评论

Security Goals Assurance Based on Software Active Monitoring

Security Goals Assurance Based on Software Active Monitoring

引用

International Conference on Secure System Integration and Reliability Improvement, SSIRI

作者： Changzhi Zhao Wei Dong Martin Leucker Zhichang Qi Department of Computer Science National University of Defense Technology Changsha China Institute of Software Technology and Programming Languages University of Lübeck Germany

Access control is a vital security mechanism in today's operating systems, and the security policies dictating the security relevant behaviors is lengthy and complex, for example in Security-Enhanced Linux (SELinux). It is extremely difficult to verify the consistency between the security policies and the security goals desired by applications. In this paper, we present how to predict whether the information flow security goal is violated or not during runtime, how to generate the corresponding control actions on-line when divergence is detected and how to apply these actions in time based on software active monitoring technique. The symbolic security information flow model of SElinux is generated from a formalization of the access control mechanism which can be used to generate the N-step ahead projection of the future behavior. Information flow security goals are expressed in linear temporal logic (LTL) which provides clear description of the objectives desired by applications. Anticipatory monitor is generated from LTL formula automatically. We consider an on-line scheme where after the occurrence of an event, the next control action is determined on the basis of the N-step ahead projection of the future behavior. This procedure is repeated after the occurrence of next security relevant event. Thus, a closed-loop system is generated that all behavior sequences will satisfy the security goals.

关键词： Context Monitoring Semantics Access control Cost accounting Syntactics

来源：评论

学校读者我要写书评

暂无评论

GIDTS: a graphical programming environment for Prolog 99

GIDTS: a graphical programming environment for Prolog

引用

Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

作者： Gabriella Kókai Jörg Nilson Christian Niss Department of Computer Science Programming Languages Friedrich-Alexander-University of Erlangen-Nürnberg Martensstr. 3 D-91058 Erlangen Germany

ISBN: (纸本)9781581131376

This paper puts forward the Graphical Interactive Diagnosing, Testing and Slicing System (GIDTS) which is a graphical programming environment for PROLOG programs. The IDTSpart of the system integrates Shapiro's Interactive Diagnosis Algorithm with the Category Partition Testing Method (CPM) and a slicing technique performing the algorithmic debugging and functional testing of PROLOG programs. The integration of IDTS with a graphical user interface (GUI) supports the whole functionality of IDTS and provides a user-friendly environment giving the user more information on the state of the debugging process. GIDTS extends IDTS to a complete programming environment. It allows one to handle the debugging of complex programs using the extended syntax and semantics of PROLOG in a very flexible way. A static code diagnosis has also been implemented. In addition GIDTS supports debugging-directed editing of the source program, and a quick source code navigation via any of the tools (for example: the debugger, the static call graph and the information retriever). All these features are supported by the graphical user interface.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A composition approach to time analysis of first order lazy functional programs 89

A composition approach to time analysis of first order lazy ...

引用

Proceedings of the fourth international conference on Functional programming languages and computer architecture

作者： Bror Bjerner S. Holmström Programming Methodology Group Department of Computer Science Chalmers University of Technology and University of Göteborg S-412 96 Göteborg Sweden

来源：评论

学校读者我要写书评

暂无评论

Distributed System for Detecting the Malware in LAN

Distributed System for Detecting the Malware in LAN

引用

International Scientific and Technical Conference on computer Science and Information Technologies

作者： George Markowsky Oleg Savenko Anatoliy Sachenko Department of Computer Science Missouri University of Science and Technology Rolla USA Department of Computer Engineering and System Programming Khmelnytsky National University Khmelnytsky Ukraine Department of Informatics Kazimierz Pulaski University of Technology and Humanities in Radom Radom Poland

The paper proposes the architecture of distributed multilevel detection system of malicious software in local area networks. Its feature is the synthesis of its requirements of distribution, decentralization, multilevel. This allows you to use it autonomously. In addition, the feature of autonomous program modules of the system is the same organization, which allows the exchange of knowledge in the middle of the system, which, unlike the known systems, allows you to use the knowledge gained by separate parts of the system in other parts. The developed system allows to fill it with subsystems of detection of various types of malicious software in local area networks.

关键词： Architecture Distributed system Malware Local area networks

来源：评论

学校读者我要写书评

暂无评论

Some essential techniques for developing efficient petascale applications

引用

Journal of Physics: Conference Series 2008年第1期125卷

作者： Kalé, L.V. Parallel Programming Laboratory Computer Science Department University of Illinois at Urbana-Champaign Urbana IL 61810 United States

Multiple petaflops-lass machines will appear during the coming year, and many multipetaflops machines are on the anvil. It will be a substantial challenge to make existing parallel CSE applications run efficiently on them, and even more challenging to design new applications that can effectively leverage the large computational power of these machines. Multicore chips and SMP nodes are becoming popular and pose challenges of their own. Further, a new set of challenges in productivity arise, especially if we wish to have a broader set of applications and people to use these machines. Reviewed here is a set of techniques that have proved useful in multiple parallel applications that have scaled to tens of thousands of processors, on machines such as the Blue Gene/L, Blue Gene/P, Cray XT3, and XT4. New challenges and potential solutions for the performance issues are identified. Issues presented by multicore chips and SMP nodes also rre addressed. Also reviewed are some new and old ideas for increasing productivity in parallel programming substantially. © 2008 IOP Publishing Ltd.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Study of the surface traffic inside the Cluj-Napoca urban agglomeration

Study of the surface traffic inside the Cluj-Napoca urban ag...

引用

7th European Conference on Noise Control 2008, EURONOISE 2008

作者： Solea, G. Arghir, M. Borza, D. Runcan, M. Technical University of Cluj-Napoca Faculty of Machines Design Department of Mechanics and Computer Programming B-dul MunciiNr. 103-105 400 641 Cluj-Napoca Romania National Institute of Applied Sciences of Rouen INSA Rouen LMR Ave l'Universite 76800 Rouen France

The environment protection is one of the most actual problems, because of the fact that the pollution became a major danger for the planet life. The environment pollution is caused because some pollution agents are in a too big quantity and for la long time that they become dangerous for the human health, for the flora, for the fauna and for the constructions too. The pollution sources can be classified in natural and artificial sources. The quality of the environment from a specific area at a certain time can be appreciated by: a) the air quality;b) the water quality;c) the soil quality;d) the health level of the population;e) the deficit of animals and plants species that are accounted for. In the paper there are given the urban traffic on the principal routs inside the Cluj-Napoca municipality. The traffic is the constituent part of the research activity of the national project having the destination the monitoring of the noise and vibrations into an urban agglomeration, applied to the Cluj-Napoca town. This study is the first step for the "noise map" asked for the Romania integration in the European Union for the team researchers of TUCN under the direction of the prof. dr. ing. Mariana ARGHIR.

关键词： Water quality

来源：评论

学校读者我要写书评

暂无评论

Analysing the Impact of COVID-19 outbreak and Economic Policy Uncertainty on Stock Markets in Major Affected Economies 6

Analysing the Impact of COVID-19 outbreak and Economic Polic...

引用

6th Smart Cities Symposium, SCS 2022

作者： Matuka, Adelajda Asafo, Shuffield Seyram Eweke, Gamaliel O. Mishra, Pradeep Ray, Soumik Abotaleb, Mostafa Makarovskikh, Tatiana Alhussan, Amel Ali Abdelhamid, Abdelaziz A. El-Kenawy, El-Sayed M. Dutta, P.K. Chowdhury, Subrata University of Macerata Department of Economics and Law Italy Niger Delta University Department of Banking & Finance Nigeria J.N.K.V.V. College of Agriculture M.P. Powarkheda India Centurion University of Technology and Management Odisha Paralakhemundi India Department of System Programming South Ural State University Chelyabinsk454080 Russia Department of Computer Sciences College of Computer and Information Sciences Princess Nourah Bint Abdulrahman University Saudi Arabia Department of Computer Science Faculty of Computer and Information Sciences Ain Shams University Egypt Department of Communications and Electronics Delta Higher Institute of Engineering and Technolog Egypt School of Engineering and Technology Amity University West Bengal Kolkata India AP Chittoor India

ISBN: (纸本)9781839538544

The covid-19 pandemic and Economic Policy Uncertainty resulting from the shutdown of production, withdrawal of investments, enforcement of lockdowns and quarantines globally, have been directly affecting stock markets worldwide. This study is thus an attempt to analyse the impact of the COVID-19 pandemic on stock market behaviour in major affected economies. Moreover, the time frame was extended by using current data which investigate the impact of the virus during the boom and the blast phase in the country's most hit by the pandemic crisis such as China, Italy, UK and US. The frequency of the data is daily, and it dates from 3 January 2020 up to 10 February 2021. The considered time framework will give a deep insight into how stock markets behave in the case of an exogenous shock. The Dickey-Fuller Augmented Unit Root Test indicates that all the variables are stationary at first difference, which is one of the main conditions to have robust result, and the ARCH-LM test for the heteroskedasticity of the residuals, which show that all the probability values are significant, rejecting the null hypothesis of no ARCH effect. Based on the results of GARCH (1,1), we conclude that the change in stock markets volatility is positive and significant in China, Italy, UK and USA. This suggests that the impacts of COVID-19 outbreak and economic policy uncertainty on Stock Markets are a significant and Homogeneous across the studied countries, and the shock on FTSE Italia All Share has the longest time to vanish which makes it the riskiest to invest during this period, while the shock on SP500 USA has the shortest time to disappear meaning that it is safest Stock Market in this study. These findings have significant implications for policymakers, institutional and individual investors and Financial Markets analysts. © 2022 IET Conference Proceedings. All rights reserved.

关键词： Investments

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：