首页 > 最新文献

2014 IEEE 5th International Conference on Software Engineering and Service Science最新文献

英文 中文
A Kinect-based rehabilitation exercise monitoring and guidance system 基于kinect的康复运动监测与指导系统
Pub Date : 2014-06-27 DOI: 10.1109/ICSESS.2014.6933678
Wenbing Zhao, Hai Feng, Roanna Lun, D. Espy, M. A. Reinthal
In this paper, we describe the design and implementation of a Kinect-based system for rehabilitation exercises monitoring and guidance. We choose to use the Unity framework to implement our system because it enables us to use virtual reality techniques to demonstrate detailed movements to the patient, and to facilitate examination of the quality and quantity of the patient sessions by the clinician. The avatar-based rendering of motion also preserves the privacy of the patients, which is essential for healthcare systems. The key contribution of our research is a rule-based approach to realtime exercise quality assessment and feedback. We developed a set of basic rule elements that can be used to express the correctness rules for common rehabilitation exercises.
在本文中,我们描述了一个基于kinect的康复训练监测和指导系统的设计和实现。我们选择使用Unity框架来实现我们的系统,因为它使我们能够使用虚拟现实技术向患者演示详细的动作,并便于临床医生检查患者会话的质量和数量。基于虚拟角色的运动渲染也保护了患者的隐私,这对医疗保健系统至关重要。我们研究的关键贡献是一种基于规则的实时运动质量评估和反馈方法。我们开发了一套基本规则元素,可用于表达常见康复练习的正确性规则。
{"title":"A Kinect-based rehabilitation exercise monitoring and guidance system","authors":"Wenbing Zhao, Hai Feng, Roanna Lun, D. Espy, M. A. Reinthal","doi":"10.1109/ICSESS.2014.6933678","DOIUrl":"https://doi.org/10.1109/ICSESS.2014.6933678","url":null,"abstract":"In this paper, we describe the design and implementation of a Kinect-based system for rehabilitation exercises monitoring and guidance. We choose to use the Unity framework to implement our system because it enables us to use virtual reality techniques to demonstrate detailed movements to the patient, and to facilitate examination of the quality and quantity of the patient sessions by the clinician. The avatar-based rendering of motion also preserves the privacy of the patients, which is essential for healthcare systems. The key contribution of our research is a rule-based approach to realtime exercise quality assessment and feedback. We developed a set of basic rule elements that can be used to express the correctness rules for common rehabilitation exercises.","PeriodicalId":6473,"journal":{"name":"2014 IEEE 5th International Conference on Software Engineering and Service Science","volume":"14 1","pages":"762-765"},"PeriodicalIF":0.0,"publicationDate":"2014-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82417567","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}
引用次数: 73
EEG-based emotion recognition using wavelet features 基于脑电图的小波特征情感识别
Pub Date : 2014-06-27 DOI: 10.1109/ICSESS.2014.6933636
Zhengjie Zhou, Huiping Jiang, Xiaoyuan Song
This paper described a research project conducted to recognize to finding the relationship between EEG signals and Human emotions. EEG signals are used to classify three kinds of emotions, positive, neuter and negative. Firstly, literature research has been performed to establish a suitable approach for emotion recognition. Secondly, we extracted features from original EEG data using 4-order wavelet and put them in SVM classifier with different kernel functions. The result shows that an SVM with linear kernel has higher average test accuracy than other kernel function.
本文描述了一项旨在识别和发现脑电图信号与人类情绪之间关系的研究项目。脑电图信号被用来对三种情绪进行分类,积极、中性和消极。首先,进行文献研究,建立适合的情绪识别方法。其次,利用四阶小波对原始EEG数据进行特征提取,并将其放入不同核函数的SVM分类器中;结果表明,线性核支持向量机比其他核函数具有更高的平均测试精度。
{"title":"EEG-based emotion recognition using wavelet features","authors":"Zhengjie Zhou, Huiping Jiang, Xiaoyuan Song","doi":"10.1109/ICSESS.2014.6933636","DOIUrl":"https://doi.org/10.1109/ICSESS.2014.6933636","url":null,"abstract":"This paper described a research project conducted to recognize to finding the relationship between EEG signals and Human emotions. EEG signals are used to classify three kinds of emotions, positive, neuter and negative. Firstly, literature research has been performed to establish a suitable approach for emotion recognition. Secondly, we extracted features from original EEG data using 4-order wavelet and put them in SVM classifier with different kernel functions. The result shows that an SVM with linear kernel has higher average test accuracy than other kernel function.","PeriodicalId":6473,"journal":{"name":"2014 IEEE 5th International Conference on Software Engineering and Service Science","volume":"56 1","pages":"585-588"},"PeriodicalIF":0.0,"publicationDate":"2014-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83963495","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
Image clusters based 3D virtual tour schema 基于图像聚类的三维虚拟漫游模式
Pub Date : 2014-06-27 DOI: 10.1109/ICSESS.2014.6933650
Dan Zhang, Rui Zheng, Guosheng Yang
This paper presents a 3D virtual tour schema based on image clusters. With the development of the Internet, various image-based applications have generated large amounts of image data. Vast amounts of image data can be effectively organized by clustering algorithms according to their geographic location information and content, thus forming image clusters. These data then can be reconstructed for 3D virtual tour using the state-of-the-art computer vision methods. This paper analyzes the popular photo tours application and Photosynth, and proposes an image clusters based 3D virtual tour schema on the basis of these applications. This paper also points out the room for improvement in the future, and several possible applications based on this schema are discussed finally.
提出了一种基于图像聚类的三维虚拟漫游方案。随着互联网的发展,各种基于图像的应用产生了大量的图像数据。聚类算法可以根据图像的地理位置信息和内容对海量图像数据进行有效的组织,形成图像聚类。然后,这些数据可以使用最先进的计算机视觉方法重建3D虚拟旅行。本文分析了目前流行的照片漫游应用和Photosynth,并在这些应用的基础上提出了一种基于图像聚类的三维虚拟漫游方案。本文还指出了未来的改进空间,最后讨论了基于该模式的几种可能的应用。
{"title":"Image clusters based 3D virtual tour schema","authors":"Dan Zhang, Rui Zheng, Guosheng Yang","doi":"10.1109/ICSESS.2014.6933650","DOIUrl":"https://doi.org/10.1109/ICSESS.2014.6933650","url":null,"abstract":"This paper presents a 3D virtual tour schema based on image clusters. With the development of the Internet, various image-based applications have generated large amounts of image data. Vast amounts of image data can be effectively organized by clustering algorithms according to their geographic location information and content, thus forming image clusters. These data then can be reconstructed for 3D virtual tour using the state-of-the-art computer vision methods. This paper analyzes the popular photo tours application and Photosynth, and proposes an image clusters based 3D virtual tour schema on the basis of these applications. This paper also points out the room for improvement in the future, and several possible applications based on this schema are discussed finally.","PeriodicalId":6473,"journal":{"name":"2014 IEEE 5th International Conference on Software Engineering and Service Science","volume":"67 1","pages":"641-644"},"PeriodicalIF":0.0,"publicationDate":"2014-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80267949","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
The method of using hypernetworks and concept lattice to solve domain concepts' semantic inconsistencies 利用超网络和概念格解决领域概念语义不一致的方法
Pub Date : 2014-06-27 DOI: 10.1109/ICSESS.2014.6933702
Fenghua Hu, Xiaogang Qiu, Lei Luo
There are many semantic inconsistencies between domain concepts, which made it difficult to model, to interoperate and also to compose models semantically in software engineering, M&S (modeling and simulation) or semantic web. Thus we described the domain concepts and concepts taxonomy by hypernetwork (concept hypergraph), whose nodes set is the concepts set and edge is consisted of the correlative properties. Firstly, we have found out that the nodes set of concept hypergraph has the feature of order. In addition, by the definition of formal context, we have proved that the concept set is a complete concept lattice. And then, the domain knowledge has been extended from both of aspects of concept's extent and intent simultaneously, while the hypernetwork system has also been expanded according to the extended concept set. Finally, to achieve the semantically consistent taxonomy of the domain concepts through the hypernetwork system's adjacency and path matrices sequentially, we illustrated the example of the semantic inconsistencies of the military domain artillery concept's taxonomy and have given the method and steps perfectly.
在软件工程、建模与仿真(M&S)或语义网中,领域概念之间存在许多语义上的不一致,这使得建模、互操作和语义上的模型组合变得困难。因此,我们用超网络(概念超图)来描述领域概念和概念分类,其节点集是概念集,边缘由相关属性组成。首先,我们发现概念超图的节点集具有有序的特征。此外,通过形式上下文的定义,证明了概念集是完全概念格。然后,从概念的广度和意图两个方面同时对领域知识进行扩展,同时根据扩展的概念集对超网络系统进行扩展。最后,为了通过超网络系统的邻接矩阵和路径矩阵顺序实现领域概念的语义一致性分类,我们举例说明了军事领域火炮概念分类的语义不一致性,并给出了完善的方法和步骤。
{"title":"The method of using hypernetworks and concept lattice to solve domain concepts' semantic inconsistencies","authors":"Fenghua Hu, Xiaogang Qiu, Lei Luo","doi":"10.1109/ICSESS.2014.6933702","DOIUrl":"https://doi.org/10.1109/ICSESS.2014.6933702","url":null,"abstract":"There are many semantic inconsistencies between domain concepts, which made it difficult to model, to interoperate and also to compose models semantically in software engineering, M&S (modeling and simulation) or semantic web. Thus we described the domain concepts and concepts taxonomy by hypernetwork (concept hypergraph), whose nodes set is the concepts set and edge is consisted of the correlative properties. Firstly, we have found out that the nodes set of concept hypergraph has the feature of order. In addition, by the definition of formal context, we have proved that the concept set is a complete concept lattice. And then, the domain knowledge has been extended from both of aspects of concept's extent and intent simultaneously, while the hypernetwork system has also been expanded according to the extended concept set. Finally, to achieve the semantically consistent taxonomy of the domain concepts through the hypernetwork system's adjacency and path matrices sequentially, we illustrated the example of the semantic inconsistencies of the military domain artillery concept's taxonomy and have given the method and steps perfectly.","PeriodicalId":6473,"journal":{"name":"2014 IEEE 5th International Conference on Software Engineering and Service Science","volume":"94 1","pages":"863-867"},"PeriodicalIF":0.0,"publicationDate":"2014-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80703623","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
Feature selection using feature ranking, correlation analysis and chaotic binary particle swarm optimization 基于特征排序、关联分析和混沌二元粒子群优化的特征选择
Pub Date : 2014-06-27 DOI: 10.1109/ICSESS.2014.6933569
Fei Wang, Yi Yang, Xianchao Lv, Jiao Xu, Lian Li
In this paper, we propose a multi-stage feature selection algorithm, which focuses on the reduction of redundant features and the improvement of classification performance using feature ranking (FR), correlation analysis (CA) and chaotic binary particle swarm optimization (CBPSO). In the first stage, with the purpose of selecting the most effective features for classification, FR is introduced to select the top-ranked features according to the classification accuracies. In the second stage, CA is used to measure the correlation among the selected top-ranked features for reducing redundant features. In the third stage, in order to further eliminate redundant features and improve the classification performances, CBPSO is adopted to search the optimal feature subset. Ultimately, feature selection can be completed by using only some top-ranked features with less redundancy for classification. Support vector machine (SVM) with n-fold cross-validation is adopted to assess the classification performances on six datasets in the experiments. Experimental results show that the proposed algorithm can achieve better performance in terms of classification accuracy and the number of features than benchmark algorithms.
本文提出了一种多阶段特征选择算法,该算法主要利用特征排序(FR)、相关分析(CA)和混沌二粒子群优化(CBPSO)来减少冗余特征并提高分类性能。在第一阶段,为了选择最有效的特征进行分类,引入FR,根据分类准确率选择排名靠前的特征。在第二阶段,使用CA来度量所选的排名靠前的特征之间的相关性,以减少冗余特征。第三阶段,为了进一步消除冗余特征,提高分类性能,采用CBPSO算法搜索最优特征子集。最终,特征选择可以只使用一些排名靠前且冗余度较低的特征进行分类。在实验中,采用n次交叉验证的支持向量机(SVM)对6个数据集的分类性能进行评估。实验结果表明,该算法在分类精度和特征数量方面均优于基准算法。
{"title":"Feature selection using feature ranking, correlation analysis and chaotic binary particle swarm optimization","authors":"Fei Wang, Yi Yang, Xianchao Lv, Jiao Xu, Lian Li","doi":"10.1109/ICSESS.2014.6933569","DOIUrl":"https://doi.org/10.1109/ICSESS.2014.6933569","url":null,"abstract":"In this paper, we propose a multi-stage feature selection algorithm, which focuses on the reduction of redundant features and the improvement of classification performance using feature ranking (FR), correlation analysis (CA) and chaotic binary particle swarm optimization (CBPSO). In the first stage, with the purpose of selecting the most effective features for classification, FR is introduced to select the top-ranked features according to the classification accuracies. In the second stage, CA is used to measure the correlation among the selected top-ranked features for reducing redundant features. In the third stage, in order to further eliminate redundant features and improve the classification performances, CBPSO is adopted to search the optimal feature subset. Ultimately, feature selection can be completed by using only some top-ranked features with less redundancy for classification. Support vector machine (SVM) with n-fold cross-validation is adopted to assess the classification performances on six datasets in the experiments. Experimental results show that the proposed algorithm can achieve better performance in terms of classification accuracy and the number of features than benchmark algorithms.","PeriodicalId":6473,"journal":{"name":"2014 IEEE 5th International Conference on Software Engineering and Service Science","volume":"50 1","pages":"305-309"},"PeriodicalIF":0.0,"publicationDate":"2014-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80743497","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}
引用次数: 10
Big data technologies in support of real time capturing and understanding of electric vehicle customers dynamics 大数据技术支持实时捕捉和理解电动汽车客户动态
Pub Date : 2014-06-27 DOI: 10.1109/ICSESS.2014.6933559
R. Qiu, K. Wang, Shan Li, Jin Dong, Ming Xie
Energy overconsumption and greenhouse gas emission have been contributing to air pollutions and the global warming for years. The unceasingly increasing number of fossil fuels based vehicles around the world is considered as one of main factors making to the situation worse year by year. Electric vehicles (EV) are promoted as a viable and promising alternative transportation means for customers. However, there is an array of issues hindering EVs from the fast adoption in the global auto market. As these issues bear different priorities that surely vary with marketplaces, it becomes essential for EV makers and governments to capture and understand the dynamics of EV consumers in real time. This paper explores how the emerging big data technologies can be applied to facilitate the process of deciphering the acceptance and behavior of EV customers from marketplace to marketplace. A data-collecting web system is discussed. IBM BigInsights platform technologies, including Hadoop, Streams, SPSS modeler and text analytics, are utilized for looking into the insights of collected data. Examples are provided to show the promising future of big data technologies in the field of customer analytics in today's globalized economy.
多年来,能源过度消耗和温室气体排放一直是造成空气污染和全球变暖的原因。世界范围内不断增加的化石燃料汽车被认为是使情况逐年恶化的主要因素之一。电动汽车(EV)作为一种可行的、有前途的替代交通工具被推广给客户。然而,有一系列问题阻碍了电动汽车在全球汽车市场的快速普及。随着市场的不同,这些问题的优先级也会有所不同,因此,电动汽车制造商和政府必须实时捕捉和了解电动汽车消费者的动态。本文探讨了如何应用新兴的大数据技术来促进解读电动汽车客户在不同市场的接受程度和行为。讨论了一个数据采集网络系统。IBM BigInsights平台技术,包括Hadoop、Streams、SPSS建模器和文本分析,用于查看收集数据的见解。举例说明了大数据技术在当今全球化经济中客户分析领域的广阔前景。
{"title":"Big data technologies in support of real time capturing and understanding of electric vehicle customers dynamics","authors":"R. Qiu, K. Wang, Shan Li, Jin Dong, Ming Xie","doi":"10.1109/ICSESS.2014.6933559","DOIUrl":"https://doi.org/10.1109/ICSESS.2014.6933559","url":null,"abstract":"Energy overconsumption and greenhouse gas emission have been contributing to air pollutions and the global warming for years. The unceasingly increasing number of fossil fuels based vehicles around the world is considered as one of main factors making to the situation worse year by year. Electric vehicles (EV) are promoted as a viable and promising alternative transportation means for customers. However, there is an array of issues hindering EVs from the fast adoption in the global auto market. As these issues bear different priorities that surely vary with marketplaces, it becomes essential for EV makers and governments to capture and understand the dynamics of EV consumers in real time. This paper explores how the emerging big data technologies can be applied to facilitate the process of deciphering the acceptance and behavior of EV customers from marketplace to marketplace. A data-collecting web system is discussed. IBM BigInsights platform technologies, including Hadoop, Streams, SPSS modeler and text analytics, are utilized for looking into the insights of collected data. Examples are provided to show the promising future of big data technologies in the field of customer analytics in today's globalized economy.","PeriodicalId":6473,"journal":{"name":"2014 IEEE 5th International Conference on Software Engineering and Service Science","volume":"36 1","pages":"263-267"},"PeriodicalIF":0.0,"publicationDate":"2014-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83122552","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}
引用次数: 18
A novel software for harmonic analysis and harmonic source location 一种新的谐波分析和谐波源定位软件
Pub Date : 2014-06-27 DOI: 10.1109/ICSESS.2014.6933525
T. Zang, Yuan Yang, Zhengyou He, Q. Qian
To better identify harmonic pollution source, a software for harmonic analysis and harmonic source location is introduced in this paper. Firstly, the function framework of the software is established and the technical route of the software is designed. Besides, harmonic analysis is conducted by interpolation FFT algorithm with Hamming windowing. Location of harmonic source is determined by sparse reconstruction algorithm in allusion to undetermined harmonic measurement equation set. Furthermore, to ensure the observability of power network, the configuration algorithm of harmonic measurement nodes is given. The software has a good practicability, strong data processing ability, easy system maintenance, good application extension function and promotional value.
为了更好地识别谐波污染源,本文介绍了谐波分析与谐波源定位软件。首先,建立了软件的功能框架,设计了软件的技术路线。此外,采用Hamming加窗的插值FFT算法进行谐波分析。针对未确定的谐波测量方程集,采用稀疏重构算法确定谐波源的位置。为了保证电网的可观测性,给出了谐波测量节点的配置算法。该软件实用性好,数据处理能力强,系统维护方便,具有良好的应用扩展功能和推广价值。
{"title":"A novel software for harmonic analysis and harmonic source location","authors":"T. Zang, Yuan Yang, Zhengyou He, Q. Qian","doi":"10.1109/ICSESS.2014.6933525","DOIUrl":"https://doi.org/10.1109/ICSESS.2014.6933525","url":null,"abstract":"To better identify harmonic pollution source, a software for harmonic analysis and harmonic source location is introduced in this paper. Firstly, the function framework of the software is established and the technical route of the software is designed. Besides, harmonic analysis is conducted by interpolation FFT algorithm with Hamming windowing. Location of harmonic source is determined by sparse reconstruction algorithm in allusion to undetermined harmonic measurement equation set. Furthermore, to ensure the observability of power network, the configuration algorithm of harmonic measurement nodes is given. The software has a good practicability, strong data processing ability, easy system maintenance, good application extension function and promotional value.","PeriodicalId":6473,"journal":{"name":"2014 IEEE 5th International Conference on Software Engineering and Service Science","volume":"33 1","pages":"116-119"},"PeriodicalIF":0.0,"publicationDate":"2014-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77781220","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}
引用次数: 5
PCTL∗ stochastic model checking label-extended probabilistic Petri net system model PCTL *随机模型检验标记-扩展概率Petri网系统模型
Pub Date : 2014-06-27 DOI: 10.1109/ICSESS.2014.6933565
Yang Liu
Stochastic model checking is using the verification method of model checking to quantitative verification system model with stochastic behaviours. In recent years, stochastic model checking make a great advancement. In this paper, the high level system model PPN is extended with label, and is used to as the formal model for system with stochastic behaviours; PCTL* is selected to as the property specification, which is strictly more expressive than PCTL and LTL with probability bounds. Then the PCTL* stochastic model checking algorithm for LPPN (label-extended probabilistic Petri net) is presented, and it is implemented in the visual tool which can model, simulation and stochastic model checking of LPPN. In the last, an illustrative example is used to demonstrate the feasibility of the algorithm and the tool.
随机模型检验是利用模型检验的验证方法对具有随机行为的系统模型进行定量验证。近年来,随机模型检验取得了很大的进展。本文将高层系统模型PPN扩展为带标签的模型,并将其作为具有随机行为的系统的形式模型;选择PCTL*作为属性规范,它严格地比PCTL和LTL更具表现力,具有概率界限。然后提出了LPPN(标签扩展概率Petri网)的PCTL*随机模型检验算法,并在能够对LPPN进行建模、仿真和随机模型检验的可视化工具中实现。最后,通过实例验证了算法和工具的可行性。
{"title":"PCTL∗ stochastic model checking label-extended probabilistic Petri net system model","authors":"Yang Liu","doi":"10.1109/ICSESS.2014.6933565","DOIUrl":"https://doi.org/10.1109/ICSESS.2014.6933565","url":null,"abstract":"Stochastic model checking is using the verification method of model checking to quantitative verification system model with stochastic behaviours. In recent years, stochastic model checking make a great advancement. In this paper, the high level system model PPN is extended with label, and is used to as the formal model for system with stochastic behaviours; PCTL* is selected to as the property specification, which is strictly more expressive than PCTL and LTL with probability bounds. Then the PCTL* stochastic model checking algorithm for LPPN (label-extended probabilistic Petri net) is presented, and it is implemented in the visual tool which can model, simulation and stochastic model checking of LPPN. In the last, an illustrative example is used to demonstrate the feasibility of the algorithm and the tool.","PeriodicalId":6473,"journal":{"name":"2014 IEEE 5th International Conference on Software Engineering and Service Science","volume":"24 1","pages":"287-290"},"PeriodicalIF":0.0,"publicationDate":"2014-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82231311","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
A method of virtual machine placement based on gray correlation degree 一种基于灰色关联度的虚拟机布局方法
Pub Date : 2014-06-27 DOI: 10.1109/ICSESS.2014.6933596
Li He
Improving the utilization of resources and service qualities, and reducing the system energy consumption are two important goals of dynamic virtual machine management in cloud computing. Nevertheless, the reduction of energy consumption is inconsistent with the improvement of resource utilization. In order to get the balance, a new multi-objective decision-making method of virtual machine placement based on gray correlation degree is proposed, three factors like the energy consumption, Service Level Agreement (SLA) violation and server load are used as the evaluation indexes, and corresponding evaluation functions are biut for them, finally the multi-objective decision-making model of the virtual machine placement based on gray correlation degree is established. Evaluations via experiments show that the proposed method of virtual machine placement can achieve good results under most virtual machine selection policies.
提高资源利用率和服务质量,降低系统能耗是云计算中动态虚拟机管理的两个重要目标。然而,能源消耗的减少与资源利用率的提高是不一致的。为了达到两者的平衡,提出了一种基于灰色关联度的虚拟机布局多目标决策方法,以能耗、SLA (Service Level Agreement)违规和服务器负载三个因素作为评价指标,建立了相应的评价函数,最后建立了基于灰色关联度的虚拟机布局多目标决策模型。实验结果表明,该方法在大多数虚拟机选择策略下都能取得较好的效果。
{"title":"A method of virtual machine placement based on gray correlation degree","authors":"Li He","doi":"10.1109/ICSESS.2014.6933596","DOIUrl":"https://doi.org/10.1109/ICSESS.2014.6933596","url":null,"abstract":"Improving the utilization of resources and service qualities, and reducing the system energy consumption are two important goals of dynamic virtual machine management in cloud computing. Nevertheless, the reduction of energy consumption is inconsistent with the improvement of resource utilization. In order to get the balance, a new multi-objective decision-making method of virtual machine placement based on gray correlation degree is proposed, three factors like the energy consumption, Service Level Agreement (SLA) violation and server load are used as the evaluation indexes, and corresponding evaluation functions are biut for them, finally the multi-objective decision-making model of the virtual machine placement based on gray correlation degree is established. Evaluations via experiments show that the proposed method of virtual machine placement can achieve good results under most virtual machine selection policies.","PeriodicalId":6473,"journal":{"name":"2014 IEEE 5th International Conference on Software Engineering and Service Science","volume":"43 1","pages":"419-424"},"PeriodicalIF":0.0,"publicationDate":"2014-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81558318","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
Research on optimization of application model based on storm 基于风暴的应用模型优化研究
Pub Date : 2014-06-27 DOI: 10.1109/ICSESS.2014.6933555
Lin Zhao, Weifeng Shi
Storm is a distributed realtime computing framework of open source by Twitter, it is becoming a leader since of many advantages in realtime computing. This paper presents optimization program for the storm taking up too much resource in the practical application environment, by using of Cgroups mechanism to limit CPU, memory, IO and other resources of worker process, the new mechanism can balance storm's resources usage and stable of system program well.
Storm是一个由Twitter开源的分布式实时计算框架,由于它在实时计算方面的许多优势,它正在成为领导者。本文在实际应用环境中针对storm占用资源过多的问题提出了优化方案,利用Cgroups机制限制工作进程的CPU、内存、IO等资源,能够很好地平衡storm的资源使用和系统程序的稳定性。
{"title":"Research on optimization of application model based on storm","authors":"Lin Zhao, Weifeng Shi","doi":"10.1109/ICSESS.2014.6933555","DOIUrl":"https://doi.org/10.1109/ICSESS.2014.6933555","url":null,"abstract":"Storm is a distributed realtime computing framework of open source by Twitter, it is becoming a leader since of many advantages in realtime computing. This paper presents optimization program for the storm taking up too much resource in the practical application environment, by using of Cgroups mechanism to limit CPU, memory, IO and other resources of worker process, the new mechanism can balance storm's resources usage and stable of system program well.","PeriodicalId":6473,"journal":{"name":"2014 IEEE 5th International Conference on Software Engineering and Service Science","volume":"88 1","pages":"248-250"},"PeriodicalIF":0.0,"publicationDate":"2014-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81133217","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
期刊
2014 IEEE 5th International Conference on Software Engineering and Service Science
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1