scholarly journals A Commonsense Theory of Secrets

2020 ◽  
Author(s):  
Haythem O. Ismail ◽  
Merna Shafie
Keyword(s):  
Sufficient Conditions ◽  
Strict Sense ◽  
Social Situations ◽  
Social Phenomena ◽  
Logical Language ◽  
Systems Security ◽  
Logical Investigations ◽  
Necessary And Sufficient ◽  
Classical Account ◽  
Bare Bones

With the advent of social robots, precise accounts of an increasing number of social phenomena are called for. Although the phenomenon of secrets is an important part of everyday social situations, logical accounts of it can only be found, in a rather strict sense, within logical investigations of systems security. This paper is an attempt to formalize the logic of a commonsense notion of secrets as a contribution to ontologies of social and epistemological phenomena. We take a secret to be a five-way relation between a proposition, a group of secret-keepers, a group of nescients, a condition of secrecy, and a time point. A bare-bones notion of secrets is defined by providing necessary and sufficient conditions for said relation to hold. Special classes of secrets are then identified by considering an assortment of extra conditions. The logical language employed formalizes a classical account of belief and intention, a theory of groups, and a novel notion of revealing. In such a rich theory, interesting properties of secrets are proved.

scholarly journals The Strict-Sense Nonblocking Multiratelogd(N,0,p)Switching Network

2017 ◽  
Vol 2017 ◽  
pp. 1-14 ◽  
Author(s):  
Wojciech Kabaciński ◽  
Remigiusz Rajewski
Keyword(s):  
Necessary Conditions ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Switching Network ◽  
Strict Sense ◽  
Switching Networks ◽  
Necessary And Sufficient

This paper considers the nonblocking conditions for a multiratelogd(N,0,p)switching network at the connection level. The necessary and sufficient conditions for the discrete bandwidth model, as well as sufficient and, in particular cases, also necessary conditions for the continuous bandwidth model, were given. The results given fordn-1/2f0≥f1+1in the discrete bandwidth model are the same as those proposed by Hwang et al. (2005); however, in this paper, these results were extended to other values off0,f1, andd. In the continuous bandwidth model forB+b>1, the results given in this paper are also the same as those by Hwang et al. (2005); however, forB+b≤1, it was proved that a smaller number of vertically stackedlogdNswitching networks are needed.

The extinction time of a general birth and death process with catastrophes

1986 ◽  
Vol 23 (04) ◽  
pp. 851-858 ◽  
Author(s):  
P. J. Brockwell
Keyword(s):  
Laplace Transform ◽  
Size Distribution ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Death Process ◽  
Extinction Time ◽  
Birth And Death Process ◽  
Different Types ◽  
The Laplace Transform ◽  
Necessary And Sufficient

The Laplace transform of the extinction time is determined for a general birth and death process with arbitrary catastrophe rate and catastrophe size distribution. It is assumed only that the birth rates satisfyλ0= 0,λj> 0 for eachj> 0, and. Necessary and sufficient conditions for certain extinction of the population are derived. The results are applied to the linear birth and death process (λj=jλ, µj=jμ) with catastrophes of several different types.

Budgeting in Socio-economic Development Strategies (Raising a Problem)

2008 ◽  
pp. 134-151
Author(s):  
A. Shastitko ◽  
M. Ovchinnikov
Keyword(s):  
Economic Policy ◽  
Economic Development ◽  
Social Change ◽  
Eastern Europe ◽  
Statistical Data ◽  
Sufficient Conditions ◽  
Transitional Period ◽  
Socio Economic Development ◽  
Necessary And Sufficient ◽  
Economic Development Strategies

The article proposes an approach to the analysis of social change and contributes to the clarification of concepts of economic policy. It deals in particular with the notion of "change of system". The author considers positive and normative aspects of the analysis of capitalist and socialist systems. The necessary and sufficient conditions for the system to be changed are introduced, their fulfillment is discussed drawing upon the historical and statistical data. The article describes both economic and political peculiarities of the transitional period in different countries, especially in Eastern Europe.

Inventory optimization considering the vehicle capacity and specifics of cash flows at rental storage sites

2020 ◽  
pp. 77-90
Author(s):  
V.D. Gerami ◽  
I.G. Shidlovskii
Keyword(s):  
Supply Chain ◽  
Inventory Management ◽  
Sufficient Conditions ◽  
Cash Flows ◽  
Management Systems ◽  
Cargo Capacity ◽  
Special Modification ◽  
The Cost ◽  
Necessary And Sufficient ◽  
Vehicle Capacity

