scholarly journals On Some Features of the Problem of Solvability of Systems of Boolean Equations

2021 ◽  
pp. 18-28
Author(s):  
Vladimir Leontiev ◽  
◽  
Eduard Gordeev ◽  

The purpose of the article is to present new results on combinatorial characteristics of systems of Boolean equations, on which such properties of systems as compatibility, solvability, number of solutions and a number of others depend. The research method is the reduction of applied problems to combinatorial models with the subsequent application of classical methods of combinatorics: the method of generating functions, the method of coefficients, methods for obtaining asymptotics, etc. Obtained result. In this paper, we obtain results concerning the solvability of systems of Boolean equations. The complexity of the problem of “ transformation” of an incompatible system into a joint one is analyzed. An approach to solving the problem of separating the minimum number of joint subsystems from an incompatible system is described and justified. The problem is reduced to the problem of finding the minimum covering set. The system compatibility criterion is obtained. Using the method of coefficients, formulas for finding and estimating the number of solutions for parameterizing the problem on the right-hand sides of equations are derived. The maximum of this number is also investigated depending on the parameter. Formulas for the number of solutions for two special cases are obtained: with a restriction on the number of equations and on the size of the problem parameters

2011 ◽  
Vol 2011 ◽  
pp. 1-13 ◽  
Author(s):  
Iva Franjić ◽  
Sadia Khalid ◽  
Josip Pečarić

The lower bounds of the functional defined as the difference of the right-hand and the left-hand side of the Jensen inequality are studied. Refinements of some previously known results are given by applying results from the theory of majorization. Furthermore, some interesting special cases are considered.


1997 ◽  
Vol 10 (2) ◽  
pp. 179-186
Author(s):  
A. S. Vatsala ◽  
Mohamed A. Mahrous ◽  
Hadi Yahya Alkahby

In this paper, the method of generalized quasilinearization has been extended to reaction diffusion equations. The extension includes earlier known results as special cases. The earlier results developed are when (i) the right-hand side function is the sum of a convex and concave function, and (ii) the right-hand function can be made convex by adding a convex function. In our present result, if the monotone iterates are mildly nonlinear, we establish the quadratic convergence as in the quasilinearization method. If the iterates are totally linear then the iterates converge semi-quadratically.


Author(s):  
L. H. Liyanage ◽  
J. M. Hill ◽  
C. M. Gulati

AbstractThe discrete random walk problem for the unrestricted particle formulated in the double diffusion model given in Hill [2] is solved explicitly. In this model it is assumed that a particle moves along two distinct horizontal paths, say the upper path I and lower path 2. For i = 1, 2, when the particle is in path i, it can move at each jump in one of four possible ways, one step to the right with probability pi, one step to the left with probability qi, remains in the same position with probability ri, or exchanges paths but remains in the same horizontal position with probability si (pi + qi + ri + si = 1). Using generating functions, the probability distribution of the position of an unrestricted particle is derived. Finally some special cases are discussed to illustrate the general result.


1946 ◽  
Vol 11 (1) ◽  
pp. 2-2

In the article “Infant Speech Sounds and Intelligence” by Orvis C. Irwin and Han Piao Chen, in the December 1945 issue of the Journal, the paragraph which begins at the bottom of the left hand column on page 295 should have been placed immediately below the first paragraph at the top of the right hand column on page 296. To the authors we express our sincere apologies.


VASA ◽  
2010 ◽  
Vol 39 (4) ◽  
pp. 344-348 ◽  
Author(s):  
Jandus ◽  
Bianda ◽  
Alerci ◽  
Gallino ◽  
Marone

A 55-year-old woman was referred because of diffuse pruritic erythematous lesions and an ischemic process of the third finger of her right hand. She was known to have anaemia secondary to hypermenorrhea. She presented six months before admission with a cutaneous infiltration on the left cubital cavity after a paravenous leakage of intravenous iron substitution. She then reported a progressive pruritic erythematous swelling of her left arm and lower extremities and trunk. Skin biopsy of a lesion on the right leg revealed a fibrillar, small-vessel vasculitis containing many eosinophils.Two months later she reported Raynaud symptoms in both hands, with a persistent violaceous coloration of the skin and cold sensation of her third digit of the right hand. A round 1.5 cm well-delimited swelling on the medial site of the left elbow was noted. The third digit of her right hand was cold and of violet colour. Eosinophilia (19 % of total leucocytes) was present. Doppler-duplex arterial examination of the upper extremities showed an occlusion of the cubital artery down to the palmar arcade on the right arm. Selective angiography of the right subclavian and brachial arteries showed diffuse alteration of the blood flow in the cubital artery and hand, with fine collateral circulation in the carpal region. Neither secondary causes of hypereosinophilia nor a myeloproliferative process was found. Considering the skin biopsy results and having excluded other causes of eosinophilia, we assumed the diagnosis of an eosinophilic vasculitis. Treatment with tacrolimus and high dose steroids was started, the latter tapered within 12 months and then stopped, but a dramatic flare-up of the vasculitis with Raynaud phenomenon occurred. A new immunosupressive approach with steroids and methotrexate was then introduced. This case of aggressive eosinophilic vasculitis is difficult to classify into the usual forms of vasculitis and constitutes a therapeutic challenge given the resistance to current immunosuppressive regimens.


2018 ◽  
Vol 13 (1) ◽  
pp. 70-88
Author(s):  
Mohd Faez Mohd Shah ◽  
Norhidayah Pauzi

