نتایج جستجو برای: qualitative specification
تعداد نتایج: 273244 فیلتر نتایج به سال:
hedging is a multi-purpose rhetorical strategy which is usually used in scientific arguments to secure ratification of claims, reduce the risk of negation, avoid conflict, manage disagreement and leave room for the audience to assess presented information. hedges are frequently used in research articles to mitigate the findings of research endeavors. the present research aims to investigate the...
Software Quality is the degree to which a finished product conforms to its specifications. The earlier a fault is detected and is removed the easier it is to fix. Object oriented metrics focus on the combination of functions and data as an integrated object. Object oriented paradigm substantially improves productivity due to the effect of reuse. Requirement specifications, designs and test plan...
This work carries out a comparative analysis of the stability robustness of PI and PI controllers when applied to first order plus time delay plants. An analytical result shows that both controllers have exactly the same region of feasible frequency specifications. Nevertheless, the robustness of both controllers is quite different. Depending on the set of frequency specifications and the non i...
In this paper we present a set of experiments and analyses on predicting the gender of Twitter users based on languageindependent features extracted either from the text or the metadata of users’ tweets. We perform our experiments on the TwiSty dataset containing manual gender annotations for users speaking six different languages. Our classification results show that, while the prediction mode...
We discuss how to aggregate multiple criteria evaluations belonging to qualitative, linearly ordered scales. Qualitative aggregation operations such as min or max can be refined by discrimin and leximin orderings, in agreement with the Pareto ordering of vector evaluations. Further refinements of discrimin orderings, as well as the generalization of discrimin and lexirnin to functions other tha...
Qualitative calculi are constraint-based representation formalisms that allow for efficient reasoning about continuous aspects of the world with inherently infinite domains, such as time and space. GQR (Generic Qualitative Reasoner) is a tool that provides reasoning services for arbitrary binary qualitative calculi. Given qualitative information expressible in a qualitative calculus, GQR checks...
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arbitrary probability distributions to express delays of activities. The semantics of this process algebra is given in terms of stochastic automata, a variant of timed automata where clocks are initialised randomly and ru...
We present the tool QUASY, a quantitative synthesis tool. QUASY takes qualitative and quantitative specifications and automatically constructs a system that satisfies the qualitative specification and optimizes the quantitative specification, if such a system exists. The user can choose between a system that satisfies and optimizes the specifications (a) under all possible environment behaviors...
abstract aim and background: adoption is a subject with prolix antecedent in historical society and culture. child acceptation affects on partner and kinfolk relation; so the family experience recognition help nurse to have deep knowledge about family relation. method and materials: in this phenomenological qualitative study, participants were 15 family with adopted child in shahrekord, iran. t...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید