Hasil Pencarian  ::  Simpan CSV :: Kembali

"Pemodelan penjadwalan dalam sistem transportasi perkotaan dengan penjadwalan bus dan pengemudi dilakukan secara bersamaan, dibuat dengan menggunakan graf berarah. Pada graf ini, setiap simpul merepresentasikan keadaan yang spesifik, sedangkan busur merepresentasikan kemungkinan perpindahan keadaan. Model penjadwalan yang diperoleh berupa program linier. "

"Suatu graf berarah adalah pasangan himpunan tak kosong V dan himpunan busur berarah A. Busur berarah a ∈ A dapat direpresentasikan sebagai pasangan terurut dengan dimana dengan adanya arah maka tidak sama dengan . Line digraph dari , adalah graf berarah dengan himpunan simpul sedemikian sehingga terdapat busur jika dan hanya jika kepala dari adalah ekor dari . Graf dumbbell berarah adalah graf berarah yang terdiri dari dua graf lingkaran berarah yang dihubungkan oleh graf lintasan berarah. Suatu graf berarah dikatakan mempunyai pelabelan- apabila tiap simpulnya dapat dilabel dengan dengan dan memenuhi sifat yaitu tiap simpulnya memiliki label yang berbeda dan untuk setiap busur berarah, jika dan hanya jika untuk dengan dan . Pelabelan quasi- memiliki definisi yang hamper sama, perbedaannya jika busur berarah maka untuk dengan dan . Pada skripsi ini diberikan konstruksi pelabelan- pada line digraph dari graf dumbbell berarah. Ditunjukkan juga bahwa graf dumbbell berarah merupakan graf DNA jika , dimana adalah banyak simpul.

---

A directed graph (digraph) is a pair of non empty vertex set and an arc . An arc can be represented as an ordered pair with where the existence of direct makes is not the same as . Line digraph of , is a digraph that has vertex set and there is an arc if only if the head of is the tail of . Digraph dumbbell is digraph consist of two dicycle which connected by adipath. A directed graph can be - labeled if every vertex assigned a label with and , all vertices have different labels, amd for any arc if and only if for with and . A quasi- labeling almost have the same definition with - labeling, except for the arc, if then for with and . In this skripsi gives the construction of -labeling on the line digraph of didumbbell. It ais also shown that didumbbell is DNA graph if , where n is the number of vertices."

"Tujuan penelitian ini adalah untuk menganalisis bottleneck yang dapat berpotensi menjadi faktor penghambat pada aktivitas knowledge sharing di Divisi IT/IS Development PT. X. Divisi IT/IS Development PT. X merupakan salah satu organisasi berbasiskan proyek dalam menjalankan proses bisnisnya. Identifikasi bottleneck dan faktor – faktor penghambat pada knowledge sharing perlu dilakukan oleh organisasi untuk memastikan aktivitas knowledge sharing di organisasi tersebut telah berjalan dengan lancar. Penelitian ini akan menggunakan pendekatan Social Network Analysis (SNA) sebagai metode yang digunakan dalam proses analisis dan identifikasi bottleneck dari knowledge sharing. Hasil dari penelitian ini berupa visualisasi push dan pull network dari aktivitas knowledge sharing, identifikasi key person pada aktivitas knowledge sharing, dan analisis bottleneck yang berpotensi muncul sebagai faktor penghambat dalam proses knowledge sharing.

---

The purpose of this research is to identify and analyze bottleneck and inhibiting factor that blocked knowledge sharing activities in IT/IS Development Division of PT X. IT/IS Development Division of PT. X is one of project based organization in order to run their business process. Identification of bottleneck and inhibiting factors is necessary to ensure all of knowledge sharing processes are run properly. This research will be using Social Network Analysis (SNA) approach as bottleneck’s analyzing and identifying method. This research results are visualization of push and pull network in knowledge sharing activities, identification of key person in knowledge sharing process, and knowledge sharing’s bottlenecks occurance probability analysis, to identify inhibiting factors in the organization knowledge sharing process."

"Salah satu masalah bioinformatika adalah masalah rekonstruksi barisan DNA dengan metode Sequencing by Hybridization (SBH). Untuk melakukan rekonstruksi barisan DNA digunakan jalur Euler yang dicari pada graf DNA. Dalam skripsi ini dibahas beberapa algoritma untuk mencari jalur Euler, berikut kompleksitas algoritmanya, dan penggunaanya dalam SBH. Secara umum algoritma yang dibahas memiliki kompleksitas polinomial. Pada akhir skripsi dibahas algoritma yang dikatakan memiliki kompleksitas "linier"."

