首页 > 最新文献

Computer Science and Applied Mathematics最新文献

英文 中文
Computability, complexity, and languages - fundamentals of theoretical computer science 可计算性、复杂性和语言——理论计算机科学的基础
Pub Date : 2014-09-23 DOI: 10.5860/choice.32-0356
Martin D. Davis, E. Weyuker
Preliminaries. Computability: Programs and Computable Functions. Primitive Recursive Functions. A Universal Program. Calculations on Strings. Turing Machines. Processes and Grammars. Classifying Unsolvable Problems. Grammars and Automata: Regular Languages. Context-Free Languages. Context-Sensitive Languages. Logic: Propositional Calculus. Quantification Theory. Complexity: Abstract Complexity. Polynomial Time Computability. Semantics: Approximation Orderings. Denotational Semantics of Recursion Equations. Operational Semantics of Recursion Equations. Suggestions for Further Reading. Subject Index.
开场白。可计算性:程序和可计算函数。原始递归函数。一个通用程序。字符串上的计算。图灵机。过程和语法。分类无法解决的问题。语法和自动机:规则语言。上下文无关语言。上下文敏感的语言。逻辑:命题演算。量化理论。复杂性:抽象的复杂性。多项式时间可计算性。语义:近似排序。递归方程的指称语义。递归方程的运算语义。进一步阅读的建议。主题索引。
{"title":"Computability, complexity, and languages - fundamentals of theoretical computer science","authors":"Martin D. Davis, E. Weyuker","doi":"10.5860/choice.32-0356","DOIUrl":"https://doi.org/10.5860/choice.32-0356","url":null,"abstract":"Preliminaries. Computability: Programs and Computable Functions. Primitive Recursive Functions. A Universal Program. Calculations on Strings. Turing Machines. Processes and Grammars. Classifying Unsolvable Problems. Grammars and Automata: Regular Languages. Context-Free Languages. Context-Sensitive Languages. Logic: Propositional Calculus. Quantification Theory. Complexity: Abstract Complexity. Polynomial Time Computability. Semantics: Approximation Orderings. Denotational Semantics of Recursion Equations. Operational Semantics of Recursion Equations. Suggestions for Further Reading. Subject Index.","PeriodicalId":444502,"journal":{"name":"Computer Science and Applied Mathematics","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127007157","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}
引用次数: 306
Iterative solution of nonlinear equations in several variables 多变量非线性方程的迭代解
Pub Date : 2014-09-23 DOI: 10.1137/1.9780898719468
J. Ortega, W. Rheinboldt
Preface to the Classics Edition Preface Acknowledgments Glossary of Symbols Introduction Part I. Background Material. 1. Sample Problems 2. Linear Algebra 3. Analysis Part II. Nonconstructive Existence Theorems. 4. Gradient Mappings and Minimization 5. Contractions and the Continuation Property 6. The Degree of a Mapping Part III. Iterative Methods. 7. General Iterative Methods 8. Minimization Methods Part IV. Local Convergence. 9. Rates of Convergence-General 10. One-Step Stationary Methods 11. Multistep Methods and Additional One-Step Methods Part V. Semilocal and Global Convergence. 12. Contractions and Nonlinear Majorants 13. Convergence under Partial Ordering 14. Convergence of Minimization Methods An Annotated List of Basic Reference Books Bibliography Author Index Subject Index.
经典版序言序言致谢符号词汇介绍第一部分背景材料。例题2。线性代数3。分析第二部分。非构造存在性定理。梯度映射和最小化缩并与延拓性质映射的度(三)。迭代法。一般迭代法最小化方法第四部分:局部收敛。收敛速度-一般一步固定法12.多步方法和附加的一步方法。第五部分:半局部收敛和全局收敛。缩写和非线性主修偏序下的收敛性。最小化方法的收敛性——基本参考书目书目作者索引主题索引注释表。
{"title":"Iterative solution of nonlinear equations in several variables","authors":"J. Ortega, W. Rheinboldt","doi":"10.1137/1.9780898719468","DOIUrl":"https://doi.org/10.1137/1.9780898719468","url":null,"abstract":"Preface to the Classics Edition Preface Acknowledgments Glossary of Symbols Introduction Part I. Background Material. 1. Sample Problems 2. Linear Algebra 3. Analysis Part II. Nonconstructive Existence Theorems. 4. Gradient Mappings and Minimization 5. Contractions and the Continuation Property 6. The Degree of a Mapping Part III. Iterative Methods. 7. General Iterative Methods 8. Minimization Methods Part IV. Local Convergence. 9. Rates of Convergence-General 10. One-Step Stationary Methods 11. Multistep Methods and Additional One-Step Methods Part V. Semilocal and Global Convergence. 12. Contractions and Nonlinear Majorants 13. Convergence under Partial Ordering 14. Convergence of Minimization Methods An Annotated List of Basic Reference Books Bibliography Author Index Subject Index.","PeriodicalId":444502,"journal":{"name":"Computer Science and Applied Mathematics","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124928437","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}
引用次数: 8483
An introduction to mathematical logic and type theory - to truth through proof 介绍数学逻辑和类型论-通过证明的真理
Pub Date : 1986-05-01 DOI: 10.1007/978-94-015-9934-4
Peter B. Andrews
{"title":"An introduction to mathematical logic and type theory - to truth through proof","authors":"Peter B. Andrews","doi":"10.1007/978-94-015-9934-4","DOIUrl":"https://doi.org/10.1007/978-94-015-9934-4","url":null,"abstract":"","PeriodicalId":444502,"journal":{"name":"Computer Science and Applied Mathematics","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117023241","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}
引用次数: 761
IMPROVEMENT OF THE BILLING SYSTEM FOR A TELECOMMUNICATION OPERATOR 电信运营商计费系统的改进
Pub Date : 1900-01-01 DOI: 10.26661/2786-6254-2023-1-04
K. O. Kirei
{"title":"IMPROVEMENT OF THE BILLING SYSTEM FOR A TELECOMMUNICATION OPERATOR","authors":"K. O. Kirei","doi":"10.26661/2786-6254-2023-1-04","DOIUrl":"https://doi.org/10.26661/2786-6254-2023-1-04","url":null,"abstract":"","PeriodicalId":444502,"journal":{"name":"Computer Science and Applied Mathematics","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127262120","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
ALGORITHM OF PARALLEL CALCULATIONS IN THE FINITE ELEMENT METHOD 有限元法中的并行计算算法
Pub Date : 1900-01-01 DOI: 10.26661/2786-6254-2022-2-08
S. Homeniuk, V. Kozub
{"title":"ALGORITHM OF PARALLEL CALCULATIONS IN THE FINITE ELEMENT METHOD","authors":"S. Homeniuk, V. Kozub","doi":"10.26661/2786-6254-2022-2-08","DOIUrl":"https://doi.org/10.26661/2786-6254-2022-2-08","url":null,"abstract":"","PeriodicalId":444502,"journal":{"name":"Computer Science and Applied Mathematics","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128405990","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
THERMAL MANAGEMENT OF A SET OF THERMOELECTRIC COOLERS CONNECTED IN PARALLEL IN AN UNEVEN TEMPERATURE FIELD 在不均匀温度场中并联的一组热电冷却器的热管理
Pub Date : 1900-01-01 DOI: 10.26661/2786-6254-2023-1-06
V. Zaikov, V. Mescheryakov, Y. Zhuravlov, A. Ustenko
A method of increasing the efficiency of thermoelectric system for providing thermal modes of distributed heat-loaded elements of an on-board information system is considered. It is shown that thermoelectric coolers are most susceptible to thermal effects. In accordance with the reliability model, they are connected in series with heat loaded elements and to a great extent determine their operability. The inclusion of thermoelectric coolers in the feedback loop of a thermal management system places increased demands on the dynamic performance of the coolers. However, dynamics and reliability performance are
考虑了一种提高热电系统效率的方法,以提供机载信息系统分布式热负荷元件的热模态。结果表明,热电冷却器最易受热效应的影响。根据可靠性模型,它们与热负荷元件串联在一起,这在很大程度上决定了它们的可操作性。在热管理系统的反馈回路中包含热电冷却器,对冷却器的动态性能提出了更高的要求。然而,动力学性能和可靠性性能是非常重要的
{"title":"THERMAL MANAGEMENT OF A SET OF THERMOELECTRIC COOLERS CONNECTED IN PARALLEL IN AN UNEVEN TEMPERATURE FIELD","authors":"V. Zaikov, V. Mescheryakov, Y. Zhuravlov, A. Ustenko","doi":"10.26661/2786-6254-2023-1-06","DOIUrl":"https://doi.org/10.26661/2786-6254-2023-1-06","url":null,"abstract":"A method of increasing the efficiency of thermoelectric system for providing thermal modes of distributed heat-loaded elements of an on-board information system is considered. It is shown that thermoelectric coolers are most susceptible to thermal effects. In accordance with the reliability model, they are connected in series with heat loaded elements and to a great extent determine their operability. The inclusion of thermoelectric coolers in the feedback loop of a thermal management system places increased demands on the dynamic performance of the coolers. However, dynamics and reliability performance are","PeriodicalId":444502,"journal":{"name":"Computer Science and Applied Mathematics","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130172860","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
COMPARATIVE TESTING OF APPLICATIONS DEVELOPED BASED ON MONOLITHIC AND MICROSERVICES ARCHITECTURES 基于单片和微服务架构开发的应用程序的比较测试
Pub Date : 1900-01-01 DOI: 10.26661/2786-6254-2022-2-05
Y. Lymarenko, V. I. Popivshchyi, V. V. Novak, O. Mikhailutsa, I. Skrypnyk
{"title":"COMPARATIVE TESTING OF APPLICATIONS DEVELOPED BASED ON MONOLITHIC AND MICROSERVICES ARCHITECTURES","authors":"Y. Lymarenko, V. I. Popivshchyi, V. V. Novak, O. Mikhailutsa, I. Skrypnyk","doi":"10.26661/2786-6254-2022-2-05","DOIUrl":"https://doi.org/10.26661/2786-6254-2022-2-05","url":null,"abstract":"","PeriodicalId":444502,"journal":{"name":"Computer Science and Applied Mathematics","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115832167","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
AN OVERVIEW OF USING GRAPH THEORY IN SOFTWARE SYSTEM DEVELOPMENT AND MAINTENANCE 概述图论在软件系统开发和维护中的应用
Pub Date : 1900-01-01 DOI: 10.26661/2413-6549-2022-1-09
D. O. Moskalyk, D. Antoniuk, Tetiana A. Vakaliuk, Ye. V. Ohinskyi, V. V. Kovalevskyi
{"title":"AN OVERVIEW OF USING GRAPH THEORY IN SOFTWARE SYSTEM DEVELOPMENT AND MAINTENANCE","authors":"D. O. Moskalyk, D. Antoniuk, Tetiana A. Vakaliuk, Ye. V. Ohinskyi, V. V. Kovalevskyi","doi":"10.26661/2413-6549-2022-1-09","DOIUrl":"https://doi.org/10.26661/2413-6549-2022-1-09","url":null,"abstract":"","PeriodicalId":444502,"journal":{"name":"Computer Science and Applied Mathematics","volume":"143 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127299519","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
DECISION-MAKING BY THE GROUP OF EXPERTS REGARDING THE EVALUATION OF PARTICIPANTS OF STATE TENDERS 专家组对国家招标项目参与者的评价作出决策
Pub Date : 1900-01-01 DOI: 10.26661/2413-6549-2022-1-11
V. E. Bondarenko, M. Karanfilov
{"title":"DECISION-MAKING BY THE GROUP OF EXPERTS REGARDING THE EVALUATION OF PARTICIPANTS OF STATE TENDERS","authors":"V. E. Bondarenko, M. Karanfilov","doi":"10.26661/2413-6549-2022-1-11","DOIUrl":"https://doi.org/10.26661/2413-6549-2022-1-11","url":null,"abstract":"","PeriodicalId":444502,"journal":{"name":"Computer Science and Applied Mathematics","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127471896","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
THE PROBLEM OF MINIMIZING DISPERSION 最小化分散的问题
Pub Date : 1900-01-01 DOI: 10.26661/2786-6254-2023-1-01
Yu. O. Hryhoriev, L. Kusik
{"title":"THE PROBLEM OF MINIMIZING DISPERSION","authors":"Yu. O. Hryhoriev, L. Kusik","doi":"10.26661/2786-6254-2023-1-01","DOIUrl":"https://doi.org/10.26661/2786-6254-2023-1-01","url":null,"abstract":"","PeriodicalId":444502,"journal":{"name":"Computer Science and Applied Mathematics","volume":"145 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132219161","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 Science and Applied Mathematics
全部 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