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

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

筛选
英文 中文
COMMUNITY BASED TOURISM PERUBAHAN PERILAKU EKONOMI MASYARAKAT SEBAGAI DAMPAK PENGEMBANGAN PARIWISATA ALAM PERDESAAN : STUDI KASUS PEMANDU WISATA AIR TERJUN NYARAI KECAMATAN LUBUK ALUNG, PROVINSI SUMATERA BARAT 社区旅游基于社区经济行为改变的影响，影响了农村旅游业的发展:苏门答腊西部马洪省景点指南案例研究
Journal on Satisfiability, Boolean Modeling and Computation Pub Date : 2017-09-25 DOI: 10.35472/281419
Yudha Rahman
{"title":"COMMUNITY BASED TOURISM PERUBAHAN PERILAKU EKONOMI MASYARAKAT SEBAGAI DAMPAK PENGEMBANGAN PARIWISATA ALAM PERDESAAN : STUDI KASUS PEMANDU WISATA AIR TERJUN NYARAI KECAMATAN LUBUK ALUNG, PROVINSI SUMATERA BARAT","authors":"Yudha Rahman","doi":"10.35472/281419","DOIUrl":"https://doi.org/10.35472/281419","url":null,"abstract":"Special Interest Tourism is an alternative for experiency tourist attraction based on particular motivation and interest of the travelers different from attractions. The problem that has been persisty is that the local community of Gamaran Salibutan Village cutting trees and damaging nature in Gamaran Protected Forest which carry out potential and natural tourist attractions. This study analyze the change of society’s economic behaviour as an effect of rural nature tourism development. The method used Qualitative research with  case study approach. The analysis showed that the presence of  tourism development of Nyarai Waterfall has  positive benefits for the economy of the local community, namely the increase of people's income and their job opportunities as a tour guide for woodcutter the unemployed youth and the women are able to open a stall so that possibly in adding to  the family income.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127622842","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
PENGGUNAAN METODE FINITE DIFFERENCE TIME DOMAIN (FDTD) DALAM SIMULASI PHASED ARRAY ANTENNA 彭古南方法时域有限差分(fdtd)模拟相控阵天线
Journal on Satisfiability, Boolean Modeling and Computation Pub Date : 2017-09-25 DOI: 10.35472/281436
H. T. Yudistira
{"title":"PENGGUNAAN METODE FINITE DIFFERENCE TIME DOMAIN (FDTD) DALAM SIMULASI PHASED ARRAY ANTENNA","authors":"H. T. Yudistira","doi":"10.35472/281436","DOIUrl":"https://doi.org/10.35472/281436","url":null,"abstract":"Finite Diffrence Time Domain merupakan metode simulasi yang digunakan dalam simulasi gelombang elektromagnetik dimana mengunakan prinsip dasar pendekatan numerik dari persamaan differensial dalam domain ruang dan waktu. Phased array antenna merupakan salah satu jenis antenna yang dapat diaplikasikan pada automotive radar. Phased array antenna yang disimulasikan terdiri dari microstrip antenna dengan jumlah 64 antenna ( 8 baris, 8 kolom). Microstrip antenna terdiri dari 3 bagian yaitu patch, substrate dan ground. Ukuran patch pada microstrip antenna adalah 1.2 x 2.6 mm. Permitivitas relatif substrate yang digunakan adalah 10.2. Hasil yang diperoleh dari simulasi ini adalah pola radiasi dari phased array antenna berbentuk directional.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132220637","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
Simple Estimation Air Temperature From Modis Lst in Gifu City, Japan 日本岐阜市Modis气温的简单估算
Journal on Satisfiability, Boolean Modeling and Computation Pub Date : 2017-08-01 DOI: 10.35472/281480
A. Rahmat
{"title":"Simple Estimation Air Temperature From Modis Lst in Gifu City, Japan","authors":"A. Rahmat","doi":"10.35472/281480","DOIUrl":"https://doi.org/10.35472/281480","url":null,"abstract":"In the developing country or poor country difficult to access meteorological data such as air temperature, it's caused by the limitation of equipment or funding. Air temperature is one of the meteorological data commonly used to predict evaporation or to understanding climatic condition in a specific location. Nowadays from satellite data can estimate some meteorological data. But the detail of explanations about how to get and how to use satellite data is limited and difficult to adopt for beginners. This paper explains how to get MODIS LST data to estimate air temperature data study case in Gifu City, Japan. The results show data from MODIS LST is higher than data from the local meteorological station for day time and lower for night time, but still can use because the pattern is similar. Mean of maximum air temperature and minimum air temperature can be used as daily average air temperature. MOD11A2 product data was better than MYD11A2 data to predict air temperature. MODIS LST data can be used for untouched areas like desert or forest.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129688103","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
Matched Formulas and Backdoor Sets 匹配公式和后门集
Journal on Satisfiability, Boolean Modeling and Computation Pub Date : 2007-05-28 DOI: 10.3233/sat190059
Stefan Szeider
{"title":"Matched Formulas and Backdoor Sets","authors":"Stefan Szeider","doi":"10.3233/sat190059","DOIUrl":"https://doi.org/10.3233/sat190059","url":null,"abstract":"We study parameterizations of the satisfiability problem for propositional formulas in conjunctive normal form. In particular, we consider two parameters that generalize the notion of matched formulas: (i) the well studied parameter maximum deficiency, and (ii) the size of smallest backdoor sets with respect to certain base classes of bounded maximum deficiency. The simplest base class considered is the class of matched formulas. Our main technical contribution is a hardness result for the detection of weak, strong, and deletion backdoor sets. This result implies, subject to a complexity theoretic assumption, that small backdoor sets with respect to the base classes under consideration cannot be found significantly faster than by exhaustive search.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114886671","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}
引用次数: 24
Horn Upper Bounds and Renaming Horn上界和重命名
Journal on Satisfiability, Boolean Modeling and Computation Pub Date : 2007-05-28 DOI: 10.3233/sat190072
Marina Langlois, R. Sloan, György Turán
{"title":"Horn Upper Bounds and Renaming","authors":"Marina Langlois, R. Sloan, György Turán","doi":"10.3233/sat190072","DOIUrl":"https://doi.org/10.3233/sat190072","url":null,"abstract":"We consider the problem of computing tractable approximations to CNF formulas, extending the approach of Selman and Kautz to compute the Horn-LUB to involve renaming of variables. Negative results are given for the quality of approximation in this extended version. On the other hand, experiments for random 3-CNF show that the new algorithms improve both running time and approximation quality. The output sizes and approximation errors exhibit a 'Horn bump' phenomenon: unimodal patterns are observed with maxima in some intermediate range of densities. We also present the results of experiments generating pseudo-random satisfying assignments for Horn formulas.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115102131","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}
引用次数: 11
Investigation of grinding characteristics and surface-modifying effects of biocompatible Co-Cr alloy 生物相容性Co-Cr合金磨削特性及表面改性效果研究
Journal on Satisfiability, Boolean Modeling and Computation Pub Date : 2007-03-01 DOI: 10.1016/S0007-8506(07)60491-0
K. Katahira, Yukako Akinou, J. Komotori, M. Mizutani, H. Ohmori
{"title":"Investigation of grinding characteristics and surface-modifying effects of biocompatible Co-Cr alloy","authors":"K. Katahira, Yukako Akinou, J. Komotori, M. Mizutani, H. Ohmori","doi":"10.1016/S0007-8506(07)60491-0","DOIUrl":"https://doi.org/10.1016/S0007-8506(07)60491-0","url":null,"abstract":"","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132087436","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}
引用次数: 42
The effect of tool material on machinability in high-speed cutting of an aluminum alloy 刀具材料对铝合金高速切削加工性的影响
Journal on Satisfiability, Boolean Modeling and Computation Pub Date : 2005-05-01 DOI: 10.11420/JSAT.49.254
Takuya Takeshima, H. Shibata, N. Morita, S. Yamada, N. Takano, T. Oyama, M. Yasuoka, Kiyohide Yasuoka
{"title":"The effect of tool material on machinability in high-speed cutting of an aluminum alloy","authors":"Takuya Takeshima, H. Shibata, N. Morita, S. Yamada, N. Takano, T. Oyama, M. Yasuoka, Kiyohide Yasuoka","doi":"10.11420/JSAT.49.254","DOIUrl":"https://doi.org/10.11420/JSAT.49.254","url":null,"abstract":"","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121572416","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
Study on ultrasonic machining of small diameter holes : 3^ report : Influence of tool material on machining characteristics 小直径孔的超声加工研究:3^报告:刀具材料对加工特性的影响
Journal on Satisfiability, Boolean Modeling and Computation Pub Date : 2005-05-01 DOI: 10.11420/JSAT.49.245
Shinichi Tanaka, Takagi Jun-ichiro, T. Yokosawa, N. Hasegawa
{"title":"Study on ultrasonic machining of small diameter holes : 3^ report : Influence of tool material on machining characteristics","authors":"Shinichi Tanaka, Takagi Jun-ichiro, T. Yokosawa, N. Hasegawa","doi":"10.11420/JSAT.49.245","DOIUrl":"https://doi.org/10.11420/JSAT.49.245","url":null,"abstract":"","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121451747","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
Development of micro tool by ELID micro fabrication system : 3^ report : High efficiency machining of micro-tools 利用ELID微加工系统开发微型刀具:3^报告:微型刀具的高效加工
Journal on Satisfiability, Boolean Modeling and Computation Pub Date : 2005-03-01 DOI: 10.11420/JSAT.49.219
S. Ishikawa, Y. Uehara, Y. Watanabe, K. Katahira, Weimin Lin, H. Ohmori, Norihide Mituishi, Y. Yamamoto
{"title":"Development of micro tool by ELID micro fabrication system : 3^ report : High efficiency machining of micro-tools","authors":"S. Ishikawa, Y. Uehara, Y. Watanabe, K. Katahira, Weimin Lin, H. Ohmori, Norihide Mituishi, Y. Yamamoto","doi":"10.11420/JSAT.49.219","DOIUrl":"https://doi.org/10.11420/JSAT.49.219","url":null,"abstract":"1.緒言 近年,微細形状を有する超小型部品の製作技術におい て,小径ツールを用いた高速回転・高速送り切削による高 精度・高品位加工の研究は,めざましい進歩を遂げている. また,それらの加工技術に対応した工作機械の開発も急速 に行われている.しかし,精密切削や精密研削などの微細 加工において必要不可欠な微細工具(マイクロツール)を 入手するのに概して多大な時間と費用を要する場合が多く, 作業効率向上の妨げとなっている.また,現在,一般的に 入手できるマイクロツールは,微細ドリルでは直径0.08mm, 刃長 0.8mm,微細エンドミルでは直径 0.1mm,刃長 0.2mm, 微細ボールエンドミルでは先端半径 0.05mm(直径 0.1mm), 刃長 0.2mm である.特殊なものでは,それ以下の寸法のも のもあると思われるが,カタログなどで掲載されているもの では上記のものが一般的である.この寸法以下のマイクロ ツー ルとなると,ベースとなる微細ピンの加工時に折れ や曲がりが発生することや,微細ピンの形状を小さくするこ とができても,粗い表面粗さのものができてしまうと,そのス クラッチから折れやすくなるなどの理由から製作が困難であ る.また,微細ピンの形状が小さくなると機上における直径 などの測定が難しくなることから,寸法精度の高いマイクロ ツールの入手が非常に難しくなる.マイクロツールを開発す るためには,最初にベースとなる微細ピン加工技術の構築 を行い,その微細ピンの精度測定や強度試験などを行う. これについては,ELID 研削法を適用することで,微細ピン の表面にできるスクラッチを減少させることができ,強度向 上に効果があると推測している.次に,切れ刃となる形状の 検討や加工技術の構築,また,コーティング技術を利用し た切れ刃の創成技術の構築などを行う.切れ刃形状につ いては,ベース加工の際に,角柱形状について検討を行い, ツールとしての適用性を調査する計画である.また,ダイヤ モンド砥粒などのコーティング技術を利用するなどの検討 を行うことも考えている.そして,完成したマイクロツールを 実際に使用し,加工特性の調査を行う.これらがマイクロツ ールの開発計画である.そこでこれらの要求に応えるため に,旋回電極式 ELID 研削システムを搭載した小型縦型円 筒研削加工機を考案した.本報告では,考案したシステム の特徴および性能について報告し,そして,開発したマイク ロツール加工システムにより角柱形状のマイクロツールを製 作し,加工試験を行ったので報告する.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117308658","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
KARAKTERISKTIK BACKSCATTER CITRA ALOS PALSAR POLARISASI HH DAN HV TERHADAP PARAMETER BIOFISIK HUTAN DI SEBAGIAN TAMAN NASIONAL KERINCI SEBLAT HH和HV的生态参数与KERINCI SEBLAT国家公园的一些森林生物物理参数的背景图像ALOS PALSAR偏振光
Journal on Satisfiability, Boolean Modeling and Computation Pub Date : 1900-01-01 DOI: 10.35472/281441
Nirmawana Simarmata
{"title":"KARAKTERISKTIK BACKSCATTER CITRA ALOS PALSAR POLARISASI HH DAN HV TERHADAP PARAMETER BIOFISIK HUTAN DI SEBAGIAN TAMAN NASIONAL KERINCI SEBLAT","authors":"Nirmawana Simarmata","doi":"10.35472/281441","DOIUrl":"https://doi.org/10.35472/281441","url":null,"abstract":"Synthetic Aperture Radar (SAR) is one kind of an active remote sensing system, utilizing microwave to records the earth surface. One of the SAR’s satellites is ALOS PALSAR which is capable of penetrating clouds so that the underlying objects can be identified. ALOS PALSAR has a polarization system operating with single beam polarization (HH or HV), dual polarization (HH + HV or VV + VH) and full polarization (HH + HV + VH + VV). This study aims to use the backscatter value of ALOS PALSAR's image for monitoring and mapping the forest. The Utilization of ALOS PALSAR imagery to measure forest biophysical parameters and saturation levels identified based on backscatter sensitivity. Image extraction is done through image calibration where the digital value is converted to sigma naught backscatter value then the result of calibration unit is changed to decibels. Backscatter sensitivity depends on forest structure which  can affect scattering mechanism. The backscatter value is also influenced by humidity and weather dynamics which can also affect the dielectric constant. The result of accurate classification of land use polarization fall in HH accuracy of 62,4%. Whereas for HV polarization accuracy obtained equal to 74,88%.","PeriodicalId":231292,"journal":{"name":"Journal on Satisfiability, Boolean Modeling and Computation","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134211725","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
首页 上一页
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学术官方微信