Obschij logiko-weroqtnostnyj metod modelirowaniq slozhnyh sistem