wgts_functions.php 4.1 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889
  1. <?php
  2. function GetColDens($q) {
  3. //return ( -1.63969879e20 * pow($q, 4) + 9.91109874e20 * pow($q , 3) - 2.53305379e21 *pow($q , 2) + $q * 5.12956384e21 + 1.66198448e20);
  4. return ( -4.74885646e+19 * pow($q, 4) + 4.00723075e+20 * pow($q , 3) - 1.39422021e+21 *pow($q , 2) + $q * 3.76713272e+21 +
  5. 2.66564859e+20);
  6. }
  7. function placePicOrig($posY, $posX, $pic, $title)
  8. {
  9. echo '<div title="' . $title . '" style="position:absolute; top:' . $posY . 'px; left:' . $posX . 'px">';
  10. echo '<img src="pictures/' . $pic . '">';
  11. echo '</div>';
  12. }
  13. function placePicOrigWithLink($posY, $posX, $pic, $title, $link)
  14. {
  15. echo '<a href="https://adei-katrin.kaas.kit.edu/adei/#module=graph&db_server=virtual&db_name=srctree&db_group=-3&control_group=-3&db_mask=all&experiment=-&window=86400&module=graph&virtual=srctree&srctree=' . $link . '" target="_blank">';
  16. placePicOrig($posY, $posX, $pic, $title);
  17. echo '</a>';
  18. }
  19. function placePic($posY, $posX, $pic, $size, $title)
  20. {
  21. echo '<div title="' . $title . '" style="position:absolute; top:' . $posY . 'px; left:' . $posX . 'px">';
  22. echo '<img src="pictures/' . $pic . '" width="' . $size . '" height="' . $size . '">';
  23. echo '</div>';
  24. }
  25. function placePicWithLink($posY, $posX, $pic, $size, $title, $link)
  26. {
  27. echo '<a href="https://adei-katrin.kaas.kit.edu/adei/#module=graph&db_server=virtual&db_name=srctree&db_group=-3&control_group=-3&db_mask=all&experiment=-&window=86400&module=graph&virtual=srctree&srctree=' . $link . '" target="_blank">';
  28. placePic($posY, $posX, $pic, $size, $title);
  29. echo '</a>';
  30. }
  31. function placeText($posY, $posX, $text, $width, $size, $color)
  32. {
  33. echo '<div align="center" style="width:' . $width . 'px; position:absolute; top:' . $posY . 'px; left:' . $posX . 'px">';
  34. echo '<font size="' . $size . '" color="' . $color . '"><b>';
  35. echo $text;
  36. echo '</b></font></div>';
  37. }
  38. function placeTextWithLink($posY, $posX, $text, $width, $size, $color, $title, $link)
  39. {
  40. echo '<div title="' . $title . '" align="center" style="width:' . $width . 'px; position:absolute; top:' . $posY . 'px; left:' . $posX . 'px">';
  41. echo '<a href="https://adei-katrin.kaas.kit.edu/adei/#module=graph&db_server=virtual&db_name=srctree&db_group=-3&control_group=-3&db_mask=all&experiment=-&window=86400&module=graph&virtual=srctree&srctree=' . $link . '" target="_blank">';
  42. echo '<font size="' . $size . '" color="' . $color . '"><b>';
  43. echo $text;
  44. echo '</b></font></a></div>';
  45. }
  46. function placeTextWithWebsiteLink($posY, $posX, $text, $width, $size, $color, $title, $link)
  47. {
  48. echo '<div title="' . $title . '" align="center" style="width:' . $width . 'px; position:absolute; top:' . $posY . 'px; left:' . $posX . 'px">';
  49. echo '<a href='.$link.'>';
  50. echo '<font size="' . $size . '" color="' . $color . '"><b>';
  51. echo $text;
  52. echo '</b></font></a></div>';
  53. }
  54. function placeBoxTextWithLink($posY, $posX, $text, $width, $size, $bgcolor, $textcolor, $title, $link)
  55. {
  56. echo '<div title="' . $title . '" align="center" style="width:' . $width . 'px; background-color:' . $bgcolor . '; position:absolute; top:' . $posY . 'px; left:' . $posX . 'px">';
  57. echo '<a href="https://adei-katrin.kaas.kit.edu/adei/#module=graph&db_server=virtual&db_name=srctree&db_group=-3&control_group=-3&db_mask=all&experiment=-&window=86400&module=graph&virtual=srctree&srctree=' . $link . '" target="_blank">';
  58. echo '<font size="' . $size . '" color="' . $textcolor . '"><b>';
  59. echo $text;
  60. echo '</b></font></a></div>';
  61. }
  62. function placeBox($posY, $posX, $text, $width, $size, $color)
  63. {
  64. echo '<div align="center" style="background-color:' . $color . '; border-style:solid; border-width:2px; border-color:#000000; width:' . $width . 'px; position:absolute; top:' . $posY . 'px; left:' . $posX . 'px">';
  65. echo '<font size="' . $size . '" color=#000000><b>';
  66. echo $text;
  67. echo '</b></font></div>';
  68. }
  69. function getValveStatus($value)
  70. {
  71. $value = decbin($value);
  72. $value = substr("00000000000", 0, 11 - strlen($value)) . $value;
  73. if (substr($value, 3, 1) == 1) return 1;
  74. else if (substr($value, 2, 1) == 1) return 0;
  75. else return -1;
  76. }
  77. ?>