Mercurial > public > ostc4
view Documentations/Formatter.xml @ 224:ceecabfddb57 div-fixes-3
Bugfix, deco: fix 2 (small) problems with calculated ceiling
This fixes 1 trivial, and 1 not really trivial bug in the calculation
of the ceiling. When simulating a bounce dive to 80m, things become
clear (tried this on a CCR dive, fixed setpoint 1.2bar, about 15 minutes
of bottom time). Closely watch the behavior of the ceiling data. At some
point during the ascent, the ceiling begins to decrease in 10cm steps.
Then suddenly (while still ascending), the ceiling increases again with 1m,
does not change for some time, and then suddenly steps 1.1m less deep.
While not very relevant to real deco diving, it is simply wrong.
The reason for this is subtle. The algorithm used to find the ceiling
is a sort of linear search, stepping down a meter, overshoot the depth, and
search back in 10cm steps. It seems some numerical instability. Fixing
this, was a bit more computational intensive search by stepping up down in
equal steps of 10cm. But, I'm pretty sure that things can be speeded up here, as a
ceiling does not change fast, so it should be not that difficult to limit
the search space, or use a binary search algorithm instead.
The trivial second problem fixed, is that the ceiling ends at the surface
and not at 1m depth. This small issue became visible after changing the step
down size above.
Signed-off-by: Jan Mulder <jlmulder@xs4all.nl>
| author | Jan Mulder <jlmulder@xs4all.nl> |
|---|---|
| date | Sun, 31 Mar 2019 19:35:51 +0200 |
| parents | ce06d2e3a38a |
| children |
line wrap: on
line source
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <profiles version="1"> <profile kind="CodeFormatterProfile" name="K&R [SPACE4]" version="1"> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_opening_paren_in_exception_specification" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_opening_paren_in_parenthesized_expression" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_closing_paren_in_for" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_closing_brace_in_array_initializer" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_opening_paren_in_for" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.indent_statements_compare_to_body" value="true"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_colon_in_base_clause" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_opening_brace_in_array_initializer" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_opening_paren_in_switch" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.alignment_for_conditional_expression" value="34"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_colon_in_labeled_statement" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.indent_empty_lines" value="false"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_closing_paren_in_cast" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_prefix_operator" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_new_line_after_opening_brace_in_array_initializer" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.comment.preserve_white_space_between_code_and_line_comments" value="true"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_closing_paren_in_cast" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_between_empty_parens_in_method_declaration" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_opening_paren_in_method_invocation" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.alignment_for_throws_clause_in_method_declaration" value="18"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_comma_in_enum_declarations" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_binary_operator" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_semicolon" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.alignment_for_binary_expression" value="16"/> <setting id="org.eclipse.cdt.core.formatter.brace_position_for_method_declaration" value="next_line"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_semicolon_in_for" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.brace_position_for_array_initializer" value="end_of_line"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_opening_brace_in_method_declaration" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_opening_paren_in_method_declaration" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_between_empty_braces_in_array_initializer" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.brace_position_for_switch" value="next_line"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_comma_in_expression_list" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.keep_else_statement_on_same_line" value="false"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_colon_in_base_clause" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_comma_in_base_types" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.use_tabs_only_for_leading_indentations" value="false"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_between_empty_parens_in_method_invocation" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.keep_then_statement_on_same_line" value="false"/> <setting id="org.eclipse.cdt.core.formatter.insert_new_line_at_end_of_file_if_missing" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.comment.line_up_line_comment_in_blocks_on_first_column" value="true"/> <setting id="org.eclipse.cdt.core.formatter.indent_body_declarations_compare_to_namespace_header" value="false"/> <setting id="org.eclipse.cdt.core.formatter.keep_empty_array_initializer_on_one_line" value="false"/> <setting id="org.eclipse.cdt.core.formatter.indent_access_specifier_extra_spaces" value="0"/> <setting id="org.eclipse.cdt.core.formatter.comment.never_indent_line_comments_on_first_column" value="true"/> <setting id="org.eclipse.cdt.core.formatter.insert_new_line_before_else_in_if_statement" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_comma_in_expression_list" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.brace_position_for_block" value="next_line"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_closing_bracket" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.alignment_for_base_clause_in_type_declaration" value="48"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_closing_angle_bracket_in_template_parameters" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_comma_in_method_declaration_throws" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.alignment_for_member_access" value="2"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_opening_paren_in_if" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.brace_position_for_namespace_declaration" value="next_line"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_opening_brace_in_block" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_opening_paren_in_for" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_closing_paren_in_parenthesized_expression" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.alignment_for_parameters_in_method_declaration" value="18"/> <setting id="org.eclipse.cdt.core.formatter.lineSplit" value="80"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_colon_in_default" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.number_of_empty_lines_to_preserve" value="1"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_comma_in_method_declaration_parameters" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_between_empty_brackets" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_closing_angle_bracket_in_template_arguments" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_comma_in_method_declaration_throws" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_opening_bracket" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_opening_angle_bracket_in_template_arguments" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_comma_in_template_arguments" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.alignment_for_compact_if" value="16"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_prefix_operator" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.alignment_for_declarator_list" value="16"/> <setting id="org.eclipse.cdt.core.formatter.alignment_for_expressions_in_array_initializer" value="18"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_closing_paren_in_method_declaration" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_opening_paren_in_while" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_between_empty_parens_in_exception_specification" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_opening_paren_in_cast" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.continuation_indentation_for_array_initializer" value="1"/> <setting id="org.eclipse.cdt.core.formatter.comment.min_distance_between_code_and_line_comment" value="1"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_opening_bracket" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.alignment_for_constructor_initializer_list" value="83"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_colon_in_case" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_opening_brace_in_switch" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_closing_paren_in_catch" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_opening_paren_in_exception_specification" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_opening_brace_in_array_initializer" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_comma_in_declarator_list" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_opening_paren_in_catch" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_opening_angle_bracket_in_template_parameters" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_opening_brace_in_type_declaration" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_semicolon_in_for" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_opening_paren_in_if" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_comma_in_method_invocation_arguments" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.brace_position_for_block_in_case" value="next_line"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_postfix_operator" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_closing_angle_bracket_in_template_parameters" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.compact_else_if" value="true"/> <setting id="org.eclipse.cdt.core.formatter.indent_switchstatements_compare_to_switch" value="false"/> <setting id="org.eclipse.cdt.core.formatter.alignment_for_overloaded_left_shift_chain" value="18"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_comma_in_method_invocation_arguments" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_new_line_before_identifier_in_function_declaration" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_new_line_in_empty_block" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_opening_paren_in_method_declaration" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_comma_in_declarator_list" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_colon_in_labeled_statement" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.indent_statements_compare_to_block" value="true"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_opening_brace_in_namespace_declaration" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.indent_access_specifier_compare_to_type_header" value="false"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_comma_in_template_parameters" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_closing_paren_in_if" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.alignment_for_conditional_expression_chain" value="18"/> <setting id="org.eclipse.cdt.core.formatter.tabulation.char" value="space"/> <setting id="org.eclipse.cdt.core.formatter.insert_new_line_after_template_declaration" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_new_line_before_colon_in_constructor_initializer_list" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_comma_in_enum_declarations" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_new_line_before_catch_in_try_statement" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.brace_position_for_type_declaration" value="next_line"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_assignment_operator" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_binary_operator" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.keep_imple_if_on_one_line" value="true"/> <setting id="org.eclipse.cdt.core.formatter.insert_new_line_before_closing_brace_in_array_initializer" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.continuation_indentation" value="1"/> <setting id="org.eclipse.cdt.core.formatter.insert_new_line_before_while_in_do_statement" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.put_empty_statement_on_new_line" value="true"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_closing_brace_in_block" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.format_guardian_clause_on_one_line" value="false"/> <setting id="org.eclipse.cdt.core.formatter.indentation.size" value="4"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_opening_angle_bracket_in_template_parameters" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_closing_paren_in_switch" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.alignment_for_expression_list" value="0"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_opening_paren_in_method_invocation" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_colon_in_conditional" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_unary_operator" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_comma_in_array_initializer" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_colon_in_case" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_comma_in_base_types" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_assignment_operator" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.indent_breaks_compare_to_cases" value="true"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_comma_in_array_initializer" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.indent_switchstatements_compare_to_cases" value="true"/> <setting id="org.eclipse.cdt.core.formatter.indent_declaration_compare_to_template_header" value="false"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_comma_in_method_declaration_parameters" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_opening_angle_bracket_in_template_arguments" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_opening_paren_in_catch" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_opening_paren_in_parenthesized_expression" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.alignment_for_arguments_in_method_invocation" value="18"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_opening_paren_in_while" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_closing_paren_in_exception_specification" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_question_in_conditional" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_opening_paren_in_switch" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_unary_operator" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.join_wrapped_lines" value="false"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_colon_in_conditional" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_postfix_operator" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.alignment_for_assignment" value="18"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_closing_paren_in_while" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_comma_in_template_arguments" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_after_closing_angle_bracket_in_template_arguments" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_comma_in_template_parameters" value="do not insert"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_question_in_conditional" value="insert"/> <setting id="org.eclipse.cdt.core.formatter.indent_body_declarations_compare_to_access_specifier" value="true"/> <setting id="org.eclipse.cdt.core.formatter.alignment_for_enumerator_list" value="48"/> <setting id="org.eclipse.cdt.core.formatter.tabulation.size" value="4"/> <setting id="org.eclipse.cdt.core.formatter.insert_space_before_closing_paren_in_method_invocation" value="insert"/> </profile> </profiles>