首页 > 最新文献

Proceedings of the YSU A: Physical and Mathematical Sciences最新文献

英文 中文
NEW PROSPECTS OF APPLICATION OF LIQUID CRYSTAL POLYMER CANTILEVER 液晶聚合物悬臂梁应用的新前景
Pub Date : 2020-12-15 DOI: 10.46991/pysu:a/2020.54.3.165
H. Margaryan, N. Hakobyan, V. Abrahamyan, P. K. Gasparyan, A. Yeremyan, N. Tabiryan, R. Vergara
The manufacturing technique of a millimetric sizes cantilever from photo-driven azobenzene polymer is described. The cantilever oscillations under the influence of laser radiation are studied. The possibility of making a micron-sized cantilever by a femtosecond laser initiated two-photon polymerization technique is shown. Such cantilever can become the basis for a high sensitive sensor, controlled directly by light.
介绍了利用光驱动偶氮苯聚合物制备毫米级悬臂梁的工艺。研究了激光辐射对悬臂梁振荡的影响。展示了用飞秒激光引发双光子聚合技术制造微米级悬臂的可能性。这种悬臂可以成为高灵敏度传感器的基础,直接由光控制。
{"title":"NEW PROSPECTS OF APPLICATION OF LIQUID CRYSTAL POLYMER CANTILEVER","authors":"H. Margaryan, N. Hakobyan, V. Abrahamyan, P. K. Gasparyan, A. Yeremyan, N. Tabiryan, R. Vergara","doi":"10.46991/pysu:a/2020.54.3.165","DOIUrl":"https://doi.org/10.46991/pysu:a/2020.54.3.165","url":null,"abstract":"The manufacturing technique of a millimetric sizes cantilever from photo-driven azobenzene polymer is described. The cantilever oscillations under the influence of laser radiation are studied. The possibility of making a micron-sized cantilever by a femtosecond laser initiated two-photon polymerization technique is shown. Such cantilever can become the basis for a high sensitive sensor, controlled directly by light.","PeriodicalId":21146,"journal":{"name":"Proceedings of the YSU A: Physical and Mathematical Sciences","volume":"10 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86596906","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
VIBRATIONS OF PIEZOELECTRIC LAYER of CLASS 6mm WITH RIGIDLY CLAMPED AND FREE EDGES UNDER INITIAL CONDITIONСS 具有刚性夹紧和自由边缘的6mm级压电层在初始CONDITIONСS下的振动
Pub Date : 2020-12-15 DOI: 10.46991/pysu:a/2020.54.3.146
M. Belubekyan, A. Papyan
The paper considers the problem of vibration of a piezoelectric layer of the class $6~mm$ with initial conditions in the form of impact of an external electric field or displacement, when one edge is rigidly grounded and the other is free. The layer displacement and internal electric field are determined.
本文研究了一类$6~mm$压电层的振动问题,其初始条件为外加电场或位移的冲击形式,其中一端为刚性接地,另一端为自由接地。测定了层位移和内部电场。
{"title":"VIBRATIONS OF PIEZOELECTRIC LAYER of CLASS 6mm WITH RIGIDLY CLAMPED AND FREE EDGES UNDER INITIAL CONDITIONСS","authors":"M. Belubekyan, A. Papyan","doi":"10.46991/pysu:a/2020.54.3.146","DOIUrl":"https://doi.org/10.46991/pysu:a/2020.54.3.146","url":null,"abstract":"The paper considers the problem of vibration of a piezoelectric layer of the class $6~mm$ with initial conditions in the form of impact of an external electric field or displacement, when one edge is rigidly grounded and the other is free. The layer displacement and internal electric field are determined.","PeriodicalId":21146,"journal":{"name":"Proceedings of the YSU A: Physical and Mathematical Sciences","volume":"71 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84278113","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
TRANSFER OF LOADS FROM A FINITE NUMBER OF ELASTIC OVERLAYS WITH FINITE LENGTHS TO AN ELASTIC STRIP THROUGH ADHESIVE SHEAR LAYERS 通过粘接剪切层将载荷从有限数量的有限长度的弹性覆盖层传递到弹性条带
Pub Date : 2019-08-15 DOI: 10.46991/pysu:a/2019.53.2.109
A. V. Kerobyan
This article deals with the problem of an elastic infinite strip, which is strengthened along its free boundary by a finite number of finite overlays with different elastic characteristics and small constant thicknesses. The interaction between the strip and the overlays is mediated by adhesive shear layers. The overlays are deformed under the action of horizontal forces. The problem of determination of unknown stresses acting between the strip and overlays are reduced to a system of Fredholm integral equations of the second kind for a finite number of unknown functions defined on different finite intervals. It is shown that in the certain domain of variation of the characteristic parameter of the problem this system of integral equations in Banach space may be solved by the method of successive approximations. Particular cases are discussed and the character and behaviour of unknown shear stresses are investigated.
本文研究了弹性无限条沿其自由边界由有限数量的具有不同弹性特性和小的常数厚度的有限覆盖层进行加固的问题。胶条和覆盖层之间的相互作用是由粘接剪切层介导的。覆盖层在水平力作用下发生变形。将作用于带钢和覆盖层之间的未知应力的确定问题简化为有限个未知函数定义在不同有限区间上的第二类Fredholm积分方程组。在Banach空间的特征参数的一定变分域内,用逐次逼近的方法可以求解这组积分方程。讨论了特殊情况,并研究了未知剪应力的特征和行为。
{"title":"TRANSFER OF LOADS FROM A FINITE NUMBER OF ELASTIC OVERLAYS WITH FINITE LENGTHS TO AN ELASTIC STRIP THROUGH ADHESIVE SHEAR LAYERS","authors":"A. V. Kerobyan","doi":"10.46991/pysu:a/2019.53.2.109","DOIUrl":"https://doi.org/10.46991/pysu:a/2019.53.2.109","url":null,"abstract":"This article deals with the problem of an elastic infinite strip, which is strengthened along its free boundary by a finite number of finite overlays with different elastic characteristics and small constant thicknesses. The interaction between the strip and the overlays is mediated by adhesive shear layers. The overlays are deformed under the action of horizontal forces. The problem of determination of unknown stresses acting between the strip and overlays are reduced to a system of Fredholm integral equations of the second kind for a finite number of unknown functions defined on different finite intervals. It is shown that in the certain domain of variation of the characteristic parameter of the problem this system of integral equations in Banach space may be solved by the method of successive approximations. Particular cases are discussed and the character and behaviour of unknown shear stresses are investigated.","PeriodicalId":21146,"journal":{"name":"Proceedings of the YSU A: Physical and Mathematical Sciences","volume":"12 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2019-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74556127","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
INVARIANT SOLUTION OF THE DIRAC EQUATION IN THE CROSSED ELECTRIC AND MAGNETIC FIELDS $ (H mathclose{>} E) $ 狄拉克方程在交叉电场和磁场中的不变量解$ (H mathclose{>} E) $
Pub Date : 2019-08-15 DOI: 10.46991/pysu:a/2019.53.2.138
R. G. Petrosyan, M. Davtyan
In the article exact analytical and invariant solutions for both spinless and half-spin relativistic charged particles in crossed constant electric and magnetic fields, when $ H mathclose{>} E $ have been found. It is shown that in both cases the problem reduces to that of quantum harmonic oscillator.
本文给出了在恒电场和恒磁场交叉作用下,当$ H mathclose{>} E $时,无自旋和半自旋相对论性带电粒子的精确解析解和不变解。结果表明,在这两种情况下,问题都简化为量子谐振子的问题。
{"title":"INVARIANT SOLUTION OF THE DIRAC EQUATION IN THE CROSSED ELECTRIC AND MAGNETIC FIELDS $ (H mathclose{>} E) $","authors":"R. G. Petrosyan, M. Davtyan","doi":"10.46991/pysu:a/2019.53.2.138","DOIUrl":"https://doi.org/10.46991/pysu:a/2019.53.2.138","url":null,"abstract":"In the article exact analytical and invariant solutions for both spinless and half-spin relativistic charged particles in crossed constant electric and magnetic fields, when $ H mathclose{>} E $ have been found. It is shown that in both cases the problem reduces to that of quantum harmonic oscillator.","PeriodicalId":21146,"journal":{"name":"Proceedings of the YSU A: Physical and Mathematical Sciences","volume":"18 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2019-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81552524","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
COMPUTER MODELING OF MICROWAVE STRIPLINE RESONATORS FOR NON-INVASIVE SENSING 微波带状线谐振器非侵入式传感的计算机建模
Pub Date : 2019-04-15 DOI: 10.46991/pysu:a/2019.53.1.060
B. Minasyan, L. Odabashyan, Z. Baghdasaryan, A. Babajanyan, Kiejin Lee
Microwave stripline resonators of rectangular and double rectangular shapes for non-invasive sensing have been designed and investigated experimentally and numerically. The resonator of single rectangular shape has had a resonance at about 4.32 GHz for $ S_{21} $ and the resonator of double rectangular shape has had resonances at about 3.5 GHz for $ S_{21} $ and 5.85 GHz for $ S_{11} $. The simulation results for the sensitivity of the single rectangular and double rectangular resonators were -0.023 dB/(mg/dL) (glucose concentration) and 0.0143 dB/(mg/dL) (NaCl concentration), respectively. The electromagnetic field distribution of the resonators was visualized and compared using computer simulation software HFSS. The obtained data have shown the accuracy of resonators as a non-invasive sensor for biophysical applications.
设计了用于无创传感的矩形和双矩形微波带状线谐振器,并对其进行了实验和数值研究。单矩形谐振器在$ S_{21} $处的谐振频率约为4.32 GHz,双矩形谐振器在$ S_{21} $处的谐振频率约为3.5 GHz,在$ S_{11} $处的谐振频率约为5.85 GHz。模拟结果表明,单矩形谐振腔和双矩形谐振腔的灵敏度分别为-0.023 dB/(mg/dL)(葡萄糖浓度)和0.0143 dB/(mg/dL) (NaCl浓度)。利用计算机仿真软件HFSS对谐振腔的电磁场分布进行了可视化和比较。所获得的数据表明,谐振器作为一种非侵入式传感器在生物物理应用中的准确性。
{"title":"COMPUTER MODELING OF MICROWAVE STRIPLINE RESONATORS FOR NON-INVASIVE SENSING","authors":"B. Minasyan, L. Odabashyan, Z. Baghdasaryan, A. Babajanyan, Kiejin Lee","doi":"10.46991/pysu:a/2019.53.1.060","DOIUrl":"https://doi.org/10.46991/pysu:a/2019.53.1.060","url":null,"abstract":"Microwave stripline resonators of rectangular and double rectangular shapes for non-invasive sensing have been designed and investigated experimentally and numerically. The resonator of single rectangular shape has had a resonance at about 4.32 GHz for $ S_{21} $ and the resonator of double rectangular shape has had resonances at about 3.5 GHz for $ S_{21} $ and 5.85 GHz for $ S_{11} $. The simulation results for the sensitivity of the single rectangular and double rectangular resonators were -0.023 dB/(mg/dL) (glucose concentration) and 0.0143 dB/(mg/dL) (NaCl concentration), respectively. The electromagnetic field distribution of the resonators was visualized and compared using computer simulation software HFSS. The obtained data have shown the accuracy of resonators as a non-invasive sensor for biophysical applications.","PeriodicalId":21146,"journal":{"name":"Proceedings of the YSU A: Physical and Mathematical Sciences","volume":"80 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2019-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82058207","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
SHORT-RANGE DISORDER IN POLYELECTROLYTES: REPLICAS AND CONSTRAINED ANNEALING COMPARISON 聚电解质的短程无序:复制品和约束退火比较
Pub Date : 2019-04-15 DOI: 10.46991/pysu:a/2019.53.1.047
A. Mamasakhlisov
The general formalism describing polyelectrolyte behavior in presence of sequence disorder is presented. The Edwards and Poisson–Boltzmann equations are obtained. The possible effect of the boundary conditions is discussed. Comparison between replica and constrained annealing approaches is made.
给出了描述序列紊乱时多电解质行为的一般形式。得到了爱德华兹方程和泊松-玻尔兹曼方程。讨论了边界条件可能产生的影响。对复制退火和约束退火方法进行了比较。
{"title":"SHORT-RANGE DISORDER IN POLYELECTROLYTES: REPLICAS AND CONSTRAINED ANNEALING COMPARISON","authors":"A. Mamasakhlisov","doi":"10.46991/pysu:a/2019.53.1.047","DOIUrl":"https://doi.org/10.46991/pysu:a/2019.53.1.047","url":null,"abstract":"The general formalism describing polyelectrolyte behavior in presence of sequence disorder is presented. The Edwards and Poisson–Boltzmann equations are obtained. The possible effect of the boundary conditions is discussed. Comparison between replica and constrained annealing approaches is made.","PeriodicalId":21146,"journal":{"name":"Proceedings of the YSU A: Physical and Mathematical Sciences","volume":"5 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2019-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80901106","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
IN MEMORY OF MIHRAN S. SHARAMBEYAN 为了纪念mihran s. sharambeyan
Pub Date : 2019-04-15 DOI: 10.46991/pysu:a/2019.53.1.65
YSU Administration, Editorial Board of “Proceedings of the YSU”, Editorial Group of “Proceedings of the YSU”
{"title":"IN MEMORY OF MIHRAN S. SHARAMBEYAN","authors":"YSU Administration, Editorial Board of “Proceedings of the YSU”, Editorial Group of “Proceedings of the YSU”","doi":"10.46991/pysu:a/2019.53.1.65","DOIUrl":"https://doi.org/10.46991/pysu:a/2019.53.1.65","url":null,"abstract":"","PeriodicalId":21146,"journal":{"name":"Proceedings of the YSU A: Physical and Mathematical Sciences","volume":"59 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2019-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84496144","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
SELECTION OF COINCIDENCE ELECTRON-PROTON EVENTS IN NUCLEI INTERACTION 原子核相互作用中符合电子-质子事件的选择
Pub Date : 2019-04-15 DOI: 10.46991/pysu:a/2019.53.1.053
D. A. Martiryan
The main goal of this analysis is to study momentum (or kinetic energy) distribution of the backward going protons using data from CLAS EG2 experiment at Jefferson Lab. In this experiment scattering of a 5.014 GeV electron beam off various nucleus targets, ranging from deuterium to lead, have been recorded. The analysis includes selection of events in the reaction $ A(e, e^{prime}, P_{back}) X $, where $ P_{back} $ is a proton scattered above 90° either in the lab coordinate frame or with respect to the direction of the interacting virtual photon, then performing required corrections and studying the protons momentum distribution as a function of energy transfer. In this paper identification of electron-proton events is presented.
本分析的主要目的是利用杰弗逊实验室CLAS EG2实验的数据研究反向质子的动量(或动能)分布。在这个实验中,5.014 GeV的电子束从从氘到铅的各种核目标上散射,已经被记录下来。分析包括选择反应$ A(e, e^{prime}, P_{back}) X $中的事件,其中$ P_{back} $是在实验室坐标系中或相对于相互作用的虚光子方向散射在90°以上的质子,然后进行所需的修正并研究质子动量分布作为能量传递的函数。本文介绍了电子-质子事件的识别方法。
{"title":"SELECTION OF COINCIDENCE ELECTRON-PROTON EVENTS IN NUCLEI INTERACTION","authors":"D. A. Martiryan","doi":"10.46991/pysu:a/2019.53.1.053","DOIUrl":"https://doi.org/10.46991/pysu:a/2019.53.1.053","url":null,"abstract":"The main goal of this analysis is to study momentum (or kinetic energy) distribution of the backward going protons using data from CLAS EG2 experiment at Jefferson Lab. In this experiment scattering of a 5.014 GeV electron beam off various nucleus targets, ranging from deuterium to lead, have been recorded. The analysis includes selection of events in the reaction $ A(e, e^{prime}, P_{back}) X $, where $ P_{back} $ is a proton scattered above 90° either in the lab coordinate frame or with respect to the direction of the interacting virtual photon, then performing required corrections and studying the protons momentum distribution as a function of energy transfer. In this paper identification of electron-proton events is presented.","PeriodicalId":21146,"journal":{"name":"Proceedings of the YSU A: Physical and Mathematical Sciences","volume":"118 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2019-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85953266","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
A NECESSARY AND SUFFICIENT CONDITION FOR THE UNIQUENESS OF $ betadelta $-NORMAL FORM OF TYPED $ lambda $-TERMS FOR THE CANONICAL NOTION OF $ delta $-REDUCTION 关于$ delta $ -约简的规范概念的类型化$ lambda $ -项的规范形式的$ betadelta $ -唯一的一个充分必要条件
Pub Date : 2019-04-15 DOI: 10.46991/pysu:a/2019.53.1.028
L. Budaghyan, D. Grigoryan, L. Torosyan
In this paper the canonical notion of $ delta $-reduction is considered. Typed $ lambda $-terms use variables of any order and constants of order $ leq 1 $, where the constants of order 1 are strongly computable, monotonic functions with indeterminate values of arguments. The canonical notion of $ delta $-reduction is the notion of $ delta $-reduction that is used in the implementation of functional programming languages. It is shown that for canonical notion of $ delta $-reduction SI-property is the necessary and sufficient condition for the uniqueness of $ betadelta $-normal form of typed $ lambda $-terms.
本文考虑了$ delta $ -约简的规范概念。键入$ lambda $ -术语使用任意阶的变量和阶为$ leq 1 $的常量,其中阶为1的常量是具有不确定参数值的强可计算单调函数。规范的$ delta $ -reduction概念是在函数式编程语言的实现中使用的$ delta $ -reduction概念。证明了对于$ delta $ -约简的正则概念,si -性质是类型$ lambda $ -项的$ betadelta $ -正规形式唯一性的充分必要条件。
{"title":"A NECESSARY AND SUFFICIENT CONDITION FOR THE UNIQUENESS OF $ betadelta $-NORMAL FORM OF TYPED $ lambda $-TERMS FOR THE CANONICAL NOTION OF $ delta $-REDUCTION","authors":"L. Budaghyan, D. Grigoryan, L. Torosyan","doi":"10.46991/pysu:a/2019.53.1.028","DOIUrl":"https://doi.org/10.46991/pysu:a/2019.53.1.028","url":null,"abstract":"In this paper the canonical notion of $ delta $-reduction is considered. Typed $ lambda $-terms use variables of any order and constants of order $ leq 1 $, where the constants of order 1 are strongly computable, monotonic functions with indeterminate values of arguments. The canonical notion of $ delta $-reduction is the notion of $ delta $-reduction that is used in the implementation of functional programming languages. It is shown that for canonical notion of $ delta $-reduction SI-property is the necessary and sufficient condition for the uniqueness of $ betadelta $-normal form of typed $ lambda $-terms.","PeriodicalId":21146,"journal":{"name":"Proceedings of the YSU A: Physical and Mathematical Sciences","volume":"44 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2019-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88486171","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
ON THE UNIQUENESS OF $ betadelta $-NORMAL FORM OF TYPED $ lambda $-TERMS FOR THE CANONICAL NOTION OF $ delta $-REDUCTION 关于$ delta $ -约简的规范概念的类型化$ lambda $ -项的$ betadelta $ -范式的惟一性
Pub Date : 2019-04-15 DOI: 10.46991/pysu:a/2019.53.1.037
D. Grigoryan
In this paper we consider a substitution and inheritance property, which is the necessary and sufficient condition for the uniqueness of $ betadelta $-normal form of typed $ lambda $-terms, for canonical notion of $ delta $-reduction. Typed $ lambda $-terms use variables of any order and constants of order $ leq 1 $, where the constants of order 1 are strongly computable, monotonic functions with indeterminate values of arguments. The canonical notion of $ delta $-reduction is the notion of $ delta $-reduction that is used in the implementation of functional programming languages.
本文研究了$ delta $ -约简的规范概念中$ betadelta $ -类型化$ lambda $ -项的正规形式的惟一性的一个替换和继承性质。键入$ lambda $ -术语使用任意阶的变量和阶为$ leq 1 $的常量,其中阶为1的常量是具有不确定参数值的强可计算单调函数。规范的$ delta $ -reduction概念是在函数式编程语言的实现中使用的$ delta $ -reduction概念。
{"title":"ON THE UNIQUENESS OF $ betadelta $-NORMAL FORM OF TYPED $ lambda $-TERMS FOR THE CANONICAL NOTION OF $ delta $-REDUCTION","authors":"D. Grigoryan","doi":"10.46991/pysu:a/2019.53.1.037","DOIUrl":"https://doi.org/10.46991/pysu:a/2019.53.1.037","url":null,"abstract":"In this paper we consider a substitution and inheritance property, which is the necessary and sufficient condition for the uniqueness of $ betadelta $-normal form of typed $ lambda $-terms, for canonical notion of $ delta $-reduction. Typed $ lambda $-terms use variables of any order and constants of order $ leq 1 $, where the constants of order 1 are strongly computable, monotonic functions with indeterminate values of arguments. The canonical notion of $ delta $-reduction is the notion of $ delta $-reduction that is used in the implementation of functional programming languages.","PeriodicalId":21146,"journal":{"name":"Proceedings of the YSU A: Physical and Mathematical Sciences","volume":"20 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2019-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84632978","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
期刊
Proceedings of the YSU A: Physical and Mathematical Sciences
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1