2016 IEEE 17th International Conference on Information Reuse and Integration (IRI)最新文献

Support for Model Checking Z Specifications 支持模型检查Z规格

2016 IEEE 17th International Conference on Information Reuse and Integration (IRI) Pub Date : 2016-12-20 DOI: 10.1109/IRI.2016.38

M. U. Siregar

{"title":"Support for Model Checking Z Specifications","authors":"M. U. Siregar","doi":"10.1109/IRI.2016.38","DOIUrl":"https://doi.org/10.1109/IRI.2016.38","url":null,"abstract":"One of the deficiencies in Z tools is that there is limited support for model checking Z specifications. It is found that building a model checker directly for a Z specification will take considerable effort and time due to an abstraction of the language. Translating a specification input on the Z language into a specification with language that an existing model checker tool accepts is an alternative method. Researchers at the University of Sheffield implemented a translation tool, which they called Z2SAL that took a Z specification and translated it into the input for Symbolic Analysis Laboratory (SAL), which is a framework for combining different tools for abstraction, program analysis, theorem proving and model checking. This paper discusses support for model checking Z specifications, in which the capability of Z2SAL is extended. This support includes a translation of a generic constant and a schema calculus. Instead of translating these aspects of the Z language into the SAL language as Z2SAL does, a Z specification containing these two notations will be pre-processed, in which a generic constant definition will be redefined to an equivalent axiomatic definition and a schema calculus definition will be expanded to a new schema definition. As a result, a redefined or expanded Z specification is generated, in which case a redefinition or an expansion can be performed, otherwise the Z specification input is returned. This paper discusses these supports.","PeriodicalId":319129,"journal":{"name":"2016 IEEE 17th International Conference on Information Reuse and Integration (IRI)","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133179523","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}

引用次数: 3

Improving the Utility of Anonymized Datasets through Dynamic Evaluation of Generalization Hierarchies 通过动态评价泛化层次来提高匿名数据集的效用

2016 IEEE 17th International Conference on Information Reuse and Integration (IRI) Pub Date : 2016-07-30 DOI: 10.1109/IRI.2016.13

Vanessa Ayala-Rivera, Thomas Cerqueus, L. Murphy, Christina Thorpe

{"title":"Improving the Utility of Anonymized Datasets through Dynamic Evaluation of Generalization Hierarchies","authors":"Vanessa Ayala-Rivera, Thomas Cerqueus, L. Murphy, Christina Thorpe","doi":"10.1109/IRI.2016.13","DOIUrl":"https://doi.org/10.1109/IRI.2016.13","url":null,"abstract":"The dissemination of textual personal information has become a key driver for innovation and value creation. However, due to the possible content of sensitive information, this data must be anonymized, which can reduce its usefulness for secondary uses. One of the most used techniques to anonymize data is generalization. However, its effectiveness can be hampered by the Value Generalization Hierarchies (VGHs) used to dictate the anonymization of data, as poorly-specified VGHs can reduce the usefulness of the resulting data. To tackle this problem, we propose a metric for evaluating the quality of textual VGHs used in anonymization. Our evaluation approach considers the semantic properties of VGHs and exploits information from the input datasets to predict with higher accuracy (compared to existing approaches) the potential effectiveness of VGHs for anonymizing data. As a consequence, the utility of the resulting datasets is improved without sacrificing the privacy goal. We also introduce a novel rating scale to classify the quality of the VGHs into categories to facilitate the interpretation of our quality metric for practitioners.","PeriodicalId":319129,"journal":{"name":"2016 IEEE 17th International Conference on Information Reuse and Integration (IRI)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125639063","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

Analysis of Soccer Robot Behaviors Using Time Petri Nets 基于时间Petri网的足球机器人行为分析

2016 IEEE 17th International Conference on Information Reuse and Integration (IRI) Pub Date : 2016-07-28 DOI: 10.1109/IRI.2016.43

Daniel Ponsini, Yilin Yang, Seung-yun Kim

引用次数: 7

Development of Efficient Obstacle Avoidance for a Mobile Robot Using Fuzzy Petri Nets 基于模糊Petri网的移动机器人高效避障研究

2016 IEEE 17th International Conference on Information Reuse and Integration (IRI) Pub Date : 2016-07-28 DOI: 10.1109/IRI.2016.42

P. Baldoni, Yilin Yang, Seung-yun Kim

{"title":"Development of Efficient Obstacle Avoidance for a Mobile Robot Using Fuzzy Petri Nets","authors":"P. Baldoni, Yilin Yang, Seung-yun Kim","doi":"10.1109/IRI.2016.42","DOIUrl":"https://doi.org/10.1109/IRI.2016.42","url":null,"abstract":"In the field of autonomously operated robots it is quite common for a form of environment mapping to be implemented. The process of environment mapping requires standby time and processing time. The robot remains stationary and surveys the surroundings, then constructs an environmental representation and determines the appropriate path of travel. This process diminishes the fluidity of robot locomotion, resulting in limited applications. Through the application of fuzzy Petri nets (FPNs) with embedded memory module, an enhanced mapping method was proposed to overcome such a limitation. With the storage and reuse of key information, such as past calculations and decisions made by the robot, time spent in survey and analysis is reduced. Since this approach requires less processing time, the proposed method can be executed while the robot is in motion, continuously looping at frequent intervals. The proposed method brings the benefits of greater movement fluidity while also introducing the ability to navigate in a dynamic environment with less erratic decision making. The modeling and simulation results demonstrated an 8% increase in efficiency.","PeriodicalId":319129,"journal":{"name":"2016 IEEE 17th International Conference on Information Reuse and Integration (IRI)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115496697","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}

引用次数: 8

Toward Bringing Distributed System Design upon Rigorous Footing 为分布式系统设计奠定坚实基础

2016 IEEE 17th International Conference on Information Reuse and Integration (IRI) Pub Date : 2016-07-28 DOI: 10.1109/IRI.2016.37

Mohammed S. Al-Mahfoudh, G. Gopalakrishnan, Ryan Stutsman

引用次数: 0

Integrating Control and Fault-Tolerant Wireless Network Design for Small Modular Nuclear Reactors (Invited Paper) 小型模块化核反应堆集成控制与容错无线网络设计(特邀论文)

2016 IEEE 17th International Conference on Information Reuse and Integration (IRI) Pub Date : 2016-07-28 DOI: 10.1109/IRI.2016.51

Wenchen Wang, C. D'Angelo, D. Mossé, D. Cole

{"title":"Integrating Control and Fault-Tolerant Wireless Network Design for Small Modular Nuclear Reactors (Invited Paper)","authors":"Wenchen Wang, C. D'Angelo, D. Mossé, D. Cole","doi":"10.1109/IRI.2016.51","DOIUrl":"https://doi.org/10.1109/IRI.2016.51","url":null,"abstract":"There has been an increasing number of cyber-physical systems (CPSs) in the last decade. CPSs sometimes include wireless networks that incur delay and errors. In this paper, we have developed an integrated design approach to combine control system and fault-tolerant wireless network design for an advanced, high-temperature, small, modular nuclear reactor (SMR). Our design approach is composed of two sub-problems: extracting network requirements from control systems and designing networks to meet such requirements. Focused on SMRs, our contributions are as follows: (1) we show how to derive a two-dimensional network performance requirement region in terms of network delay and error, (2) we propose a computation model to determine the network topology to meet network requirements with minimum energy consumption, (3) we conduct a case study with 12-hop and up to 78 nodes wireless sensor network to control a heat exchanger system in an SMR. The average difference between computation model results and simulation results is 4.1%, which confirms our computation model is accurate enough for such systems.","PeriodicalId":319129,"journal":{"name":"2016 IEEE 17th International Conference on Information Reuse and Integration (IRI)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129101079","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}

引用次数: 7

Investigating the Variation of Ensemble Size on Bagging-Based Classifier Performance in Imbalanced Bioinformatics Datasets 研究不平衡生物信息学数据集中基于bagging的分类器性能的集成大小变化

2016 IEEE 17th International Conference on Information Reuse and Integration (IRI) Pub Date : 2016-07-28 DOI: 10.1109/IRI.2016.57

Alireza Fazelpour, T. Khoshgoftaar, D. Dittman, Amri Napolitano

{"title":"Investigating the Variation of Ensemble Size on Bagging-Based Classifier Performance in Imbalanced Bioinformatics Datasets","authors":"Alireza Fazelpour, T. Khoshgoftaar, D. Dittman, Amri Napolitano","doi":"10.1109/IRI.2016.57","DOIUrl":"https://doi.org/10.1109/IRI.2016.57","url":null,"abstract":"Bagging ensemble techniques have been utilized effectively by practitioners in the field of bioinformatics to alleviate the problem of class imbalance and to improve the performance of classification models. However, many previous works have used bagging only with a single arbitrary number of iterations. In this study, we raise the question of what is the impact of altering the number of iterations/ensembles on the classification performance of bagging classifiers? To answer this question, we conducted an empirical study using four different choices of number of iterations (10, 20, 50, and 100) within the bagging algorithm, across 15 different imbalanced bioinformatics datasets. Our results indicate that the choice of 50 iterations performs slightly better than all others without any exception, but the difference in performance is statistically insignificant. Thus, we recommend bagging with 10 iterations because, it achieves quality classification results, additional iterations do not significantly improve performance, and, a smaller number of iterations would be computationally less costly. The unique contribution of this work is to examine the effects of the number of iterations on the classification performance of bagging classifiers in the context of imbalanced datasets in the bioinformatics field.","PeriodicalId":319129,"journal":{"name":"2016 IEEE 17th International Conference on Information Reuse and Integration (IRI)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116576735","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}

引用次数: 3

Understanding Anti-forensic Techniques with Timestamp Manipulation (Invited Paper) 利用时间戳操作理解反取证技术(特邀论文)

2016 IEEE 17th International Conference on Information Reuse and Integration (IRI) Pub Date : 2016-07-28 DOI: 10.1109/IRI.2016.94

Dae-il Jang, Gail-Joon Ahn, Hyunuk Hwang, Kibom Kim

引用次数: 7

Comparison of Real-Time, Mobile Data Bus Architectures 实时、移动数据总线架构的比较

2016 IEEE 17th International Conference on Information Reuse and Integration (IRI) Pub Date : 2016-07-28 DOI: 10.1109/IRI.2016.71

Paul M. Simon, S. Graham

引用次数: 1

An Event Detection Framework Supported by a Smart Graphical User Interface 智能图形用户界面支持的事件检测框架

2016 IEEE 17th International Conference on Information Reuse and Integration (IRI) Pub Date : 2016-07-28 DOI: 10.1109/IRI.2016.72

Fabio Persia, S. Helmer

引用次数: 6