FORMA相关论文
天然气水合物(NGH ) 水库被看作了一个实质的未来 clean 精力资源并且怎么 feasibly 并且经济地从这些水库恢复气体是很重要的。微......
Competition between C-C and C-H Activation in Reactions of Neutral Nickel Atom with Cycloalkanes(n =
A theoretical investigation of the reaction mechanisms for C-H and C-C bond activation processes in the reaction of Ni w......
Low metal-graphene contact resistance is important in making high-performance graphene devices.In this work,we demonstra......
It has of course been generally recognized that every pulsation periodmust be followed by an interpulsation period,sinc......
Spread of human immunodeficiency virus 1 among men who have sex with men is emerging as a genuine so
Human immunodeficiency virus(HIV) infection among men who have sex with men(MSM) has increased to a drastic proportion t......
This report describes the first occurrence of the rare mineral mandarinoite (Fe3+2 Se3Og · 6H2O) in China. It occurs i......
Formal Inferring the Law of Conservation of Energy from Assuming A-Priori-ness of Knowledge in a For
The research purpose is invention (construction) of a formal logical inference of the Law of Conservation of Energy with......
A simplified multisupport response spectrum method is presented.The structural response is a sum of two components of a ......
JEWELRY has been produced in Beijing since ancient times beginning more than 2,000 years ago. The craft of filigree inl......
China holds a military parade to commemorate its victory won 70 years ago With a total of 12,000 troops and over 500 pie......
In the seismic profile interpretation process,as the seismic data are big and the small geological features are difficul......
热浪从不远离香港,但欲望呢?这个高度城市化的密集都会是后现代主义的经典产物,历史、社会、文化、种族交叠在一起,每个人都夹身于......
The Puguang (普光) gas field is the largest gas field found in marine carbonates in China. The Feixianguan (飞仙关) and ......
My Hong Kong-born daughters have had a slow start in learning Chinese. It’s something I deeply regret. But I couldn’t ......
Low-degree-of-freedom (Low-DOF) parallel manipulators (PMs) have drawn extensive interests, particularly in type synthes......
本文通过对荣华二采区10...
Carbonaceous and nitrogenous disinfection by-product formation in the surface and ground water treat
This work investigated the formation of carbonaceous and nitrogenous disinfection by-preducts (C-DBPs,N-DBPs) upon chlo......
在分析通用软件形式化验证方法的基础上,这里设计提出了一种专门针对密码软件安全性的形式化验证方法。该方法采用ACSL(ANSI/ISO C......
针对在射频识别(RFID)标签资源受限条件下的标签信息安全传输与隐私保护问题,提出了一种能够实现对RFID标签信息安全传输的协议,该......
以二氧化硅和高岭土混合物为载体，铯为主要活性组分，以Ag化合物、Zr化合物为助剂制备了以丙酸甲酯、甲醛为原料合成甲基丙烯酸甲酯(M......
川藏铁路沿线地形地貌复杂,构造活动强烈,地质灾害频发,其中古滑坡复活问题是威胁川藏铁路建设和运营的严重隐患之一。位于四川康......
大一统国家的长期维系和不断重建是中国国家韧性最为重要的一个特征。但中国国家韧性的形成并不来自于独特的地理条件,中国反而是......
用化学法和仪器法（甲醛测定仪）分别测定经甲醛熏制香菇中的甲醛含量,并对两种方法进行比较分析。结果表明,采用化学法和仪器法测得香......
Object-Z是形式规格说明语言Z的面向对象扩充,适合描述大型面向对象软件规格说明,但它不能很好地描述连续性实时变量和时间限制。......
语音情感识别是人工智能领域的研究热点.对不同的特征参数提取直接影响了语音情感识别的效果.通过提取基频、共振峰和Mel频率倒谱......
本文主要介绍了前陆盆地层序地层学的研究现状及急待解决的问题。前陆盆地层序地层学是将层序地层学的理论应用于构造活动区盆地分......
在继承传统清香型白酒酿造技艺的基础上，借鉴并吸收其他香型白酒的工艺优势，进行技术创新，经科学勾调，生产出醇厚风格的金骆驼酒。该酒......
云南省文山州壮剧团的成立,是云南壮剧发展史上的一个重要里程碑。文章综合采用二次文献分析法和实地调查法,通过对文山州壮剧团从......
从汉字分类思维的角度,在充分利用汉字的二维象形性以及人眼视觉冗余特性的基础上,提出一种将结构化汉字字形拆分再重组的自然型文......
对象角色建模方法是一种完全面向交流的面向事实概念建模方法,目前已发展到2.0版,已应用于本体论工程,因此需要对其进行形式化以分......
语法和语义层次的组合并不足以保证仿真组件组合的完整性、有效性和实用性,在语用组合问题分析的基础上,提出了基于扩展有限状态自......
简要介绍了L -系统的概念、文法规则以及L -系统生成图形的方法———“改写规则”和“龟形图法”。在阐述L -系统的原理和作图方......
针对现有搜索引擎的搜索结果数目庞大要从中找到有用信息十分困难的问题，基于将Web搜索结果进行聚类可以方便用户快速浏览搜索结果......
提出基于Petri网的形式化的工作流网模型，用Petri分析技术对工作流业务流程的动态行为进行了描述和分析，并给出了详细的建模算法。......
通过严格的形式化验证方法来分析电子商务交易协议,一直是电子商务领域研究的热点.SVO逻辑以其完善、简洁的特点在协议验证中被广......
[目的]综合利用茶叶废料，变废为宝：[方法]将茶叶废料分别以固体粉末、热水抽提物和弱碱溶液抽提物的形式添加到脲醛树脂中，研究茶叶废......
针对无人机编队目标跟踪中性能不可控的问题,提出了一种具有性能预设的分布式多机编队目标跟踪控制方法。首先提出一种基于运动参......
人工智能的知识表示包括专业知识与常识知识。人类常识知识具有语境相关性的显著特征，人工智能要处理常识知识就必须对与知识相关的......
以高精度三维地震资料为基础,结合构造演化恢复和区域构造背景,系统研究了准噶尔盆地车排子凸起断裂分布和形成机制。结果表明,车......
织物的低应力力学性能决定了织物的外观质量。成形性是织物外观质量的主要属性之一。探讨了纬密对精纺西服面料(WSF)低应力力学性......
本文总结了塔里木盆地牙哈油气田的发现过程中，地球化学录井，ＲＦＴ测井，中子寿命测井以及裸眼中途测试等井筒新技术的综合应用，准确判断油气......
自组织有序的TiO2纳米管和多孔型阳极氧化膜（PAO）因其潜在的应用价值而倍受关注.阀金属的阳极氧化研究了80多年,但是六棱柱元胞结构......
[摘要] 目的 了解新旧银行营业网点办公区内空气质量的状况。 方法 甲醛采用MODEL HE-102型甲醛测定仪现场测定，苯、甲苯、二甲苯采......
从构造演化、油源、圈闭、砂体展布与储集层条件、成藏关键时刻的配套、异常地层压力等方面，阐述黄骅坳陷北塘凹陷地质特征及其形成......
微软质询-握手鉴别协议(MS-CHAP)通常被嵌入到其他协议中,通过'三次握手'对参与通信的实体进行身份鉴别.利用一种基于攻击......
考虑表面效应,利用改进Miedema模型推导得到纳米二元合金形成焓的计算公式,并将它用于二元Ti-M（M=Si,Fe,Zn,Tc,Cd,Re,Os,Pb,Bi）纳米......
<正>形式化方法的研究和应用已有近川年的历史了,其产生是D伽tra和HOars在程序验证方面的工作和＆。ti,stratchey以及其他学者在程序......
[目的]了解室内装修对空气质量的影响，以便采取有效防护措施，减少污染对人体的危害。[方法]2007年2月，在莱芜市莲河小区选择26户居室（......
张爱玲红学观点和思想集中体现在《红楼梦魇》之中，这部著作集中考辨了《红楼梦》的成书问题，旨在申明其《红楼梦》“是创作不是自传......
