发布求助
文献互助 智能选刊 最新文献

Simul. Model. Pract. Theory最新文献

筛选
英文 中文
A note on geometric theories of fields 场的几何理论注释
Simul. Model. Pract. Theory Pub Date : 2022-08-01 DOI: 10.2140/mt.2023.2.121
Will Johnson, Jinhe Ye
{"title":"A note on geometric theories of fields","authors":"Will Johnson, Jinhe Ye","doi":"10.2140/mt.2023.2.121","DOIUrl":"https://doi.org/10.2140/mt.2023.2.121","url":null,"abstract":"Let $T$ be a complete theory of fields, possibly with extra structure. Suppose that model-theoretic algebraic closure agrees with field-theoretic algebraic closure, or more generally that model-theoretic algebraic closure has the exchange property. Then $T$ has uniform finiteness, or equivalently, it eliminates the quantifier $exists^infty$. It follows that very slim fields in the sense of Junker and Koenigsmann are the same thing as geometric fields in the sense of Hrushovski and Pillay. Modulo some fine print, these two concepts are also equivalent to algebraically bounded fields in the sense of van den Dries. From the proof, one gets a one-cardinal theorem for geometric theories of fields: any infinite definable set has the same cardinality as the field. We investigate whether this extends to interpretable sets. We show that positive dimensional interpretable sets must have the same cardinality as the field, but zero-dimensional interpretable sets can have smaller cardinality. As an application, we show that any geometric theory of fields has an uncountable model with only countably many finite algebraic extensions.","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"44 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86451937","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
FluidMLP: A general method for learning Lagrangian fluid simulation FluidMLP:学习拉格朗日流体模拟的通用方法
Simul. Model. Pract. Theory Pub Date : 2022-07-01 DOI: 10.1016/j.simpat.2022.102623
Feilong Du, X. Ban, Yalan Zhang, Yu Guo, M. Obaidat
{"title":"FluidMLP: A general method for learning Lagrangian fluid simulation","authors":"Feilong Du, X. Ban, Yalan Zhang, Yu Guo, M. Obaidat","doi":"10.1016/j.simpat.2022.102623","DOIUrl":"https://doi.org/10.1016/j.simpat.2022.102623","url":null,"abstract":"","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"47 1","pages":"102623"},"PeriodicalIF":0.0,"publicationDate":"2022-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87022302","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
Definable valuations on ordered fields 有序域上的可定义赋值
Simul. Model. Pract. Theory Pub Date : 2022-06-30 DOI: 10.2140/mt.2023.2.101
Philip Dittmann, Franziska Jahnke, L. S. Krapp, Salma Kuhlmann
{"title":"Definable valuations on ordered fields","authors":"Philip Dittmann, Franziska Jahnke, L. S. Krapp, Salma Kuhlmann","doi":"10.2140/mt.2023.2.101","DOIUrl":"https://doi.org/10.2140/mt.2023.2.101","url":null,"abstract":"We study the definability of convex valuations on ordered fields, with a particular focus on the distinguished subclass of henselian valuations. In the setting of ordered fields, one can consider definability both in the language of rings $mathcal{L}_{mathrm{r}}$ and in the richer language of ordered rings $mathcal{L}_{mathrm{or}}$. We analyse and compare definability in both languages and show the following contrary results: while there are convex valuations that are definable in the language $mathcal{L}_{mathrm{or}}$ but not in the language $mathcal{L}_{mathrm{r}}$, any $mathcal{L}_{mathrm{or}}$-definable henselian valuation is already $mathcal{L}_{mathrm{r}}$-definable. To prove the latter, we show that the value group and the ordered residue field of an ordered henselian valued field are stably embedded (as an ordered abelian group, respectively as an ordered field). Moreover, we show that in almost real closed fields any $mathcal{L}_{mathrm{or}}$-definable valuation is henselian.","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"20 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2022-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88171979","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 Efficient Trust Management using Feedback Credibility Evaluation Method in Fog Computing 基于雾计算反馈可信度评估方法的高效信任管理
Simul. Model. Pract. Theory Pub Date : 2022-06-01 DOI: 10.1016/j.simpat.2022.102610
Ravi Yadav, G. Baranwal
{"title":"An Efficient Trust Management using Feedback Credibility Evaluation Method in Fog Computing","authors":"Ravi Yadav, G. Baranwal","doi":"10.1016/j.simpat.2022.102610","DOIUrl":"https://doi.org/10.1016/j.simpat.2022.102610","url":null,"abstract":"","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"54 1","pages":"102610"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72810721","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}
引用次数: 3
Simulation, modelling and classification of wiki contributors: Spotting the good, the bad, and the ugly wiki贡献者的模拟、建模和分类:发现好的、坏的和丑陋的
Simul. Model. Pract. Theory Pub Date : 2022-06-01 DOI: 10.1016/j.simpat.2022.102616
Silvia García-Méndez, Fátima Leal, Benedita Malheiro, J. C. Burguillo-Rial, Bruno Veloso, Adriana E. Chis, H. González-Vélez
{"title":"Simulation, modelling and classification of wiki contributors: Spotting the good, the bad, and the ugly","authors":"Silvia García-Méndez, Fátima Leal, Benedita Malheiro, J. C. Burguillo-Rial, Bruno Veloso, Adriana E. Chis, H. González-Vélez","doi":"10.1016/j.simpat.2022.102616","DOIUrl":"https://doi.org/10.1016/j.simpat.2022.102616","url":null,"abstract":"","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"58 1","pages":"102616"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88253426","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}
引用次数: 2
CloudSimSFC: Simulating Service Function chains in Multi-Domain Service Networks CloudSimSFC:模拟多域业务网络中的业务功能链
Simul. Model. Pract. Theory Pub Date : 2022-06-01 DOI: 10.1016/j.simpat.2022.102597
Jie Sun, Tianyu Wo, Xudong Liu, Rui Cheng, Xudong Mou, Xiaohui Guo, Haibin Cai, R. Buyya
{"title":"CloudSimSFC: Simulating Service Function chains in Multi-Domain Service Networks","authors":"Jie Sun, Tianyu Wo, Xudong Liu, Rui Cheng, Xudong Mou, Xiaohui Guo, Haibin Cai, R. Buyya","doi":"10.1016/j.simpat.2022.102597","DOIUrl":"https://doi.org/10.1016/j.simpat.2022.102597","url":null,"abstract":"","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"147 1","pages":"102597"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73734050","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}
引用次数: 3
Testbed based analysis of Linux queue disciplines over Internet traffic mix 基于试验台的Linux队列规则对Internet流量混合的分析
Simul. Model. Pract. Theory Pub Date : 2022-06-01 DOI: 10.1016/j.simpat.2022.102601
Prathamesh Mone, Hrishikesh Athalye, Chetas Borse, D. Kshirsagar, Sachin D. Patil
{"title":"Testbed based analysis of Linux queue disciplines over Internet traffic mix","authors":"Prathamesh Mone, Hrishikesh Athalye, Chetas Borse, D. Kshirsagar, Sachin D. Patil","doi":"10.1016/j.simpat.2022.102601","DOIUrl":"https://doi.org/10.1016/j.simpat.2022.102601","url":null,"abstract":"","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"30 1","pages":"102601"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76817025","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
STG2P: A two-stage pipeline model for intrusion detection based on improved LightGBM and K-means STG2P:一种基于改进LightGBM和K-means的两阶段管道入侵检测模型
Simul. Model. Pract. Theory Pub Date : 2022-06-01 DOI: 10.1016/j.simpat.2022.102614
Zhiqiang Zhang, Le Wang, Guangyao Chen, Zhaoquan Gu, Zhihong Tian, Xiaojiang Du, M. Guizani
{"title":"STG2P: A two-stage pipeline model for intrusion detection based on improved LightGBM and K-means","authors":"Zhiqiang Zhang, Le Wang, Guangyao Chen, Zhaoquan Gu, Zhihong Tian, Xiaojiang Du, M. Guizani","doi":"10.1016/j.simpat.2022.102614","DOIUrl":"https://doi.org/10.1016/j.simpat.2022.102614","url":null,"abstract":"","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"6 1","pages":"102614"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78833374","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}
引用次数: 4
A secure drone-to-drone communication and software defined drone network-enabled traffic monitoring system 一种安全的无人机-无人机通信和软件定义的无人机网络交通监控系统
Simul. Model. Pract. Theory Pub Date : 2022-06-01 DOI: 10.1016/j.simpat.2022.102621
Adarsh Kumar, A. Yadav, S. S. Gill, H. Pervaiz, Q. Ni, R. Buyya
{"title":"A secure drone-to-drone communication and software defined drone network-enabled traffic monitoring system","authors":"Adarsh Kumar, A. Yadav, S. S. Gill, H. Pervaiz, Q. Ni, R. Buyya","doi":"10.1016/j.simpat.2022.102621","DOIUrl":"https://doi.org/10.1016/j.simpat.2022.102621","url":null,"abstract":"","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"52 1","pages":"102621"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85402305","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}
引用次数: 5
Calibration of the 5G-LENA System Level Simulator in 3GPP reference scenarios 5G-LENA系统级模拟器在3GPP参考场景下的校准
Simul. Model. Pract. Theory Pub Date : 2022-05-01 DOI: 10.48550/arXiv.2205.03278
Katerina Koutlia, Biljana Bojović, Zoraze Ali, S. Lagén
{"title":"Calibration of the 5G-LENA System Level Simulator in 3GPP reference scenarios","authors":"Katerina Koutlia, Biljana Bojović, Zoraze Ali, S. Lagén","doi":"10.48550/arXiv.2205.03278","DOIUrl":"https://doi.org/10.48550/arXiv.2205.03278","url":null,"abstract":"Due to the rapid technology evolution and standardization activity in the mobile communication networks, there is the need for the research community to be able to develop, test and evaluate new and/or already xisting solutions before industrial or real-network implementation. As such, it is essential to have an open-source tool that provides an alternative solution to that of industrial proprietary simulators that are not available for public usage. ns-3 5G-LENA simulator is an end-to-end open-source NR system-level simulator that allows extensive research to be performed. However, it is of great importance to guarantee that the results obtained using the simulator can be comparable to that of industrial simulators and real networks. For this reason, calibrating the simulator based on 3GPP defined specifications is crucial. Based on the above, in this paper we calibrate the ns-3 5G-LENA simulator according to the 3GPP reference results for NR-based outdoor deployments. Moreover, we explore the REM feature provided by the simulator, to ease the calibration process and understand better the radio environment. Results show the resemblance of the simulator performance to that of simulators used as references by 3GPP.","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"32 1","pages":"102580"},"PeriodicalIF":0.0,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88088278","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}
引用次数: 12
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信