Akademik Bilişim '10 10 - 12 Şubat 2010 Muğla

Normatif Çoklu Etmen Sistemlerinde Rol Tabanlı Etmenler için Politika Tabanlı Bir Erişim Denetimi YaklaşımıFatih Tekbacak, Tuğkan Tuğlular, Oğuz DikenelliAkademik Bilişim’10 - XII. Akademik Bilişim Konferansı Bildirileri10 - 12 Şubat 2010 Muğla Üniversitesi[2] Viroli, M., Omicini, A. and Ricci, A., “Infrastructurefor RBACMAS: An approach basedon agent coordination contexts”, AppliedArtifical Intelligence. Special Issue: Stateof Applications in AI Research, 21: 443467(2007).[3] Molesini, A., Denti, E and Omicini, A.,“RBACMAS and SODA: ExperimentingRBAC in AOSE”, Engineering Societies inAgents World IX, 5485: 6984 (2009).[4] Sandhu, R., Coyne, E., J., Feinstein, H.,L.And Youman, C.,E., “Rolebased control models”,IEEE Computer, 29(2): 3847 (1996).[5] Kir, H., Ekinci, E., E. and Dikenelli, O.,“Knowledge Management in Role BasedAgents”, Engineering Societies in AgentsWorld X, 5881:181196 (2009).[6] Stryker, S. and Serpe, R., T., “Identity salienceand psychological centrality: Equality,overlapping, or complementary concepts?”,Social Psyhology Quarterly, 57:1635 (1994).[7] Dastani, M., Dignum, V. And Dignum, F.,“Roleassignment in open agent societies”, Proceedingsof the Second International Conferenceon Autonomous Agents and MultiagentSystems, New York, USA, 489496 (2003).[8] Kagal, L. and Finin, T., “Modeling conversationpolicies using permissions and obligations”,Autonomous Agents and MultiAgentSystems, 14(2):187206 (2007).[9] Moffett, J. and Sloman, M., “Policy conflictanalysis in distributed systems management”,Journal of Organizational Computing,4(1):122 (1993).[10] Omicini, A., Ricci, A. and Viroli M., “FormalSpecification and Enactment of SecurityPolicies through Agent Coordination Contexts”,Electronic Notes in Theoretical ComputerScience, 85(3): 1736 (2003).[11] Dikenelli, O., “SEAGENT MASPlatform Development Environment”,AAMAS(Demos), 16711672 (2008).Birbirleriyle Etkileşim Halinde Bulunan Maddelerin BirDüzleme Yerleştirilmesi için Bir AlgoritmaPınar Dündar 1 , Görkem Tokatlı 2 , Moharram Challenger 2,3 , Tufan Turacı 41Ege Üniversitesi, Matematik Bölümü, Uygulamalı Matematik, İzmir2Ege Üniversitesi, Uluslararası Bilgisayar Enstitüsü, İzmir3Islamic Azad University, Shabestar Branch, Iran4Ege Üniversitesi, Matematik Bölümü, Bilgisayar Bilimleri, İzmirpinar.dundar@ege.edu.tr, gtokatli@gmail.com, challenger@engineer.com, tufanturaci@gmail.comÖzet: Matematik ve Bilgisayar Bilimlerinde graf teori önemli bir yere sahiptir. Birçok problemgraf veri modeli ile modellenebilir. Graf teorinin önemli problemleri arasında bağımsız kümeproblemi, örtü sayısı problemi, atama problemi vardır. Biz bu çalışmamızda birbiriyle etkileşimhalinde olan maddelerin bir depoya yerleştirilmesi problemini ele aldık. Öncelikle bu problemibir graf veri modeli ile modelledik. Bir grafın tüm maksimal bağımsız kümelerini ve bağımsızlıksayısını bulan Paull-Unger algoritmasını da kullanarak yeni bir algoritma geliştirdik. Bu algoritmanınimplementasyonu sonucunda, değişik depolama kombinasyonlarının klasik bir denemeyanılma yöntemine göre daha hızlı bir şekilde elde edilebildiğini gözlemledik.Anahtar Sözcükler: Graf Teori, Bağımsız Küme Problemi, Depolama Problemi,Sezgisel Algoritmalar.A Heuristic Algorithm For Placing Chemically Reacting Materials On a PlatformAbstract: Graph theory is a key subject for both mathematics and computer science. It is usedfor modelling many problems such as maximal independent set, minimum covering and matching.In our study, we have worked on placing materials that may react with each other on a2-D warehouse. We have modelled the problem using graph theory. Then, we have developed anew heuristic algorithm, using Paull-Unger method that finds Maximal Independent Sets. Afterimplementing the algorithm, we have observed that we can obtain different solutions faster thana simple brute force method.Keywords: Graph Theory, Independent Set Problem, Storage Problem, Heuristic Algorithms.1.GirişGünümüzde birbirleriyle etkileşim halindebulunan maddelerin bir düzleme uygun birbiçimde yerleştirilmesi önemli bir problemdir.Bu problem çözülürken problem önceliklegraf veri modeliyle modellenir. Problemimiz,maddeler bir grafın tepelerine, bu maddelerinbirbirleriyle etkileşim halinde olup olmadığıise grafın ayrıtlarına karşılık gelecek şekildebir çok graf ile modellenebilir. Bir G = (V(G),E(G)) grafı, boş olmayan nesnelerin oluşturduğubir V(G) tepeler kümesi ve E(G) ile gösterilensıralı olmayan tepe çiftlerinin birleştirilmesiyleoluşan ayrıtlar kümesinden oluşur. Eğerbir G grafında u ve v tepeleri arasında bir e ayrıtıvarsa bu iki maddenin birbiriyle etkileşimhalinde olduğu gösterir.Temel Graf TanımlarıBu bölümde çalışmamızda kullandığımız bazıgraf tanımlarını vereceğiz.260261