2015 15th International Conference on Computational Science and Its Applications最新文献

An Efficient Layer-Aware Technique for Developing Asynchronous Context-Oriented Software (ACOS) 异步面向上下文软件(ACOS)开发中一种高效的层感知技术

2015 15th International Conference on Computational Science and Its Applications Pub Date : 2015-06-22 DOI: 10.1109/ICCSA.2015.9

Mohamed A. El-Zawawy

引用次数: 2

Logistics Business under the Cloud Computing Framework 云计算框架下的物流业务

2015 15th International Conference on Computational Science and Its Applications Pub Date : 2015-06-22 DOI: 10.1109/ICCSA.2015.24

V. S. Dixit, Shruti Chhabra

引用次数: 2

Formal Verification of Time Constrains SysML Internal Block Diagram Using PRISM 基于PRISM的时间约束SysML内部框图形式化验证

2015 15th International Conference on Computational Science and Its Applications Pub Date : 2015-06-22 DOI: 10.1109/ICCSA.2015.11

Sajjad Ali, Muhammad Abdul Basit Ur Rahim, F. Arif

{"title":"Formal Verification of Time Constrains SysML Internal Block Diagram Using PRISM","authors":"Sajjad Ali, Muhammad Abdul Basit Ur Rahim, F. Arif","doi":"10.1109/ICCSA.2015.11","DOIUrl":"https://doi.org/10.1109/ICCSA.2015.11","url":null,"abstract":"System Modeling Language (SysML) is a standardized profile of Object Management Group (OMG) and it is used for the purpose of graphical modeling a system engineering application. The embedded system is graphically modeled using an internal block diagram of SysML. For formal verification of graphical model, a methodology is proposed which maps the SysML's internal block diagram to input language of PRISM model checker using CTMC (Continuous Time Markov Chain) model for developing more reliable real-time application. The functionality of the system is graphically modeled using an internal block diagram of SysML that is further translated to input language of PRISM. The user requirements are specified using CSL (Continuous Stochastic Logic) which are further verified against the functionality of the system. The timed and untimed properties are presented and verified against the CTMC model. The timed properties involve continuous time as it is critical in embedded system and its verification is necessary. We demonstrate our methodology by applying it on a case study of liquid fertilizer mixing plant and the methodology presents more accurate results.","PeriodicalId":197153,"journal":{"name":"2015 15th International Conference on Computational Science and Its Applications","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131495734","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 6

Improving on the Reliability of Wireless Sensor Networks 提高无线传感器网络的可靠性

2015 15th International Conference on Computational Science and Its Applications Pub Date : 2015-06-22 DOI: 10.1109/ICCSA.2015.18

F. Engmann, J. Abdulai, J. Azasoo

引用次数: 4

A Retrofit Design Science Methodology for Smart Metering Design in Developing Countries 发展中国家智能电表设计的改造设计科学方法

2015 15th International Conference on Computational Science and Its Applications Pub Date : 2015-06-22 DOI: 10.1109/ICCSA.2015.23

J. Azasoo, K. Boateng

{"title":"A Retrofit Design Science Methodology for Smart Metering Design in Developing Countries","authors":"J. Azasoo, K. Boateng","doi":"10.1109/ICCSA.2015.23","DOIUrl":"https://doi.org/10.1109/ICCSA.2015.23","url":null,"abstract":"Traditional meters present both the users and utilities providers with various challenges in developing countries. For instance utility providers must get access to their users' premises to be able to read these meters or check fraudulent connections. Users on the other hand have to wait for months or more before knowing their utility consumptions or join long queues to purchase credit for the post-payment and pre-payment meters respectively. This paper seeks to propose a design that retrofits traditional meters on site into smart meters by adding embedded units for communication and control. The study was conducted using a modified Design Science Methodology referred to as Retrofit Design Science Research Methodology (RDSRM). RDSRM argues that, the artifact in context (Smart Meter) has undergone evaluation and acceptance as critical for solving a defined problem and that there are enough literature to support its relevance. The traditional meters were studied and the proposed system was designed using General Packet Radio Service (GPRS) technology for communication, and Peripheral Interface Controller (PIC). Network based applications were developed to present both the consumers and the utilities with the ability to interact with the meters remotely. An attempt was made to address identified security issues of smart metering by using Message Digest 5 (MD5) Algorithm in the design. The system was evaluated based on smart metering requirements. The GPRS Retrofitted Smart Metering System (GRSMS) will reduce the cost of deploying smart meters.","PeriodicalId":197153,"journal":{"name":"2015 15th International Conference on Computational Science and Its Applications","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122408316","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 17

PPGIS Case Studies Comparison and Future Questioning PPGIS案例研究、比较和未来问题

2015 15th International Conference on Computational Science and Its Applications Pub Date : 2015-06-22 DOI: 10.1109/ICCSA.2015.15

A. G. Gulnerman, H. Karaman

引用次数: 4

Creating Destructible Objects Using a 3D Voronoi Subdivison Tree 使用3D Voronoi细分树创建可破坏对象

2015 15th International Conference on Computational Science and Its Applications Pub Date : 2015-06-22 DOI: 10.1109/ICCSA.2015.26

M. Clothier, M. Bailey

引用次数: 4

Choatic GA Based Q-Learning in Nondeterministic Maze Benchmark 基于混沌遗传算法的q -学习在不确定性迷宫基准中的应用

2015 15th International Conference on Computational Science and Its Applications Pub Date : 2015-06-22 DOI: 10.1109/ICCSA.2015.27

Mostafa Rafiei, M. Sina

{"title":"Choatic GA Based Q-Learning in Nondeterministic Maze Benchmark","authors":"Mostafa Rafiei, M. Sina","doi":"10.1109/ICCSA.2015.27","DOIUrl":"https://doi.org/10.1109/ICCSA.2015.27","url":null,"abstract":"In many Multi Agent Systems, under-education agents investigate their environments to discover their target(s). Any agent can also learn its strategy. In multitask learning, one agent studies a set of related problems together simultaneously, by a common model. In reinforcement learning exploration phase, it is necessary to introduce a process of trial and error to learn better rewards obtained from environment. To reach this end, anyone can typically employ the uniform pseudorandom number generator in exploration period. On the other hand, it is predictable that chaotic sources also offer a random-like series comparable to stochastic ones. It is useful in multitask reinforcement learning, to use teammate agents' experience by doing simple interactions between each other. We employ the past experiences of agents to enhance performance of multitask learning in a nondeterministic environment. Communications are created by operators of evolutionary algorithm. In this paper we have also employed the chaotic generator in the exploration phase of reinforcement learning in a nondeterministic maze problem. We obtained interesting results in the maze problem.","PeriodicalId":197153,"journal":{"name":"2015 15th International Conference on Computational Science and Its Applications","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125638092","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Interference-Aware Clustering Algorithms in Multi-relay Cellular Networks 多中继蜂窝网络中干扰感知聚类算法

2015 15th International Conference on Computational Science and Its Applications Pub Date : 2015-06-22 DOI: 10.1109/ICCSA.2015.21

Hae Sol Lee, Il Kim, Dong In Kim, Seokki Kim, Kwangae Lim

引用次数: 1

Improving Link Ranking Quality by Quasi-Common Neighbourhood 利用拟共邻域提高链接排序质量

2015 15th International Conference on Computational Science and Its Applications Pub Date : 2015-06-22 DOI: 10.1109/ICCSA.2015.19

Andrea Chiancone, Valentina Franzoni, R. Niyogi, A. Milani

引用次数: 29