Results 71 to 80 of about 322,172 (167)
Production of top Quark pair at the large hadron collider(大型强子对撞机中顶夸克对的产生)
Zhejiang Daxue xuebao. Lixue ban, 2018 通过分析质心能量为8 TeV的质子-质子对撞实验，对大型强子对撞机上的ATLAS探测器，测量了顶夸克对产生过程pp→t的归一化微分散射截面，该实验数据对胶子部分子分布函数的确定非常重要.采用蒙特卡罗数值计算程序MadGraph以及CT10NNLO和CT14NNLO部分子分布函数，分别计算此过程的归一化微分散射截面，得到了与ATLAS实验相符的结果.进一步，用ATLAS实验数据和本文的理论计算结果，更新CT14NNLO部分子分布函数.结果显示，顶夸克对归一化微分散射截面对部分子分布函数不敏感 ...
ABLIKIMITursun(阿布力克木·吐尔孙) +1 more
doaj +1 more source
pitzer模型对nacro24hco3h2o体系的溶解度计算与实验验证
, 2000 利用三参数的Pitzer模型对25℃下的Na~+‖CrO~2~-_4,HCO~-_3-H_2O三元水盐体系溶解度进行了计算, 计算值略低于实验值; 当其中某一组份浓度较低时, 计算值与实验值基本一致; 当两组份浓度都较高时, 计算值与实验值偏差较大; 两组份共饱和时, 铬酸钠浓度计算值比实验值低0.9%, 碳酸氢钠浓度计算值比实验值低22 ...
张懿, 刘昌见
core
, 2010 计算机网络技术发展迅猛,为了使计算机专业的人才培养适应社会需求,将从计算机网络课程的教学内容入手,改革其理论教学内容与实验课程实践内容,理论与工程技能并重,以提高学生的学习兴趣 ...
葛丽娜
core
Interdisciplinary reasoning on description logic
, 2012 由于知识库的定义不同,相近领域的知识库不能相互利用已有知识进行推理.为了联合不同的知识库进行推理,通过对描述逻辑的表现形式进行扩展提出一种组合描述逻辑,并基于概念的相似性将不同的领域概念进行关联,给出组合描述逻辑的语法及语义以及相应的Tableau算法.通过实例表明,组合描述逻辑可以利用已有知识进行推理;组合描述逻辑可以将不同的知识库进行结合,为借用不同知识库的知识进行推理提供一条新的途径.国家自然科学基金资助项目(60973147);广西自然科学基金资助项目(2011GXNSFA018154 ...
杨世瀚 +3 more
core
Formal Verification of Analog and Mixed Signal Circuit
, 2016 针对模拟与混合信号(AMS)电路形式化建模逼真度低和描述不规范的问题,提出一种基于基尔霍夫电流定律节点分析的形式化建模方法。通过扩展计算树逻辑公式,在保留电路更多物理特性的前提下综合描述和验证AMS电路的离散事件和动态行为,保证性质验证的精确性和可信性。以环形振荡器为例,给出该方法的实现过程,并通过Coho工具对振荡器电路进行验证。实验结果表明该方法正确、有效。For the low fidelity and non-normative description of formal modeling in
杨世瀚 +3 more
core
, 2013 水和水蒸气的热力学性质是工程中重要的基础数据,获得可靠的计算途径对于工程设计具有重要的意义。本文利用CPA方程研究了水和水蒸气热力学性质的计算,建立了基于CPA方程的热力学性质计算模型,主要研究了水的饱和状态、水和水蒸气的PVT性质以及焓值计算。通过考察研究发现,在(0~22)bar范围内,CPA方程计算的水的热力学性质与其实验数据具有良好的一致性,所计算的数据与实验数据的平均相对偏差小于1%,最大偏差不超过5%,满足工程计算的精度需要 ...
曾志勇 +3 more
core +1 more source
, 1985 引言“数据”指的是人类在社会活动中,产生出来的字母、数字、符号等。例如:化学方面的各种实验数据、化学分子式及有关参数是作为数据形式出现的;图书馆中的资料、文献卡片;人事部门的人事档案;财会的帐目统计等,也是作为数据的形式出现的。这些数据,可以用计算机语言编制的程序来控制,并且将它们存贮在某一台计算机中。数据转换就是将存在一台计算机上的数据,以软件方式通过计算机输入输出存贮设备转换到不同型号的另一台计算机上 ...
王雅丽
core
基于Profibus的激光加载热疲劳实验控制系统 [PDF]
, 2006 采用激光作为活塞热疲劳模拟实验的热源.为模拟活塞上表面的温度波动,设计了基于Profibus的实验控制系统,对激光器的开启、关闭及输出功率进行控制.实验结果表明,该系统实现了活塞热疲劳实验的设计要求,具有实验周期短、可靠性高等优点.;采用激光作为活塞热疲劳模拟实验的热源.为模拟活塞上表面的温度波动,设计了基于Profibus的实验控制系统,对激光器的开启、关闭及输出功率进行控制.实验结果表明,该系统实现了活塞热疲劳实验的设计要求,具有实验周期短、可靠性高等优点.;采用激光作为活塞热疲劳模拟实验的热源 ...
王立新, 虞钢, 宋宏伟, 周良
core
, 2017 荧光定量PCR（polymerase chainreaction）是一种在分子生物学研究中被广泛使用的技术，与普通PCR的不同在于其可以获得定量数据。通过在PCR反应体系中加入荧光结合物质或荧光标记的探针，利用荧光信号积累实时监测整个PCR进程，实验者可实现对初始模板数量的计算。 为提升心理所科研人员和研究生的实验技能，提高荧光定量PCR仪使用率，公用实验室于10月31日在心理所东楼502实验室举办了荧光定量PCR实验技术培训。 本次培训由公用实验室高级实验师励映聪主讲。她结合本实验室配备的ABI ...
公用实验室
core
四川大学学报. 自然科学版, 2009 本文采用Roothaan-Hartree-Fock波函数,运用等效势模型,并使用不合任意参数的交换势计算了0.1～30 eV的慢电子与高Z原子Xe、Rn弹性碰撞的总截面和动量转移截面.对于Xe原子我们的计算结果与实验数据符合的比较好,对于Rn原子我们的计算结果和其他理论计算结果数据总的趋势是一致的.但至今尚未见有实验结果的报道,仍需以后实验来验证.
孙克斌, 杨向东
doaj