рдЕрдВрдЧреНрд░реЗрдЬрд╝реАрдлреНрд░реЗрдВрдЪрд╕реНрдкреЗрдирд┐рд╢

Ad


рдСрдирд╡рд░реНрдХреНрд╕ рдлрд╝реЗрд╡рд┐рдХреЙрди

рд╡рд┐рдВрдбреЛрдЬрд╝ рдХреЗ рд▓рд┐рдП рд░реИрдирдлрд╝реЙрдЗрд▓ рдбрд╛рдЙрдирд▓реЛрдб

рдЙрдмрдВрдЯреВ рдСрдирд▓рд╛рдЗрди, рдлреЗрдбреЛрд░рд╛ рдСрдирд▓рд╛рдЗрди рдпрд╛ рдбреЗрдмрд┐рдпрди рдСрдирд▓рд╛рдЗрди рдореЗрдВ рдСрдирд▓рд╛рдЗрди рд╡рд┐рди рд╡рд╛рдЗрди рдЪрд▓рд╛рдиреЗ рдХреЗ рд▓рд┐рдП рдореБрдлреНрдд рд░реИрдирдлрд╝реЛрдЗрд▓ рд╡рд┐рдВрдбреЛрдЬ рдРрдк рдбрд╛рдЙрдирд▓реЛрдб рдХрд░реЗрдВ

рдпрд╣ ransfoil рдирд╛рдо рдХрд╛ рд╡рд┐рдВрдбреЛрдЬрд╝ рдРрдк рд╣реИ рдЬрд┐рд╕рдХреА рдирд╡реАрдирддрдо рд░рд┐рд▓реАрдЬрд╝ ransfoil22-win64-static.zip рдХреЗ рд░реВрдк рдореЗрдВ рдбрд╛рдЙрдирд▓реЛрдб рдХреА рдЬрд╛ рд╕рдХрддреА рд╣реИред рдЗрд╕реЗ рд╡рд░реНрдХрд╕реНрдЯреЗрд╢рди рдХреЗ рд▓рд┐рдП рдореБрдлреНрдд рд╣реЛрд╕реНрдЯрд┐рдВрдЧ рдкреНрд░рджрд╛рддрд╛ рдСрдирд╡рд░реНрдХреНрд╕ рдореЗрдВ рдСрдирд▓рд╛рдЗрди рдЪрд▓рд╛рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред

Ransfoil рдирд╛рдо рдХреЗ рдЗрд╕ рдРрдк рдХреЛ OnWorks рдХреЗ рд╕рд╛рде рдореБрдлреНрдд рдореЗрдВ рдСрдирд▓рд╛рдЗрди рдбрд╛рдЙрдирд▓реЛрдб рдХрд░реЗрдВ рдФрд░ рдЪрд▓рд╛рдПрдВред

рдЗрд╕ рдРрдк рдХреЛ рдЪрд▓рд╛рдиреЗ рдХреЗ рд▓рд┐рдП рдЗрди рдирд┐рд░реНрджреЗрд╢реЛрдВ рдХрд╛ рдкрд╛рд▓рди рдХрд░реЗрдВ:

- 1. рдЗрд╕ рдПрдкреНрд▓рд┐рдХреЗрд╢рди рдХреЛ рдЕрдкрдиреЗ рдкреАрд╕реА рдореЗрдВ рдбрд╛рдЙрдирд▓реЛрдб рдХрд░реЗрдВред

- 2. рд╣рдорд╛рд░реЗ рдлрд╝рд╛рдЗрд▓ рдкреНрд░рдмрдВрдзрдХ рдореЗрдВ https://www.onworks.net/myfiles.php?username=XXXXX рдЙрд╕ рдЙрдкрдпреЛрдЧрдХрд░реНрддрд╛ рдирд╛рдо рдХреЗ рд╕рд╛рде рджрд░реНрдЬ рдХрд░реЗрдВ рдЬреЛ рдЖрдк рдЪрд╛рд╣рддреЗ рд╣реИрдВред

