Pub Date : 2010-12-01DOI: 10.1109/ICISE.2010.5689083
Tao Jiang, Xin Wang, Yong Yu
As a Model-Driven Development methodology (MDD) for the specific domain, Domain-Specific Modeling (DSM) has been widely and successfully used in system design and analysis of specific areas. In spite of its general important, due to informal definition of Domain-Specific Modeling Language (DSMLs), the structural semantics of DSMLs cannot be strictly described and the properties based on it also cannot be analyzed and validated. In response, the paper proposes a formal definition method of the structural semantics of DSMLs. Firstly, a formal definition of domain indicating structural semantics of DSMLs based on algebra is presented to unify DSMLs and its models in the domain, secondly, a mapping mechanism from domain to the corresponding first-order logic system is established to finish analysis and validation of properties of domain such as consistency based on first-order logical inference, based on this, the method of formalization and consistency analysis and validation of structural semantics of DSMLs based on first-order logic is presented, finally, the formalization automatic mapping engine for model and metamodel is introduced to show the application of formalization of structural semantics in analysis and validation of properties of models.
领域特定建模(domain - specific Modeling, DSM)作为一种针对特定领域的模型驱动开发方法，在特定领域的系统设计和分析中得到了广泛而成功的应用。尽管领域特定建模语言(Domain-Specific Modeling Language, DSMLs)具有普遍的重要性，但由于DSMLs的定义不正式，无法严格描述DSMLs的结构语义，也无法分析和验证基于DSMLs的属性。为此，本文提出了一种dsml结构语义的形式化定义方法。首先，提出了基于代数的表示dsml结构语义的领域的形式化定义，统一了dsml及其在领域中的模型;其次，建立了从领域到相应一阶逻辑系统的映射机制，在此基础上基于一阶逻辑推理完成了对领域一致性等性质的分析和验证;提出了基于一阶逻辑的dsml结构语义形式化、一致性分析与验证方法，最后介绍了模型与元模型形式化自动映射引擎，说明了结构语义形式化在模型属性分析与验证中的应用。
{"title":"A formal definition of the structural semantics of Domain-Specific Modeling languages","authors":"Tao Jiang, Xin Wang, Yong Yu","doi":"10.1109/ICISE.2010.5689083","DOIUrl":"https://doi.org/10.1109/ICISE.2010.5689083","url":null,"abstract":"As a Model-Driven Development methodology (MDD) for the specific domain, Domain-Specific Modeling (DSM) has been widely and successfully used in system design and analysis of specific areas. In spite of its general important, due to informal definition of Domain-Specific Modeling Language (DSMLs), the structural semantics of DSMLs cannot be strictly described and the properties based on it also cannot be analyzed and validated. In response, the paper proposes a formal definition method of the structural semantics of DSMLs. Firstly, a formal definition of domain indicating structural semantics of DSMLs based on algebra is presented to unify DSMLs and its models in the domain, secondly, a mapping mechanism from domain to the corresponding first-order logic system is established to finish analysis and validation of properties of domain such as consistency based on first-order logical inference, based on this, the method of formalization and consistency analysis and validation of structural semantics of DSMLs based on first-order logic is presented, finally, the formalization automatic mapping engine for model and metamodel is introduced to show the application of formalization of structural semantics in analysis and validation of properties of models.","PeriodicalId":206435,"journal":{"name":"The 2nd International Conference on Information Science and Engineering","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115129029","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 : 2010-12-01DOI: 10.1109/ICISE.2010.5691788
Pengfei Yin, Q. Yin, Hua Xu, Juan Zhang, Li Li, Yuhuan Ren
On the eve of the 2008 Beijing Olympic Games, the outbreak of entermorpha prolifera in Qingdao offshore areas threatened the hosting of Olympic Sailing Games directly. With the aid of the TERRA/AQUA satellite data, we realized the entermorpha prolifera disaster monitoring. In this paper we will introduce the method and the flow of entermorpha prolifera monitoring. There are mainly three steps: 1)analyze the spectral characteristics of the entermorpha prolifera and the background water; 2)utilize the Vegetation Index Model and GIS(Geographic Information System) to extract the green alage information; 3)get the statistics of the information of entermorpha prolifera distribution, polluted area variations, etc. This method realized the estimation and prediction of the influencing region and the time trends of entermorpha prolifera, thus provided adequate decision support for the control of entermorpha prolifera.
{"title":"Entermorpha prolifera disaster monitoring using satellite remote sensing images","authors":"Pengfei Yin, Q. Yin, Hua Xu, Juan Zhang, Li Li, Yuhuan Ren","doi":"10.1109/ICISE.2010.5691788","DOIUrl":"https://doi.org/10.1109/ICISE.2010.5691788","url":null,"abstract":"On the eve of the 2008 Beijing Olympic Games, the outbreak of entermorpha prolifera in Qingdao offshore areas threatened the hosting of Olympic Sailing Games directly. With the aid of the TERRA/AQUA satellite data, we realized the entermorpha prolifera disaster monitoring. In this paper we will introduce the method and the flow of entermorpha prolifera monitoring. There are mainly three steps: 1)analyze the spectral characteristics of the entermorpha prolifera and the background water; 2)utilize the Vegetation Index Model and GIS(Geographic Information System) to extract the green alage information; 3)get the statistics of the information of entermorpha prolifera distribution, polluted area variations, etc. This method realized the estimation and prediction of the influencing region and the time trends of entermorpha prolifera, thus provided adequate decision support for the control of entermorpha prolifera.","PeriodicalId":206435,"journal":{"name":"The 2nd International Conference on Information Science and Engineering","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115156167","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 : 2010-12-01DOI: 10.1109/ICISE.2010.5691496
Hua Sun, Yan Liu, Xutao, Hailang Pan
The purpose of this paper is to analyze the influence of urbanization on the land resource security, and examined how to ensure the process of urbanization in while to ensure the security of land resources. Methods employed include system analysis method and combining qualitative and quantitative approach. The results indicate that urbanization of Jiangsu province is undergoing a well rapid stage, which rises economic power of Jiangsu Province, and leads to the security of land resources becoming increasingly prominent. The rapid development of urbanization, industrialization led to the degradation of land quality and ecological function, such as the falling sharply quantity and quality of arable land, soil pollution soil erosion, etc. The conclusion is that, empirical research based on Jiangsu Province is enhanced the theory and maneuverability of urbanization and land resources of security studies. and the paper put forward practical measures according to the problem of land security in the process of urbanization.
{"title":"The influence of urbanization on the land resource security in Jiangsu province","authors":"Hua Sun, Yan Liu, Xutao, Hailang Pan","doi":"10.1109/ICISE.2010.5691496","DOIUrl":"https://doi.org/10.1109/ICISE.2010.5691496","url":null,"abstract":"The purpose of this paper is to analyze the influence of urbanization on the land resource security, and examined how to ensure the process of urbanization in while to ensure the security of land resources. Methods employed include system analysis method and combining qualitative and quantitative approach. The results indicate that urbanization of Jiangsu province is undergoing a well rapid stage, which rises economic power of Jiangsu Province, and leads to the security of land resources becoming increasingly prominent. The rapid development of urbanization, industrialization led to the degradation of land quality and ecological function, such as the falling sharply quantity and quality of arable land, soil pollution soil erosion, etc. The conclusion is that, empirical research based on Jiangsu Province is enhanced the theory and maneuverability of urbanization and land resources of security studies. and the paper put forward practical measures according to the problem of land security in the process of urbanization.","PeriodicalId":206435,"journal":{"name":"The 2nd International Conference on Information Science and Engineering","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115169913","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 : 2010-12-01DOI: 10.1109/ICISE.2010.5688503
Xue-dan, Tanfei
In this paper, Fuzzy Set Theory and cluster analysis is used to build a Comprehensive Evaluation Model for choosing distributor. In this model, descriptive variable will be converted to numerical variable by triangular fuzzy numbers firstly. Then the selected experts will be assigned to groups according to their group appraisal and given weight by cluster analysis. Finally, an example can prove that the construction of multi-attribute evaluation model can conveniently be used for choosing distributors.
{"title":"Application of multiple fuzzy attribute decision to evaluation of distributors","authors":"Xue-dan, Tanfei","doi":"10.1109/ICISE.2010.5688503","DOIUrl":"https://doi.org/10.1109/ICISE.2010.5688503","url":null,"abstract":"In this paper, Fuzzy Set Theory and cluster analysis is used to build a Comprehensive Evaluation Model for choosing distributor. In this model, descriptive variable will be converted to numerical variable by triangular fuzzy numbers firstly. Then the selected experts will be assigned to groups according to their group appraisal and given weight by cluster analysis. Finally, an example can prove that the construction of multi-attribute evaluation model can conveniently be used for choosing distributors.","PeriodicalId":206435,"journal":{"name":"The 2nd International Conference on Information Science and Engineering","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115441549","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 : 2010-12-01DOI: 10.1109/ICISE.2010.5689816
Zhang Shibo
Topology discovery is an important foundation for network management. The existing algorithms get spanning tree status information of each switch by SNMP. This paper proposes an improved physical topology discovery algorithm realized by Perl language. The algorithm does not require that the FDB information of each bridge is complete. Meanwhile, it can find backup link and equipments that do not support SNMP such as hub and dump switches. Experiments show that the algorithm is an accurate, comprehensive topology discovery algorithm.
{"title":"Improved algorithm for network topology discovery based on STP","authors":"Zhang Shibo","doi":"10.1109/ICISE.2010.5689816","DOIUrl":"https://doi.org/10.1109/ICISE.2010.5689816","url":null,"abstract":"Topology discovery is an important foundation for network management. The existing algorithms get spanning tree status information of each switch by SNMP. This paper proposes an improved physical topology discovery algorithm realized by Perl language. The algorithm does not require that the FDB information of each bridge is complete. Meanwhile, it can find backup link and equipments that do not support SNMP such as hub and dump switches. Experiments show that the algorithm is an accurate, comprehensive topology discovery algorithm.","PeriodicalId":206435,"journal":{"name":"The 2nd International Conference on Information Science and Engineering","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115443978","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 : 2010-12-01DOI: 10.1109/ICISE.2010.5690587
Guoliang Deng, Mingrong Deng
Operations reordering is one of the postponement strategies and a process restructuring that involves reordering consecutive stages of the manufacturing process. In this paper, we present a new model to compare supply chain costs between original and reordered operations from the perspective of supply chain management performance. Finally, we analyze the feasibility of operations reordering using an actual case. The results show that the stage having following properties should be planned prior during operations restructuring: longer lead-time, fewer feature choices or the choice probabilities for the options of the feature are more variable. These results are significant when company chooses its postponement strategy.
{"title":"Modelling the supply chain cost of operations reordering","authors":"Guoliang Deng, Mingrong Deng","doi":"10.1109/ICISE.2010.5690587","DOIUrl":"https://doi.org/10.1109/ICISE.2010.5690587","url":null,"abstract":"Operations reordering is one of the postponement strategies and a process restructuring that involves reordering consecutive stages of the manufacturing process. In this paper, we present a new model to compare supply chain costs between original and reordered operations from the perspective of supply chain management performance. Finally, we analyze the feasibility of operations reordering using an actual case. The results show that the stage having following properties should be planned prior during operations restructuring: longer lead-time, fewer feature choices or the choice probabilities for the options of the feature are more variable. These results are significant when company chooses its postponement strategy.","PeriodicalId":206435,"journal":{"name":"The 2nd International Conference on Information Science and Engineering","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115503017","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 : 2010-12-01DOI: 10.1109/ICISE.2010.5691487
Li Qi, Hou Xiaoning, Song Nianlong
A new linear amplification optical path design is proposed which can raise the liquid level detection resolution through amplifying linearly the small displacement of liquid level to light-spot displacement of photoelectric detector. The numerical calculation method for the linear amplification curvilinear function expression of the curved reflector is presented, and simulation research on how the variations of variable parameters affect detection error and linearity of linear amplification curve is made. The experiment results indicate that the designed curved reflector can achieve linear amplification function and the detection resolution of the laser triangulation liquid detection system can be enhanced effectively with less nonlinearity error by choosing appropriate values for the variable parameters.
{"title":"Numerical calculation method of a type of curved reflector with linear optical amplification","authors":"Li Qi, Hou Xiaoning, Song Nianlong","doi":"10.1109/ICISE.2010.5691487","DOIUrl":"https://doi.org/10.1109/ICISE.2010.5691487","url":null,"abstract":"A new linear amplification optical path design is proposed which can raise the liquid level detection resolution through amplifying linearly the small displacement of liquid level to light-spot displacement of photoelectric detector. The numerical calculation method for the linear amplification curvilinear function expression of the curved reflector is presented, and simulation research on how the variations of variable parameters affect detection error and linearity of linear amplification curve is made. The experiment results indicate that the designed curved reflector can achieve linear amplification function and the detection resolution of the laser triangulation liquid detection system can be enhanced effectively with less nonlinearity error by choosing appropriate values for the variable parameters.","PeriodicalId":206435,"journal":{"name":"The 2nd International Conference on Information Science and Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124393846","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 : 2010-12-01DOI: 10.1109/ICISE.2010.5691694
He Jian, Molly Haining, Li Jun
In underdeveloped Chinese middle schools, Information technology instruction, first class should be concerned is the teaching content whether take students as the main body of IT learning, whether pay more attention to students' real experience and participation, to cultivating their practical problem-solving abilities. This paper discussed the situations above, and tried to find out an appropriate active way to make information technology class as a real life in the underdeveloped areas, so as to seek a further reformation of information technology curriculum, and provide practical experience for them.
{"title":"Action research: Information technology class as life","authors":"He Jian, Molly Haining, Li Jun","doi":"10.1109/ICISE.2010.5691694","DOIUrl":"https://doi.org/10.1109/ICISE.2010.5691694","url":null,"abstract":"In underdeveloped Chinese middle schools, Information technology instruction, first class should be concerned is the teaching content whether take students as the main body of IT learning, whether pay more attention to students' real experience and participation, to cultivating their practical problem-solving abilities. This paper discussed the situations above, and tried to find out an appropriate active way to make information technology class as a real life in the underdeveloped areas, so as to seek a further reformation of information technology curriculum, and provide practical experience for them.","PeriodicalId":206435,"journal":{"name":"The 2nd International Conference on Information Science and Engineering","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124459226","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 : 2010-12-01DOI: 10.1109/ICISE.2010.5691650
Jianjie, Yanfei
This is a paper about using Telecom Global Eye project in a region of Xinjiang as a research object. At first the Delphi method is used to identify the risk factors for their projects, establish a risk management system model to strengthen the risk management and control of the project. And then the comparing with each of two Sub-risk factors of risk factors by AHP method can calculate the weight value of each risk. Through evaluating the risk of the project, we have concluded that investment risk is the biggest risk in the Telecom Global Eye project and it provides management recommendations for the Telecom Global Eye project's management at the same time.
{"title":"Research of Telecom Global Eye project in a region of Xinjiang on risk identification and evaluation","authors":"Jianjie, Yanfei","doi":"10.1109/ICISE.2010.5691650","DOIUrl":"https://doi.org/10.1109/ICISE.2010.5691650","url":null,"abstract":"This is a paper about using Telecom Global Eye project in a region of Xinjiang as a research object. At first the Delphi method is used to identify the risk factors for their projects, establish a risk management system model to strengthen the risk management and control of the project. And then the comparing with each of two Sub-risk factors of risk factors by AHP method can calculate the weight value of each risk. Through evaluating the risk of the project, we have concluded that investment risk is the biggest risk in the Telecom Global Eye project and it provides management recommendations for the Telecom Global Eye project's management at the same time.","PeriodicalId":206435,"journal":{"name":"The 2nd International Conference on Information Science and Engineering","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123094350","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 : 2010-12-01DOI: 10.1109/ICISE.2010.5691854
Z. Xiaoyan, Ouyang Puxi
The present study has been designed to examine the main factors that affect job satisfaction of two foreign banks and two state-owned banks in Shanghai, China. The banks were selected and from each organization 75 subjects were selected randomly. A questionnaire developed by Lujia (2001) was used for ascertaining the most important and different factors that influence job satisfaction in 4 organizations with different cultural background. Data were analyzed employing Spss13.0. five factors were found significantly different from one another. The result indicates that lower salary level and less welfare schemes, unfair promotion policies, lower social status, organization commitment and personal fulfillment make the job dissatisfaction of domestic banks lower than foreign banks.
{"title":"Comparison of factors influencing job satisfaction in domestic and foreign banks in China","authors":"Z. Xiaoyan, Ouyang Puxi","doi":"10.1109/ICISE.2010.5691854","DOIUrl":"https://doi.org/10.1109/ICISE.2010.5691854","url":null,"abstract":"The present study has been designed to examine the main factors that affect job satisfaction of two foreign banks and two state-owned banks in Shanghai, China. The banks were selected and from each organization 75 subjects were selected randomly. A questionnaire developed by Lujia (2001) was used for ascertaining the most important and different factors that influence job satisfaction in 4 organizations with different cultural background. Data were analyzed employing Spss13.0. five factors were found significantly different from one another. The result indicates that lower salary level and less welfare schemes, unfair promotion policies, lower social status, organization commitment and personal fulfillment make the job dissatisfaction of domestic banks lower than foreign banks.","PeriodicalId":206435,"journal":{"name":"The 2nd International Conference on Information Science and Engineering","volume":"302 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116913080","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
扫码关注我们
求助内容：
应助结果提醒方式：