To provide a realistic simulation environment for users,intelligent models have become key components in military simulations. After the analysis of modeling nature of intelligent models,the validation criteria for de...To provide a realistic simulation environment for users,intelligent models have become key components in military simulations. After the analysis of modeling nature of intelligent models,the validation criteria for defining the validation points and validation metrics for measuring the agreements between human experts and intelligent models were presented. Further,such methods as graphical comparison,feature analysis and face validation were discussed according to the characteristics of intelligent models. Based on the validation criteria,validation metrics and validation methods,the intelligent models can be effectively validated,which has been proved in current developed intelligent models.展开更多
This study presents a triangulation approach to the investigation of costing possibilities in Greek higher education institutions. The historical data contained in the financial statements of universities provide the ...This study presents a triangulation approach to the investigation of costing possibilities in Greek higher education institutions. The historical data contained in the financial statements of universities provide the expenditures of the latter. These expenditures are then re-determined with the use of independent variables (Jacobian determinants), as well as with activity-based costing (ABC) and interviews, in order to obtain certainty of accuracy of the calculations and an indication of the cost of educational services, which can help determine magnitudes and improve the long-term planning of university resources. The above process can be used to create cost drivers and cost pools for the new financial burden of academic departments (cost centres) and to calculate the cost per student for each department. This information does not function at variance with or as a substitute for traditional accounting systems but in parallel (or supplementally), providing administrators with more comparative data and a clearer picture of a university's economic operations which will facilitate its decision planning. Thus, it can provide higher education institutions with a decision-making tool for the following tasks: (1) allocation of national and community funds to university departments; (2) financing of textbooks, food, and accommodation; and (3) determining the optimum number of new enrolments.展开更多
Quantum channel noise may cause the user to obtain a wrong answer and thus misunderstand the database holder for existing QKD-based quantum private query(QPQ) protocols. In addition, an outside attacker may conceal hi...Quantum channel noise may cause the user to obtain a wrong answer and thus misunderstand the database holder for existing QKD-based quantum private query(QPQ) protocols. In addition, an outside attacker may conceal his attack by exploiting the channel noise. We propose a new, robust QPQ protocol based on four-qubit decoherence-free(DF) states. In contrast to existing QPQ protocols against channel noise, only an alternative fixed sequence of single-qubit measurements is needed by the user(Alice) to measure the received DF states. This property makes it easy to implement the proposed protocol by exploiting current technologies. Moreover, to retain the advantage of flexible database queries, we reconstruct Alice's measurement operators so that Alice needs only conditioned sequences of single-qubit measurements.展开更多
基金Sponsored by the National Natural Science Foundation of China(Grant No. 60434010)the Foundation of the Outstanding Youth of Heilongjiang Province ( Grant No. JC200606)
文摘To provide a realistic simulation environment for users,intelligent models have become key components in military simulations. After the analysis of modeling nature of intelligent models,the validation criteria for defining the validation points and validation metrics for measuring the agreements between human experts and intelligent models were presented. Further,such methods as graphical comparison,feature analysis and face validation were discussed according to the characteristics of intelligent models. Based on the validation criteria,validation metrics and validation methods,the intelligent models can be effectively validated,which has been proved in current developed intelligent models.
文摘This study presents a triangulation approach to the investigation of costing possibilities in Greek higher education institutions. The historical data contained in the financial statements of universities provide the expenditures of the latter. These expenditures are then re-determined with the use of independent variables (Jacobian determinants), as well as with activity-based costing (ABC) and interviews, in order to obtain certainty of accuracy of the calculations and an indication of the cost of educational services, which can help determine magnitudes and improve the long-term planning of university resources. The above process can be used to create cost drivers and cost pools for the new financial burden of academic departments (cost centres) and to calculate the cost per student for each department. This information does not function at variance with or as a substitute for traditional accounting systems but in parallel (or supplementally), providing administrators with more comparative data and a clearer picture of a university's economic operations which will facilitate its decision planning. Thus, it can provide higher education institutions with a decision-making tool for the following tasks: (1) allocation of national and community funds to university departments; (2) financing of textbooks, food, and accommodation; and (3) determining the optimum number of new enrolments.
基金supported by the National Natural Science Foundation of China(Grant Nos.61572053,61671087,and 61602019)and the Beijing Natural Science Foundation(Grant Nos.4162005,and 4152038)
文摘Quantum channel noise may cause the user to obtain a wrong answer and thus misunderstand the database holder for existing QKD-based quantum private query(QPQ) protocols. In addition, an outside attacker may conceal his attack by exploiting the channel noise. We propose a new, robust QPQ protocol based on four-qubit decoherence-free(DF) states. In contrast to existing QPQ protocols against channel noise, only an alternative fixed sequence of single-qubit measurements is needed by the user(Alice) to measure the received DF states. This property makes it easy to implement the proposed protocol by exploiting current technologies. Moreover, to retain the advantage of flexible database queries, we reconstruct Alice's measurement operators so that Alice needs only conditioned sequences of single-qubit measurements.