2013 Seventh International Conference on Internet Computing for Engineering and Science最新文献_第3页

Tetrahedron Model Reconstruction and Optimization 四面体模型重构与优化

2013 Seventh International Conference on Internet Computing for Engineering and Science Pub Date : 2013-09-20 DOI: 10.1109/ICICSE.2013.16

Yan-bo Li, J. Zhang, Hailing Wang

引用次数: 2

Subspace Similarity-Based Algorithm for Combine Multiple Clustering 基于子空间相似度的组合多聚类算法

2013 Seventh International Conference on Internet Computing for Engineering and Science Pub Date : 2013-09-20 DOI: 10.1109/ICICSE.2013.22

Sen Xu, Xianfeng Li, Rong Chen, Shuang Wu, Jun Ni

引用次数: 0

Fault Localization and Testing Techniques of Internetware 互联网软件故障定位与测试技术

2013 Seventh International Conference on Internet Computing for Engineering and Science Pub Date : 2013-09-20 DOI: 10.1109/ICICSE.2013.15

Min Song, Zhengxian Wei, Guisheng Yin, Jun Ni

引用次数: 1

A Quick Modeling Approach in Model Checking 模型检验中一种快速建模方法

2013 Seventh International Conference on Internet Computing for Engineering and Science Pub Date : 2013-09-20 DOI: 10.1109/ICICSE.2013.25

Li Tang, Gang Ma

{"title":"A Quick Modeling Approach in Model Checking","authors":"Li Tang, Gang Ma","doi":"10.1109/ICICSE.2013.25","DOIUrl":"https://doi.org/10.1109/ICICSE.2013.25","url":null,"abstract":"Model checking is an effective approach of verifying large and concurrent systems. Models have a direct impact on efficiency in model checking. Therefore, research on system modeling has always been one of the hot issues. Knowledge base system today occupies an important position in people's production and life, thus the verification of knowledge base system becomes particularly important. However, transition system built by static modeling has a problem of information loss. We introduce a modeling approach based on fixed point directed towards model checking problems of production knowledge base system, using procedural features of production rules to model production knowledge base system. We also introduce the concept of conditions transition system based on conditions transition, besides, transition target is decided by action decision triggered by conditions, state transition of the system only happens when special conditions met. Fixed point calculation is introduced to build conditions transition system, and transforms build process to the process of solving the greatest fixed point in the constructor of state set. Experimental results show that, this modeling approach improves the efficiency of modeling significantly, solves the problem of information loss, and also improves the efficiency of error diagnosis.","PeriodicalId":111647,"journal":{"name":"2013 Seventh International Conference on Internet Computing for Engineering and Science","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125361448","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}

引用次数: 0

Semiautomatic Segmentation of CT Cardiac Images CT心脏图像的半自动分割

2013 Seventh International Conference on Internet Computing for Engineering and Science Pub Date : 2013-09-01 DOI: 10.1109/ICICSE.2013.28

Yuke Chen, Xiaoming Wu, Rong-qian Yang, Ken Cai, Xiucai Ding

引用次数: 3