bluuebunny/crossref_metadata_2025 huggingface dataset:
Hybrid System of ESP and Gas Lift Application from Conceptual Design Pilot Test to System Analysis
Authors: Tran S. T. , Vu H. V. , Le V. M. , Nguyen T. N. , Nguyen L. H. , Prajunla P.. , Dong H. M.
Published: November 2016

Artificial lift technology application in heavy oil production has been a far-reaching development in the industry over past decades guided by persistent efforts to improve the ultimate recovery of this "difficult" hydrocarbon. Heavy oil discovery in a marginal field, Cuu Long Basin, Offshore Vietnam is relatively aberrant and pose challenges to full field development. A series of systematic technical studies has been purposely planned from the first discovery of heavy oil in the wildcat well to the modeling study and facility design to accommodate the viscous fluid over the field life. Apart from the thermal method, pumping technology makes remarkable advance by enlarging the drawdown created over the conventional gas lift in several heavy oil projects. After due consideration, the Electrical Submersible Pump (ESP) was finally decided as the key driver to reinforce well production performance. Moreover, the gas lift has been brought in as a backup in case of pump failure which is not only to prolong well life, save workover expenditure but also boost production if operating in hybrid mode.

This paper presents sequential events from the conceptual study to pilot test hybrid ESP/Gas lift system and ultimately the inflow/outflow curves analysis. A proper system analysis of the inflow/outflow curves is indispensable to model the outflow curve above the pump where the aid of gas lift complicated the upward flow and to generate the lift curves used in reservoir simulation. The pilot test of this electro-gas system to Well A has shown about 30% liquid production increment with lesser pump energy consumed and flexibility in control operating point. The early results promise further extension to the remaining ESP wells to enhance field production.
How to Diagnose and Solve a Tripping ESP Caused by Multiphase Flow Behavior in a Horizontal Well
Authors: Bruijnen P. M. , de Boer J. P.
Published: November 2016

Three successive ESPs have been installed in a horizontal well in the Rijn oilfield, offshore The Netherlands. Very soon after installation of the first completion, the ESP started to gaslock. Operational procedures based on data analysis were setup in an attempt to suppress the gaslocks and to prolong the runtime of the first ESP, but without success. Nodal analysis revealed that the second ESP would benefit from a better tubing lift performance. Although the average runtime of the second ESP improved considerably, the ESP still exhibited unstable performance and kept suffering from periodic gaslocking. Transient numerical simulations were made in order to gain insight into the multiphase flow behavior underlying the well's instability and assisted in selecting appropriate hardware for the third completion. The ESP in this final design is currently operating very stably and reliably and does not show any gaslocking anymore; the combination of thorough data analysis, revised operational practices, and dynamic simulations, resulted in a trip-free ESP completion. This paper aims to be a concrete reference case for operators with ESP lifted horizontal wells, suffering from pump instability. As part of the practical recommendations for other operators, key findings from the dynamic modelling (recognizing the ESP-well instability mechanism) and operational response to ESP trips (successful quick-response workflow) will be elaborated on.
Gas Lift - Past & Future
Authors: BenAmara Abdel
Published: November 2016

This paper will describe the evolution of gas lift systems over the past few decades, making parallels with other artificial lift technologies (ESP, SRP, and PCP) and how they have evolved. The paper will then focus on new smart gas lift technology outlining its main characteristics and comparing it to existing technologies.

A historical overview of the evolution of gas lift will be given since it was first used to lift oil wells in the 19th century until today's digital systems. Advantages and limitations of each technology will be given, explaining the need for evolution, and paving the way to the next generations of gas lift systems required to lift oil wells with an always improved system's efficiency, reliability and ease of operation. A comparison with other types of artificial lift systems will also be made, showing how innovations helped to overcome challenges faced.

This paper will demonstrate that gas lift systems have evolved significantly from the 1860's until the 1950's, but it has seen very few improvements since then. Side pocket mandrels which are widely used nowadays bring clear advantages compared to other artificial lift systems, but are still limited in terms of flexibility and adaptability to changing reservoir conditions as well as their integration into the digital smart field. On the other hand, other types of artificial lift systems have seen significant evolutions during the past few years with the apparition of downhole monitoring sensors and surface smart controllers. This paper will show that new smart gas lift systems could help bridge this technology gap, allowing for a wider use of gas lift across oilfields, facilitating gas lift systems integration into the digital oilfields and resulting in an improved system efficiency, higher reliability, and reduction of HSE risks.

New information will be given in this paper on a new type of smart gas lift system, which could bring a step change on how gas lift is used in our industry.
Site‐Specific Soil Properties of the US Climate Reference Network Soil Moisture
Authors: Wilson Timothy B. , Baker C. Bruce , Meyers Tilden P. , Kochendorfer John , Hall Mark , Bell Jesse E. , Diamond Howard J. , Palecki Michael A.
Published: November 2016

Core Ideas

This study quantifies the variability of soils at US Climate Reference Network sites.

Soil properties were determined from the analysis of soil core samples.

Soil properties displayed large variability with depth and location within and among sites.