- 3. рдЗрд╕ рдПрдкреНрд▓рд┐рдХреЗрд╢рди рдХреЛ рдРрд╕реЗ рдлрд╛рдЗрд▓ рдореИрдиреЗрдЬрд░ рдореЗрдВ рдЕрдкрд▓реЛрдб рдХрд░реЗрдВред

- 4. рдЗрд╕ рд╡реЗрдмрд╕рд╛рдЗрдЯ рд╕реЗ рдХреЛрдИ рднреА рдУрдПрд╕ рдСрдирд╡рд░реНрдХреНрд╕ рдСрдирд▓рд╛рдЗрди рдПрдореБрд▓реЗрдЯрд░ рд╢реБрд░реВ рдХрд░реЗрдВ, рд▓реЗрдХрд┐рди рдмреЗрд╣рддрд░ рд╡рд┐рдВрдбреЛрдЬ рдСрдирд▓рд╛рдЗрди рдПрдореБрд▓реЗрдЯрд░ред

- 5. рдСрдирд╡рд░реНрдХреНрд╕ рд╡рд┐рдВрдбреЛрдЬ рдУрдПрд╕ рд╕реЗ рдЖрдкрдиреЗ рдЕрднреА рд╢реБрд░реБрдЖрдд рдХреА рд╣реИ, рд╣рдорд╛рд░реЗ рдлрд╛рдЗрд▓ рдореИрдиреЗрдЬрд░ рдХреЛ https://www.onworks.net/myfiles.php?username=XXXXX рдЙрд╕ рдпреВрдЬрд░рдиреЗрдо рдХреЗ рд╕рд╛рде рдЬрд╛рдПрдВ рдЬреЛ рдЖрдк рдЪрд╛рд╣рддреЗ рд╣реИрдВред

- 6. рдПрдкреНрд▓рд┐рдХреЗрд╢рди рдбрд╛рдЙрдирд▓реЛрдб рдХрд░реЗрдВ рдФрд░ рдЗрд╕реЗ рдЗрдВрд╕реНрдЯреЙрд▓ рдХрд░реЗрдВред

- 7. рдЕрдкрдиреЗ Linux рд╡рд┐рддрд░рдг рд╕реЙрдлрд╝реНрдЯрд╡реЗрдпрд░ рд░рд┐рдкреЙрдЬрд┐рдЯрд░реА рд╕реЗ рд╡рд╛рдЗрди рдбрд╛рдЙрдирд▓реЛрдб рдХрд░реЗрдВред рдПрдХ рдмрд╛рд░ рдЗрдВрд╕реНрдЯреЙрд▓ рд╣реЛ рдЬрд╛рдиреЗ рдкрд░, рдЖрдк рдРрдк рдХреЛ рд╡рд╛рдЗрди рдХреЗ рд╕рд╛рде рдЪрд▓рд╛рдиреЗ рдХреЗ рд▓рд┐рдП рдбрдмрд▓-рдХреНрд▓рд┐рдХ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВред рдЖрдк PlayOnLinux рдХреЛ рднреА рдЖрдЬрд╝рдорд╛ рд╕рдХрддреЗ рд╣реИрдВ, рдЬреЛ рд╡рд╛рдЗрди рдкрд░ рдПрдХ рдлреИрдВрд╕реА рдЗрдВрдЯрд░рдлрд╝реЗрд╕ рд╣реИ рдЬреЛ рдЖрдкрдХреЛ рд▓реЛрдХрдкреНрд░рд┐рдп рд╡рд┐рдВрдбреЛрдЬрд╝ рдкреНрд░реЛрдЧреНрд░рд╛рдо рдФрд░ рдЧреЗрдо рдЗрдВрд╕реНрдЯреЙрд▓ рдХрд░рдиреЗ рдореЗрдВ рдорджрдж рдХрд░реЗрдЧрд╛ред