The article presents a special modification of the EOQ formula and its application to the accounting of the cargo capacity factor for the relevant procedures for optimizing deliveries when renting storage facilities. The specified development will allow managers to take into account the following process specifics in the format of a simulated supply chain when managing inventory. First of all, it will allow considering the most important factor of cargo capacity when optimizing stocks. Moreover, this formula will make it possible to find the optimal strategy for the supply of goods if, also, it is necessary to take into account the combined effect of several factors necessary for practice, which will undoubtedly affect decision-making procedures. Here we are talking about the need for additional consideration of the following essential attributes of the simulated cash flow of the supply chain: 1) time value of money; 2) deferral of payment of the cost of the order; 3) pre-agreed allowable delays in the receipt of revenue from goods sold. Developed analysis and optimization procedures have been implemented to models of this type that are interesting and important for a business. This — inventory management systems, the format of which is related to the special concept of efficient supply. We are talking about models where the presence of the specified delays for the outgoing cash flows allows you to pay for the order and the corresponding costs of the supply chain from the corresponding revenue on the re-order interval. Accordingly, the necessary and sufficient conditions are established based on which managers will be able to identify models of the specified type. The purpose of the article is to draw the attention of managers to real opportunities to improve the efficiency of inventory management systems by taking into account these factors for a simulated supply chain.

Nonlinear boundary-value problems for degenerate differential-algebraic systems

2020 ◽  
Vol 17 (3) ◽  
pp. 313-324
Author(s):  
Sergii Chuiko ◽  
Ol'ga Nesmelova
Keyword(s):  
Boundary Value Problem ◽  
Boundary Value Problems ◽  
Algebraic System ◽  
Boundary Value ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Weakly Nonlinear ◽  
Differential Algebraic System ◽  
Linear Differential ◽  
Necessary And Sufficient

The study of the differential-algebraic boundary value problems, traditional for the Kiev school of nonlinear oscillations, founded by academicians M.M. Krylov, M.M. Bogolyubov, Yu.A. Mitropolsky and A.M. Samoilenko. It was founded in the 19th century in the works of G. Kirchhoff and K. Weierstrass and developed in the 20th century by M.M. Luzin, F.R. Gantmacher, A.M. Tikhonov, A. Rutkas, Yu.D. Shlapac, S.L. Campbell, L.R. Petzold, Yu.E. Boyarintsev, V.F. Chistyakov, A.M. Samoilenko, O.A. Boichuk, V.P. Yacovets, C.W. Gear and others. In the works of S.L. Campbell, L.R. Petzold, Yu.E. Boyarintsev, V.F. Chistyakov, A.M. Samoilenko and V.P. Yakovets were obtained sufficient conditions for the reducibility of the linear differential-algebraic system to the central canonical form and the structure of the general solution of the degenerate linear system was obtained. Assuming that the conditions for the reducibility of the linear differential-algebraic system to the central canonical form were satisfied, O.A.~Boichuk obtained the necessary and sufficient conditions for the solvability of the linear Noetherian differential-algebraic boundary value problem and constructed a generalized Green operator of this problem. Based on this, later O.A. Boichuk and O.O. Pokutnyi obtained the necessary and sufficient conditions for the solvability of the weakly nonlinear differential algebraic boundary value problem, the linear part of which is a Noetherian differential algebraic boundary value problem. Thus, out of the scope of the research, the cases of dependence of the desired solution on an arbitrary continuous function were left, which are typical for the linear differential-algebraic system. Our article is devoted to the study of just such a case. The article uses the original necessary and sufficient conditions for the solvability of the linear Noetherian differential-algebraic boundary value problem and the construction of the generalized Green operator of this problem, constructed by S.M. Chuiko. Based on this, necessary and sufficient conditions for the solvability of the weakly nonlinear differential-algebraic boundary value problem were obtained. A typical feature of the obtained necessary and sufficient conditions for the solvability of the linear and weakly nonlinear differential-algebraic boundary-value problem is its dependence on the means of fixing of the arbitrary continuous function. An improved classification and a convergent iterative scheme for finding approximations to the solutions of weakly nonlinear differential algebraic boundary value problems was constructed in the article.

On the domain of Riesz mean in the space Ls

Filomat ◽  
2017 ◽  
Vol 31 (4) ◽  
pp. 925-940 ◽  
Author(s):  
Medine Yeşilkayagil ◽  
Feyzi Başar
Keyword(s):  
Banach Space ◽  
Sequence Space ◽  
Double Sequence ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Double Sequences ◽  
Riesz Mean ◽  
Double Sequence Space ◽  
Necessary And Sufficient ◽  
Barrelled Space

Let 0 < s < ?. In this study, we introduce the double sequence space Rqt(Ls) as the domain of four dimensional Riesz mean Rqt in the space Ls of absolutely s-summable double sequences. Furthermore, we show that Rqt(Ls) is a Banach space and a barrelled space for 1 ? s < 1 and is not a barrelled space for 0 < s < 1. We determine the ?- and ?(?)-duals of the space Ls for 0 < s ? 1 and ?(bp)-dual of the space Rqt(Ls) for 1 < s < 1, where ? ? {p, bp, r}. Finally, we characterize the classes (Ls:Mu), (Ls:Cbp), (Rqt(Ls) : Mu) and (Rqt(Ls):Cbp) of four dimensional matrices in the cases both 0 < s < 1 and 1 ? s < 1 together with corollaries some of them give the necessary and sufficient conditions on a four dimensional matrix in order to transform a Riesz double sequence space into another Riesz double sequence space.

Sign in / Sign up

Export Citation Format

Share Document