In the discipline of Islamic law research, strong proofing and clear Istinbat method are key pillars in the construction of Islamic law based on the application of the science of usul al-fiqh and maqasid al-shari'ah. However, what happens at the state of Johor’s fatwa institution is the opposite. The fatwa research methods applied by the Fatwa Committee of Johor in resolving current fatwa issues is not based on the right and true discipline of Islamic law research. In fact, current inputs related to fatwa issues are not explicitly stated in the method of determining the law either in the form of reality or scientifically verified. Therefore, this paper will discuss the fatwa procedures undertaken by the Fatwa Committee of Johor based on the methods applied in resolving current issues. The research methodology adopted is library and interview methods. This study shows that fatwa management and production in the state of Johor is placed under the jurisdiction of the Mufti of Johor’s Department. The methods adopted by the Fatwa Committee of Johor covers two methods, namely: internal research methods including literature review through the application of original source and proofs based on syarak. Second: field research method that includes an external review or going to the location of study such as conducting observation, questionnaires and interviews including referrals to specialists of different fields. Maslahah and mafsdah consideration are also implemented by the Fatwa Committee in every fatwa decision based on the standard that meets the interests of maqasid al-shari'ah. Keywords: Metode, fatwa, istinbat, usul al-fiqh, maqasid al-shari’ah ABSTRAK Dalam disiplin penyelidikan hukum Islam, kekuatan pendalilan dan kaedah istinbat yang jelas merupakan tunggak utama dalam pembinaan hukum Islam berasaskan kepada aplikasi ilmu usul al-fiqh dan maqasid al-shari’ah. Namun begitu, apa yang berlaku di institusi fatwa negeri Johor adalah sebaliknya. Kaedah penyelidikan fatwa yang diaplikasi oleh Jawatankuasa Fatwa Negeri Johor dalam menyelesaikan isu fatwa semasa tidak berasaskan kepada disiplin penyelidikan hukum Islam yang tepat dan sebenar. Malahan input-input semasa yang berkaitan dengan isu fatwa juga tidak dinyatakan secara jelas dalam kaedah penentuan hukum sama ada dalam bentuk realiti yang berlaku atau pembuktian secara saintifik. Justeru, kertas kerja ini akan membincangkan prosedur fatwa Jawatankuasa Fatwa Negeri Johor berdasarkan metode-metode yang diaplikasi dalam menyelesaikan isu-isu yang bersifat semasa. Metodologi kajian yang digunakan dalam kajian ini adalah melalui metode perpustakaan dan metode lapangan. Hasil kajian menunjukkan bahawa pengurusan dan pengeluaran fatwa di negeri Johor hanya terletak di bawah bidang kuasa Jabatan Mufti Johor. Metode fatwa yang diamalkan oleh Jawatankuasa Fatwa Negeri Johor merangkumi dua metode iaitu pertama, kaedah penyelidikan dalaman yang merangkumi kajian kepustakaan menerusi pengaplikasian dari sumber asas dan dalil-dalil syarak. Kedua, kaedah penyelidikan lapangan yang meliputi kajian luaran atau turun ke lokasi kajian seperti observasi, soal selidik dan temubual dan rujukan kepada pakar dalam bidang yang berlainan. Pertimbangan maslahah dan mafsdah juga dimplementasikan oleh Jawatankuasa Fatwa dalam setiap keputusan fatwanya berasaskan standard yang menepati kepentingan maqasid al-shari’ah. Kata kunci: Metode, fatwa, istinbat, usul al-fiqh, maqasid al-shari’ah


2014 ◽  
Vol 76 (1) ◽  
pp. 14-17
Author(s):  
Yoshiyuki KUWAE ◽  
Kunitaka HARUNA ◽  
Yasushi SUGA

Author(s):  
Csilla Gabor

The study deals with 16th and 17th century Hungarian printed polemical works considering religious disputes a typical form of communication in the age of Reformation and Catholic renewal. Its conceptual framework is the paradigm or research method of the long Reformation as an efficient assistance to the discovery and appreciation of early modern theological-religious diversity. The analysis examines several kinds of communication which occurs in the (religious) dispute, and explores the rules and conventions along which the (verbal) fighting takes place. Research shows that the opponents repeatedly refer to the rules of dialectics refuting each other’s standpoints accusing them of faulty argumentation, i.e., the wrong use of syllogisms. Dialectics is, namely, in this context not the ars with the help of which truth is found but with which evident truth is checked and justified in a way that the opponents can also be educated to follow the right direction.


Filomat ◽  
2017 ◽  
Vol 31 (2) ◽  
pp. 309-320 ◽  
Author(s):  
B.S. El-Desouky ◽  
Nenad Cakic ◽  
F.A. Shiha

In this paper we give a new family of numbers, called ??-Whitney numbers, which gives generalization of many types of Whitney numbers and Stirling numbers. Some basic properties of these numbers such as recurrence relations, explicit formulas and generating functions are given. Finally many interesting special cases are derived.


Author(s):  
Richard McCleary ◽  
David McDowall ◽  
Bradley J. Bartos

Chapter 8 focuses on threats to construct validity arising from the left-hand side time series and the right-hand side intervention model. Construct validity is limited to questions of whether an observed effect can be generalized to alternative cause and effect measures. The “talking out” self-injurious behavior time series, shown in Chapter 5, are examples of primary data. Researchers often have no choice but to use secondary data that were collected by third parties for purposes unrelated to any hypothesis test. Even in those less-than-ideal instances, however, an optimal time series can be constructed by limiting the time frame and otherwise paying attention to regime changes. Threats to construct validity that arise from the right-hand side intervention model, such as fuzzy or unclear onset and responses, are controlled by paying close attention to the underlying theory. Even a minimal theory should specify the onset and duration of an impact.


Sign in / Sign up

Export Citation Format

Share Document