发布求助
文献互助 智能选刊 最新文献

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

筛选
英文 中文
GhostQ: System Description GhostQ:系统描述
Journal on Satisfiability, Boolean Modeling and Computation Pub Date : 2019-09-01 DOI: 10.3233/SAT190117
William Klieber
{"title":"GhostQ: System Description","authors":"William Klieber","doi":"10.3233/SAT190117","DOIUrl":"https://doi.org/10.3233/SAT190117","url":null,"abstract":"GhostQ is a DPLL-based non-CNF QBF solver. This paper describes a noteworthy feature of GhostQ that has not yet been described in the peer-reviewed literature: support for Plaisted-Greenbaum encoding. For CNF inputs, GhostQ attempts to perform reverse engineering on the CNF formula to create an equivalent circuit representation. Support for reversing the Plaisted-Greenbaum transformation was added to the existing capability for reversing the Tseitin transformation.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124826370","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}
引用次数: 1
Design of E. Coli Systems as Iron Waste Binders for Wastewater Treatment using Synthetic Biology Approach 利用合成生物学方法设计大肠杆菌系统作为废水处理中的铁废物粘合剂
Journal on Satisfiability, Boolean Modeling and Computation Pub Date : 2018-12-21 DOI: 10.35472/281443
I. Oktaviani
{"title":"Design of E. Coli Systems as Iron Waste Binders for Wastewater Treatment using Synthetic Biology Approach","authors":"I. Oktaviani","doi":"10.35472/281443","DOIUrl":"https://doi.org/10.35472/281443","url":null,"abstract":"The development of recombinant DNA technology and the emerging field of synthetic biology have open up a more advanced era of biotechnology. The discoveries are developed to solve the existing problems in the community.The presence of the iGEM competition initiated by the iGEM Foundation since 2003 adding up new data and a new discovery that is constantly being improved upon, so that peoples’ interest and concern with synthetic biology in the world are increasing every year, including in Indonesia.This paper discusses the idea of design to develop an expression system with a synthetic biology approach using standard parts listed on the iGEM website.The system design uses Escherichia coli as its chassis to have the capability as an iron waste bioaccumulator agent in the waters. This draft is expected to be one of the contributions for the future of the development of synthetic biology ideas, research, and applications in handling environmental problems in Indonesia.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"131 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122742589","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}
引用次数: 1
UJI AKTIVITAS ANTIBAKTERI EKSTRAK BUAH Rivina humilis L. TERHADAP Klebsiella pneumoniae DAN Escherichia coli 测试抗菌提取物L.气旋气旋菌和Escherichia大肠杆菌的抗菌活性
Journal on Satisfiability, Boolean Modeling and Computation Pub Date : 2018-12-21 DOI: 10.35472/281477
M. Mariyam
{"title":"UJI AKTIVITAS ANTIBAKTERI EKSTRAK BUAH Rivina humilis L. TERHADAP Klebsiella pneumoniae DAN Escherichia coli","authors":"M. Mariyam","doi":"10.35472/281477","DOIUrl":"https://doi.org/10.35472/281477","url":null,"abstract":"Rivina humilis L. is herbaceous bushy perennial plant found in shrubs. The fruit extract of Rivina humilis L. had experienced antibacterial activity against Klebsiella pneumoniae and Escherichia coli. The crude extract of nonpolar fraction (n-hexane) of Rivina humilis L. showed negative antibacterial activity towards Klebsiella pneumoniae and Escherichia coli  whereas the methanolic extract has antibacterial activity with 12 mm of inhibition zone for Klebsiella pneumoniae and 10 mm for E.coli  in 1 ppm concentration. Determination of MIC (Minimum Inhibitory Concentration) was conducted with variation of concentration (w/v) 1 ppm; 0.8 ppm; 0.6 ppm; 0.2 ppm; 0 ppm (negative control), and chloramphenicol (positive control). The result of MIC determination against Klebsiella pneumoniae showed that the width and the inhibition zone index in the minimum concentration (0.2 ppm) were 7 mm and 1.36, respectively. While towards E.coli, MIC determination exhibited positive result at 0.6 ppm with the width and the inhibition zone index were 8 mm and 1.78 respectively.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127240580","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 APPLICATION OF VDI 2222 METHOD IN THE PROCESS OF DESIGNING TOOLS FOR ASSEMBLING THE FOUR WAY ENTRY PALLET 摘要介绍了VDI 2222方法在四向入口托盘拼装工具设计中的应用
Journal on Satisfiability, Boolean Modeling and Computation Pub Date : 2018-12-21 DOI: 10.35472/281433
M. Kurniawati
{"title":"the APPLICATION OF VDI 2222 METHOD IN THE PROCESS OF DESIGNING TOOLS FOR ASSEMBLING THE FOUR WAY ENTRY PALLET","authors":"M. Kurniawati","doi":"10.35472/281433","DOIUrl":"https://doi.org/10.35472/281433","url":null,"abstract":"The research was conducted at UD X, this company made one type of pallet, four way entry pallet (local pallet). The average order in a month is 2000 units, which 60% of order completed by the company and the other 40% by subcontracts. In this pallet assembly process, joining each components is doing manually by the operator without tools. While the assembly process needed high accuracy and much time to do. Therefore, tools are needed by operators to carry out the assembly process. So using tools can reduce the process time and the company does not need to subcontracts. To solve that problem, a tool was designed use Verein Deutsche Inginieuer 2222 method (VDI 2222). The result of the design was a pallet assembly aid with allumunium alloy as the base material. The design implementation process which requires a cost of Rp. 6,013,055.26 will be reach the break even point when 7618 units produced. If the design is implemented, the company does not need to subcontract, because with this tool it can save the assembly time by 61.66% from the initial time.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129193755","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}
引用次数: 2
ANALISIS KINERJA HIGH PRESSURE HEATER (HPH) TIPE SHELL AND TUBE HEAT EXCHANGER 高压加热器(hph)管壳式换热器分析
Journal on Satisfiability, Boolean Modeling and Computation Pub Date : 2018-12-21 DOI: 10.35472/281416
Devia Gahana
{"title":"ANALISIS KINERJA HIGH PRESSURE HEATER (HPH) TIPE SHELL AND TUBE HEAT EXCHANGER","authors":"Devia Gahana","doi":"10.35472/281416","DOIUrl":"https://doi.org/10.35472/281416","url":null,"abstract":"Heat exchanger is one of the supporting production equipment that move the heat energy from one of fluid to another fluid flow. One example of a heat exchanger in power plant industry is High Pressure Heater (HPH). HPH is high pressure feedwater heater that using hot steam turbine waste product used as heating medium before entering the economizer on boiler to reduce the work of boiler. This research was conducted to determine the effective efficiency of High Pressure Heater at Power Plant Industry. This efficiency determination is based on thermodynamics and heat transfer analysis with Log Mean Temperature Difference (LMTD) method and Number of Transfer Unit (NTU) method. The analysis is to determining the effective heat transfer, overall heat transfer coefficient (U), Effectiveness and the analysis of pressure drop (∆P). The analysis results obtained the efffective heat transfer of 37.013 kW, overall heat transfer coefficient (U) of 502,48, effectiveness of 0,47 and the number of pressure drop of 23.498,06 Pa.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"2011 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130905684","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}
引用次数: 6
DIVERSITAS DAN EKOLOGI MAKAN BURUNG PANTAI DI KAWASAN PANTAI BARU, KABUPATEN DELI SERDANG SUMATERA UTARA
Journal on Satisfiability, Boolean Modeling and Computation Pub Date : 2018-12-21 DOI: 10.35472/281460
Nurul Husna Siregar, E. Jumilawaty
{"title":"DIVERSITAS DAN EKOLOGI MAKAN BURUNG PANTAI DI KAWASAN PANTAI BARU, KABUPATEN DELI SERDANG SUMATERA UTARA","authors":"Nurul Husna Siregar, E. Jumilawaty","doi":"10.35472/281460","DOIUrl":"https://doi.org/10.35472/281460","url":null,"abstract":"Pantai Baru area of Deli Serdang is located on the East Coast of Sumatera that has been as Important Bird Area (IBA). The wetland type of this area are consisted of ponds, mangroves, and mudflat that occupied by shorebirds both for feeding and resting area. This study aimed to analyze the diversity and potential food of shorebirds Pantai Baru area. Concentration count method and Corer methord were used to collect the shorebirds and macrozoobenthos data. The study found 19 species of shorebirds and 21 species of macrozoobenthos. The diversity index of shorebirds ranged from 1.89 to 2.50 on medium category with the evenness index ranged from 0.84 to 0.97 with high category, while diversity index of macrozoobenthos was 1.09 on medium category with evenness index 0.36 on small category.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122779510","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}
引用次数: 2
Tremor di Gunungapi Raung
Journal on Satisfiability, Boolean Modeling and Computation Pub Date : 2018-06-28 DOI: 10.35472/281426
V. L. Ipmawan
{"title":"Tremor di Gunungapi Raung","authors":"V. L. Ipmawan","doi":"10.35472/281426","DOIUrl":"https://doi.org/10.35472/281426","url":null,"abstract":"Crisis period of Raung Volcano, located in East of Java, Indonesia, was started in November 2014. The seismicity of Raung Volcano was dominated by volcanic tremor. Volcanic tremor can be related with internal process of a volcano and can be a fruitful tool to understand the physical process inside the volcano. The intensity of tremor event in early crisis period is low but increases quickly then followed by the continuous tremor in the next month, December 2014. The dominant frequency of Raung volcano has range 1 ± 0,2 Hz. We suggest that there are two resonators exciting tremor signal based on the number of peaks in Raung’s tremor spectrum.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129698347","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
Identifying Local Community’s Empowerment in Developing Sustainable Tourism in Pahawang Island, Pesawaran Regency, Lampung Province 在南榜省白沙瓦兰县巴哈旺岛确定当地社区在发展可持续旅游业中的赋权
Journal on Satisfiability, Boolean Modeling and Computation Pub Date : 2018-06-26 DOI: 10.35472/281458
Isye Susana Nurhasanah
{"title":"Identifying Local Community’s Empowerment in Developing Sustainable Tourism in Pahawang Island, Pesawaran Regency, Lampung Province","authors":"Isye Susana Nurhasanah","doi":"10.35472/281458","DOIUrl":"https://doi.org/10.35472/281458","url":null,"abstract":"One of the problems on current road infrastructure development in Indonesia is the difficulty of getting road data and information. For example, data and information, which related on sustainable road infrastructure development.  Moreover, some of road authorities 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 data and information 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 implemented in Indonesia, particularly for supporting the sustainable road infrastructure development.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134576027","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}
引用次数: 1
Critical Capabilities of Corporate Information Systems 企业信息系统的关键能力
Journal on Satisfiability, Boolean Modeling and Computation Pub Date : 2018-06-26 DOI: 10.35472/281414
D. Antoni, Administrator Administrator
{"title":"Critical Capabilities of Corporate Information Systems","authors":"D. Antoni, Administrator Administrator","doi":"10.35472/281414","DOIUrl":"https://doi.org/10.35472/281414","url":null,"abstract":"—this paper aims to identify the critical factors for evaluating the capabilities of corporate information system in Palembang from the perspective of the IT infrastructure and IT human resources competence. To fulfill these objectives of the study, this study adopts a conceptual framework that is developed by Antoni and Jie (2012). The framework consists of IT infrastructure quality and competence of IT human Resources, which are used as foundation of business operations in organizations. There is a need to develop their capabilities through the adoption of IT to enhance its performance and enhance their competitive position in the market place. IT capability is an organizational ability in effectively and efficiently using their IT resources, which can be determined by IT infrastructure, and IT human resource competencies. Findings indicate that there are many the critical capabilities of IT infrastructure and IT human Resource capabilities that can be utilized by organizations to develop their competencies in order to improve business performance. In Addition, the findings of the study would be of practical significance to the continuous improvement of organizational performance in Palembang and other cities in Indonesia.n\u0000n","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"54 7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131119741","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}
引用次数: 1
IDENTIFICATION THE EFFECT OF THE EXISTENCE OF CAMPUS INSTITUT TEKNOLOGI SUMATERA IN THE LAND USE CHANGES AND PRICES IN THE SURROUNDING AREA 识别校园科技学院的存在对周边地区土地利用变化和价格的影响
Journal on Satisfiability, Boolean Modeling and Computation Pub Date : 2018-06-26 DOI: 10.35472/281475
Isye Susana Nurhasanah, Oriestha Dwitrika, C. Persada
{"title":"IDENTIFICATION THE EFFECT OF THE EXISTENCE OF CAMPUS INSTITUT TEKNOLOGI SUMATERA IN THE LAND USE CHANGES AND PRICES IN THE SURROUNDING AREA","authors":"Isye Susana Nurhasanah, Oriestha Dwitrika, C. Persada","doi":"10.35472/281475","DOIUrl":"https://doi.org/10.35472/281475","url":null,"abstract":"This research identifies the presence of Institut Teknologi Sumatera in altering the land use of the surrounding area. The very rapidly changes around the campus ITERA is altering the land use at present. It is because of the need for the land in order to meet the needs of ITERA’s students who come from outside the regions. These needs can be seen in the form of land use changes from agriculture, plantation, and vacant land into rented house, food stalls, and photocopy services as a provider of facilities for students ITERA. The data were collected through questionnaires, as well as interviews with stakeholders and community members in the ITERA campus’ neighborhood. The analytical method adopted in this research is geographic information systems to describe a changes in altering the land use and prices. In addition this research explain how the alter land use are happening. The findings suggest that the presence of Institut Teknologi Sumatera, to some degree, has influenced how the land is being managed in the surrounding area and the price of the land.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130006196","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
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信