Variability of soil properties helped determine and interpret soil moisture variability.

The objective of this study was to provide direct measurements of soil properties for 70 of the 114 US Climate Reference Network (USCRN) sites across the continental United States. Soil properties determined from the analysis of soil core samples include the particle size distribution (PSD, consisting of sand, silt, and clay contents), soil texture classifications, bulk density (BD), and the soil moisture content at water potentials of 33 kPa (field capacity, FC) and 1500 kPa (wilting point, WP). Sand, silt, and clay contents of the 70 sites indicated about 10 soil texture classifications as follows: three sites with loamy sand, 15 with sandy loam, two with clay, 11 with silt loam, five with clay loam, 10 with loam, seven with sand, eight with silty clay loam, four with sandy clay, and three with silty clay. The comparison of soil properties among soil depths and pits indicated considerable variability, with the silt, clay, and sand contents varying more with soil depth than with location at individual sites. The silt content tended to decrease with soil depth, clay tended to increase, and sand tended to vary randomly with depth. Regression lines fitted to values of FC and WP between the pits indicated a slope > 0.8, R2 > 0.88, and RMSE ranging from 2.7 to 4%. Compared with FC and WP, BD was less consistent among the pits, with slope = 0.6, R2 = 0.4, and RMSE of about 0.2 g cm−3.
Comparison between PVI2D and Abreu–Johnson's Model for Petroleum Vapor Intrusion Assessment
Authors: Yao Yijun , Wang Yue , Verginelli Iason , Suuberg Eric M. , Ye Jianfeng
Published: November 2016

Core Ideas

A full comparison between PVI2D and the AJM for PVI assessment is provided.

PVI2D returns results similar to AJM but with much less computational effort.

PVI2D can be used as a 2D PVI tool for cases involving homogenous soil and source.

Recently, we have developed a two‐dimensional analytical petroleum vapor intrusion model, PVI2D (petroleum vapor intrusion, two‐dimensional), which can help users to easily visualize soil gas concentration profiles and indoor concentrations as a function of site‐specific conditions such as source strength and depth, reaction rate constant, soil characteristics, and building features. In this study, we made a full comparison of the results returned by PVI2D and those obtained using Abreu and Johnson's three‐dimensional numerical model (AJM). These comparisons, examined as a function of the source strength, source depth, and reaction rate constant, show that PVI2D can provide similar soil gas concentration profiles and source‐to‐indoor air attenuation factors (within one order of magnitude difference) as those by the AJM. The differences between the two models can be ascribed to some simplifying assumptions used in PVI2D and to some numerical limitations of the AJM in simulating strictly piecewise aerobic biodegradation and no‐flux boundary conditions. Overall, the obtained results show that for cases involving homogenous source and soil, PVI2D can represent a valid alternative to more rigorous three‐dimensional numerical models.
Didactive cinquain in a speech development of senior preschool children with general speech underdevelopment
Authors: Bukaeva Tatiana Ivanovna
Published: November 2016

The modern logopedics is always searching for the ways to perfect and optimize the children’ studying and development process with different age groups and different educational conditions, which are specific for the children with special educational needs. The speech therapist’s work experience is described in this article, which is about the relevance and practicability of usage of didactive cinquain in a logopedic practice for the senior preschool children with general speech underdevelopment and it’s explained with the fact that a new technology provides more opportunities in speech development.
Linguostylistic features of an English sermon
Authors: Parfenova Olga Aleksandrovna , Seliverstova Ksenia Anatolievna
Published: November 2016

The article deals with understudied genre of a religious sermon to analyze some linguostylistic features. The object of this research is a number of different English sermons. The method of linguostylistic analysis gives detailed description of lexical, grammatical stylistic means and precedent phenomena that appears to be the article subject. The article results are of great help for courses on linguistics, English language stylistics, intercultural communication, text linguistics and theolinguistics.
On the issue of collision between constitutional and supranational nomocracies
Authors: Malyi Aleksandr Fedorovich , Yanovich Maksim Vladimirovich
Published: November 2016

This article discusses the issues of application of rules of international law on the territory of individual states and collisions resulting from this due to the need to comply with the national constitution. The constitutional courts of the member states are forced to solve these collisions on the basis of principles of national law.
Performance appraisal of expectations
Authors: Russkikh Galina Anatolievna
Published: November 2016

This article provides basic concepts for teachers to estimate and reach planned students’ expectations, describes functions and elements of expectations; nature of external and internal estimate, technology to estimate the results, gives recommendations how to create diagnostic assignments.
Analysis of sunflower production in Krasnodar krai
Authors: Vorokova Nodira Khasanovna , Sennikova Alina Evgenevna
Published: November 2016

Production, efficiency, crop yield.
Legislative development of privatization
Authors: Ostroukhova Galina Nikolaevna
Published: November 2016

This article describes organizational and changing analysis of regulatory framework about state property privatization during the post-Soviet time when economic relations were reformed.
Role of cross-cultural communicatin in tourism and maintenance of tourist education and science
Authors: Smorzhok Irina Petrovna
Published: November 2016