рд╡рд╛рдЗрди рд▓рд┐рдирдХреНрд╕ рдкрд░ рд╡рд┐рдВрдбреЛрдЬ рд╕реЙрдлреНрдЯрд╡реЗрдпрд░ рдЪрд▓рд╛рдиреЗ рдХрд╛ рдПрдХ рддрд░реАрдХрд╛ рд╣реИ, рд▓реЗрдХрд┐рди рд╡рд┐рдВрдбреЛрдЬ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рдирд╣реАрдВ рд╣реИред рд╡рд╛рдЗрди рдПрдХ рдУрдкрди-рд╕реЛрд░реНрд╕ рд╡рд┐рдВрдбреЛрдЬ рд╕рдВрдЧрддрддрд╛ рдкрд░рдд рд╣реИ рдЬреЛ рдХрд┐рд╕реА рднреА рд▓рд┐рдирдХреНрд╕ рдбреЗрд╕реНрдХрдЯреЙрдк рдкрд░ рд╕реАрдзреЗ рд╡рд┐рдВрдбреЛрдЬ рдкреНрд░реЛрдЧреНрд░рд╛рдо рдЪрд▓рд╛ рд╕рдХрддреА рд╣реИред рдЕрдирд┐рд╡рд╛рд░реНрдп рд░реВрдк рд╕реЗ, рд╡рд╛рдЗрди рдЦрд░реЛрдВрдЪ рд╕реЗ рдкрд░реНрдпрд╛рдкреНрдд рд╡рд┐рдВрдбреЛрдЬрд╝ рдХреЛ рдлрд┐рд░ рд╕реЗ рд▓рд╛рдЧреВ рдХрд░рдиреЗ рдХреА рдХреЛрд╢рд┐рд╢ рдХрд░ рд░рд╣рд╛ рд╣реИ рддрд╛рдХрд┐ рд╡рд╣ рдЙрди рд╕рднреА рд╡рд┐рдВрдбреЛрдЬрд╝ рдЕрдиреБрдкреНрд░рдпреЛрдЧреЛрдВ рдХреЛ рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ рд╡рд┐рдВрдбреЛрдЬрд╝ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рдХреЗ рдмрд┐рдирд╛ рдЪрд▓рд╛ рд╕рдХреЗред

рд╕реНрдХреНрд░реАрдирд╢реЙрдЯ

Ad


ransfoil


рд╡рд░реНрдгрди

