标准模型

摘要： 据欧洲核子研究中心官网近日报道,大型强子对撞机(LHC)上底夸克探测器(LHCB)实验合作组宣布,他们观察到迄今最大的正反物质不对称现象,有助进一步揭示宇宙为何由物质而非反物质组成。电荷共轭—宇称(CP)不对称已成为粒子物理学标准模型的重要组成部分。如果没有它,宇宙大爆炸会产生等量的正反物质,它们相遇后会彼此湮灭。而要产生一个由物质主导的宇宙,一定有更多物质形成并在这场湮灭中幸存下来,由此正反物质之间必须存在一些差异,即CP不对称必然存在。

摘要： 证书加密体制不仅简化了传统公钥加密体制中存在的证书撤销问题,还能解决基于身份加密体制存在的密钥托管问题。现实情况下,敌手能通过侧信道攻击获得方案的部分私钥,由于传统的基于证书加密方案未考虑该攻击,则可能被攻破。为对抗侧信道攻击,构造了抗持续泄漏的基于证书加密方案。先给出基于证书加密方案的安全模型,在此模型上构造具体的抗持续泄漏基于证书加密方案,最后基于标准模型,证明该方案是选择密文安全的。

摘要： 可搜索加密是实现密文检索的重要密码学工具。在强安全模型下提出一个新的指定验证者的基于身份可搜索认证加密方案并在标准模型中证明了其安全性。由于新方案不使用双线性对和哈希到点两种常用高成本运算,与现有同类方案相比,新方案的运算成本更低,因此更符合实际需要。

摘要： 物理学家发现W玻色子(W boson)——传递弱核力的基本粒子——比理论预测的质量大了不少。虽然理论预测值与实验值只差了0.09%,但这明显超出了该实验0.01%以内的误差范围。这一数值与采用其他方法得到的结果也不一致。如果其他实验能够进一步验证该数值,可能就意味着粒子物理标准模型将首次被打破——该理论自1970年代被提出以来从未被撼动过,4月8日,Science以封面文章的形式刊发了此项成果。

摘要： 项目概况本项目采用沈阳空气动力研究所研发的航空并行CFD计算平台,进行标准明星并行评估计算。该软件可广泛应用于飞行器的亚、跨、超和高超音速的气动力学计算和一些特殊气体动力学问题如直升机旋翼、导弹发射、座舱弹射、投弹、机动和气动弹性等。

摘要： 粒子物理标准模型虽然取得了巨大成功,但是模型本身还存在规范等级问题。本文从教学的角度上分析了规范等级问题的意义。标准模型中光子、电子以及其他费米子和规范玻色子质量辐射修正因为有对称性保护而没有二次发散,而希格斯粒子的辐射修正却存在明显的截断能标的二次依赖关系,同时也会依赖与非标准模型的重粒子。本文还挑选了大学物理中精细调节的例子来说明此问题,说明解决希格斯粒子的规范等级问题也是构建新物理模型的重要动机之一。

摘要： 我国科学家在时间反演对称性实验检验上获重要进展日前从中国科学技术大学获悉,该校卢征天教授团队利用激光冷原子方法在时间反演对称性实验检验上获重要进展。相关成果发表在《物理评论快报》上。粒子物理理论推测电偶极矩研究是通向标准模型之外新物理的一条充满希望的探索途径,半个世纪以来一代又一代的实验在寻找电偶极矩信号,测量精度不断提高,但迄今为止所有测量都只得到上限。

摘要： 在希格斯玻色子发现10年之后,物理学家是如何研究它的:这种著名的粒子指出了标准模型的瑕疵和更远处崭新的物理领域。科学家是如何改变他们对饮食与老年痴呆之间联系的研究的:有关食物对阿尔茨海默病及老年痴呆影响的研究因其复杂性受到了阻碍,科学家希望新的研究方法更有成效。

摘要： 基于证书广播加密能保证发送方为多个已授权用户发送加密数据,在云存储服务中得到广泛的应用.由于存在云端泄漏,敌手可以通过侧信道攻击的方式来获取方案的部分私钥,基于证书广播加密未考虑到该攻击,可能会被攻破.为抵抗该攻击,构造抗持续泄漏基于证书广播加密方案.构造基于证书广播加密方案的安全模型,设计抗持续泄漏基于证书广播加密方案,证明该方案在标准模型下是选择密文安全的.

摘要： 一家规模生猪养殖企业,饲料浪费带来的年损耗有多高?有人算了笔账,年产万头的猪场按每日8吨饲料,浪费240-400千克计算,年损失近20万元。若是换成年存栏肉猪数超百万头的温氏集团,平均料量每增加100g,饲料成本一年就增加超1亿元。这可不是笔小数目。为了节约成本,温氏集团想出一套办法一一根据存栏猪只的数量和状态,建立饲料计划标准模型,加入流程校验审核机制,不断采集数据、优化模型。这一项目已完成试点,预计一年节省3000万元成本。