This article descusses cross-cultural communication problems, determines the ways to solve them, proves the role of cross-cultural communication in tourism, touristic education and science.
On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry
Authors: Marshall Andrew M , Meadows Catherine , Narendran Paliath
Published: November 2016

An algorithm for unification modulo one-sided distributivity is an early
result by Tid\'en and Arnborg. More recently this theory has been of interest
in cryptographic protocol analysis due to the fact that many cryptographic
operators satisfy this property. Unfortunately the algorithm presented in the
paper, although correct, has recently been shown not to be polynomial time
bounded as claimed. In addition, for some instances, there exist most general
unifiers that are exponentially large with respect to the input size. In this
paper we first present a new polynomial time algorithm that solves the decision
problem for a non-trivial subcase, based on a typed theory, of unification
modulo one-sided distributivity. Next we present a new polynomial algorithm
that solves the decision problem for unification modulo one-sided
distributivity. A construction, employing string compression, is used to
achieve the polynomial bound. Lastly, we examine the one-sided distributivity
problem in the new asymmetric unification paradigm. We give the first
asymmetric unification algorithm for one-sided distributivity.
Deciding the value 1 problem for probabilistic leaktight automata
Authors: Fijalkow Nathanaël , Gimbert Hugo , Kelmendi Edon , Oualhadj Youssouf
Published: November 2016

The value 1 problem is a decision problem for probabilistic automata over
finite words: given a probabilistic automaton, are there words accepted with
probability arbitrarily close to 1? This problem was proved undecidable
recently; to overcome this, several classes of probabilistic automata of
different nature were proposed, for which the value 1 problem has been shown
decidable. In this paper, we introduce yet another class of probabilistic
automata, called leaktight automata, which strictly subsumes all classes of
probabilistic automata whose value 1 problem is known to be decidable. We prove
that for leaktight automata, the value 1 problem is decidable (in fact,
PSPACE-complete) by constructing a saturation algorithm based on the
computation of a monoid abstracting the behaviours of the automaton. We rely on
algebraic techniques developed by Simon to prove that this abstraction is
complete. Furthermore, we adapt this saturation algorithm to decide whether an
automaton is leaktight. Finally, we show a reduction allowing to extend our
decidability results from finite words to infinite ones, implying that the
value 1 problem for probabilistic leaktight parity automata is decidable.
Weak bisimulation for coalgebras over order enriched monads
Authors: Brengos Tomasz
Published: November 2016

The paper introduces the notion of a weak bisimulation for coalgebras whose
type is a monad satisfying some extra properties. In the first part of the
paper we argue that systems with silent moves should be modelled
coalgebraically as coalgebras whose type is a monad. We show that the visible
and invisible part of the functor can be handled internally inside a monadic
structure. In the second part we introduce the notion of an ordered saturation
monad, study its properties, and show that it allows us to present two
approaches towards defining weak bisimulation for coalgebras and compare them.
We support the framework presented in this paper by two main examples of
models: labelled transition systems and simple Segala systems.
On absorption in semigroups and $n$-ary semigroups
Authors: Bašić Bojan
Published: November 2016

The notion of absorption was developed a few years ago by Barto and Kozik and
immediately found many applications, particularly in topics related to the
constraint satisfaction problem. We investigate the behavior of absorption in
semigroups and n-ary semigroups (that is, algebras with one n-ary associative
operation). In the case of semigroups, we give a simple necessary and
sufficient condition for a semigroup to be absorbed by its subsemigroup. We
then proceed to n-ary semigroups, where we conjecture an analogue of this
necessary and sufficient condition, and prove that the conjectured condition is
indeed necessary and sufficient for B to absorb A (where A is an n-ary
semigroup and B is its n-ary subsemigroup) in the following three cases: when A
is commutative, when |A-B|=1 and when A is an idempotent ternary semigroup.
On Reachability for Unidirectional Channel Systems Extended with Regular Tests
Authors: Petr Jancar , Karandikar Prateek , Schnoebelen Philippe
Published: November 2016

"Unidirectional channel systems" (Chambart & Schnoebelen, CONCUR 2008) are
finite-state systems where one-way communication from a Sender to a Receiver
goes via one reliable and one unreliable unbounded fifo channel. While
reachability is decidable for these systems, equipping them with the
possibility of testing regular properties on the contents of channels makes it
undecidable. Decidability is preserved when only emptiness and nonemptiness
tests are considered: the proof relies on an elaborate reduction to a
generalized version of Post's Embedding Problem.
On the system CL12 of computability logic
Authors: Japaridze Giorgi
Published: November 2016

