{'fraction_non_alphanumeric': 0.01839464882943144, 'fraction_numerical': 0.0, 'mean_word_length': 5.762711864406779, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 1, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Design Support to Determine the Range of Design Parameters by Qualitative Reasoning

We present a new application of qualitative reasoning to design: suggesting valid ranges for design parameters after the structure has been determined. This design step is implemented by using an envisioning mechanism that uses qualitative reasoning to determine all possible behaviors of a system. Our method finds all possible behaviors by envisioning with design parameters whose values are initially indeterminate and with whatever specifications the designer has. If several behaviors are found, the designer selects the ones he prefers. The design-support system Desq (design support system based on qualitative reasoning) is based on an earlier qualitative reasoning system Qupras (qualitative physical reasoning system) with three improvements: envisioning, propagating new constraints on constant parameters, and solving constraint in parallel. Like Qupras, the Desq system can deal with quantities qualitatively and quantitatively. Therefore, if the parameters can be expressed quantitatively, we may be able to determine the quantitative ranges, which are often more useful than qualitative values. >