Pub Date : 2013-12-18DOI: 10.3724/SP.J.1087.2013.03345
Mingdong Fan, Sheng-Zhou Xu
{"title":"Massive medical image retrieval system based on Hadoop: Massive medical image retrieval system based on Hadoop","authors":"Mingdong Fan, Sheng-Zhou Xu","doi":"10.3724/SP.J.1087.2013.03345","DOIUrl":"https://doi.org/10.3724/SP.J.1087.2013.03345","url":null,"abstract":"","PeriodicalId":61778,"journal":{"name":"计算机应用","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"69947723","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}
Pub Date : 2013-12-18DOI: 10.3724/SP.J.1087.2013.03380
Shuang Li, Wenjing Li, Huanlong Sun, Zhongming Lin
{"title":"Artificial fish swarm parallel algorithm based on multi-core cluster: Artificial fish swarm parallel algorithm based on multi-core cluster","authors":"Shuang Li, Wenjing Li, Huanlong Sun, Zhongming Lin","doi":"10.3724/SP.J.1087.2013.03380","DOIUrl":"https://doi.org/10.3724/SP.J.1087.2013.03380","url":null,"abstract":"","PeriodicalId":61778,"journal":{"name":"计算机应用","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"69947887","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}
Pub Date : 2013-12-18DOI: 10.3724/SP.J.1087.2013.03406
Ruoqin Zheng, Jinglin Du, Li Xie
{"title":"Directional simple auction aggregation protocol for wireless sensor and actor network: Directional simple auction aggregation protocol for wireless sensor and actor network","authors":"Ruoqin Zheng, Jinglin Du, Li Xie","doi":"10.3724/SP.J.1087.2013.03406","DOIUrl":"https://doi.org/10.3724/SP.J.1087.2013.03406","url":null,"abstract":"","PeriodicalId":61778,"journal":{"name":"计算机应用","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"69948181","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}
Pub Date : 2013-12-18DOI: 10.3724/SP.J.1087.2013.03331
Jie Xiang, Enjie Ding
{"title":"Energy-saving optimization in datacenter based on virtual machine scheduling: Energy-saving optimization in datacenter based on virtual machine scheduling","authors":"Jie Xiang, Enjie Ding","doi":"10.3724/SP.J.1087.2013.03331","DOIUrl":"https://doi.org/10.3724/SP.J.1087.2013.03331","url":null,"abstract":"","PeriodicalId":61778,"journal":{"name":"计算机应用","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"69947524","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}
Pub Date : 2013-12-18DOI: 10.3724/SP.J.1087.2013.03402
Yumin Liang, Tianjie Cao
{"title":"Lightweight protocol with anonymity for Ad Hoc network based on bilinear pairings: Lightweight protocol with anonymity for Ad Hoc network based on bilinear pairings","authors":"Yumin Liang, Tianjie Cao","doi":"10.3724/SP.J.1087.2013.03402","DOIUrl":"https://doi.org/10.3724/SP.J.1087.2013.03402","url":null,"abstract":"","PeriodicalId":61778,"journal":{"name":"计算机应用","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"69948155","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}
Pub Date : 2013-12-18DOI: 10.3724/SP.J.1087.2013.03441
Zedong Hao, Songsong Yu, Ji-hong Guan
{"title":"Hyperspectral image classification based on active learning: Hyperspectral image classification based on active learning","authors":"Zedong Hao, Songsong Yu, Ji-hong Guan","doi":"10.3724/SP.J.1087.2013.03441","DOIUrl":"https://doi.org/10.3724/SP.J.1087.2013.03441","url":null,"abstract":"","PeriodicalId":61778,"journal":{"name":"计算机应用","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"69948430","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}
Ladder logic was used to model the railway interlocking system. In order to achieve the purpose of formal verification of the railway interlocking system,the model of the railway interlocking system expressed by ladder logic was converted to NuSMV language,which was a temporal logic model checker. Then Computational Tree Logic(CTL)specification representing the safety requirements of the railway interlocking system was verified. Finally,the formal verification of computer design model of the railway interlocking system was implemented based on NuSMV.
{"title":"Formal verification of railway interlocking system based on ladder logic","authors":"Yuan Lizhen, Xu Zhongwei, Chen Zu-xi, Zhang Shuqing","doi":"10.3724/SP.J.1087.2013.03419","DOIUrl":"https://doi.org/10.3724/SP.J.1087.2013.03419","url":null,"abstract":"Ladder logic was used to model the railway interlocking system. In order to achieve the purpose of formal verification of the railway interlocking system,the model of the railway interlocking system expressed by ladder logic was converted to NuSMV language,which was a temporal logic model checker. Then Computational Tree Logic(CTL)specification representing the safety requirements of the railway interlocking system was verified. Finally,the formal verification of computer design model of the railway interlocking system was implemented based on NuSMV.","PeriodicalId":61778,"journal":{"name":"计算机应用","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"69947863","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}
Pub Date : 2013-12-18DOI: 10.3724/SP.J.1087.2013.03313
La Wen, J. Rui, Tingting He, Liang Guo
Hierarchical Distributed Latent Dirichlet Allocation(HD-LDA),a popular topic modeling technique for exploring collections,is an improved Latent Dirichlet Allocation(LDA) algorithm running in distributed environment. Mahout has realized HD-LDA algorithm in the framework of Hadoop. However the algorithm processed the whole documents of a single node in sequence,and the execution time of the HD-LDA program was very long when processing a large amount of documents. A new method was proposed to combine Hadoop with Graphic Processing Unit(GPU) to solve the above problem when transferring the computation from CPU to GPU. The application results show that combining the Hadoop with GPU which processes many documents in parallel can decrease the execution time of HD-LDA program greatly and achieve seven times speedup.
{"title":"Accelerating hierarchical distributed latent Dirichlet allocation algorithm by parallel GPU: Accelerating hierarchical distributed latent Dirichlet allocation algorithm by parallel GPU","authors":"La Wen, J. Rui, Tingting He, Liang Guo","doi":"10.3724/SP.J.1087.2013.03313","DOIUrl":"https://doi.org/10.3724/SP.J.1087.2013.03313","url":null,"abstract":"Hierarchical Distributed Latent Dirichlet Allocation(HD-LDA),a popular topic modeling technique for exploring collections,is an improved Latent Dirichlet Allocation(LDA) algorithm running in distributed environment. Mahout has realized HD-LDA algorithm in the framework of Hadoop. However the algorithm processed the whole documents of a single node in sequence,and the execution time of the HD-LDA program was very long when processing a large amount of documents. A new method was proposed to combine Hadoop with Graphic Processing Unit(GPU) to solve the above problem when transferring the computation from CPU to GPU. The application results show that combining the Hadoop with GPU which processes many documents in parallel can decrease the execution time of HD-LDA program greatly and achieve seven times speedup.","PeriodicalId":61778,"journal":{"name":"计算机应用","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"69947759","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：