RANSFOIL рдкрд░рд┐рдкрдХреНрд╡ рдХрдореНрдкреНрдпреВрдЯреЗрд╢рдирд▓ рддрд░рд▓ рдЧрддрд┐рдХреА (CFD) рд╡рд┐рдзрд┐ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рд░реЗрдиреЙрд▓реНрдбреНрд╕ рдФрд╕рдд рдиреЗрд╡рд┐рдпрд░-рд╕реНрдЯреЛрдХреНрд╕ (RANS) рд╕рдореАрдХрд░рдгреЛрдВ рдХреЛ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рд░реВрдк рд╕реЗ рд╣рд▓ рдХрд░рдХреЗ рдХрдо рдЧрддрд┐, рд╕рдмрд╕реЛрдирд┐рдХ, рдЯреНрд░рд╛рдВрд╕реЛрдирд┐рдХ рдпрд╛ рд╕реБрдкрд░рд╕реЛрдирд┐рдХ рд╢рд╛рд╕рди рдореЗрдВ рдПрдХ рдкреГрдердХ рдПрдпрд░рдлрд╝реЙрдЗрд▓ рдХреЗ рдЖрд╕рдкрд╛рд╕ рд╡рд╛рдпреБ рдкреНрд░рд╡рд╛рд╣ рдХреНрд╖реЗрддреНрд░ рдХреА рдЧрдгрдирд╛ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдПрдХ рдХрдВрд╕реЛрд▓ рдкреНрд░реЛрдЧреНрд░рд╛рдо рд╣реИред рдкреЛрд╕реНрдЯрдкреНрд░реЛрд╕реЗрд╕ рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЗ рд░реВрдк рдореЗрдВ, рдПрдпрд░рдлрд╝реЛрдЗрд▓ рдХреЗ рд╡рд╛рдпреБрдЧрддрд┐рдХреАрдп рдкреИрд░рд╛рдореАрдЯрд░, рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП, рд▓рд┐рдлреНрдЯ рдЧреБрдгрд╛рдВрдХ рдФрд░ рдбреНрд░реИрдЧ рдЧреБрдгрд╛рдВрдХ, рдХреЛ рджреАрд╡рд╛рд░ рд╕реАрдорд╛ рдХреЗ рдкрд╛рд╕ рдПрдпрд░рдлреНрд▓реЛ рд╡рд┐рддрд░рдг рд╕реЗ рдПрдХреАрдХреГрдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдЗрд╕рдХреЗ рдЕрд▓рд╛рд╡рд╛, рдПрдпрд░рдлреНрд▓реЛ рдФрд░ рдЧрд░реНрдореА рд╣рд╕реНрддрд╛рдВрддрд░рдг рдХреЗ рдмреАрдЪ рдпреБрдЧреНрдорди рдФрд░ рдирд┐рдХрдЯ рджреАрд╡рд╛рд░ рдкреНрд░рд╡рд╛рд╣ рдкрд░ рд╕рддрд╣ рдЦреБрд░рджрд░рд╛рдкрди рдХреЗ рдкреНрд░рднрд╛рд╡ рдкрд░ рдЗрд╕ рдХрд╛рд░реНрдпрдХреНрд░рдо рджреНрд╡рд╛рд░рд╛ рд╡рд┐рдЪрд╛рд░ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдЗрд╕рдХрд╛ рдЙрдкрдпреЛрдЧ рдПрдпрд░рдлреЙрдЗрд▓ рд╕рддрд╣ рдкрд░ рдШрд░реНрд╖рдг рдбреНрд░реИрдЧ рдФрд░ рдЧрд░реНрдореА рд╣рд╕реНрддрд╛рдВрддрд░рдг рдЧреБрдгрд╛рдВрдХ рдХреА рдЗрдВрдЬреАрдирд┐рдпрд░рд┐рдВрдЧ рдЧрдгрдирд╛ рдХреЗ рд▓рд┐рдП рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред RANSFOIL рдПрдХ 1D XYZ рдлрд╝рд╛рдЗрд▓ рд╕реЗ рдирд┐рд░реНрджреЗрд╢рд╛рдВрдХ рдбреЗрдЯрд╛ рдХреЛ рдкрдврд╝рддрд╛ рд╣реИ рдЬреЛ рдПрдпрд░рдлрд╝реЙрдЗрд▓ рдкрд░ рдЧреНрд░рд┐рдб рдмрд┐рдВрджреБрдУрдВ рдпрд╛ рдирд┐рдпрдВрддреНрд░рдг рдмрд┐рдВрджреБрдУрдВ рдХреЛ рдХреЗрд╡рд▓ рдЗрдирдкреБрдЯ рдХреЗ рд░реВрдк рдореЗрдВ рд╡рд░реНрдгрд┐рдд рдХрд░рддрд╛ рд╣реИ, рдлрд┐рд░ рдЧреНрд░рд┐рдб рдирд┐рд░реНрджреЗрд╢рд╛рдВрдХ рдФрд░ рдПрдпрд░рдлрд╝реНрд▓реЛ рдбреЗрдЯрд╛ рдХреЛ рд░рд┐рдХреЙрд░реНрдб рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП 2D PLOT3D рдкреНрд░рд╛рд░реВрдк рдореЗрдВ рдЧреНрд░рд┐рдб рдФрд░ рд╕рдорд╛рдзрд╛рди рдлрд╝рд╛рдЗрд▓реЛрдВ рдХреЛ рдЖрдЙрдЯрдкреБрдЯ рдХрд░рддрд╛ рд╣реИ рдФрд░ рд╡рд╛рдпреБрдЧрддрд┐рдХреАрдп рдорд╛рдкрджрдВрдбреЛрдВ рдХреЛ рджрд┐рдЦрд╛рдиреЗ рдХреЗ рд▓рд┐рдП рдПрдХ рд░рд┐рдкреЛрд░реНрдЯ рдлрд╝рд╛рдЗрд▓ рдХреЛ рдЖрдЙрдЯрдкреБрдЯ рдХрд░рддрд╛ рд╣реИред