Computability logic (see http://www.csc.villanova.edu/~japaridz/CL/) is a
long-term project for redeveloping logic on the basis of a constructive game
semantics, with games seen as abstract models of interactive computational
problems. Among the fragments of this logic successfully axiomatized so far is
CL12 --- a conservative extension of classical first-order logic, whose
language augments that of classical logic with the so called choice sorts of
quantifiers and connectives. This system has already found fruitful
applications as a logical basis for constructive and complexity-oriented
versions of Peano arithmetic, such as arithmetics for polynomial time
computability, polynomial space computability, and beyond. The present paper
introduces a third, indispensable complexity measure for interactive
computations termed amplitude complexity, and establishes the adequacy of CL12
with respect to A-amplitude, S-space and T-time computability under certain
minimal conditions on the triples (A,S,T) of function classes. This result very
substantially broadens the potential application areas of CL12. The paper is
self-contained, and targets readers with no prior familiarity with the subject.
Abstract Model Repair
Authors: Chatzieleftheriou George , Bonakdarpour Borzoo , Katsaros Panagiotis , Smolka Scott A.
Published: November 2016

Given a Kripke structure M and CTL formula $\varphi$, where M does not
satisfy $\varphi$, the problem of Model Repair is to obtain a new model M' such
that M' satisfies $\varphi$. Moreover, the changes made to M to derive M'
should be minimum with respect to all such M'. As in model checking, state
explosion can make it virtually impossible to carry out model repair on models
with infinite or even large state spaces. In this paper, we present a framework
for model repair that uses abstraction refinement to tackle state explosion.
Our framework aims to repair Kripke Structure models based on a Kripke Modal
Transition System abstraction and a 3-valued semantics for CTL. We introduce an
abstract-model-repair algorithm for which we prove soundness and
semi-completeness, and we study its complexity class. Moreover, a prototype
implementation is presented to illustrate the practical utility of
abstract-model-repair on an Automatic Door Opener system model and a model of
the Andrew File System 1 protocol.
Learning Regular Languages over Large Ordered Alphabets
Authors: Mens Irini-Eleftheria , Maler Oded
Published: November 2016

This work is concerned with regular languages defined over large alphabets,
either infinite or just too large to be expressed enumeratively. We define a
generic model where transitions are labeled by elements of a finite partition
of the alphabet. We then extend Angluin's L* algorithm for learning regular
languages from examples for such automata. We have implemented this algorithm
and we demonstrate its behavior where the alphabet is a subset of the natural
or real numbers. We sketch the extension of the algorithm to a class of
languages over partially ordered alphabets.
Partial functions and domination
Authors: Chong C. T. , Hoi Gordon , Stephan Frank , Turetsky Daniel
Published: November 2016

The current work introduces the notion of pdominant sets and studies their
recursion-theoretic properties. Here a set A is called pdominant iff there is a
partial A-recursive function {\psi} such that for every partial recursive
function {\phi} and almost every x in the domain of {\phi} there is a y in the
domain of {\psi} with y<= x and {\psi}(y) > {\phi}(x). While there is a full
{\pi}01-class of nonrecursive sets where no set is pdominant, there is no
{\pi}01-class containing only pdominant sets. No weakly 2-generic set is
pdominant while there are pdominant 1-generic sets below K. The halves of
Chaitin's {\Omega} are pdominant. No set which is low for Martin-L\"of random
is pdominant. There is a low r.e. set which is pdominant and a high r.e. set
which is not pdominant.
Verification for Timed Automata extended with Unbounded Discrete Data Structures
Authors: Quaas Karin
Published: November 2016

We study decidability of verification problems for timed automata extended
with unbounded discrete data structures. More detailed, we extend timed
automata with a pushdown stack. In this way, we obtain a strong model that may
for instance be used to model real-time programs with procedure calls. It is
long known that the reachability problem for this model is decidable. The goal
of this paper is to identify subclasses of timed pushdown automata for which
the language inclusion problem and related problems are decidable.
New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
Authors: Jacobs Bart
Published: November 2016

Intuitionistic logic, in which the double negation law not-not-P = P fails,
is dominant in categorical logic, notably in topos theory. This paper follows a
different direction in which double negation does hold. The algebraic notions
of effect algebra/module that emerged in theoretical physics form the
cornerstone. It is shown that under mild conditions on a category, its maps of
the form X -> 1+1 carry such effect module structure, and can be used as
predicates. Predicates are identified in many different situations, and capture
for instance ordinary subsets, fuzzy predicates in a probabilistic setting,
idempotents in a ring, and effects (positive elements below the unit) in a
C*-algebra or Hilbert space. In quantum foundations the duality between states
and effects plays an important role. It appears here in the form of an
adjunction, where we use maps 1 -> X as states. For such a state s and a
predicate p, the validity probability s |= p is defined, as an abstract Born
rule. It captures many forms of (Boolean or probabilistic) validity known from
the literature. Measurement from quantum mechanics is formalised categorically
in terms of `instruments', using L\"uders rule in the quantum case. These
instruments are special maps associated with predicates (more generally, with
tests), which perform the act of measurement and may have a side-effect that
disturbs the system under observation. This abstract description of
side-effects is one of the main achievements of the current approach. It is
shown that in the special case of C*-algebras, side-effect appear exclusively
in the non-commutative case. Also, these instruments are used for test
operators in a dynamic logic that can be used for reasoning about quantum
programs/protocols. The paper describes four successive assumptions, towards a
categorical axiomatisation of quantitative logic for probabilistic and quantum
systems.
Constructing Fully Complete Models of Multiplicative Linear Logic
Authors: Schalk Andrea , Steele Hugh Paul
Published: November 2016

The multiplicative fragment of Linear Logic is the formal system in this
family with the best understood proof theory, and the categorical models which
best capture this theory are the fully complete ones. We demonstrate how the
Hyland-Tan double glueing construction produces such categories, either with or
without units, when applied to any of a large family of degenerate models. This
process explains as special cases a number of such models from the literature.
In order to achieve this result, we develop a tensor calculus for compact
closed categories with finite biproducts. We show how the combinatorial
properties required for a fully complete model are obtained by this glueing
construction adding to the structure already available from the original
category.
Datalog Rewritings of Regular Path Queries using Views
Authors: Francis Nadime , Segoufin Luc , Sirangelo Cristina
Published: November 2016

We consider query answering using views on graph databases, i.e. databases
structured as edge-labeled graphs. We mainly consider views and queries
specified by Regular Path Queries (RPQ). These are queries selecting pairs of
nodes in a graph database that are connected via a path whose sequence of edge
labels belongs to some regular language. We say that a view V determines a
query Q if for all graph databases D, the view image V(D) always contains
enough information to answer Q on D. In other words, there is a well defined
function from V(D) to Q(D). Our main result shows that when this function is
monotone, there exists a rewriting of Q as a Datalog query over the view
instance V(D). In particular the rewriting query can be evaluated in time
polynomial in the size of V(D). Moreover this implies that it is decidable
whether an RPQ query can be rewritten in Datalog using RPQ views.
Structurally Cyclic Petri Nets
Authors: Frank Drewes , Jérôme Leroux
Published: November 2016

A Petri net is structurally cyclic if every configuration is reachable from
itself in one or more steps. We show that structural cyclicity is decidable in
deterministic polynomial time. For this, we adapt the Kosaraju's approach for
the general reachability problem for Petri nets.
Typed realizability for first-order classical analysis
Authors: Blot Valentin
Published: November 2016

We describe a realizability framework for classical first-order logic in
which realizers live in (a model of) typed {\lambda}{\mu}-calculus. This allows
a direct interpretation of classical proofs, avoiding the usual negative
translation to intuitionistic logic. We prove that the usual terms of G\"odel's
system T realize the axioms of Peano arithmetic, and that under some
assumptions on the computational model, the bar recursion operator realizes the
axiom of dependent choice. We also perform a proper analysis of relativization,
which allows for less technical proofs of adequacy. Extraction of algorithms
from proofs of {\Pi}02 formulas relies on a novel implementation of Friedman's
trick exploiting the control possibilities of the language. This allows to have
extracted programs with simpler types than in the case of negative translation
followed by intuitionistic realizability.
Separating Regular Languages with First-Order Logic
Authors: Place Thomas , Zeitoun Marc
Published: November 2016

Given two languages, a separator is a third language that contains the first
one and is disjoint from the second one. We investigate the following decision
problem: given two regular input languages of finite words, decide whether
there exists a first-order definable separator. We prove that in order to
answer this question, sufficient information can be extracted from semigroups
recognizing the input languages, using a fixpoint computation. This yields an
EXPTIME algorithm for checking first-order separability. Moreover, the
correctness proof of this algorithm yields a stronger result, namely a
description of a possible separator. Finally, we generalize this technique to
answer the same question for regular languages of infinite words.
A Sorted Semantic Framework for Applied Process Calculi
Authors: Borgström Johannes , Gutkovas Ramūnas , Parrow Joachim , Victor Björn , Pohjola Johannes Åman
Published: November 2016

Applied process calculi include advanced programming constructs such as type
systems, communication with pattern matching, encryption primitives, concurrent
constraints, nondeterminism, process creation, and dynamic connection
topologies. Several such formalisms, e.g. the applied pi calculus, are
extensions of the the pi-calculus; a growing number is geared towards
particular applications or computational paradigms. Our goal is a unified
framework to represent different process calculi and notions of computation. To
this end, we extend our previous work on psi-calculi with novel abstract
patterns and pattern matching, and add sorts to the data term language, giving
sufficient criteria for subject reduction to hold. Our framework can directly
represent several existing process calculi; the resulting transition systems
are isomorphic to the originals up to strong bisimulation. We also demonstrate
different notions of computation on data terms, including cryptographic
primitives and a lambda-calculus with erratic choice. Finally, we prove
standard congruence and structural properties of bisimulation; the proof has
been machine-checked using Nominal Isabelle in the case of a single name sort.
The Largest Respectful Function
Authors: Parrow Joachim , Weber Tjark
Published: November 2016

Respectful functions were introduced by Sangiorgi as a compositional tool to
formulate short and clear bisimulation proofs. Usually, the larger the
respectful function, the easier the bisimulation proof. In particular the
largest respectful function, defined as the pointwise union of all respectful
functions, has been shown to be very useful. We here provide an explicit and
constructive characterization of it.
On the characterization of models of H*: The semantical aspect
Authors: Breuvart Flavien
Published: November 2016

We give a characterization, with respect to a large class of models of
untyped lambda-calculus, of those models that are fully abstract for
head-normalization, i.e., whose equational theory is H* (observations for head
normalization). An extensional K-model $D$ is fully abstract if and only if it
is hyperimmune, {\em i.e.}, not well founded chains of elements of D cannot be
captured by any recursive function.
This article, together with its companion paper, form the long version of
[Bre14]. It is a standalone paper that presents a purely semantical proof of
the result as opposed to its companion paper that presents an independent and
purely syntactical proof of the same result.
Two-variable Logic with Counting and a Linear Order
Authors: Charatonik Witold , Witkowski Piotr
Published: November 2016

We study the finite satisfiability problem for the two-variable fragment of
first-order logic extended with counting quantifiers (C2) and interpreted over
linearly ordered structures. We show that the problem is undecidable in the
case of two linear orders (in the presence of two other binary symbols). In the
case of one linear order it is NEXPTIME-complete, even in the presence of the
successor relation. Surprisingly, the complexity of the problem explodes when
we add one binary symbol more: C2 with one linear order and in the presence of
other binary predicate symbols is equivalent, under elementary reductions, to
the emptiness problem for multicounter automata.
Korelasi Inovasi dan Kinerja pada Industri Kecil dan Menengah: Kajian Meta-Analisis
Authors: Lasalewo Trifandi , Helmi Avin Fadilla
Published: November 2016

The effect of innovation on performance of Small and Medium Industries (SMIs) draws a great ofattention from researchers and practitioners to study further. Based on empirical findings, it is foundout that the correlation between innovation and performance is dependent on context, that is theinnovation does not affect the performance of a company or indicated negative implication betweeninnovation and performance. Meanwhile, other researches reported positive effects of innovation andperformance. The review of researches on the correlation between innovation and SMIs performanceshows contradictory results.The meta-analytical study is aimed at investigating further thecorrelation between innovation and performance on SMI based on researches published between 2004and 2013 in 5 continents (Australia, Asia, Europe, Africa and America). The independent variablewas innovation and the dependent variable was performance, while the moderators variable consistedof the year of the research and the location of survei. The result of the meta-analytical study on thecorrelation between innovation and performance indicated a positive correlation with mean 0.459and the standard deviation 0.168 on 95% confidence interval.
METAPHOR OF COLORS IN INDONESIAN
Authors: Putu Wijana I Dewa
Published: November 2016

This brief article deals with the use of Indonesian words referring to colors for creating metaphorical expressions. All data presented are collected from various sources, such as Kamus Besar Bahasa Indonesia (Indonesian Standard Dictionary), and added with data obtained from Oxford Advanced Leaner’s Dictionary, Indonesian proverb book, encyclopedia, terminology collection book, poetry anthology, song lyrics, and data of the author’s own creation as an Indonesian native speaker. Set aside from their literal meanings, the metaphorically used color words are collected and classified into two categories, i.e. achromatic and chromatic colors. Then, their universalities are determined by comparing them with English color metaphors. Finally the existence of specific Indonesian color metaphors are identified by correlating them with extra linguistic factors, such as environment, history, religion, politic and other socio cultural activities. A careful analysis on the data shows that there is nearly no significant difference in metaphorical uses of achromatic colors in English and Indonesian. However, despite universal nuances of chromatic color metaphors, some specific ones emerge due to various external factors, such as environment, education, history, politic, law, religion, literature, and other socio cultural facts that are specifically found and practiced in Indonesia.
PASAR SEBAGAI RUANG SEDULURAN MASYARAKAT JAWA
Authors: Marlina Endy , Ronald Arya , . Sudaryono , Dharoko Atyanto
Published: November 2016

This study found the concept of “market as seduluran (brotherhood) space”, Javanese local wisdom in managing social interactions. The concept of social harmony is the realization of Javanese local wisdom that has existed and still running today. In-depth exploration reveals empirical themes that show strategies of market management. This strategy illustrates the public perception of the market, they are market as a common space, space of dhasaran, familial spaces, social media expansion, socioeconomic space, space of paseduluran (brotherhood), chatrooms and entertainment space, changes of the management of market space, the openness of market space, and network of information, knowledge, and culture. Another finding is the task of the market as physical control, functional frame, social milieu, and cultural symbolization. The themes which were found then were further explored with eiditic depth and managed to find a concept of seduluran as the basis of public understanding of the market. The concept of seduluran underlying strategies to maintain social harmony of the society. This concept managed to keep the existence of markets as traditional economic space in the development of a modern economy.
THE IMPLICATURE OF TEMBANG GAMBUH IN SERAT WEDHATAMA AND ITS SIGNIFICANCE FOR THE SOCIETY
Authors: Sulistyo Edy Try
Published: November 2016

This study was aimed to discover the meanings implied in the texts of Tembang Gambuh written by KGPAA Mangkunagara IV in his Serat Wedhatama as well as its significance for the society. The texts were originally composed of 25 stanzas, but this study was limited to those associated with sembah (worship). This study employed qualitative paradigm which was conducted by using an embedded-case-study research design. Data was collected from informants, places and events as well as documents/archives or library sources. The validity of the data was tested using the data triangulation. The data was then analyzed by using a model of pragmatic analysis. The findings based on the pragmatic analysis suggested that the dominant implicatures in the Tembang Gambuh in relation to sembah were sembah raga (worship by physical conduct), sembah cipta (worship by controlled/mind conduct), sembah jiwa (spiritual/soul worship), and sembah rasa (worship beyond rituals). For the society, these four types of worship can serve as a warning and moral education that have significant values for someone to draw closer to God by performing worship in accordance to the guideline.
UNSUR-UNSUR PARAGRAF NARASI DALAM BAHASA JAWA
Authors: Nardiati Sri
Published: November 2016

Every human being involves in story activity. Therefore, the elements of NP (narrative paragraph) in Javanese should be investigated. The aim of investigation is to describe every element based on the character and the chronological event, its direct utterance, and the writer’s point of view. The scope of narrative paragraph study covers lingual unit of paragraph, sentence, clause, phrase, and word. The approach used is structural descriptive. The data is obtained by using listening and noting technique. The analysis uses orthografic method and distributional method, by using direct element division technique and then omission, substitution, insertion, and reversion. Narrative paragraph (NP) elements are participant and event. Participant element is filled with a character or more. Event element comprises of act, process, or state verb that relates to each other as stimulus-responsse. NP usually has direct utterance that is unmarked and marked. The mark is located in the beginning, middle, and the ending. NP is written based on the point of view, both the first and third person. In the first point of view, the character is central character or an observer, which is marked by using I (aku, saya) pronoun; meanwhile, in the third person point of view is marked by he/ she (ia/dia/dheweke) pronoun.
TABU PEREMPUAN DALAM BUDAYA MASYARAKAT BANTEN
Authors: Humaeni Ayatullah
Published: November 2016

Artikel ini mengkaji fenomena tabu (tabu) perempuan dan maknanya bagi perempuan Banten. Bagaimana perempuan Banten memahami dan memaknai tabu-tabu yang hadir di sekitar mereka dan masih ditradisikan dari generasi ke generasi menjadi salah satu fokus utama artikel ini. Di samping itu, artikel ini juga mencoba mengidentifikasi dan menganalisis berbagai jenis tabu yang berhubungan dengan perempuan Banten. Artikel ini merupakan hasil penelitian lapangan dengan menggunakan metode study kasus yang bersifat deskriptif kualitatif dengan pendekatan antropologis. Metode yang digunakan untuk mengumpulkan data adalah kajian pustaka, observasi, dan wawancara mendalam. Keberadaan tabu perempuan dalam budaya Banten, sedikit banyak, mempunyai pengaruh bagi kehidupan sosial keagamaan masyarakat Banten. Jika menganalisis isi dan makna tabu berdasarkan kontkes sosial kulturalnya, beragam tabu yang ada pada masyarakat Banten, khususnya yang berkaitan dengan tabu perempuan Banten, memiliki fungsi dan makna sebagai bentuk penjagaan moral dan perilaku, pemeliharaan identitas diri dan identitas sosial, memperkuat hubungan emosional, bentuk perlindungan, sampai simbol kasih sayang dan cinta.
RELIGIOUS IDENTIFICATION AND SOCIAL DISTANCE BETWEEN RELIGIOUS GROUPS IN YOGYAKARTA
Authors: Pamungkas Cahyo
Published: November 2016

This paper explains how political, religious, and economic changes in Yogyakarta affect the formation of religious identity and social distance between different religious groups. The strengthening of religious identity in this area took place in the period of the Diponegoro War (1825-1830) when religious issues were used in the mobilization against the Dutch colonialist. Then, the spread of Christianity in Java at the end of 19th led to several tensions between missionaries and several Islamic organizations, but never developed into communal violence. In 1930s, the relation between religious groups remain harmonious due to the development of tolerant culture and pluralism. During the 1980s, the use of religious identity grew both in urban and rural areas in line with social processes of modernization. Da’wat activities on Campus (Lembaga Dakwah Kampus) plays important roles in promoting religious life in urban areas. The 1998 political reform marked the rise of religious fundamentalist movements that to a certain degree contributes to social distance between religious groups.
WORD PATTERNS OF EGYPTIAN COLLOQUIAL ARABIC (ECA) IN EGYPTIAN SPEECH EVENTS
Authors: Ma'nawi Arief , Ma'ruf Amir
Published: November 2016

Morphologically, Ammya Egyptian Arabic or Egyptian Colloquial Arabic (ECA) has specific word patterns. This study is aimed at describing morphological rules of the ECA. The data were obtained through interviews using recording technique with ECA speakers in Cairo and Ismaili. They were analyzed using distributional method, a method of data analysis to connect phenomena in a given language itself. The result indicates that ECA has some word patterns which have diverse manifestations. Such diversity can be seen that V can be filled by the vowels [a], [i] and [u], C can be filled by all consonants in the ECA. In perfective verbs there are verbs patterns with singular first personal pronoun and singular masculine second personal pronoun affixes which can only be distinguished by context. A phenomenon was found that the ECA only has syllables of CV, CVC, CVVC, but not CCV, CCVC.
SÊRAT DARMASUNYA MACAPAT DAN KAKAWIN DHARMA ŚŪNYA DALAM HUBUNGAN TRANSFORMASI
Authors: Rahayu Wiwien Widyawati
Published: November 2016

Studies on Sêrat Darmasunya are conductedthrough literary and philological research. This is because both types of the studies cannot be absolutely separated. Sêrat Darmasunya is a holistic structure. Every element with a particular situation does not have a meaning in itself but,rather, the meaning is determined by its relationships with the other elements involved. A full meaning can be comprehended only if this element is integrated into the structure that is the overall elements. As a macapat song or a Javanese poetry, Sêrat Darmasunya should be understood by paying attention to the relationships between its elements as a part of the whole structure. The structure of Sêrat Darmasunya should be analyzed based on the constituent elements of a poetry. These elements comprise intrinsic and extrinsic elements. Then, the critical edition of Serat Darmasunya was then analyzed through the approach of Intertextual-transformation theory. Sêrat Darmasunya provides information that between the manuscript and the text under study have similar contents. Although written with different metrum and in different languages, there are similarities in both explicit and implied meaning. Cultural environment shaped the mindset of the authors, whocame from the same environment that was the acculturation environment between Hindu and Javanese culture
JAVANESE CULTURAL WORDS IN LOCAL NEWSPAPERS IN CENTRAL JAVA AS A LANGUAGE MAINTENANCE MODEL
Authors: Nirmala Deli
Published: November 2016

Javanese cultural words are the linguistic units which are very specific to Javanese culture and society. This article aims at describing what Javanese cultural words that are found in the local newspapers, what they represent, and why they are used in the local newspapers in Central Java. Non-participant observation is used to present the data for analysis, continued with page-filing and note-taking techniques. Referential, reflective-introspective, and abductive inferential methods are used to analyze the data. The result indicates that the Javanese cultural words found in the local newspapers represent festivals, rituals, Javanese ways of life, social activities, actions, feelings, thoughts, behavior, and experiences. The words become the indicators that the journalists of the local newspapers in Cental Java have positive attitudes toward Javanese words. This becomes a model for language maintenance of Javanese. This implies that the words are stored in the long-term memory, that become mental image, which are used when needed by the user for communication. The existence of the concepts residing in the mind will make the Javanese language maintenance possible, which is supported by the attitudes of the Javanese.
VARIATIONS OF DIRECTIVE SPEECH ACT IN TEMBANG DOLANAN
Authors: Winarti Daru , Wijana I Dewa Putu , Poedjosoedarmo Soepomo , Ahimsa-Putra Heddy Shri
Published: November 2016

This article discusses the directive speech acts contained in tembang dolanan. Using a pragmatic approach, particularly the framework of speech act theory, this article analyzes the different types of directive speech acts, the context which it embodies, and the level of decency. The data used in this research consisted of various tembang dolanan that contain directive statements. These data were analyzed using interpretation and inference by presenting it in the form of descriptive analysis. Descriptive analysis is meant to describe, systematically illustrating or elaborating the facts and relationships between phenomena. In the dolanan song, directive speech acts can be expressed directly or indirectly. Direct expression is conventionally used to rule, invite, and forward, while indirect expression is used when instead of by a command line, the intention is ruled by statement sentences, obligation-stating sentences, and questions. The use of direct speech acts generally does not have the value of politeness because they tend to still contain elements of coercion, have no effort to obscure the form of an order, and show the superiority of the speakers. On the other hand, the use of indirect speech acts seems to be an attempt to obscure the commandments to be more polite in the hope opponents would happily respond to commands.
THE IMPROVEMENT OF KAMPONG AS AN INSTRUMENT TO MITIGATE FLOODS IN SURABAYA
Authors: Husain Sarkawi B.
Published: November 2016

The improvement of kampong –a residential area Inhabited mostly by thelower classin a town or city - was one of the efforts to prevent flood in the city of Surabaya. The effortwas not only related to its contribution to minimize the flood butit also hadmany aspects. The serious attention to kampong improvement from the Dutch colonial government only appeared in the second decade of the 20th century. When the city of Surabaya wasoccupied byJapanese troopsfrom March 8th, 1942 untill the independence revolution, the attention tothe kampong improvementstopped and many kampongs were destroyed bythe war. An effort to restore them resumed in 1950s when everything retuned to normal. To intensify the program of kampong improvement, the W.R. Supratman projectwas launched following the establishment of Kampong Improvement Project (KIP). One of the criteria to determine a kampong that needed to be restored is whether itwas always flooded or not. Nevertheless, the kampong improvementdidnot really solve the flood problem thoroughly. However, anevaluation shows that this project has madea significant contribution to minimizing the flood in the city of Surabaya.