Wynik wyszukiwania
Zapytanie:
HEURISTIC SEARCH
Liczba odnalezionych rekordów:
4
Przej¶cie do opcji zmiany formatu
|
Wy¶wietlenie wyników w wersji do druku
|
Pobranie pliku do edytora
|
Przesłanie wyników do modułu analizy
|
excel
|
Nowe wyszukiwanie
1/4
Nr opisu:
0000104516
Tytuł oryginału:
The assembly line balancing problem with task splitting A case study
Autorzy:
Waldemar**
Grzechca
, L. R.
Foulds
.
¬ródło:
-
IFAC-PapersOnLine
2015 vol. 48 iss. 3
, s. 2002-2008, bibliogr. 24 poz.
Uwagi:
Referat wygłoszony na: 15th IFAC Symposium on Information Control Problems in Manufacturing - INCOM 2015
Punktacja MNiSW:
5.000
Liczba arkuszy wydawniczych:
0,5
e-ISSN:
2405-8963
DOI:
Słowa kluczowe polskie:
system produkcyjny
;
problem balansowania linii montażowej
;
miara jako¶ci
;
przeszukiwanie heurystyczne
;
kontrola produkcji
Słowa kluczowe angielskie:
manufacturing system
;
assembly line balancing problem
;
quality measure
;
heuristic search
;
production control
Typ publikacji:
A
Język publikacji:
ENG
Zasieg terytorialny:
Z
Afiliacja:
praca afiliowana w P¦l.
Dostęp on-line:
2/4
Nr opisu:
0000096128
Tytuł oryginału:
Introducing fuzzy default logic into WalkSAT algorithm.
Autorzy:
Andrzej
Pułka
, Adam
Milik
.
¬ródło:
W:
2014 International Conference on Signals and Electronic Systems (ICSES), Poznań, Poland, 11-13 September 2014
. Faculty of Electronics and Telecommunications. Poznan University of Technology. Poland. Piscataway : IEEE, 2014
, s. 1-4, bibliogr. 13 poz.
ISBN:
978-1-4799-7009-4
Liczba arkuszy wydawniczych:
0,2
Bazy indeksuj±ce publikację:
Web of Science
DOI:
Słowa kluczowe polskie:
spełnialno¶ć formuł logicznych
;
CNF
;
weryfikacja formalna
;
wyszukiwarka heurystyczna
;
badanie spełnialno¶ci logicznej
Słowa kluczowe angielskie:
Boolean satisfiability
;
CNF
;
formal verification
;
heuristic search
;
SAT solving
Typ publikacji:
RK
Język publikacji:
ENG
Zasieg terytorialny:
Z
Afiliacja:
praca afiliowana w P¦l.
Dostęp on-line:
3/4
Nr opisu:
0000085014
Tytuł oryginału:
Graf dla sieci komunikacji miejskiej - budowa i przeszukiwanie metod± heurystyczn±.
Tytuł w wersji angielskiej:
Public transportation graph - structure and heuristic search
Autorzy:
Adrian*
Olczyk
, Adam
Gałuszka
.
¬ródło:
W:
XVI. Konferencja Logistyki Stosowanej
. Total Logistic Management, Zakopane, 6 do 8 grudnia 2012 r. [Dokument elektroniczny]. Red. A. Lichota. Polska Akademia Nauk. Komitet Transportu. [B.m.] : [b.w.], 2012
, dysk optyczny (CD-ROM) s. 1-10, bibliogr. 5 poz.
Słowa kluczowe polskie:
algorytm grafowy
;
graf
;
komunikacja miejska
;
algorytm a*
;
heurystyka
Słowa kluczowe angielskie:
graph algorithm
;
graph
;
public transport
;
a-star algorithm
;
heuristic search
Typ publikacji:
RK
Język publikacji:
POL
Zasieg terytorialny:
K
Afiliacja:
praca afiliowana w P¦l.
4/4
Nr opisu:
0000023153
Tytuł oryginału:
Uczenie systemów rozmytych z parametrycznymi konkluzjami z wykorzystaniem przeszukiwania heurystycznego typu Pittsburgh. Rozprawa doktorska.
Autorzy:
Łukasz
Wyci¶lik
.
Miejsce i rok obrony:
Gliwice, 2006
Opis fizyczny:
, 122 s., bibliogr. 51 poz.
Uczelnia i wydział:
Politechnika ¦l±ska. Wydział Automatyki, Elektroniki i Informatyki.
Promotor:
prof. dr hab. inż. Jacek Łęski
Słowa kluczowe polskie:
teoria zbiorów rozmytych
;
system rozmyty
;
wspomaganie komputerowe
;
Pittsburgh
;
przeszukiwanie heurystyczne
Słowa kluczowe angielskie:
fuzzy set theory
;
fuzzy system
;
computer aiding
;
Pittsburgh
;
heuristic search
Typ publikacji:
D
Język publikacji:
POL
Zasieg terytorialny:
K
Afiliacja:
praca afiliowana w P¦l.
Lokalizacja ¬ródła:
P¦l. sygn. Cz.Ab. R-4172
Dostęp BCP¦:
stosuj±c format:
standardowy
pełny z etykietami pól
roboczy
redakcja skr.
redakcja peł.
kontrolny
Nowe wyszukiwanie