首页 > 最新文献

Journal on Satisfiability, Boolean Modeling and Computation最新文献

英文 中文
A STUDY AWAL PENDUGAAN AKUIFER AIR TANAH DI KAMPUS ITERA DENGAN METODE GEOLISTRIK KONFIGURASI SCHLUMBERGER
Pub Date : 2018-06-25 DOI: 10.35472/281445
Muhamad Ragil Setiawan
Air bersih menjadi kebutuhan dasar yang harus disediakan di Institut Teknologi Sumatera (ITERA). Kondisi geologis ITERA berada pada daerah dengan batuan piroklastik di atasnya, batuan tersebut memiliki sifat impermeabel. Hal ini meyebabkan air di permukaan sukar mengalir ke bawah permukaan. Oleh karena itu, dilakukan kajian awal bawah permukaan dengan melakukan pengukuran sifat kelistrikan batuan menggunakan metode geolistrik konfigurasi Schlumberger untuk mencari potensi air bersih di ITERA. Data hasil pengukuran diolah dengan menggunakan Ms. Excel dan dimodelkan menggunakan software IPI2win. Hasil interpretasi menunjukkan bahwa potensi sumber air ditemukaan berada pada kedalaman > 25 meter dengan rentang nilai resistivitas antara 2 - 10 Ωm dan termasuk ke dalam akuifer tertekan.
水是苏门答腊(ITERA)技术学院的基本需求。ITERA的地质条件是在岩石遍布的地区,它具有不可渗透的特性。这使得坚硬的水面下的水难以排出。因此,在早期的地下研究中,使用斯伦贝谢的甲壳体构造工具进行测量,以确定ITERA的淡水潜力。测量数据是用Excel女士和IPI2win软件编写的。解释结果表明,潜在的水源ditemukaan在深度> 25米之间的视电阻率值范围2 - 10Ωm,包括进入含水层沮丧。
{"title":"A STUDY AWAL PENDUGAAN AKUIFER AIR TANAH DI KAMPUS ITERA DENGAN METODE GEOLISTRIK KONFIGURASI SCHLUMBERGER","authors":"Muhamad Ragil Setiawan","doi":"10.35472/281445","DOIUrl":"https://doi.org/10.35472/281445","url":null,"abstract":"Air bersih menjadi kebutuhan dasar yang harus disediakan di Institut Teknologi Sumatera (ITERA). Kondisi geologis ITERA berada pada daerah dengan batuan piroklastik di atasnya, batuan tersebut memiliki sifat impermeabel. Hal ini meyebabkan air di permukaan sukar mengalir ke bawah permukaan. Oleh karena itu, dilakukan kajian awal bawah permukaan dengan melakukan pengukuran sifat kelistrikan batuan menggunakan metode geolistrik konfigurasi Schlumberger untuk mencari potensi air bersih di ITERA. Data hasil pengukuran diolah dengan menggunakan Ms. Excel dan dimodelkan menggunakan software IPI2win. Hasil interpretasi menunjukkan bahwa potensi sumber air ditemukaan berada pada kedalaman > 25 meter dengan rentang nilai resistivitas antara 2 - 10 Ωm dan termasuk ke dalam akuifer tertekan.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115039662","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
AUDIT AND ANALYSIS OF ENERGY CONSUMPTION OF OFFICIAL BUILDING IN ITERA CAMPUS 校园局办公楼能耗审计与分析
Pub Date : 2018-06-25 DOI: 10.35472/281418
A. C. Farhani, D. Supriyadi
Decreasing of energy consumption for buildings has become a common issue in many countries. This makes rising in the importance of having an effort to conserve the energy use for consumption. Audit energy is a starting point to have the conservation energy effort. With audit energy, the energy consumption pattern of a system could be achieved and the scheme for decreasing energy consumption could be drawn. Higher education institution should be the agent to implement the energy conservation in society. This paper is aim to have energy audit and energy consumption pattern in ITERA. With the result, a scheme for energy consumption in ITERA will be presented.  This scheme later will have impact on ITERA’s budget. In order to have this scheme, electrical energy consumption in every building in ITERA will be surveyed. Beside electrical energy, temperature and relative humidity in every room building will be measured. Secondary data as in building area and room schedule will be collected. This data will be analyzed and the expected data, that is the scheme for energy consumption decreasing will be recommended.
降低建筑能耗已成为许多国家普遍关注的问题。这使得努力节约用于消费的能源变得越来越重要。审计能源是进行节能工作的一个起点。利用审计能量,可以得到系统的能耗模式,并得出降低能耗的方案。高等教育机构应成为社会节能实施的主体。本文的目的是建立能源审计和能源消费模式。在此基础上,提出了一种基于ITERA的能耗方案。这个方案稍后会对ITERA的预算产生影响。为了有这个方案,在ITERA的每一个建筑的电能消耗将被调查。除电能外,还将测量每个房间建筑物的温度和相对湿度。收集建筑面积和房间时间表等次要数据。对这些数据进行分析,得出预期的数据,即提出降低能耗的方案。
{"title":"AUDIT AND ANALYSIS OF ENERGY CONSUMPTION OF OFFICIAL BUILDING IN ITERA CAMPUS","authors":"A. C. Farhani, D. Supriyadi","doi":"10.35472/281418","DOIUrl":"https://doi.org/10.35472/281418","url":null,"abstract":"Decreasing of energy consumption for buildings has become a common issue in many countries. This makes rising in the importance of having an effort to conserve the energy use for consumption. Audit energy is a starting point to have the conservation energy effort. With audit energy, the energy consumption pattern of a system could be achieved and the scheme for decreasing energy consumption could be drawn. Higher education institution should be the agent to implement the energy conservation in society. This paper is aim to have energy audit and energy consumption pattern in ITERA. With the result, a scheme for energy consumption in ITERA will be presented.  This scheme later will have impact on ITERA’s budget. In order to have this scheme, electrical energy consumption in every building in ITERA will be surveyed. Beside electrical energy, temperature and relative humidity in every room building will be measured. Secondary data as in building area and room schedule will be collected. This data will be analyzed and the expected data, that is the scheme for energy consumption decreasing will be recommended.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130278974","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Evaluation of Pedestrian's Profile, Activity, and Environment in the City of Kitakyushu, Japan 日本北九州市行人特征、活动与环境评价
Pub Date : 2018-06-25 DOI: 10.35472/281448
Fritz Akhmad Nuzir
Various attributes addressing the issues on walking environment and walking condition possibly has distracted the efforts of creating better planning and development to promote walking to the citizen. It will take an enormous effort and time for them to consider all the attributes that are available. Therefore authors assess the possibilities of the utilization of the Pedestrian PL.AC.E. (Profile, Activity, and Environment) and its key-attributes using a survey questionnaire in order to confirm that it can serve as a framework for urban planning or assessment in promoting a walking-friendly environment. The questionnaire was distributed to the case study area which is the city of Kitakyushu, Japan. After collecting and documenting all responses, the results were analyzed using descriptive type of statistical analysis with SPSS software.
解决步行环境和步行条件问题的各种属性可能分散了创造更好的规划和发展以促进市民步行的努力。他们需要花费大量的精力和时间来考虑所有可用的属性。因此,作者评估了利用行人通道的可能性。(Profile, Activity, and Environment)及其关键属性,通过问卷调查确认其可以作为促进步行友好环境的城市规划或评估框架。问卷被分发到案例研究区域,即日本北九州市。在收集并记录所有回复后,使用SPSS软件对结果进行描述性统计分析。
{"title":"Evaluation of Pedestrian's Profile, Activity, and Environment in the City of Kitakyushu, Japan","authors":"Fritz Akhmad Nuzir","doi":"10.35472/281448","DOIUrl":"https://doi.org/10.35472/281448","url":null,"abstract":"Various attributes addressing the issues on walking environment and walking condition possibly has distracted the efforts of creating better planning and development to promote walking to the citizen. It will take an enormous effort and time for them to consider all the attributes that are available. Therefore authors assess the possibilities of the utilization of the Pedestrian PL.AC.E. (Profile, Activity, and Environment) and its key-attributes using a survey questionnaire in order to confirm that it can serve as a framework for urban planning or assessment in promoting a walking-friendly environment. The questionnaire was distributed to the case study area which is the city of Kitakyushu, Japan. After collecting and documenting all responses, the results were analyzed using descriptive type of statistical analysis with SPSS software.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132845920","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
APLIKASI INVERSI MODEL BASED DAN STOKASTIK UNTUK MEMETAKAN PERSEBARAN RESERVOIR BATUPASIR 应用基于模型的随机反演绘制砂岩储层分布图
Pub Date : 2018-06-25 DOI: 10.35472/281451
Gestin Mey Ekawati
Lapangan “M” terletak di Cekungan Sumatra Selatan. Target reservoir berada pada Talang Akar Formation (TAF) yang merupakan reservoir batupasir dengan lapisan keseluruhannya adalah perselingan antara batupasir dan shale serta sisipan batubara. Lapisan batupasir pada TAF memiliki ketebalan yang tipis sekitar 13.5 m dan berada di bawah tuning thicknes. Pada penelitian ini penulis mengaplikasikan metode inversi seismik deterministik dan stokastik untuk mengatasi lapisan tipis. Metoda inversi deterministik model based  dijadikan model awal/ soft constraint dalam inversi stokastik. Inversi model based  menghasilkan hasil yang sesuai dengan data sumur, namun hasilnya masih cenderung smooth dan blocky sehingga belum mampu meresolusi lapisan tipis dengan baik. Inversi seismik stokastik diaplikasikan untuk mengatasi kekurangan yang ada pada inversi seismik deterministik khususnya pada kasus lapisan tipis. Dari realisasi-realisasi model impedansi hasil inversi stokastik yang telah dihasilkan, penulis membuat suatu model probabilitas pada selang impedansi tertentu, dalam hal ini ialah selang impedansi batupasir sehingga penyebaran dari batupasir dapat terlihat. Model probabilitas dari 30 realisasi inversi stokastik dengan parameter P-Impedance dapat memetakan persebaran reservoir batupasir di lapangan “M” dengan cukup baik. Peta probabilitas batupasir maksimum berada pada bagian utara daerah penelitian.
“M”场位于南苏门答腊盆地。水库的目标是形成根系(TAF),它是沙岩的蓄水池,其总层是砂岩和页岩以及煤层之间的交替作用。塔夫的沙岩层厚度约为13.5米(13英尺),由thicknes调谐。在这项研究中,作者使用地震、确定性和随机应变方法来处理薄层。基于批判性模型的方法倒置/软constraint在stokastian inversion。基于模型的倒置结果与井上数据相匹配,但结果更有可能平滑和阻塞,因此无法很好地修复薄层。斯托克斯-斯托克地震的反演被应用于解决存在于地震确定性反演中的缺陷,尤其是在薄层的情况下。从由此产生的stopect逆变模型的实现来看,作者在某些阻抗软管上创建了一个概率模型,在这种情况下,砂岩阻滞剂管的分布是可见的。由P-Impedance参数绘制的30种斯托克斯对照的概率模型可以很好地绘制M场沙岩储量的分布。最大砂岩概率图位于研究区域的北部。
{"title":"APLIKASI INVERSI MODEL BASED DAN STOKASTIK UNTUK MEMETAKAN PERSEBARAN RESERVOIR BATUPASIR","authors":"Gestin Mey Ekawati","doi":"10.35472/281451","DOIUrl":"https://doi.org/10.35472/281451","url":null,"abstract":"Lapangan “M” terletak di Cekungan Sumatra Selatan. Target reservoir berada pada Talang Akar Formation (TAF) yang merupakan reservoir batupasir dengan lapisan keseluruhannya adalah perselingan antara batupasir dan shale serta sisipan batubara. Lapisan batupasir pada TAF memiliki ketebalan yang tipis sekitar 13.5 m dan berada di bawah tuning thicknes. Pada penelitian ini penulis mengaplikasikan metode inversi seismik deterministik dan stokastik untuk mengatasi lapisan tipis. Metoda inversi deterministik model based  dijadikan model awal/ soft constraint dalam inversi stokastik. Inversi model based  menghasilkan hasil yang sesuai dengan data sumur, namun hasilnya masih cenderung smooth dan blocky sehingga belum mampu meresolusi lapisan tipis dengan baik. Inversi seismik stokastik diaplikasikan untuk mengatasi kekurangan yang ada pada inversi seismik deterministik khususnya pada kasus lapisan tipis. Dari realisasi-realisasi model impedansi hasil inversi stokastik yang telah dihasilkan, penulis membuat suatu model probabilitas pada selang impedansi tertentu, dalam hal ini ialah selang impedansi batupasir sehingga penyebaran dari batupasir dapat terlihat. Model probabilitas dari 30 realisasi inversi stokastik dengan parameter P-Impedance dapat memetakan persebaran reservoir batupasir di lapangan “M” dengan cukup baik. Peta probabilitas batupasir maksimum berada pada bagian utara daerah penelitian.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"41 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133699103","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
IDENTIFIKASI KANDUNGAN MINYAK ALPUKAT SEBAGAI BAHAN BAKU INDUSTRI KOSMETIK 确定鳄梨油是化妆品行业的原料
Pub Date : 2018-06-25 DOI: 10.35472/281462
H. Saputra
This research has been done regarding to the identification avocado oil (Persea americana.Mill) composition as raw material of cosmetic industry. The usage of the avocado in the West Sumatera is still limited, meanwhile, it has two functions which never known by people. It concerns about the amount of the flesh of avocado and the useness for staple and cosmetics. In this research, the researcher will choose high-yielding variety and local variety in Solok, West Sumatera. This is caused by Solok has a good potential which has a plenty of avocados per year which shown by the statistics Plants of food and Holticulture from West Sumatera at 2012 that Solok has a sharp amount of the production Avocado around 27.281 ton per year. In this research, the oil that is gotten by the process of extraction at the solvent uses a dark-green soxhlet. Then it will be achieved some amount of avocado oils from high -yielding variety at 5,31% and 16,11% on local variety from a wet-basis. On the other hand, it will be then achieved the characteristics of physic-chemistry from the extraction. The composition of fatty acid in the arrangement of Trigliserida can be found by making an early derivation by processing of Methyl Ester. This research shows that a high yielding veriety consists of caprilate acid (1,68%), caprate acid (1,93%), laurate acid (8,62%), miristate acid (3,92%), palmitate acid (20,53%), palmitoleate acid (1,08%), stearate acid (5,61%), oleate acid (26,34%), linolenate acid  (4,59%). Baside that, for the local variety consists of caprilate acid (0,92%), laurate acid(9,41%), miristate acid (4,00%), palmitate acid (14,44%), palmitoleate acid (0,84%), oleate acid (14,81%), linolenate acid (1,36%), with the total of Trigliserida component from the avocado oil at 73,85% and 45,78% for a local avocado oil. At the result, the highest percentage of fatty acid is oleate acid, basides, the composition of laurate and palmitate acid is big enough while both fatty acid of high-yielding and local variety come to a laurin-palmito-olein.
本文对化妆品原料牛油果油成分的鉴别进行了研究。牛油果在西苏门答腊的使用仍然有限,同时,它有两个不为人所知的功能。它涉及鳄梨果肉的数量以及用作主食和化妆品的用途。在本研究中,研究人员将选择西苏门答腊索洛克的高产品种和当地品种。这是因为索洛克拥有良好的潜力,每年有大量的鳄梨,根据2012年西苏门答腊食品和整体栽培植物的统计数据显示,索洛克每年的鳄梨产量约为27.281吨。在这项研究中,通过溶剂提取过程得到的油使用深绿色索氏油。然后从湿基础上实现高产品种的鳄梨油的5.31%和16.11%的本地品种。另一方面,从萃取物中获得物理化学的特性。通过对甲酯的处理,可以早期推导出甘油三酯结构中脂肪酸的组成。研究表明,一个高产品种由己酸(1.68%)、己酸(1.93%)、月桂酸(8.62%)、蜜梨酸(3.92%)、棕榈酸(20.53%)、棕榈油酸(1.08%)、硬脂酸(5.61%)、油酸(26.34%)、亚麻酸(4.59%)组成。除此之外,本地品种由己酸(0.92%)、月桂酸(9.41%)、蜜梨酸(4.00%)、棕榈酸(14.44%)、棕榈油酸(0.84%)、油酸(14.81%)、亚麻酸(1.36%)组成,从鳄梨油中提取的甘油三酯成分在本地鳄梨油中占73,85%和45.78%。结果表明,脂肪酸中油酸所占比例最高,碱基中月桂酸和棕榈酸的组成足够大,高产品种和地方品种的脂肪酸均为月桂-棕榈-油酸。
{"title":"IDENTIFIKASI KANDUNGAN MINYAK ALPUKAT SEBAGAI BAHAN BAKU INDUSTRI KOSMETIK","authors":"H. Saputra","doi":"10.35472/281462","DOIUrl":"https://doi.org/10.35472/281462","url":null,"abstract":"This research has been done regarding to the identification avocado oil (Persea americana.Mill) composition as raw material of cosmetic industry. The usage of the avocado in the West Sumatera is still limited, meanwhile, it has two functions which never known by people. It concerns about the amount of the flesh of avocado and the useness for staple and cosmetics. In this research, the researcher will choose high-yielding variety and local variety in Solok, West Sumatera. This is caused by Solok has a good potential which has a plenty of avocados per year which shown by the statistics Plants of food and Holticulture from West Sumatera at 2012 that Solok has a sharp amount of the production Avocado around 27.281 ton per year. In this research, the oil that is gotten by the process of extraction at the solvent uses a dark-green soxhlet. Then it will be achieved some amount of avocado oils from high -yielding variety at 5,31% and 16,11% on local variety from a wet-basis. On the other hand, it will be then achieved the characteristics of physic-chemistry from the extraction. The composition of fatty acid in the arrangement of Trigliserida can be found by making an early derivation by processing of Methyl Ester. This research shows that a high yielding veriety consists of caprilate acid (1,68%), caprate acid (1,93%), laurate acid (8,62%), miristate acid (3,92%), palmitate acid (20,53%), palmitoleate acid (1,08%), stearate acid (5,61%), oleate acid (26,34%), linolenate acid  (4,59%). Baside that, for the local variety consists of caprilate acid (0,92%), laurate acid(9,41%), miristate acid (4,00%), palmitate acid (14,44%), palmitoleate acid (0,84%), oleate acid (14,81%), linolenate acid (1,36%), with the total of Trigliserida component from the avocado oil at 73,85% and 45,78% for a local avocado oil. At the result, the highest percentage of fatty acid is oleate acid, basides, the composition of laurate and palmitate acid is big enough while both fatty acid of high-yielding and local variety come to a laurin-palmito-olein.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127977147","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
OPTIMALISASI PROSES KOMPUTASI PELEBARAN PITA FREKUENSI DATA SEISMIK REFLEKSI BERBASIS INVERSI BERESOLUSI TINGGI UNTUK PENAFSIRAN STRATIGRAFI SEISMIK 优化基于地震对应物的基于地震对应值的基于地震对应值的基于地震对应性的分析的基于地震对应性的数据频带的计算过程
Pub Date : 2018-06-25 DOI: 10.35472/281468
Ruhul Firdaus
Resolution capability of seismic reflection data is becoming more interesting topic to discuss even for today. Several methods and approximations to attempt bandwidth extension of seismic reflection data have been proposed in wide variety. Among them is a non-stationary reflectivity inversion based on basis pursuit decomposition technique. The need of the method is increasing as it can provide realistic resolution of seismic data. The main advantages of the method are consistancy with log data, good lateral continuity, preserve amplitude and capable in denying artificial reflection feature. Nevertheless, its computational process is very expensive thus most pratitioners tend to avoid the method and look for another method that could serve quicker instead of better results.This paper attempt to propose a set of computational scheme which can be used flexibly for any prospective user to reduce the computational cost of the method.
即使在今天,地震反射数据的分辨能力也是一个值得讨论的话题。人们提出了各种各样的方法和近似来尝试地震反射数据的带宽扩展。其中有一种基于基追踪分解的非平稳反射率反演方法。由于该方法可以提供真实的地震资料分辨率,因此对该方法的需求日益增加。该方法的主要优点是与测井资料一致,横向连续性好,保持振幅,能够遮挡人工反射特征。然而,它的计算过程非常昂贵,因此大多数实践者倾向于避免这种方法,而寻找另一种可以更快而不是更好的结果的方法。本文试图提出一套可以灵活地为任何潜在用户使用的计算方案,以减少方法的计算成本。
{"title":"OPTIMALISASI PROSES KOMPUTASI PELEBARAN PITA FREKUENSI DATA SEISMIK REFLEKSI BERBASIS INVERSI BERESOLUSI TINGGI UNTUK PENAFSIRAN STRATIGRAFI SEISMIK","authors":"Ruhul Firdaus","doi":"10.35472/281468","DOIUrl":"https://doi.org/10.35472/281468","url":null,"abstract":"Resolution capability of seismic reflection data is becoming more interesting topic to discuss even for today. Several methods and approximations to attempt bandwidth extension of seismic reflection data have been proposed in wide variety. Among them is a non-stationary reflectivity inversion based on basis pursuit decomposition technique. The need of the method is increasing as it can provide realistic resolution of seismic data. The main advantages of the method are consistancy with log data, good lateral continuity, preserve amplitude and capable in denying artificial reflection feature. Nevertheless, its computational process is very expensive thus most pratitioners tend to avoid the method and look for another method that could serve quicker instead of better results.This paper attempt to propose a set of computational scheme which can be used flexibly for any prospective user to reduce the computational cost of the method.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126976638","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
INDONESIAN ROAD DATA CENTER (IRODCO) FOR SUPPORTING SUSTAINABLE ROAD DEVELOPMENT 印度尼西亚道路数据中心(irodco),支持可持续道路发展
Pub Date : 2018-02-20 DOI: 10.35472/281431
Dimas Sigit Dewandaru, N. Faizal, A. Bachtiar, Administrator Administrator
One of the problems on current road infrastructure development in Indonesia is the difficulty of getting road data information, for example is data for supporting sustainable road infrastructure development. Moreover, some of road authority did not realize that data is important element in the cycle process of road infrastructure development. Inaccurate road data will decrease the quality of road budgeting and programming, on the other hand it will affect the period service of road itself. The good road data could support sustainable road by providing the road value such as historical, current condition, and prediction. Indonesian Road Data Center Operations (IRODCO) is a concept of integrated road database storage. Collaborate data from Indonesian road authority (Ministry of Public Work and Housing, Ministry of Transportation, National Police and Local Government) can be stored, processed and managed to be a value- added information. IRODCO will provide various information, completely, easily and quickly for supporting the sustainable development of road infrastructure. This paper will explain the background of IRODCO concept, type of road database, the architecture, and how this concept will be implementing in Indonesia next, particularly for supporting the sustainable road infrastructure development.
目前印尼道路基础设施发展的问题之一是难以获得道路数据信息,例如支持可持续道路基础设施发展的数据。此外,一些道路管理部门没有意识到数据是道路基础设施发展循环过程中的重要因素。道路数据的不准确会降低道路预算和规划的质量,另一方面也会影响道路本身的周期服务。良好的道路数据可以通过提供历史、现状和预测等道路价值来支持可持续道路。印度尼西亚道路数据中心运营(IRODCO)是一个集成道路数据库存储的概念。来自印尼道路管理部门(公共工程和住房部、交通部、国家警察和地方政府)的协作数据可以被存储、处理和管理,成为一种增值信息。IRODCO将提供各种信息,完整,方便和快速,以支持道路基础设施的可持续发展。本文将解释IRODCO概念的背景、道路数据库的类型、架构,以及这一概念下一步将如何在印度尼西亚实施,特别是在支持可持续道路基础设施发展方面。
{"title":"INDONESIAN ROAD DATA CENTER (IRODCO) FOR SUPPORTING SUSTAINABLE ROAD DEVELOPMENT","authors":"Dimas Sigit Dewandaru, N. Faizal, A. Bachtiar, Administrator Administrator","doi":"10.35472/281431","DOIUrl":"https://doi.org/10.35472/281431","url":null,"abstract":"One of the problems on current road infrastructure development in Indonesia is the difficulty of getting road data information, for example is data for supporting sustainable road infrastructure development. Moreover, some of road authority did not realize that data is important element in the cycle process of road infrastructure development. Inaccurate road data will decrease the quality of road budgeting and programming, on the other hand it will affect the period service of road itself. The good road data could support sustainable road by providing the road value such as historical, current condition, and prediction. Indonesian Road Data Center Operations (IRODCO) is a concept of integrated road database storage. Collaborate data from Indonesian road authority (Ministry of Public Work and Housing, Ministry of Transportation, National Police and Local Government) can be stored, processed and managed to be a value- added information. IRODCO will provide various information, completely, easily and quickly for supporting the sustainable development of road infrastructure. This paper will explain the background of IRODCO concept, type of road database, the architecture, and how this concept will be implementing in Indonesia next, particularly for supporting the sustainable road infrastructure development.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133392872","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Priority of Infrastructure Development in Kabupaten Lampung Barat 卡巴吞南榜巴拉特基础设施发展的优先事项
Pub Date : 2018-02-20 DOI: 10.35472/281422
Ryansyah Izhar, I. Susana, S. Maryati, Administrator Administrator
Infrastructure development is one of the important and vital aspect in order to accelerating the process of regional development. Infrastructure is also give an impact in improving the economy, accessibility, community development and the quality of human life. But, infrastructure development can’t be done simultaneously. Kabupaten Lampung Barat was designated by government as disadvantaged areas because of the lack on providing the infrastructure. Therefore, by using the analytical hierarchy process (AHP) this study is trying to find out the most important factor that affect the infrastructure development and the order of priority development of the five infrastructure in Kabupaten Lampung Barat, the infrastructure is: Roads, Drainage, Waste, Waste Water, and transportation. The AHP method revealed that the funding factor with the weight values 0,361, is the most important indicator that affect the infrastructure development in the study area. While, for the infrastructure, the AHP method revealed that roads infrastructure with weight values 0, 42, is the infrastructure which should be prioritized. Based on these result, the priority development of infrastructure in Kabupaten Lampung Barat is the provision of road infrastructure by increasing the capacity of the road and other road several indicators such as mobility and safety aspects
基础设施建设是加快区域发展进程的重要和关键方面之一。基础设施也对改善经济、可达性、社区发展和人类生活质量产生影响。但是,基础设施建设不可能同时进行。由于缺乏基础设施,Kabupaten Lampung Barat被政府指定为弱势地区。因此,本研究试图运用层次分析法(AHP)找出影响Kabupaten Lampung Barat基础设施发展的最重要因素,以及五个基础设施优先发展的顺序,基础设施为:道路、排水、废弃物、废水、交通。AHP方法表明,权重值为0.361的资金因子是影响研究区基础设施发展的最重要指标。而对于基础设施,AHP方法显示权重值为0,42的道路基础设施是应优先考虑的基础设施。基于这些结果,Kabupaten Lampung Barat基础设施的优先发展是通过增加道路容量和其他道路几个指标(如流动性和安全性)来提供道路基础设施
{"title":"The Priority of Infrastructure Development in Kabupaten Lampung Barat","authors":"Ryansyah Izhar, I. Susana, S. Maryati, Administrator Administrator","doi":"10.35472/281422","DOIUrl":"https://doi.org/10.35472/281422","url":null,"abstract":"Infrastructure development is one of the important and vital aspect in order to accelerating the process of regional development. Infrastructure is also give an impact in improving the economy, accessibility, community development and the quality of human life. But, infrastructure development can’t be done simultaneously. Kabupaten Lampung Barat was designated by government as disadvantaged areas because of the lack on providing the infrastructure. Therefore, by using the analytical hierarchy process (AHP) this study is trying to find out the most important factor that affect the infrastructure development and the order of priority development of the five infrastructure in Kabupaten Lampung Barat, the infrastructure is: Roads, Drainage, Waste, Waste Water, and transportation. The AHP method revealed that the funding factor with the weight values 0,361, is the most important indicator that affect the infrastructure development in the study area. While, for the infrastructure, the AHP method revealed that roads infrastructure with weight values 0, 42, is the infrastructure which should be prioritized. Based on these result, the priority development of infrastructure in Kabupaten Lampung Barat is the provision of road infrastructure by increasing the capacity of the road and other road several indicators such as mobility and safety aspects","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"71 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131997968","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Reaksi Hidrogenasi Metoksida Menjadi Metanol pada Klaster Pd6Ni 在Pd6Ni集群中,代谢氢反应变成甲醇
Pub Date : 2017-12-26 DOI: 10.35472/281427
Adhitya Gandaryus Saputro, Fiki T. Akbar
Kami melakukan kajian teoretis mengenai reaksi hidrogenasi metoksida (H3CO) menjadi metanol (CH3OH) pada katalis klaster Pd6Ni secara teoretis menggunakan perhitungan berbasis teori fungsional kerapatan (DFT). Reaksi ini merupakan salah satu reaksi pembatas laju pada proses konversi gas karbon dioksida (CO2) menjadi metanol. Hasil perhitungan kami menunjukkan bahwa reaksi hidrogenasi metoksida pada katalis klaster Pd6Ni memiliki energi aktivasi yang lebih baik dibandingkan dengan energi aktivasi pada katalis konvensional berbasis permukaan Cu. Hal ini disebabkan karena klaster Pd6Ni mampu menstabilkan adsorpsi molekul metanol dengan baik dan memiliki energi adsorpsi *H yang relatif lemah.
我们在Pd6Ni催化剂上对代谢氢反应的理论研究采用了基于功能性功能理论的计算。这是将二氧化碳气体转化为甲醇的速度限制之一。我们的计算表明,催化剂床Pd6Ni上代谢氢反应的激活能量比传统基于铜的催化剂的激活能量要好。这是因为簇Pd6Ni能够很好地稳定甲醇分子的吸收,并有相对较弱的吸收能量。
{"title":"Reaksi Hidrogenasi Metoksida Menjadi Metanol pada Klaster Pd6Ni","authors":"Adhitya Gandaryus Saputro, Fiki T. Akbar","doi":"10.35472/281427","DOIUrl":"https://doi.org/10.35472/281427","url":null,"abstract":"Kami melakukan kajian teoretis mengenai reaksi hidrogenasi metoksida (H3CO) menjadi metanol (CH3OH) pada katalis klaster Pd6Ni secara teoretis menggunakan perhitungan berbasis teori fungsional kerapatan (DFT). Reaksi ini merupakan salah satu reaksi pembatas laju pada proses konversi gas karbon dioksida (CO2) menjadi metanol. Hasil perhitungan kami menunjukkan bahwa reaksi hidrogenasi metoksida pada katalis klaster Pd6Ni memiliki energi aktivasi yang lebih baik dibandingkan dengan energi aktivasi pada katalis konvensional berbasis permukaan Cu. Hal ini disebabkan karena klaster Pd6Ni mampu menstabilkan adsorpsi molekul metanol dengan baik dan memiliki energi adsorpsi *H yang relatif lemah.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-12-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115019572","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Energi Terbaharukan dan Peningkatan Ekonomi: Pengolahan Kotoran Sapi Berlapis, Desa Cibodas 能源更新和经济增长:Cibodas村庄层层牛粪处理
Pub Date : 2017-12-26 DOI: 10.35472/281444
Hendro Muliarto
Perdebatan tentang praktik pengelolaan limbah telah menjadi isu sangat penting, aktivitas manusia yang telah melebihi beban kapasitas asimilatif biosfer menjadi penyebabnya. Dewasa ini limbah direkomendasikan untuk di daur ulang dan dijadikan objek pemulihan energi. Pada prinsipnya limbah memerlukan pengelolaan agar tidak membahayakan lingkungan berbeda dengan produk samping yang masih bisa dimanfaatkan. Produk samping seperti kotoran sapi atau sisa bahan organik bisa dijadikan sumber energi, biogas. Namun biogas sendiri juga mengeluarkan produk samping berupa biosulry. Di Desa Cibodas terjadi pengolahan kotoran sapi berlapis dengan skema biogas dan pupuk biosulry. Pengolahan kotoran sapi berlapis ini memberikan banyak keuntungan untuk masyarakat Desa Cibodas, selain sumber energi baru juga menghasilkan sumber pendapatan baru bagi masyarakat.
关于污水管理实践的辩论已成为一个非常重要的问题,人类活动已超过了生物圈吸收能力的负担。今天,人们建议回收废物,并将其作为能源恢复的目标。原则上,废物需要管理,以免与仍可使用的副产品造成环境危害。副产品,如牛粪或有机物,可以作为能源,沼气。但沼气本身也会产生生物硫化物的副产品。Cibodas村发生了一种由沼气和生物肥料结构图覆盖的牛粪处理。这种多层牛粪给Cibodas的村民带来了很多好处,新的能源也为他们创造了新的收入来源。
{"title":"Energi Terbaharukan dan Peningkatan Ekonomi: Pengolahan Kotoran Sapi Berlapis, Desa Cibodas","authors":"Hendro Muliarto","doi":"10.35472/281444","DOIUrl":"https://doi.org/10.35472/281444","url":null,"abstract":"Perdebatan tentang praktik pengelolaan limbah telah menjadi isu sangat penting, aktivitas manusia yang telah melebihi beban kapasitas asimilatif biosfer menjadi penyebabnya. Dewasa ini limbah direkomendasikan untuk di daur ulang dan dijadikan objek pemulihan energi. Pada prinsipnya limbah memerlukan pengelolaan agar tidak membahayakan lingkungan berbeda dengan produk samping yang masih bisa dimanfaatkan. Produk samping seperti kotoran sapi atau sisa bahan organik bisa dijadikan sumber energi, biogas. Namun biogas sendiri juga mengeluarkan produk samping berupa biosulry. Di Desa Cibodas terjadi pengolahan kotoran sapi berlapis dengan skema biogas dan pupuk biosulry. Pengolahan kotoran sapi berlapis ini memberikan banyak keuntungan untuk masyarakat Desa Cibodas, selain sumber energi baru juga menghasilkan sumber pendapatan baru bagi masyarakat.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-12-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123005266","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
Journal on Satisfiability, Boolean Modeling and Computation
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1