摘要： 本文研究了国外汽车空气动力学标准模型的发展过程,从空气动力学角度,总结了汽车标准模型在汽车气动性能开发、造型、风洞实验、数值模型验证过程中的所起的重要作用,分析了这些标准模型在当前汽车空气动力学发展水平下存在的优势和不足,以及与符合未来汽车空气动力学发展需求之间存在的差距,展望我国汽车空气动力学标准模型体系的研究和建设.

摘要： 采用一种简洁高效的转化方法将Waters的只能抵抗选择明文攻击(Chosen-Plaintext Attack,CPA)的基于属性的加密方案转化为能够抵抗选择密文攻击(Chosen-Ciphertext Attack,CCA)的密钥封装方案,并在此基础上提出了一个标准模型下增强的基于属性的认证密钥协商协议.该协议能够在CK+模型下可证安全.CK+模型是目前关于认证密钥协商协议的最强的安全性定义.本文协议满足弱的完美前向安全性,并能抵抗密钥泄露伪装攻击和临时密钥泄露攻击.相比于现有的基于属性的认证密钥协商协议,本文协议具有更高的通信效率和更强的安全性.

摘要： 群签名是一种重要的密码学原型提供了匿名性及可追踪性等安全性质,且具有很高的应用价值,虽然目前众多的群签名方案已经被提出,但是仍存在安全性、性能及功能性等方面诸多问题。针对这些问题,提出了一种新型的具有适应性选择密文攻击(adaptive Chosen Ciphertext Attack,CCA)匿名性的动态群签名方案。利用Groth-Sahai证明系统和可验证加密技术并基于线性判定假设以及q-强Diffie-Hellman假设给出了方案的具体构建,且允许成员可以动态地加入到群中,并在标准模型下对该方案进行了严格的安全性证明,证明其具有CCA匿名性、可追踪性以及不可诬陷性的安全属性。最后将该方案与现有其他方案在安全性及性能等方面进行了比较分析,结果表明提出的CCA匿名性动态群签名方案优于其他方案。

摘要： 提出了一个新的同时具有并行性和强密钥隔离性质的签名方案.在满足强密钥隔离安全性的基础上,引入了两个不同且相互独立的协助器设备.这两个设备能够互不影响的进行工作,两个协助器设备交替得帮助签名者完成临时私钥更新.即使用户的临时密钥进行频繁更新,也能保持较低的协助器密钥泄露的几率,从而减小了密钥泄露带来的危害.基于计算Diffie-Hellman问题的困难性,在标准模型下证明了方案的安全性.

摘要： 文中对粒子物理标准模型的基本态势、标准模型中的问题、超出标准模型的新物理进行介绍。标准模型中的三种规范相互作用的耦合常数，演化(重整化群)到高能时，相交到一点，是‘统一’的必要条件。研究发现‘超对称’化，标准模型才能够做到三种规范相互作用‘相交到一点’。

摘要： 电子医疗记录(EHR)系统是一种新型的应用,将给医疗领域带来极大的便利.敏感个人信息的隐私和安全是用户主要关心的问题,也会影响电子医疗记录系统的进一步发展和使用.可搜索加密(SE)方案是将安全保护和良好的操作功能结合在一起的一种技术,它可以在电子医疗记录系统中发挥重要的作用.在本文中,介绍了一种新的加密原始,即指定验证者和有定时代理重加密功能的联结关键词搜索(Re-dtPECK),这是一种基于时间的可搜索加密方案.该方案可以使患者将部分访问权授予其他人,被授权者在限定的时间内可以在患者的记录上执行搜索功能.并且被授权者能够执行搜索和解密操作的时限是可以控制的.此外,在一段特定的有效期过后,被授权者会被自动剥夺访问和搜索权限.该方案也可以支持联结关键词搜索并抵抗关键词猜测(KG)攻击.通过该解决方案,只有指定的验证者能够测试是否存在特定的关键词.本文通过为Re-dtPECK方案制定了一个系统模型和安全模型,表明这是一种在标准模型中安全的高效方案.通过比较和大量的仿真实验表明,该方案具有较低的计算和存储开销.

