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.
{"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}
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.
{"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}
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.
{"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}
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.
{"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}
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.
{"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}
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.
{"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}
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.
{"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}
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.
{"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}
—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 n
{"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}
Isye Susana Nurhasanah, Oriestha Dwitrika, C. Persada
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.
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：