"Tugas akhir ini membahas suatu variasi dari masalah program linier, yaitu masalah meminimumkan suatu fungsi yang berbentuk bottleneck dengan kendala linier. Permasalahan ini disebut program linier bottleneck dimana fungsi obyektifnya mempunyai bentuk Z = maks (cjIxjc>0). Masalah program linier bottleneck ini pada dasarnya merupakan generalisasi dari masalah transportasi bottleneck. Dalam hal ini disamping kita mencari waktu yang minimum dari sumber ke tujuan, ada kendala tak nyata lain yang turut dipertimbangkan yakni Jenis barang yang dikirim memiliki kondisi—kondisi seperti : Jenis yang tidak tahan lama atau pengiriman pada keadaan mendesak (perang atau bencana alam). Kedua masalah di atas akan diselesaikan dengan metode yang didasarkan pada metode simplek. "

"Dalam tuga6 akhir mi akan diberikan suatu cara mencari solusi sistem persamaan linier AX=B dimana A adalah matriks non singulir dengan rnenggunakan Coates graf Akan dibahas Pula tentang penyederhanaan Coates graf Proses penyederhanaan yang dipakal adalah:1. Eliminasi verteks dan2. DekoinposisiSebagai hasil sampingan juga akan diberikan cara menghitung determinan dan kofaktor eleinen suatu matriks."

"Penelitian pendahuluan ini mempunyai tujuan untuk menghasilkan formalisasi sebagian dari teori graph. Graph merupakan ilmu yang cakupannya luas dan mempunyai banyak aplikasi. Akan tetapi, di dalam pustaka sistem HOL belum terdapat teori graph yang formal. Penyusunan formalisasi diawali dengan studi literatur mengenai sistem HOL, kemudian dilanjutkan dengan eksperimen-eksperimen. Terdapat enam buah eksperimen yang dilakukan secara bertahap. Eksperimen pertama berupa eksperimen menggunakan pustaka HOL. Eksperimen kedua berupa eksperimen memformalisasikan teori gcd yang kemudian memberikan pengetahuan mengenai bentuk formalisasi teori. Eksperimen ketiga menghasilkan struktur data untuk teori graph dan sebuah definisi dari teori graph. Eksperimen keempat menjelaskan beberapa contoh pembuktian menggunakan Taktik yang membantu terbentuknya formalisasi teori graph. Eksperimen kelima dan keenam memaparkan hal-hal yang perlu diperhatikan dari definisi-definisi dan teorema informal dari teori graph. Hasil dari penelitian ini adalah formalisasi dari sebagian teori graph yang dinyatakan dalam 21 definisi penting, 6 definisi umum, 28 definisi bantuan, 3 definisi tanggung, dan 1 teorema. Selain itu, dihasilkan juga pedoman pembuktian menggunakan Taktik dalam sistem HOL.This preliminary research has a goal to produce a formalization of part of graph theory. Graph has been known widely and has many applications. However, a formalization of graph theory has not been implemented in HOL system?s library. This work begins with studying literature about HOL system, then continued with several experiments. There are six experiments. The first experiment is using HOL?s library. The second experiment is formalization on GCD theory, which then elaborates the basic form of formalization. The third experiment produces data structures for graph theory and one definition of graph theory. The fourth experiment describes several proofing examples using Tactic that help make a formalization on graph theory. The fifth and sixth experiments explain things to note from the informal definitions and theorems of graph theory. The result from this research is a formalization of part of graph theory that stated in 21 important definitions, 6 general definitions, 28 helper definitions, 3 pseudo definitions, and 1 theorems. In addition, proofing guidance using Tactic in HOL system also be produced."

"Misalkan G adalah graf dengan himpunan simpul tak-kosong V dan himpunan busur E, dimana [V(G)] dan [E(G)] masing-masing menyatakan banyak simpul dan busur pada G. Pelabelan harmonis dari graf adalah suatu pemetaan dengan menginduksi pelabelan pada himpunan busur didefinisikan sebagai pemetaan , untuk setiap busur . Jika adalah graf pohon maka tepat satu label simpul berulang atau label simpul dapat dilabelkan dengan menggunakan . Dalam skripsi ini diberikan algoritma untuk menghasilkan semua pelabelan harmonis yang tidak isomorfik pada graf lintasan Pn, graf lingkaran Cn dan graf lobster teratur Ln,r,1 untuk nilai n dan r (untuk graf lobster teratur) yang diberikan. Algoritma-algoritma ini kemudian diimplementasikan dalam program. Diberikan juga simulasi banyak pelabelan harmonis yang mungkin dan tidak isomorfik sampai nilai n tertentu."