摘要： 作为当代科学典范的粒子物理学,已经进入大型强子对撞机LHC物理时代,寻找希格斯粒子算得上是对粒子物理标准模型的关键考验,同时也体现出当代科学研究范式中的大科学、大数据、大工程的特征.粒子物理标准模型的建立是当代大科学((big science)的典型代表，高能物理实验是当代大科学工程(large scienrifc engineering)的主战场，通过对粒子物理标准模型、数据处理金标准的发展史、粒子物理标准转变的系统考察，得到当代科学的研究范式:大科学理论-大科学数据-大科学工程。

摘要： 《建筑工程风洞试验方法标准》针对风洞试验设备、试验方法和数据处理等重要问题制定技术标准,其目的是规范风洞试验行为,提高风洞试验水平和质量.标准的主要内容包括:1)基本规定,如试验类别及适用性、大气边界层风特性模拟、试验基本要求、数据处理及报告等;2)试验设备,主要包括风洞与测试设备的建造验收、性能指标、保养维护等;3)试验方法,按风荷载试验、风环境试验、其他试验分别作具体规定,风荷载试验内容包括测压、测力以及气动弹性模型试验,风环境试验则涉及到测试与评估两个环节,其它试验是指地形模拟、流动显示、污染与介质漂移、风雨及风浪联合作用等比较特殊的试验.另外标准还有两个附录,分别对数值模拟和风洞试验标准模型的基本要求作出规定.

摘要： 为了实现在临床上具有实用意义的正畸术前预测,本研究在一个标准颅面部软组织三维有限元模型的基础上开展个体化变换研究,通过处理一位颌型正常的男性健康志愿者的CT图像数据,建立一个具有良好解剖结构和几何结构的标准模型.根据选定的标志点对标准模型进行了初次变换和二次变换,其中二次变换和初次变换的主要区别在于二次变换中标志点是基于误差修正的判断自动选取,按照不同的面部区域进行不同密集度的标志点数目选择.本文用以上方法对四个病例进行了个体化变换,在初次变换之后的个体化模型,其唇面部的标准误差在0.5～0.7mm之间,但是经过二次变换之后误差减小到0.2mm左右,低于系统误差(CT数据的像素空间分辨率0.300mm).

摘要： 中国的高能物理研究以北京正负电子对撞机为标志,三十多年来取得了长足的进步和许多具有重大国际影响的成果.在此转折之际,规划未来发展关系到下一个三十年.本文介绍了国际高能物理的发展趋势与规划,讨论了中国高能物理发展的设想,特别是巨型环形正负电子对撞机(CEPC)的科学目标、设计及实施方案.

摘要： 本发明公开了一种将CATIA BIM实体模型转换为SuperMap GIS标准化模型的方法，包括以下步骤：S1.解析CATIA BIM实体模型文件，遍历其包含的实体对象，并提取所述实体对象的参数信息写入中间文件；S2，解析中间文件，取得CATIA BIM三维底层数据，然后进行GIS模型重构，得到标准化GIS模型。其中中间文件为XML文件。本发明提供的转化方法具有操作便捷，一键转换，效率高，模型数据质量好，数据完整的优点。

摘要： 本申请提供了一种文本标准化模型的训练方法、文本标准化方法及装置，属于人工智能技术领域。所述方法包括：获取标准词汇集，所述标准词汇集包括多个标准词汇；基于所述标准词汇集中各标准词汇之间的相似程度，确定多个样本三元组，所述样本三元组包括中心样本词汇以及所述中心样本词汇关联的正样本词汇和负样本词汇；基于所述多个样本三元组，对文本标准化模型进行训练，所述文本标准化模型用于确定输入词汇之间的相似程度。上述技术方案，通过在训练模型时使用标准词汇集，使得不需要使用人工标注数据即可进行模型训练，从而实现了训练数据与细分领域下的人工标注数据的解耦，降低了训练成本，且具有广泛的适用性不受领域的局限。

摘要： 本发明实施例公开了一种数据标准化的方法，包括：获取待标准化对象的中文名称，在预设的标准知识库中搜索与所述待标准化对象的中文名称相关的标准用语；所述标准知识库中包括标准单词库、标准域库和标准用语库；若在标准知识库中搜索到与所述中文名称相关的标准用语，则获取所述标准用语对应的标准数据信息；利用所述标准数据信息对所述标准化对象进行修正。这样将标准化的方法落地，实现了对数据进行自动标准化处理的过程，提升了数据处理的效率，解决了现有技术中人工操作导致的工作量大、效率低的问题。

摘要： 本发明公开了一种基于BIM模型数据标准的BIM模型属性校验方法，包括如下步骤：基于工程阶段域、构件分类树、属性池及构件库建立BIM模型数据标准；接收待校验BIM模型，获取用户配置的工程阶段和构件分类树，并获取该工程阶段和构件分类树下的BIM模型数据标准的构件库；将待校验BIM模型的每个构件与BIM数据标准中的构件库中的构件进行对比，检查构件是否匹配；对符合匹配条件的每个构件基于BIM模型数据标准构件库中的构件属性进行属性校验，并输出校验结果。本发明的方法，通过建立BIM标准数据作为校验依据，实现了BIM模型不同阶段不同构件分类按需自动化校验，有效地保障BIM模型数据质量、提高工程项目效率、提升工程设计水平。