рд╡рд┐рд╢реЗрд╖рддрд╛рдПрдВ

  • рд▓рд┐рдирдХреНрд╕ рдФрд░ рд╡рд┐рдВрдбреЛрдЬ рдкреНрд▓реЗрдЯрдлреЙрд░реНрдо рдкрд░ рддреИрдирд╛рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдЬреАрдПрдирдпреВ рдСрдЯреЛрдЯреВрд▓реНрд╕ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░реЗрдВ
  • рджреЛ рдирд┐рд╖реНрдкрд╛рджрди рдореЛрдб, рдПрдХ рдЗрдВрдЯрд░реИрдХреНрдЯрд┐рд╡ рдореЛрдб рдФрд░ рдПрдХ рдмреИрдЪ рдореЛрдб
  • рд╕реЗрд▓рд┐рдЧ рдкреНрд░рд╛рд░реВрдк рдирд┐рдпрдВрддреНрд░рдг рдмрд┐рдВрджреБрдУрдВ рд╕реЗ рдПрдпрд░рдлрд╝реЙрдЗрд▓ рдкреНрд░реЛрдлрд╝рд╛рдЗрд▓ рддреИрдпрд╛рд░ рдХрд░реЗрдВ
  • рдПрдпрд░рдлрд╝реЙрдЗрд▓ рдкреНрд░реЛрдлрд╝рд╛рдЗрд▓ рдХреЛ рдмрд╛рд╣рд░ рдирд┐рдХрд╛рд▓рдХрд░ рдЕрдВрддрд░реНрдирд┐рд░реНрдорд┐рдд рд╕рдВрд░рдЪрд┐рдд рдЬрд╛рд▓ рдЬрдирд░реЗрдЯрд░
  • рдПрдХ рдордЬрдмреВрдд рджрдмрд╛рд╡-рдЖрдзрд╛рд░рд┐рдд рдкрд░рд┐рдорд┐рдд рд╡реЙрд▓реНрдпреВрдо рд╕реЙрд▓реНрд╡рд░
  • рд╣рд╡рд╛ рдХреА рд╕рдВрдкрддреНрддрд┐ рдХрдо рдЧрддрд┐ рд╡рд╛рд▓реЗ рд╢рд╛рд╕рди рдореЗрдВ рдЕрд╕рдореНрдкреАрдбрд┐рдд рд╣реЛ рд╕рдХрддреА рд╣реИ рдпрд╛ рдЙрдЪреНрдЪ рдореИрдХ рд╕рдВрдЦреНрдпрд╛ рдкрд░ рд╕рдВрдкреАрдбрд╝рд┐рдд рд╣реЛ рд╕рдХрддреА рд╣реИ
  • рддреАрди рдкрд░рд┐рдкрдХреНрд╡ рдЕрд╢рд╛рдВрддрд┐ рдореЙрдбрд▓, рдорд╛рдирдХ рдХреЗ-рдПрдкреНрд╕рд┐рд▓реЙрди, рдПрд╕рдП рдФрд░ рдПрд╕рдПрд╕рдЯреА рдХреЗ-рдУрдореЗрдЧрд╛
  • рдирд┐рдХрдЯ рджреАрд╡рд╛рд░ рдЙрдкрдЪрд╛рд░ рдореЙрдбрд▓, рдЙрдиреНрдирдд рджреАрд╡рд╛рд░ рдлрд╝рдВрдХреНрд╢рди рдФрд░ рдХрдо рд░реЗрдиреЙрд▓реНрдбреНрд╕ рд╕рдВрдЦреНрдпрд╛ рдореЙрдбрд▓ рдХреЗ рд░реВрдк рдореЗрдВ рджреЛ рд╡рд┐рдзрд┐рдпрд╛рдБ
  • рдореЙрдбрд▓ рдЪрд┐рдХрдиреА рдпрд╛ рдЦреБрд░рджреБрд░реА рдПрдпрд░рдлрд╝реЛрдЗрд▓ рд╕рддрд╣
  • рдХрдо рдЧрддрд┐ рд╕реЗ рд▓реЗрдХрд░ рд╕реБрдкрд░рд╕реЛрдирд┐рдХ рддрдХ рдХреА рдмрдбрд╝реА рд░реЗрдВрдЬ рдореЗрдВ рд╡рд╛рдпреБрдЧрддрд┐рдХреАрдп рдорд╛рдкрджрдВрдбреЛрдВ рдХреА рд░рд┐рдкреЛрд░реНрдЯ рдХрд░реЗрдВ
  • рдкрд░рд┐рдгрд╛рдореЛрдВ рдХрд╛ рд╡рд░реНрдгрди рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдкреНрд░рдЪреБрд░ рдорд╛рддреНрд░рд╛ рдореЗрдВ рдирд┐рд░реНрдпрд╛рдд рдлрд╝рд╛рдЗрд▓реЗрдВ
  • рдПрдХ рд╕рд╛рдЭрд╛ рд▓рд╛рдЗрдмреНрд░реЗрд░реА рдореЗрдВ рдПрдкреНрд▓рд┐рдХреЗрд╢рди рдкреНрд░реЛрдЧреНрд░рд╛рдо рдЗрдВрдЯрд░рдлрд╝реЗрд╕ рдкреНрд░рджрд╛рди рдХрд░реЗрдВ рдЬрд┐рд╕реЗ рдлреЛрд░рдЯреНрд░рд╛рди рдФрд░ рд╕реА рднрд╛рд╖рд╛ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рдмреБрд▓рд╛рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ


рджрд░реНрд╢рдХ

рдПрдпрд░реЛрд╕реНрдкреЗрд╕, рд╡рд┐рдЬреНрдЮрд╛рди/рдЕрдиреБрд╕рдВрдзрд╛рди, рд╢рд┐рдХреНрд╖рд╛, рдЗрдВрдЬреАрдирд┐рдпрд░рд┐рдВрдЧ


рдпреВрдЬрд░ рдЗрдВрдЯрд░рдлреЗрд╕

рдХрдВрд╕реЛрд▓/рдЯрд░реНрдорд┐рдирд▓, рдХрдорд╛рдВрдб-рд▓рд╛рдЗрди


рдкреНрд░реЛрдЧреНрд░рд╛рдорд┐рдВрдЧ рднрд╛рд╖рд╛

рдлреЛрд░рдЯреНрд░рд╛рди


рд╢реНрд░реЗрдгрд┐рдпрд╛рдБ

рд╕рд┐рдореБрд▓реЗрд╢рди, рднреМрддрд┐рдХреА, рдХрдореНрдкреНрдпреВрдЯреЗрд╢рдирд▓ рджреНрд░рд╡ рдЧрддрд┐рдХреА (CFD)

рдпрд╣ рдПрдХ рдПрдкреНрд▓рд┐рдХреЗрд╢рди рд╣реИ рдЬрд┐рд╕реЗ https://sourceforge.net/projects/ransfoil/ рд╕реЗ рднреА рдкреНрд░рд╛рдкреНрдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рд╣рдорд╛рд░реЗ рдирд┐рдГрд╢реБрд▓реНрдХ рдСрдкрд░реЗрдЯрд┐рд╡ рд╕рд┐рд╕реНрдЯрдореЛрдВ рдореЗрдВ рд╕реЗ рдПрдХ рд╕реЗ рд╕рдмрд╕реЗ рдЖрд╕рд╛рди рддрд░реАрдХреЗ рд╕реЗ рдСрдирд▓рд╛рдЗрди рдЪрд▓рд╛рдиреЗ рдХреЗ рд▓рд┐рдП рдЗрд╕реЗ рдСрдирд╡рд░реНрдХреНрд╕ рдореЗрдВ рд╣реЛрд╕реНрдЯ рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИред


