张驰豪
- 作品数：6 被引量：3H指数：2
- 供职机构：上海交通大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术医药卫生更多>>
- 一类约束可满足问题的固定参数算法
- 设为一个二元布尔约束可满足问题的实例。考虑如下问题:判定是否可以删除至多个中约束,使得剩下的约束是可满足的。我们称其为AlmostCSP问题。容易证明,此问题是NP难的,本文从参数复杂性的角度对其可解性进行研究,其中k为...
- 张驰豪
- 关键词：固定参数可解
- 文献传递
- 铁磁性双态自旋系统配分函数的可近似性被引量：2
- 2020年
- 双态自旋系统是统计物理学在处理互作用粒子系统时所建立的简化模型,计算该系统的配分函数(partition function)在统计物理及计算机科学中均有重要意义。对于一般的系统,配分函数的精确计算已被证明是#P难的,但其是否能被高效地近似计算一直是理论计算机科学关注的问题。近年来,这一领域取得了较大的突破。研究者建立了配分函数的可近似性与该物理系统相变的联系,并且在很大的参数范围内理解了可近似性。文中对铁磁性双态自旋系统配分函数的可近似性研究进行了综述,介绍了目前针对该问题设计近似算法的三类技巧的主要思想,并把这些算法的结果与该问题在不可近似方面的结果进行了比较。
- 邱国良张驰豪
- 计数问题的近似算法
- 按照计算复杂性对计数问题进行分类是理论计算机科学中的一个核心主题。尽管最近几年精确计数领域有很大的进展，对于计数问题的可近似性的研究却一直都很初步，我们仅仅在一些非常局限的模型内，才对计数问题的可近似性才有完整的刻画。 ...
- 张驰豪
- 文献传递
- t-TUCB在肝硬化门静脉高压症中的肝内作用
- 研究目的慢性肝脏炎症及肝硬化通常伴随着纤维化和肝内血管阻力的增加。目前发现在多个疾病模型中,通过抑制可溶性环氧化物水解酶（soluble epoxide hydrolase,sEH）可以缓减纤维化,从而改善疾病的进展。本...
- 张驰豪
- 关键词：肝硬化门静脉高压症环氧二十碳三烯酸
- 文献传递
- 利用MCMC的基于节点关联性的采样方法
- 一种利用MCMC的基于节点关联性的采样方法，获取机器学习所需要的对应领域的数据集，进行图建模，以数据点作为图的节点，以数据点之间的关联关系作为关联权重并计算每个节点的关联性权重函数，以随机状态作为起始状态按设定的步数进行...
- 何宇乔张驰豪
- 理论计算机科学专题前言被引量：1
- 2020年
- 理论计算机科学是整个计算机科学的理论根基。自从Alonzo Church和Alan Turing分别使用形式语言与自动机来为人类的计算行为进行理论建模开始,理论计算机科学领域的学者们就将计算本身作为一种客观存在,以“格物,致知”的态度来探究计算的本质原理。现代计算机科学与技术及其相应工程与应用的蓬勃发展,为这一基础学科提供了创新的舞台,使其充满了活力。
- 尹一通何琨张驰豪操宜新孙晓明
- 关键词：理论计算机科学计算机科学与技术形式语言自动机基础学科理论根基
