XiaoMi-AI文件搜索系统
World File Search SystemUTS
具有经典变量的量子霍尔逻辑 - UTS 的 OPUS
霍尔逻辑提供了一种面向语法的程序正确性推理方法，并且已被证明在经典和概率程序的验证中非常有效。现有的量子霍尔逻辑提案要么缺乏完整性，要么仅支持量子变量，从而限制了它们的实际应用能力。在本文中，我们针对一种涉及经典和量子变量的简单 while 语言提出了一种量子霍尔逻辑。对于用该语言编写的量子程序的部分正确性和完全正确性，证明了其合理性和相对完整性。值得注意的是，由于对经典量子态和相应断言有了新的定义，该逻辑系统非常简单，与用于经典程序的传统霍尔逻辑相似。此外，为了简化实际应用中的推理，提供了辅助证明规则，支持在断言的经典部分引入析取和量词，在量子部分引入超算子应用和叠加。最后，对一系列实用量子算法，特别是Shor因式分解的整体算法进行了形式验证，以证明该逻辑的有效性。
电力系统研究 - UTS的作品
一方面，需求和可再生能源（RES）的固有间歇性经常带来诸如微电网内过载或剩余产生之类的挑战。另一方面，电动汽车Ag Gregations（EVA）已获得了极大的关注，作为解决气候变化并成为石油基汽车的可持续替代品的关键策略。然而，微电网中EVA的不协调部署，尤其是面对RES的间歇性质，对微电网系统的安全操作构成了潜在的威胁。为了解决上述问题，这项研究集中于互连一组散射的微电网以创建多生物网络系统。更详细地，通过制定一种能源管理策略来重新配置微电网之间的互连，这些多菌流系统之间的有效交换功率可以促进，从而解决了负载需求的可变性，这是RESS的Sto Chastic生成模式。此外，在可重新配置的微电网结构中同步了EVA的网格到车辆（G2V）和车辆到网格（V2G）概念，以增强模型的灵活性。为了在现实情况下评估模型，还采用了一种基于方案的方法来反映不确定性对模型的影响。以其数学凸度为特征的提议方法允许使用诸如CPLEX之类的有效求解器，从而确保在有限的时间范围内实现可行的全局解决方案。通过在修改后的33个总线测试系统上实现该方法的有效性，该方法以多感细胞系统运行。结果表明，在EVA的存在下，提出的方法是优化可重构多微晶系统的运行的有前途的工具的有效性，从而导致运行成本降低和电压曲线增强。
机器学习在医疗应用中的应用 - UTS 的 OPUS
近年来，机器学习 (ML) 方法的应用已广泛应用于各种应用领域，例如医疗、金融、环境、营销、安全和工业应用，以解决各种复杂挑战。ML 方法的特点是能够检查大量数据并发现令人兴奋的关系、提供解释和识别模式。ML 有助于提高许多疾病诊断系统的可靠性、性能、可预测性和准确性。本调查全面回顾了 ML 在医疗领域的应用，重点介绍了标准技术及其对医疗诊断的影响。深入讨论了五个主要的医疗应用，重点是采用 ML 模型来解决癌症、医学化学、大脑、医学成像和可穿戴传感器中的问题。最后，本调查为研究人员、从业者和决策者制定未来的研究和发展方向提供了宝贵的参考和指导。
2021 年电池技术路线图 - UTS 的 OPUS
1 湖南大学物理与电子学院，长沙 410082，中国 2 德克萨斯材料研究所和德克萨斯大学奥斯汀分校材料科学与工程项目，德克萨斯州奥斯汀 78712，美国 3 南京工业大学化工学院和能源科学与工程学院材料化学工程国家重点实验室，南京 211816，中国 4 中国科学院应用化学研究所，长春电分析化学国家重点实验室，长春 130022，中国 5 五邑大学应用物理与材料学院，江门市东城村 22 号，529020，中国 6 同济大学材料科学与工程学院汽车新能源研究所，上海 201804，中国 7 清华大学材料科学与工程学院新型陶瓷与精细加工国家重点实验室100084，中国 8 天津大学材料科学与工程学院先进陶瓷与加工技术教育部重点实验室，天津 300072，中国 9 悉尼科技大学清洁能源技术中心，Broadway，新南威尔士州 2007，澳大利亚 10 华南理工大学制浆造纸工程国家重点实验室，广州 510641，中国 11 中南大学物理与电子学院，长沙 410012，中国 12 北京工业大学材料与制造学院，先进功能材料教育部重点实验室，北京 100124，中国 13 上海交通大学材料科学与工程学院，上海 200240，中国 14 福建省纳米材料研究所，中国科学院功能纳米结构设计与组装重点实验室、福建省纳米材料重点实验室中国科学院物质结构研究所，福州 350002 15 中国科学院深圳先进技术研究院功能薄膜研究中心，深圳 518055
人工智能中的量子数学 - UTS的作品
在自2010年以来的十年中，人工智能的成功一直处于科学和技术的最前沿，并且向量太空模型巩固了在人工智能的最前沿的位置。同时，量子计算机变得越来越强大，新闻中经常发布重大进展的公告。这两个领域的基础数学技术的共同点比有时实现的更多。向量空间在1930年代在量子力学的公理心脏中处于位置，这种采用是从向量空间的线性几何形状引导逻辑和概率的关键动机。使用张量产品对粒子之间的量子相互作用进行建模，该产品也用于表达人工神经网络中的对象和操作。本文描述了其中一些常见的数学领域，包括在人工智能（AI）中使用它们的示例，尤其是在自动推理和自然语言处理（NLP）中。讨论的技术包括向量空间，标量产品，子空间和含义，正交投影和否定，双重矢量，密度矩阵，正式操作器和张量产品。应用领域包括信息检索，分类和含义，模拟单词范围和歧义，推断知识库，决策和语义构成。这些方法中的某些方法可以在量子硬件上实现。此实现的许多实际步骤都处于早期阶段，有些已经实现了。解释一些常见的数学工具可以帮助AI和量子计算中的研究人员进一步利用这些重叠，并在此过程中识别和探索新的方向。
分析化学杂志 - UTS 的 OPUS
a Vel Tech Rangarajan Dr. Sagunthala 科技研发研究所机械工程系，Avadi，钦奈 600 062，泰米尔纳德邦，印度 b Aditya 大学机械工程系，Surampalem 533437，安得拉邦，印度 c 西那瓦大学工程学院研究员，Bang Toei 12160，泰国 d 马来西亚理工大学航空航天工程学院，14300 Nibong Tebal，槟城，马来西亚 e 哈立德国王大学工程学院机械工程系，PO Box 394，艾卜哈 61421，沙特阿拉伯 f 哈立德国王大学工程与技术创新中心，艾卜哈 61421，沙特阿拉伯 g 丽水学院工程学院，浙江省丽水市 323000 h Graphic Era Deemed to be 大学机械工程系，北阿坎德邦德拉敦248002，印度 i 土木与环境工程学院，FEIT，悉尼科技大学，新南威尔士州 2007，澳大利亚 j 大西洋理工大学斯莱戈分校健康与环境数学建模与智能系统中心（MISHE），Ash Lane，斯莱戈 F91 YW50，爱尔兰 k 大西洋理工大学斯莱戈分校机电一体化工程系，Ash Lane，F91 YW50 斯莱戈，爱尔兰 l 国立科技大学电气与机械工程学院机械工程系，伊斯兰堡 46060，巴基斯坦 m 延世大学机械工程系，首尔 120-749，韩国
肺癌中的细胞衰老 - UTS 的 OPUS
a 印度理工学院生物科学与生物工程系 (BSBE)，坎普尔，北方邦 208016，印度 b 悉尼科技大学健康研究生院药学专业，悉尼，新南威尔士州 2007，澳大利亚 c 悉尼科技大学澳大利亚补充和整合医学研究中心健康学院，乌尔蒂莫，澳大利亚 d 莫纳什生物医学发现研究所和莫纳什大学生物化学与分子生物学系，克莱顿，维多利亚州 3800，澳大利亚 e 阿德莱德大学化学工程学院，阿德莱德 5005，澳大利亚 f 木浦国立大学药学院和天然药物研究所，全罗南道 58554，韩国 g Naraina Vidya Peeth 机构集团，APJ 阿卜杜勒卡拉姆博士技术大学药学院，勒克瑙，北方邦 0208020，印度 h Pratiksha 药学研究所，古瓦哈提，阿萨姆邦 781026，印度 i 阿萨姆皇家全球大学皇家药学院，古瓦哈提，阿萨姆邦 781035，印度 j 萨维塔医学院全球健康研究中心，萨维塔大学萨维塔医学和技术科学研究所，印度钦奈 k 阿治曼大学医学和生物相关健康科学研究中心，阿拉伯联合酋长国阿治曼 l 洛夫利专业大学药学院，贾朗达尔-德里 GT 路，帕格瓦拉，旁遮普，印度 m 炎症中心，百年研究所和悉尼科技大学，生命科学学院理学院，悉尼，新南威尔士州 2007，澳大利亚
统一票务系统（UTS）（启动）模型
虽然本RFP中的信息是出于真诚的准备，但事实并非据称是全面或已被独立验证的。RSRTC，或其任何官员或雇员，其任何顾问或顾问均不对本RFP中所包含的信息的准确性，合理性或完整性承担任何责任或责任RFP是基于或根据任何收件人或其专业顾问提供或提供的任何书面或口头信息，并且在法律允许的范围内以及有关当事方的欺诈性虚假陈述，因此，责任明确违反。
朝着零零碳 - uts
体现的碳被认为是与建筑有关的温室气体（GHG）排放的主要贡献者。为了响应，已经提出了雄心勃勃的目标，以减少建筑环境中的具体碳，包括“净零具体碳”的抽吸。这项研究使用生命周期评估（LCA）方法来探索澳大利亚多层办公大楼中可行的体现碳减少的大小。它将典型的建筑与更雄心勃勃的设计场景进行了比较，以确定在当前情况下净零碳体现的碳以及设计，材料和选择性决策如何影响这一点。结果表明，雄心勃勃的设计和物质变化，包括完整的木材结构，混合木材 - 铝铝式外观，还原的柱网格，稻草绝缘等，可实现17-45％的前期碳减少。然而，减少的大小受到材料数据源和方法论的高度影响。净零体现的碳是可以实现的，尽管只是暂时持续19年。为了响应，我们提出了一个新的术语“时间净零体现的碳”，以确定建筑物生命周期期间不再被视为临时碳汇的时间点。本文以透明度和度量的可靠性，对一致的测量和基准测试的方法以及实现大型实施碳减少的挑战的需求，以指标的透明度和度量的可靠性，需要一致的方法来结束。