摘要： 本发明解决的技术问题在于提供一种基于BIM模型数据标准的BIM模型创建方法和系统，以实现BIM模型标准化、规范化创建。所述方法包括如下步骤：步骤S10，基于工程阶段域、构件分类树、属性池及构件库建立BIM模型数据标准；步骤S11，获取用户配置的工程阶段和构件分类，并获取该工程阶段和构件分类下BIM模型数据标准的标准构件库；步骤S12，执行当前建模系统构件库与所述标准构件库的映射；步骤S13，通过当前建模系统预创建BIM模型构件，并基于BIM模型数据标准对预创建的BIM模型构件进行属性有效性约束和校验；步骤S13，基于通过校验的BIM模型构件创建BIM模型。

摘要： 本发明提供了一种消化道肿瘤PDX模型及标准化模型库的构建方法，消化道肿瘤PDX模型取样，采集的消化道肿瘤外周血样本处理，取得肿瘤细胞，处理，培养，将肿瘤细胞稳定传代至n代，构建消化道肿瘤的PDX模型，模型评价，消化道肿瘤PDX标准化模型库建立中国人群人源消化道肿瘤移植动物模型和对应的原代肿瘤细胞系，为肿瘤的生物学研究、诊断标志物的寻找和药物筛选提供了一个重要的体内模型，避免用药随意性和盲目性，避免受到原组织样本等因素的扰动，消化道肿瘤PDX模型可稳定传代至三代以上，构建消化道肿瘤PDX模型标准样本库为探索新靶标和寻找分析消化道肿瘤临床特征提供生物信息学，辅助消化道肿瘤致命机制研究并辅助患者肿瘤治疗。

摘要： 本发明公开了一种IEC61850标准向IEC61970标准模型转换的方法,其先进行一次模型映射，按照CIM标准规定的模型层次结构完成模型映射，包括设备容器类Substation、VoltageLevel、Bay，设备类Breaker、Disconnector等；然后测量到设备的挂接经过属性一致性验证，将测量挂接到（或者叫包含于）相应的设备中。本发明方法为变电站智能化提供标准的模型转换依据，实现一致性的建模标准。统一的模型能使得不同应用实现真正意义上的信息共享，应用系统可以访问由不同厂家开发的终端设备，可以互相交换数据、共享信息，实现系统的互联互通。

摘要： 一种提供高精度的标准模型的标准模型制作装置，该标准模型用于基于马尔科夫模型、贝叶斯逻辑、线性判断等概率模型的声音识别、字符识别、图像识别等模式识别，基于贝叶斯网络等概率模型的意图理解，基于概率模型的数据采集等。该标准模型制作装置具备：准备一个以上参照模型的参照模型准备部(102)；存储参照模型准备部(102)准备的参照模型(121)的参照模型存储部(103)；以及标准模型制作部(104)，计算标准模型的统计量来制作标准模型(122)，以使对于参照模型存储部(103)存储的一个以上参照模型的概率或似然最大化或极大化。

摘要： 本发明公开了一种IEC61850标准向IEC61970标准模型转换的方法,其先进行一次模型映射，按照CIM标准规定的模型层次结构完成模型映射，包括设备容器类Substation、VoltageLevel、Bay，设备类Breaker、Disconnector等；然后测量到设备的挂接经过属性一致性验证，将测量挂接到（或者叫包含于）相应的设备中。本发明方法为变电站智能化提供标准的模型转换依据，实现一致性的建模标准。统一的模型能使得不同应用实现真正意义上的信息共享，应用系统可以访问由不同厂家开发的终端设备，可以互相交换数据、共享信息，实现系统的互联互通。

摘要： 本发明公开了一种基于模型检测的标准模型分析方法，其特点是采用四类子问题结构的形式化模型的检测方法，对类图模型中存在变量一致性问题、类图及对象图模型中存在约束一致性问题、状态图及顺序图模型中存在行为一致性问题，以及状态图模型中存在状态逻辑错误问题进行分析，其模型的构建及检测具体包括：1.）根据模板设计标准模型；2）构建子问题结构的形式化模型；3.）对子问题形式化模型施加待分析性质条件；4）分析子问题模型是否满足性质条件。本发明与现有技术相比具有高度自动化和可信、可靠的分析结果，有效替代替低效率地人工审查标准的过程，进一步提升了标准设计的科学性和规范性以及工作效率。