Through a questionnaire survey of primary and secondary school teachers and Normal Students to carry out a statistical analysis of the data based on SPSS 17.0 statistical analysis software. So we draw primary and seco...Through a questionnaire survey of primary and secondary school teachers and Normal Students to carry out a statistical analysis of the data based on SPSS 17.0 statistical analysis software. So we draw primary and secondary school teachers and normal students to arrive at the current status quo of educational technology ability and analyzes the strengths and weaknesses of the ability of its parts. Finally, we proposed new initiatives and methods of education and technical ability training.展开更多
Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for rigorous modeling of embedded real-time systems. PVS is a...Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for rigorous modeling of embedded real-time systems. PVS is a formal method with precise syntax and semantics defined. System modeled by PVS specification could be verified by tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time systems. In this approach, we provide 1) a time-extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from a timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexibility and user friendliness in modeling, extendability in formalization and verification content, and better performance. Time constraints are modeled and verified and is a highlight of this paper.展开更多
In financial investment planning,a large number of components that interact in varying and complexways are involved.This leads to complex behavior that is difficult to understand,predict and manage.Asingle intelligent...In financial investment planning,a large number of components that interact in varying and complexways are involved.This leads to complex behavior that is difficult to understand,predict and manage.Asingle intelligent technique can not solve the complicated and elaborate investment planning problems.Itis necessary to study those problems synthetically by combining the multiple intelligent techniques.Weemployed fussy algorithms,genetic algorithms,etc.to solve complicated financial portfolio managementin this paper.We analyse and design an agent-based hybrid intelligent system by following the methodolo-gy for constructing agent-based hybrid intelligent system(MAHIS).The system starts with the financialrisk tolerance evaluation based on fussy algorithms.Asset allocation,portfolio selections,interest predic-tions,and ordered weighted averaging can be conducted by using hybrid intelligent techniques.The plan-ning agent in the system can easily access all the intelligent processing agents,including the agents of fi-nancial risk tolerance assessment,asset allocation,portfolio selection,interest prediction,and decisionaggregation.Overall system robustness is facilitated.展开更多
The rapid development of communication technology, have changed the landscape of information searching especially among youth. Youth are increasingly inclined to seek information using the new media such as mobile new...The rapid development of communication technology, have changed the landscape of information searching especially among youth. Youth are increasingly inclined to seek information using the new media such as mobile news. Nevertheless, the massive information flows have caused difficulties in finding quality, relevance and credibility of information. Hence, this study was undertaken to identify the problems encountered by the youth when searching for information through mobile news; to recognize the motivational factors in searching information through mobile news; and to find out the acceptance factor in searching information through mobile news. The underlying theory in this research is using Diffusion of Innovation Theory （DOI）. Employing a quantitative approach, a total of 400 respondents from higher learning institutes were selected to be the respondents of this study. The data were analyzed using Statistical Package for Social Science （SPSS） version 21.0. Results of the study show that the problems faced when seeking information through mobile news is information disorder. Further, motivational factors that encourage information seeking through mobile news by youth are related to advantage and observability. At the same time, seeking information through mobile news is accepted by the youth due to their perceived ease of use. In conclusion, it is hoped that the mobile news could be one of the leading learning medium among the youth in the future.展开更多
Technology plays a key role in today＇s business environment. Many companies greatly rely on computers and software to provide accurate information to effectively manage their business processes. It is becoming increa...Technology plays a key role in today＇s business environment. Many companies greatly rely on computers and software to provide accurate information to effectively manage their business processes. It is becoming increasingly necessary for all businesses to incorporate information technology solutions to operate successfully. One way for many corporations to adopt information technology （IT） on a large scale is by installing enterprise resource planning （ERP） systems to accomplish their business transactions and data-processing needs. ERP systems are software packages that enable the integration of business processes throughout an organization. This study aims to determine the effect of the ERP system on the cost of auditing period compared with traditional computerized （non-ERP） systems. According to cost analysis, the study also points out the changes in audit price. The methodology used in this research is survey-based data collection. The questionnaires are sent to auditors who are working with companies with ERP systems. The answers are processed and analyzed using Statistical Package for Social Sciences （SPSS） 20. The data are performed using the statistical test to determine the effect of ERP usage on the cost of auditing process and pricing policy of auditors. The findings of this study are： （1） Companies with ERP systems are reducing their auditing costs; and （2） Auditing companies are not implying a low rate of price to their customers using ERP.展开更多
In this research article, we analyze the multimedia data mining and classification algorithm based on database optimization techniques. Of high performance application requirements of various kinds are springing up co...In this research article, we analyze the multimedia data mining and classification algorithm based on database optimization techniques. Of high performance application requirements of various kinds are springing up constantly makes parallel computer system structure is valued by more and more common but the corresponding software system development lags far behind the development of the hardware system, it is more obvious in the field of database technology application. Multimedia mining is different from the low level of computer multimedia processing technology and the former focuses on the extracted from huge multimedia collection mode which focused on specific features of understanding or extraction from a single multimedia objects. Our research provides new paradigm for the methodology which will be meaningful and necessary.展开更多
文摘Through a questionnaire survey of primary and secondary school teachers and Normal Students to carry out a statistical analysis of the data based on SPSS 17.0 statistical analysis software. So we draw primary and secondary school teachers and normal students to arrive at the current status quo of educational technology ability and analyzes the strengths and weaknesses of the ability of its parts. Finally, we proposed new initiatives and methods of education and technical ability training.
文摘Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for rigorous modeling of embedded real-time systems. PVS is a formal method with precise syntax and semantics defined. System modeled by PVS specification could be verified by tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time systems. In this approach, we provide 1) a time-extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from a timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexibility and user friendliness in modeling, extendability in formalization and verification content, and better performance. Time constraints are modeled and verified and is a highlight of this paper.
基金the Overseas Scholar Research Foundation of Heilongjiang,China(No.LC0609)
文摘In financial investment planning,a large number of components that interact in varying and complexways are involved.This leads to complex behavior that is difficult to understand,predict and manage.Asingle intelligent technique can not solve the complicated and elaborate investment planning problems.Itis necessary to study those problems synthetically by combining the multiple intelligent techniques.Weemployed fussy algorithms,genetic algorithms,etc.to solve complicated financial portfolio managementin this paper.We analyse and design an agent-based hybrid intelligent system by following the methodolo-gy for constructing agent-based hybrid intelligent system(MAHIS).The system starts with the financialrisk tolerance evaluation based on fussy algorithms.Asset allocation,portfolio selections,interest predic-tions,and ordered weighted averaging can be conducted by using hybrid intelligent techniques.The plan-ning agent in the system can easily access all the intelligent processing agents,including the agents of fi-nancial risk tolerance assessment,asset allocation,portfolio selection,interest prediction,and decisionaggregation.Overall system robustness is facilitated.
文摘The rapid development of communication technology, have changed the landscape of information searching especially among youth. Youth are increasingly inclined to seek information using the new media such as mobile news. Nevertheless, the massive information flows have caused difficulties in finding quality, relevance and credibility of information. Hence, this study was undertaken to identify the problems encountered by the youth when searching for information through mobile news; to recognize the motivational factors in searching information through mobile news; and to find out the acceptance factor in searching information through mobile news. The underlying theory in this research is using Diffusion of Innovation Theory （DOI）. Employing a quantitative approach, a total of 400 respondents from higher learning institutes were selected to be the respondents of this study. The data were analyzed using Statistical Package for Social Science （SPSS） version 21.0. Results of the study show that the problems faced when seeking information through mobile news is information disorder. Further, motivational factors that encourage information seeking through mobile news by youth are related to advantage and observability. At the same time, seeking information through mobile news is accepted by the youth due to their perceived ease of use. In conclusion, it is hoped that the mobile news could be one of the leading learning medium among the youth in the future.
文摘Technology plays a key role in today＇s business environment. Many companies greatly rely on computers and software to provide accurate information to effectively manage their business processes. It is becoming increasingly necessary for all businesses to incorporate information technology solutions to operate successfully. One way for many corporations to adopt information technology （IT） on a large scale is by installing enterprise resource planning （ERP） systems to accomplish their business transactions and data-processing needs. ERP systems are software packages that enable the integration of business processes throughout an organization. This study aims to determine the effect of the ERP system on the cost of auditing period compared with traditional computerized （non-ERP） systems. According to cost analysis, the study also points out the changes in audit price. The methodology used in this research is survey-based data collection. The questionnaires are sent to auditors who are working with companies with ERP systems. The answers are processed and analyzed using Statistical Package for Social Sciences （SPSS） 20. The data are performed using the statistical test to determine the effect of ERP usage on the cost of auditing process and pricing policy of auditors. The findings of this study are： （1） Companies with ERP systems are reducing their auditing costs; and （2） Auditing companies are not implying a low rate of price to their customers using ERP.
文摘In this research article, we analyze the multimedia data mining and classification algorithm based on database optimization techniques. Of high performance application requirements of various kinds are springing up constantly makes parallel computer system structure is valued by more and more common but the corresponding software system development lags far behind the development of the hardware system, it is more obvious in the field of database technology application. Multimedia mining is different from the low level of computer multimedia processing technology and the former focuses on the extracted from huge multimedia collection mode which focused on specific features of understanding or extraction from a single multimedia objects. Our research provides new paradigm for the methodology which will be meaningful and necessary.