рдлреНрд░реА рд╕рд░реНрд╡рд░ рдФрд░ рд╡рд░реНрдХрд╕реНрдЯреЗрд╢рди

рд╡рд┐рдВрдбреЛрдЬ рдФрд░ рд▓рд╛рдЗрдиреЗрдХреНрд╕ рдПрдк рдбрд╛рдЙрдирд▓реЛрдб рдХрд░реЗрдВ

рд▓рд┐рдирдХреНрд╕ рдХрдорд╛рдВрдб

  • 1
    a2crd
    a2crd
    a2crd - рдХреЗ рд░реВрдкрд╛рдВрддрд░рдг рдХрд╛ рдкреНрд░рдпрд╛рд╕ рдХрд░рддрд╛ рд╣реИ
    рдХреЙрд░реНрдбреА рдЗрдирдкреБрдЯ рдореЗрдВ рд▓рд┐рд░рд┐рдХреНрд╕ рдлрд╝рд╛рдЗрд▓ ...
    a2crd рдЪрд▓рд╛рдПрдБ
  • 2
    a2j
    a2j
    a2j - рдЕрдиреБрдХрд░рдг рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рд░реИрдкрд░ рд╕реНрдХреНрд░рд┐рдкреНрдЯ
    рд╣рд╛рд▓рд╛рдБрдХрд┐ a2jmidid рдХрд╛ рдЧреИрд░-DBUS рд╡реНрдпрд╡рд╣рд╛рд░
    a2jmidid рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ DBUS рдореЛрдб рдореЗрдВ рд╣реИ...
    a2j рдЪрд▓рд╛рдПрдБ
  • 3
    coqtop.opt
    coqtop.opt
    coqtop.opt - рдореВрд▓-рдХреЛрдб Coq
    рдКрдкрд░реА рд╕реНрддрд░ ...
    Coqtop.opt рдЪрд▓рд╛рдПрдВ
  • 4
    coqwc
    coqwc
    coqwc - рдХреА рд╕рдВрдЦреНрдпрд╛ рдкреНрд░рд┐рдВрдЯ рдХрд░реЗрдВ
    рд╡рд┐рдирд┐рд░реНрджреЗрд╢, рдкреНрд░рдорд╛рдг рдФрд░ рдЯрд┐рдкреНрдкрдгреА рдкрдВрдХреНрддрд┐рдпрд╛рдБ
    рдХреЛрдХ рдлрд╛рдЗрд▓реЛрдВ рдореЗрдВ ...
    Coqwc рдЪрд▓рд╛рдПрдБ
  • 5
    gbbin
    gbbin
    gbbin - рдмрд┐рди рдбреЗрдЯрд╛ рдХреЗ рд▓рд┐рдП рдПрдХ рдкреНрд░реЛрдЧреНрд░рд╛рдо ...
    рдЧрдмрд┐рди рдЪрд▓рд╛рдУ
  • 6
    gbboot
    gbboot
    gbboot - рдмреВрдЯрд╕реНрдЯреНрд░реИрдк рдЙрдкрдпреЛрдЧрдХрд░реНрддрд╛ рджреНрд╡рд╛рд░рд╛ рдкреНрд░рджрд╛рди рдХрд┐рдпрд╛ рдЧрдпрд╛ рдбреЗрдЯрд╛ ...
    рдЬреАрдмреАрдмреВрдЯ рдЪрд▓рд╛рдПрдВ
  • рдЕрдзрд┐рдХ "

Ad