Forma相关论文
JEWELRY has been produced in Beijing since ancient times beginning more than 2,000 years ago. The craft of filigree inl......
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......
在分析通用软件形式化验证方法的基础上,这里设计提出了一种专门针对密码软件安全性的形式化验证方法。该方法采用ACSL(ANSI/ISO C......
针对在射频识别(RFID)标签资源受限条件下的标签信息安全传输与隐私保护问题,提出了一种能够实现对RFID标签信息安全传输的协议,该......
以二氧化硅和高岭土混合物为载体，铯为主要活性组分，以Ag化合物、Zr化合物为助剂制备了以丙酸甲酯、甲醛为原料合成甲基丙烯酸甲酯(M......
川藏铁路沿线地形地貌复杂,构造活动强烈,地质灾害频发,其中古滑坡复活问题是威胁川藏铁路建设和运营的严重隐患之一。位于四川康......
大一统国家的长期维系和不断重建是中国国家韧性最为重要的一个特征。但中国国家韧性的形成并不来自于独特的地理条件,中国反而是......
Object-Z是形式规格说明语言Z的面向对象扩充,适合描述大型面向对象软件规格说明,但它不能很好地描述连续性实时变量和时间限制。......
语音情感识别是人工智能领域的研究热点.对不同的特征参数提取直接影响了语音情感识别的效果.通过提取基频、共振峰和Mel频率倒谱......
本文主要介绍了前陆盆地层序地层学的研究现状及急待解决的问题。前陆盆地层序地层学是将层序地层学的理论应用于构造活动区盆地分......
在继承传统清香型白酒酿造技艺的基础上，借鉴并吸收其他香型白酒的工艺优势，进行技术创新，经科学勾调，生产出醇厚风格的金骆驼酒。该酒......
从汉字分类思维的角度,在充分利用汉字的二维象形性以及人眼视觉冗余特性的基础上,提出一种将结构化汉字字形拆分再重组的自然型文......
语法和语义层次的组合并不足以保证仿真组件组合的完整性、有效性和实用性,在语用组合问题分析的基础上,提出了基于扩展有限状态自......
简要介绍了L -系统的概念、文法规则以及L -系统生成图形的方法———“改写规则”和“龟形图法”。在阐述L -系统的原理和作图方......
针对现有搜索引擎的搜索结果数目庞大要从中找到有用信息十分困难的问题，基于将Web搜索结果进行聚类可以方便用户快速浏览搜索结果......
提出基于Petri网的形式化的工作流网模型，用Petri分析技术对工作流业务流程的动态行为进行了描述和分析，并给出了详细的建模算法。......
通过严格的形式化验证方法来分析电子商务交易协议,一直是电子商务领域研究的热点.SVO逻辑以其完善、简洁的特点在协议验证中被广......
[目的]综合利用茶叶废料，变废为宝：[方法]将茶叶废料分别以固体粉末、热水抽提物和弱碱溶液抽提物的形式添加到脲醛树脂中，研究茶叶废......
针对无人机编队目标跟踪中性能不可控的问题,提出了一种具有性能预设的分布式多机编队目标跟踪控制方法。首先提出一种基于运动参......
人工智能的知识表示包括专业知识与常识知识。人类常识知识具有语境相关性的显著特征，人工智能要处理常识知识就必须对与知识相关的......
以高精度三维地震资料为基础,结合构造演化恢复和区域构造背景,系统研究了准噶尔盆地车排子凸起断裂分布和形成机制。结果表明,车......
自组织有序的TiO2纳米管和多孔型阳极氧化膜（PAO）因其潜在的应用价值而倍受关注.阀金属的阳极氧化研究了80多年,但是六棱柱元胞结构......
[摘要] 目的 了解新旧银行营业网点办公区内空气质量的状况。 方法 甲醛采用MODEL HE-102型甲醛测定仪现场测定，苯、甲苯、二甲苯采......
微软质询-握手鉴别协议(MS-CHAP)通常被嵌入到其他协议中,通过'三次握手'对参与通信的实体进行身份鉴别.利用一种基于攻击......
[目的]了解室内装修对空气质量的影响，以便采取有效防护措施，减少污染对人体的危害。[方法]2007年2月，在莱芜市莲河小区选择26户居室（......
论文从文化层、形式层和意义层三个层面揭示了余光中诗学的新古典主义特征。余光中诗学有着古今中西文化宽广、多元的视野,但民族......
共振峰是语音信号的一个重要特征,对提高耳聋患者的语言识别率具有重要意义。然而,目前数字助听器领域常用的响度补偿算法（多通道响......
针对多旋翼无人机的编队动态航路规划问题,提出一种蚁群算法和快速扩展随机树RRT算法相结合的改进混合算法。首先利用蚁群算法离线......
采用光学显微镜（OM）和扫描电子显微镜（SEM）对聚丙烯腈（PAN）原丝中粘连的特征、危害和形成进行了研究。结果表明，粘连是尺度最大、最致命的......
以梅里石3号滑坡为例,经过详细工程地质勘察,定性分析了滑坡的成因机制。结果表明,该滑坡是反倾岩体倾倒变形破坏的产物,其成因机......
为了研究木质人造板材释放气体的遗传毒性,用木质人造板材释放的不同浓度的甲醛气体对蚕豆vicia faba根尖进行染毒,用显微镜观测根......
目的观察盐酸米诺环素软膏根管封药治疗窦道型根尖周炎的疗效。方法278例窦道性根尖周炎病人。随机均分为2组：实验（A）组采用盐酸米诺......
针对高校图案课的系统性我们提出了一个平面图案概念,并系统地将传统纹样与构成理论结合起来,指出两大理论之间分与合的关系,提出......
关系化早就是国际语言学界关注的热点,近年来也逐步成为国内学者讨论的对象,了解国际学术前沿和动态有利于开展行之有效的科研活动......
在多媒体技术中 ,静态图象是一种重要的信息媒体 ,其存储格式多种多样并且数据量较大 ,这些都阻碍了多媒体技术的发展。为使多媒体......
尽管章学诚提出的“史德”，能促使史家写出真实可信的历史，但尚不足以解释何以许多史家倾其一生研史、治史，最终形成中国古代史学蓬勃......
目的以水溶性高分子材料PEG-6000为基质,研究氯霉素耳用滴丸的最佳制备工艺.方法通过对氯霉素耳用滴丸制备过程的实验,以滴丸的成......
逻辑化方法是当前分析密码协议安全性的重要方法．本文通过运用一种新的认证逻辑系统，给出NSL认证协议的形式化分析证明，并提出协议改......
B-1井在采用高密度钻井液钻进过程中发生了含气溢流,由于未及时压井,使井下情况复杂化,最后因卡铅而被迫侧钻.简单介绍了该井发生......
低、特低渗透油气田开发中普遍存在因无机结垢、有机结垢、微生物、外来颗粒、黏土矿物等引起的近井地带地层堵塞问题.针对此问题,......
结合我国自主研发的20kW斯特林太阳能热发电系统的聚光器镜面组件,通过比较几种不同的镜面组件排布方式,提出了3层多碟式排布方案.......
为了验证OpenFlow网络中网络控制器NOX系统内典型应用程序Pyswitch的正确性,采用Promela语言对经简化的OpenFlow网络中的网络元素......
语用学理论研究过程中形成了构成观与综观、英美流派与欧洲大陆学派、微观语用学与宏观语用学、Habermas的规范语用学等主要观点和......
通过对西安城区2006-2011年具有代表性完整信息的楼盘区位、销售价格等资料的分析，研究西安城内、二环内、曲江、城东、城南、长安......
金钟山自然保护区计有种子植物101科273属514种，落叶栎林分布面积最广。随海拔升高，植被依次呈现出4个分布带：沟谷落叶阔叶林、沟谷常......
毛泽东在领导中国人民建立新中国、巩固新中国和发展新中国的实践中,在处理国家内政外交中的意识形态与国家利益这一对极其密切而......
甲酸盐钻井液是一种新型无固相钻完井液体系，具有密度易调且范围宽（1．0～2．3g／cm^3）、高温稳定性好（225℃）、抑制性强、可增强页岩井壁稳定的......
汉语受事主语句作为独立的句式是20世纪80年代以后开始受到研究者们的重视的.受事主语句的研究从一开始就存在各种争议,从概念的界......
“留守儿童”是我国社会转型时期的一个特殊群体，由于政府与社区关注较少、学校教育和管理失控、父母监控机制弱化、留守儿童自身进......
