{"title":"Comparison of means of compliance for onboard software certification","authors":"Fang Yan","doi":"10.1109/ICCSE.2009.5228263","DOIUrl":"https://doi.org/10.1109/ICCSE.2009.5228263","url":null,"abstract":"The purpose of the paper was to discuss means of compliance for onboard software certification. With more than 16 years usage of RTCA DO-178B, the standard has been widely accepted in the industry, and the reality shows that its effect in aviation safety is acceptable. While besides this generic means, from time to time other means have been sought to substitute DO-178B. The paper discussed several means and methods for software certification compliance with the feasibility thereof, and made comparison between them.","PeriodicalId":303484,"journal":{"name":"2009 4th International Conference on Computer Science & Education","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129355495","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}
{"title":"Research on mobility resource sharing in grid-enabled environment","authors":"Li Zhaobin, L. Wenzhi, Gu Junzhong","doi":"10.1109/ICCSE.2009.5228397","DOIUrl":"https://doi.org/10.1109/ICCSE.2009.5228397","url":null,"abstract":"Through the studying of the structure of the mobility resource sharing system in grid-enabled environment, a new model of mobility resource sharing is proposed, the virtual organization and virtual service is defined to solve the mobility resource sharing problem with the help of Grid technology. By using discrete mathematics tools to describe the new model of mobility resource sharing, the formalization method of this model and its service access mechanism is also proposed which describes the static and dynamic characteristic of the model precisely in grid-enabled environment.","PeriodicalId":303484,"journal":{"name":"2009 4th International Conference on Computer Science & Education","volume":"05 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127138045","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}
{"title":"Research on computation of Web request-load based on a new telescopic fuzzy sets","authors":"Guofang Yu, Yaocai Wang","doi":"10.1109/ICCSE.2009.5228392","DOIUrl":"https://doi.org/10.1109/ICCSE.2009.5228392","url":null,"abstract":"Calculation of Web request load is an important prerequisite for the realization of Web server cluster's load-balancing, usually fuzzy mapping can be used to achieve this purpose, but if the fuzzy system was designed according to the conventional method, the system maybe show “Rules Explosion” phenomenon, because the diverse types of Web requests need many system inputs, which lead to the fuzzy rules Exponential increase with the growth of the number of input variables. Therefore, a kind of telescopic triangular fuzzy sets was studied, it can changes the division of fuzzy sets non-uniformly by adjusting the stretching factor, and substantially reduces the number of the rules in the same input range. Based on the fuzzy sets, a fuzzy controller was constructed to calculate the Web request load for the loadbalancing of Web server cluster. The simulations show that the servers can run at a high efficiency and get very good load-balancing results.","PeriodicalId":303484,"journal":{"name":"2009 4th International Conference on Computer Science & Education","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129086639","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}
{"title":"Status recognition technology based on extraction of facial feature information","authors":"Yu Guofang, Li Jian","doi":"10.1109/ICCSE.2009.5228119","DOIUrl":"https://doi.org/10.1109/ICCSE.2009.5228119","url":null,"abstract":"A character status recognition technology is studied based on the extraction of facial feature information, i.e., based on the image processing, recognition of person face, and the locating of pupil center, the essential feature information about his/her ears, mouth, nose and face outline are extracted. By the use of double group and trip encoding, a compressed chain code with high decoding-efficiency is proposed, and the extracted feature information is encoded for comparison and the database accessed by which. In addition, combined with the parameters of matching degree and credible degree, a matching and dynamic planning algorithm is studied to implement the comparison of compressed chain codes. Finally, a comprehensive status confirming and querying experiment integrated with database, image processing and pattern recognition, as well as information comparing is carried out, the results indicate that, whether based on a image sample or a sketch sample, the system with high accuracy and efficiency of comparison and identification can be obtained as long as the image size is large enough.","PeriodicalId":303484,"journal":{"name":"2009 4th International Conference on Computer Science & Education","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130549208","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}
Yunpeng Zhang, Yianfei Zhu, Junsheng Wu, Kangying Cai
{"title":"Practice and exploration of bring up project practice ability of undergraduate in Multimedia Technique and Design","authors":"Yunpeng Zhang, Yianfei Zhu, Junsheng Wu, Kangying Cai","doi":"10.1109/ICCSE.2009.5228265","DOIUrl":"https://doi.org/10.1109/ICCSE.2009.5228265","url":null,"abstract":"Aiming for the efficiency and quality of teaching in the resource restricted environments. The first, the authors analyze the fall short of traditional teaching-method, these shortages make against bring up project practice ability of undergraduate, the second, some solutions are point out. These include, fully using of network multi-media to improve the students' self-learning ability, increase in hardware investment, reasonable and effective experiments and content settings; reform of the evaluation mechanism to strengthen the building of teachers and so on. The research shows that the new methods are much efficiency and better than that of traditional methods to improve the students' engineering practice ability and their innovation ability.","PeriodicalId":303484,"journal":{"name":"2009 4th International Conference on Computer Science & Education","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125388849","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}
Tsung-Ching Lin, Shao-I Chu, Hsin-Chiu Chang, Hung-Peng Lee
{"title":"Decoding the (31, 16, 7) quadratic residue code in GF(2^5)","authors":"Tsung-Ching Lin, Shao-I Chu, Hsin-Chiu Chang, Hung-Peng Lee","doi":"10.1109/ICCSE.2009.5228451","DOIUrl":"https://doi.org/10.1109/ICCSE.2009.5228451","url":null,"abstract":"The binary QR codes are well known for their good behavior. The proposed algebraic decoding algorithm for decoding the (31, 16, 7) QR code with reducible generator polynomial is able to correct up to three errors in the finite field GF(25). The proposed algorithm is based on an application of the decoding algorithm given by Truong et al. and Chen et al. to modify the decoding algorithm proposed by Reed et al. All syndromes in the error-locator polynomial are computed in the finite field GF(25). Thus, the decoding time can be reduced. Moreover, the simulation results for comparing the proposed decoding algorithm with decoding algorithm given by Reed et al. are given. This algorithm is suitable for implementation in a programmable microprocessor or special-purpose VLSI chip.","PeriodicalId":303484,"journal":{"name":"2009 4th International Conference on Computer Science & Education","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125411048","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}
{"title":"Optimizing QoS partition based on threshold-crossing theory","authors":"Xia Tian, Lu Hong","doi":"10.1109/ICCSE.2009.5228428","DOIUrl":"https://doi.org/10.1109/ICCSE.2009.5228428","url":null,"abstract":"With the advent of various QoS technologies, various traffic classes with different QoS requirements are supported on an integrated IP network. As for the multiservice IP networks, the dominant factor in the cost of provisioning a particular service is dependent on the minimum network bandwidth allocated in the network with QoS requirements satisfied. Therefore, to optimally partition bandwidth resource, it is necessary to deduce the QoS guaranteed minimum network bandwidth for each service.","PeriodicalId":303484,"journal":{"name":"2009 4th International Conference on Computer Science & Education","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126672185","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}
P. Abreu, Daniel Castro Silva, P. Mendes, V. Vinhas
{"title":"The impact of the usage of wikis from a teacher/student perspective in an educational context","authors":"P. Abreu, Daniel Castro Silva, P. Mendes, V. Vinhas","doi":"10.1109/ICCSE.2009.5228152","DOIUrl":"https://doi.org/10.1109/ICCSE.2009.5228152","url":null,"abstract":"The use of wiki tools in both personal as well as professional contexts has known a significant increase in the past few years, with some wiki-based applications reaching an enormous success at an international level. This paper provides an overview on the recent development of wiki technologies and, through the analysis of a survey, tries to determine what is the level of acceptance of wiki-based applications in a professional, academic environment, presenting several statistics collected from the answers to a survey. Also, some suggestions are presented, that may influence the future developments of wiki-related technologies and methodologies, in order to increase the productivity of Web based collaborative work.","PeriodicalId":303484,"journal":{"name":"2009 4th International Conference on Computer Science & Education","volume":"141 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123275589","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}
{"title":"An Improved greedy algorithm for rectangles packing problem","authors":"P. Gu, Huailin Dong, Yuhui Zheng","doi":"10.1109/ICCSE.2009.5228510","DOIUrl":"https://doi.org/10.1109/ICCSE.2009.5228510","url":null,"abstract":"Considered the existing situation, in this paper an improved algorithm based on greedy strategies for the rectangles packing problem is proposed. The results have shown that the improved algorithm is more simply implemented and especially effective for improving probability of the recycle of large sheets of material's remainder.","PeriodicalId":303484,"journal":{"name":"2009 4th International Conference on Computer Science & Education","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123306199","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}
{"title":"The research of data representation and processing method in logic chip equivalent function description","authors":"Shen-Ao Liu, Li Huang, Qing-Guo Huang","doi":"10.1109/ICCSE.2009.5228458","DOIUrl":"https://doi.org/10.1109/ICCSE.2009.5228458","url":null,"abstract":"In this paper, we studied the characteristic of the data acquired by both the combinatory logic electric circuit and the timing circuit. And with the emphasis laid on the consideration of representation requirements in the situations with and without feedback, the paper established the format suitable for both. Through the analysis of the requirements of truth table data characteristics during the logical synthesis and multiple sampling process, a method that makes the data pre-processed was proposed: the data should be sorted before sent to the logic synthesis, which could raise the logic synthesis processing speed greatly verified by the test.","PeriodicalId":303484,"journal":{"name":"2009 4th International Conference on Computer Science & Education","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126292153","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}