Dynamic software architectures provide support for building long running and reconfigurable applications. Formal specification is useful to the design of correct and robust dynamic software architectures. In this paper, dynamic software architectures are specified with dynamic description logic. Dynamic description logic inherits the expressiveness and decidability of description logic and it h...

This paper describes a novel approach to planning which takes advantage of decision theory to greatly improve robustness in an uncertain environment. We present an algorithm which computes conditional plans of maximum expected utility. This algorithm relies on a representation of the search space as an AND/OR tree and employs a depth-limit to control computation costs. A numeric robustness fact...

The extension of SPARQL in version 1.1 with property paths offers a type of regular path query for RDF graph databases. Such queries are difficult to optimize and evaluate efficiently, however. We have embarked on a project, Waveguide, to build a cost-based optimizer for SPARQL queries with property paths. Waveguide builds a query plan—a waveguide plan (WGP)—which guides the query evaluation. T...

One approach for computing plans for reactive agents is is to check goal statements over state trajectories modeling predicted behaviors of an agent. This paper describes a powerful extension of this approach to handle time, safety, and liveness goals that are spec-iied by Metric Temporal Logic formulas. Our planning method is based on an incremental planning algorithm that generates a reactive...

It is meaningful for colleges to evaluate teaching staff annually. This paper developed a method to make fuzzy evaluation of teaching staff based on Fuzzy Comprehensive Evaluation Technique (FCE). The main idea is getting experts’ opinions for proposed evaluation criteria, calculating the most appropriate weights to the criteria based on combination between AHP and Entropy methods, rating stude...

Identification and management the 'critical risk areas' where hotspot lead exposures are a potential risk to human health, become a major focus of public health efforts in China. But the knowledge of health risk assessment of lead pollution at regional and national scales is still limited in China. In this paper, under the guidance of 'sources-pathways-receptors' framework, regional human healt...

The evaluation model on technical innovation ability of small and medium enterprises is set up based on analytic hierarchy process and fuzzy comprehensive evaluation methods, which takes quantitative index as main parts and considers reality so that better practicability is obtained. Meanwhile, technical innovation ability of small and medium enterprises in Heilongjiang Province of China are ob...

In this article, we applied the AHP method with quantitative analysis and qualitative analysis to analyze three sorts of basic educational mode combining production with learning and research, i.e. the automated instruction, the mode combining production and learning, and the integration combining production with learning and research, and obtained that the educational mode combining production...

Best management practices (BMPs) are often used to control nonpoint source (NPS) pollutants from agricultural, forested, and urban watersheds. NPS models are used to estimate pollutant loads, devise NPS abatement plans, and develop and implement Total Maximum Daily Load (TMDL) plans. Accuracy of NPS model prediction depends on, among other things, the accuracy of input data, which includes accu...