|
|
Constrained activity sequencing
Nguyen, Son Tung ; Barták, Roman (advisor) ; Čepek, Ondřej (referee)
Many scheduling problems can be seen as activity sequencing problems, where the activity sequence in demand satisfies certain constraints. A typical example is scheduling in the airline industry where the task is to assign to each aircraft a segment of flight and nonflight activities while guaranteeing certain required properties. This diploma thesis deals with such type of constrained activity sequencing. The aim is to propose a formal model of the problem, including specification of all constraints and objectives, capable of finding (near)optimal sequences of activities. The proposed model is based on Constraint programming techniques.
|
|
|
E-mail client for J2ME devices
Nguyen, Son Tung ; Machek, Pavel (advisor) ; Kosina, Jiří (referee)
The aim of the project is to create a optimized client for using on mobile J2ME devices capable of work with emails. Both POP3 and iMAP servers will be supported to retrieve mails. SMTP protocol will be used for sending emails. The client will also support MIME type attachments and display basic supported formats like: txt, jpg, png and other multimedia formats that are supported by user's mobile device. Standard mail boxes like Inbox, Outbox, Drafts, Trash... will be supported as well. Emails can be ordered by various user's criterias : by subjects, date, size and senders or recipients. The program will support many email accounts. Automatic new emails checking. Operations that take longer time can be halted and whose progress will be displayed. Inteligent T9-like addressbook.
|
|
|
Constrained activity sequencing
Nguyen, Son Tung ; Barták, Roman (advisor) ; Čepek, Ondřej (referee)
Many scheduling problems can be seen as activity sequencing problems, where the activity sequence in demand satisfies certain constraints. A typical example is scheduling in the airline industry where the task is to assign to each aircraft a segment of flight and nonflight activities while guaranteeing certain required properties. This diploma thesis deals with such type of constrained activity sequencing. The aim is to propose a formal model of the problem, including specification of all constraints and objectives, capable of finding (near)optimal sequences of activities. The proposed model is based on Constraint programming techniques.
|
|
|
E-mail client for J2ME devices
Nguyen, Son Tung ; Machek, Pavel (advisor) ; Kosina, Jiří (referee)
The aim of the project is to create a optimized client for using on mobile J2ME devices capable of work with emails. Both POP3 and iMAP servers will be supported to retrieve mails. SMTP protocol will be used for sending emails. The client will also support MIME type attachments and display basic supported formats like: txt, jpg, png and other multimedia formats that are supported by user's mobile device. Standard mail boxes like Inbox, Outbox, Drafts, Trash... will be supported as well. Emails can be ordered by various user's criterias : by subjects, date, size and senders or recipients. The program will support many email accounts. Automatic new emails checking. Operations that take longer time can be halted and whose progress will be displayed. Inteligent T9-like addressbook.
|
guest ::
RSS feed.