Articles
TEOREMA ELIMINASI CUT PADA SISTEM LOGIKA FLgc DAN FLw,gc
Surarso, Bayu
MATEMATIKA Vol 10, No 2 (2007): JURNAL MATEMATIKA
Publisher : MATEMATIKA
Show Abstract
|
Download Original
|
Original Source
|
Check in Google Scholar
|
Full PDF (58.448 KB)
It is well known that the cut elimination theorem does not hold for FLc dan FLw,c, neither for propositional level nor predicate level. On the other hand, it has been proved that for the propositional level the cut elimination theorem holds for FL with global contraction (FLgc), which is equivalent to FLc. Similar result is also shown for system FL with both weakening and global contraction rule (FLw,gc), which is equivalent to FLw,c. In the present paper we modify and develop the method used to prove the cut elimination for proportional logic FLgc to show that the cut elimination theorem even holds for the predicate logics FLgc dan FLw,gc. Â
TEOREMA INTERPOLASI UNTUK LOGIKA PREDIKAT NON-KOMUTATIF FL DAN FLw
Surarso, Bayu
MATEMATIKA Vol 11, No 1 (2008): JURNAL MATEMATIKA
Publisher : MATEMATIKA
Show Abstract
|
Download Original
|
Original Source
|
Check in Google Scholar
|
Full PDF (112.688 KB)
In 1961 Maehara introduced a proof-theoretical method to prove the interpolation theorem for standard logics. By developing Maehara’s method, we can prove interpolation theorem for some non-standard logics, including the commutative predicate  logics  Fle dan Fle,w. In the present paper we show that by modifying Maehara’s method we can also prove the interpolation theorem for non-commutative predicate logics FL and FLw.
BILANGAN DOMINASI PERSEKITARAN PADA GRAF LENGKAP DAN GRAF BIPARTIT LENGKAP
Ratnasari, Lucia;
Surarso, Bayu;
Harjito, Harjito;
Maunah, Uun
MATEMATIKA Vol 20, No 1 (2017): JURNAL MATEMATIKA
Publisher : MATEMATIKA
Show Abstract
|
Download Original
|
Original Source
|
Check in Google Scholar
|
Full PDF (1321.963 KB)
Given graph  with set of vertex  and set of edge E. Set  subset of  is called domination set if every point in  is adjacent with at least one point in  in graph . The minimum cardinality of all set of domination graph  is called domination number. Let  be a subset of , set  is called a neighborhood set if  with   induced subgraph  of . The minimum cardinality of all the neighborhood set of graph  is called the neighborhood number. There are several types of neighborhood domination number depending on the parameters. In this paper we examine the transversal neighborhood domination number and global neighborhood domination number in complete graph and complete bipartite graph.
Determinasi Faktor-Faktor Keamanan E-Banking Terhadap Kepercayaan dengan Pendekatan Technology Acceptance Model
Qamaruzzaman, M. Haris;
Surarso, Bayu;
Suhartono, Suhartono
JSINBIS (Jurnal Sistem Informasi Bisnis) Vol 1, No 2 (2011): Volume 1 Nomor 2 Tahun 2011
Publisher : Universitas Diponegoro
Show Abstract
|
Download Original
|
Original Source
|
Check in Google Scholar
|
Full PDF (369.956 KB)
|
DOI: 10.21456/vol1iss2pp64-68
Safety  and  convenience  factor  is  important  for  confidence  in  the  use  of  e-banking.  This  study  aimed  to  investigate  the  factors determination  using  e-banking  approach  to  technology  acceptance  model,  and  analyze  the  determination  of  the  factors  the  use  of  ebanking  with  the  Technology  Acceptance  Model  approach.  Technology  Acceptance  Model  (TAM)  is  a  model  used  to  explain  the acceptance of the technology to be used by users of the technology. In the context of this study, TAM raises the safety factor and the factor of ease of use of e-banking to e-banking trust uses. This research is a field research (field research) with a quantitative approach that examines the issues being studied. Sampling method using random sampling technique as much as 100 respondents. Data collection techniques are the primary data by distributing questionnaires to the users e-banking. While the secondary data that other reports related to research. The data analysis techniques used include descriptive statistics and analysis phases of statistical regression analysis. These results prove that the safety factor has a significant and positive effect on user confidence in e-banking proven Ho is rejected and Ha accepted  with  a  significance  level  of  0.001  (<0.05),  while  the  convenience  factor  also  has  a  positive  and  significant  impact  on  user confidence in e-banking proven Ho is rejected and Ha accepted with a significance level of 0.000 (<0.05).Keywords: Factor Security; Ease; Confidence Use of e-banking; Technology Acceptance Model (TAM)
Item Response Theory Model Empat Parameter Logistik Pada Computerized Adaptive Test
Fatkhudin, Aslam;
Surarso, Bayu;
Subagio, Agus
JSINBIS (Jurnal Sistem Informasi Bisnis) Vol 4, No 2 (2014): Volume 4 Nomor 2 Tahun 2014
Publisher : Universitas Diponegoro
Show Abstract
|
Download Original
|
Original Source
|
Check in Google Scholar
|
Full PDF (1026.605 KB)
|
DOI: 10.21456/vol4iss2pp121-129
One of the computer-based testing is the Computerized Adaptive Test (CAT), which is a computer-based testing system where the items were given to the participants adapted to test the ability of the participants. Assessment methods are usually applied in CAT is Item Response Theory (IRT). IRT models are most commonly used today is the model 3 Parameter Logistic (3PL), which is about the discrimination, difficulty and guessing. However 3PL IRT models have not provided information more objectively test the ability of participants. The opinion of the test participants were tested items were also to be considered. In this study using CAT in combination with IRT model of 4PL. In this research, the development of CAT which uses about 4 parameters, namely the discrimination, difficulty, guessing and questionnaires. The questions used were about UAS 1 English subjects. Samples were taken from 30 students answer with the best value of the total 172 students spread across 6 classes to measure the parameter estimation problem. Further testing using CAT application 4PL IRT models compared to CAT 3PL IRT models. From research done shows that the CAT application combined with IRT models 4PL can measure the ability of the test taker shorter or faster and also opportunities participants correctly answered the test items was done tend to be better than the 3PL IRT models. Â Keywords: Ability; CAT; IRT; 3PL; 4PL; Probability; Test
Sistem Pendukung Keputusan Untuk Pengadaan Fasilitas Hotel Menggunakan Metode TOPSIS
Hendartie, Susi;
Surarso, Bayu;
Noranita, Beta
JSINBIS (Jurnal Sistem Informasi Bisnis) Vol 1, No 3 (2011): Volume 1 Nomor 3 Tahun 2011
Publisher : Universitas Diponegoro
Show Abstract
|
Download Original
|
Original Source
|
Check in Google Scholar
|
Full PDF (843.954 KB)
|
DOI: 10.21456/vol1iss3pp143-152
The development of hotel business to make consumers more critical to choose a hotel products and services. If the hotel facilities more complete, so interest of the consumer is higher to choose the hotel. This  research study intend to build a decision support system for the procurement of hotel facilities with TOPSIS method. This method uses the six alternative form of the data; hotel rooms (guest  room), karaoke, gift shop, a gym, spa and travel corner (travel tour information) and data of some criteria. This method was chosen because it is based on the best alternative concept, was not only has the shortest distance from the positive ideal solution, but also has  the longest distance  from  the  negative  ideal  solution.  TOPSIS  calculations  systems  have  been  done  the  comparison  of  final  value  using  excell calculation. Calculations that used in this research study is simple and produces alternative hotel rooms (guest room) with t he highest ranking as the ideal solution. TOPSIS method facilitates decision-makers in choosing the best alternative for the procurement of hotel facilities.Keywords : Decision support system; Hotel facilities; TOPSIS
Kombinasi Balanced Scorecard dan Objective Matrix Untuk Penilaian Kinerja Perguruan Tinggi
Mahmudi, A Aviv;
Surarso, Bayu;
Subagio, Agus
JSINBIS (Jurnal Sistem Informasi Bisnis) Vol 4, No 1 (2014): Volume 4 Nomor 1 Tahun 2014
Publisher : Universitas Diponegoro
Show Abstract
|
Download Original
|
Original Source
|
Check in Google Scholar
|
Full PDF (754.465 KB)
|
DOI: 10.21456/vol4iss1pp01-10
Working Assessment is very essential aspect for a college to keep its excellent quality to face tight competition in either national or international level. The working assessment can be implemented to compare the result with organization strategy, and can also help to plan the upcoming strategy to achieve the final target of organization. The combination of Balanced Scorecard and OMAX is aimed at building the information system of working assessment in a college. Balanced Scorecard in the college is used to determine the strategic purposes, KPI and target, optimistic and pessimistic value. The scoring of each KPI uses AHP method; the scoring of KPI influences on general working score. The scoring of working assessment uses Objective Matrix (OMAX) method to know the total result indicator stated by the college, and can find out the total result indicator of each working criterion. The combination of BSC and OMAX can avoid the use of overwhelming data because this model focused on four perspectives, with the important key indicator of a college. Besides, the four perspectives can avoid the orientation of short-term target, because OMAX developed the more obvious frame of time that also focused on the long-term target. This combination was a good integration that can afford to modify hybrid model in determining the score card of a college. BSC changed into the form of OMAX that presented a target in the long period. This combination is also a good integration that can afford to modify a hybrid model in determining the scorecard of the college. BSC changes into the form of OMAX that presents the long-term target. Â Keywords: AHP; Balanced scorecard; OMAX; Work assessment; College
Studi Implementasi Adaptive Neuro Fuzzy Inference System Untuk Menentukan Normalitas Kehamilan
Rusdiana, Lili;
Sediyono, Eko;
Surarso, Bayu
JSINBIS (Jurnal Sistem Informasi Bisnis) Vol 5, No 2 (2015): Volume 5 Nomor 2 Tahun 2015
Publisher : Universitas Diponegoro
Show Abstract
|
Download Original
|
Original Source
|
Check in Google Scholar
|
Full PDF (1004.245 KB)
|
DOI: 10.21456/vol5iss2pp98-108
Early detection of normality pregnancy is one of the ways to prevent more serious disorders in pregnancy. This thesis study the implementation of Adaptive Neuro Fuzzy Inference System (ANFIS) to determine the normality of pregnancy. The period of pregnancy and complaints during pregnancy are used as inputs and the normality of pregnancy as output. Data were analyzed using ANFIS method and using Sugeno FIS rules. The program simulation results show that the performance of ANFIS can be implemented to determine the normality of pregnancy. The learning results on different training with the highest level of accuracy of 77,5% can recognize the symptoms and 97.5% could identify the diagnosis to determine the normality of pregnancy. The system can provide the necessary information about the normality of pregnancy. The results show that ANFIS can be used to determine the normality of pregnancy. Â
Sistem Pendukung Keputusan Penyeleksian Proposal Dana Menggunakan Metode AHP D Numbers
Kurniati, Rezki;
Surarso, Bayu;
Farikhin, Farikhin
JSINBIS (Jurnal Sistem Informasi Bisnis) Vol 5, No 1 (2015): Volume 5 Nomor 1 Tahun 2015
Publisher : Universitas Diponegoro
Show Abstract
|
Download Original
|
Original Source
|
Check in Google Scholar
|
Full PDF (893.808 KB)
|
DOI: 10.21456/vol5iss1pp9-18
Selection offundsproposals was done to selectan eligible applicant. The Selectioninvolvesmultipleassessors(decision group) totakea decision. This study used AnalyticProcessHirarcyDampsterNumber orknown as theAHPDNumbersorD-AHP. This methodcan beusedfordecision makingprocess ofindividuals andgroups.In additionD-AHP alsosolve the problemwithcomplete informationandincompleteinformation. D-AHP processby consideringthe selectioncriteriaandalternativeassessment.Assessmentby doinga comparisonbetweenthe criteria.Furthercomparisonof thealternativecriteria.The end result isarankingof theoptions. . Keywords: DNumbers; D-AHP; Preference relation; Proposal selection
Implementasi Model CCR Data Envelopment Analysis (DEA) Pada Pengukuran Efisiensi Keuangan Daerah
Israwan, LM Fajar;
Surarso, Bayu;
Frikhin, Farikhin
JSINBIS (Jurnal Sistem Informasi Bisnis) Vol 6, No 1 (2016): Volume 6 Nomor 1 Tahun 2016
Publisher : Universitas Diponegoro
Show Abstract
|
Download Original
|
Original Source
|
Check in Google Scholar
|
Full PDF (628.136 KB)
|
DOI: 10.21456/vol6iss1pp76-83
Regional budget control system is implemented through an audit and evaluation to ensure that its implementation is in accordance with the plan that it can be efficiently and effectively used. Regional budget efficiency measurement then aims to measure the efficienty of budget use of each Regional Work Unit (SKPD) and to optimalize its use. The efficiency of Regional Work Unit is measured using CCR Data Envelopment Analysis (DEA) model with one input variable and eight output variables, in which this CCR DEA applies Linear Programming approach and evaluates relative efficiency of Decision Making Units (DMUs). The sample was in a total of sixteen DMUs. The result revealed that seven DMUs were efficient, in which their reference set was then used to optimalize the input and output variables of other inefficient DMUs. This result was validated through paired sample t-test, proving to meet the hypothesis of Ho -2,042 ≤ tcount ≤ 2,042 showing that CCR DEA can be used as a method to measure regional budget efficiency with accurate results.