FORMAL相关论文
Because of the rapidly changing nature of our global cultural environment and the role of literacy in enhancing personal......
【Abstract】For the past two decades, the international trade in China has been dramatically on the rise and the professi......
摘 要 当代大学生的道德人格呈现出较为普遍、明显的双重性。个人道德与公共道德的错位,道德认知与道德行为的断裂,学校道德生活与......
很多时候,入选联合国教科文组织的世界遗产名录不仅是福,也同样是祸。会安古镇完全就是人们心目中越南的模样:逼仄的小巷、木屋店......
Reception Theory can be applied to the field of translation to understand why the translation of the same literary work ......
Does media governance restrict corporate overinvestment behavior? Evidence from Chinese listed firms
Using China’s A-share listed firms from 2007 to 2011, this paper empirically tests how media governance affects firms’......
皮划艇1924年作为表演项目进入奥运会。1936年,皮划艇成为奥运会正式比赛项目。1972年,皮划艇又增加了急流回旋项目。由于花费太高......
the formal name of Xiao Shenyang is Shen He. He was born into a farmer family Jn Kai Yuan City. His desire for art was n......
2007年的考纲规定,高考作文里若出现网络用语可能会被扣分,这引起了社会上针对网络语言的存在是否合理的争论。无论谁对谁错,网络语言......
Ensuring the correctness and reliability of large-scale resource sharing and complex job processing is an important task......
第一節 短文朗读(计6分) 你将有60秒钟的时间阅读屏幕上的短文,并作朗读准备。在听到“开始录音”的信号后,请在90秒钟内朗读短文一......
The protocol testing technology used in the next generation Internet should satisfy some new challenges and requirements......
阜阳市局 £4a 局长——_MINtkMMtgj’#lnH$B——q.M——D收束志不他只邀狲位J则【科校为先导推动地租工作.B为广为戳民U用凶盼引眯B.......
参考译文 第一步,思考一下你为什么想要做志愿者。你是想为世界还是想为你的社区献出一份力?你是想认识新朋友还是想学到一些有用......
The driving force of institutional changes in the Chinese securities market and in- novative patternsThe emergence and d......
Schema theory has been adopted in the study of language learning and reading mode.In reading,schema refers to the knowle......
Word formation is the process or result of forming new words,which is a way of deriving linguistic units to create a new ......
As the basis of designing and implementing a cyber-physical system (CPS), architecture research is very important but st......
【Abstract】In recent years, China’s foreign trade economy is growing quickly. China has become the largest trade countr......
In this paper we consider a specific model of membrane systems, i. e. membrane systems with attributes. In these systems......
Fuzzy Turing machines are the formal models of fuzzy algorithms or fuzzy computa-tions. In this paper we give several di......
随着中国加入世界贸易组织和即将到来的2008年奥运会,中国成为了一个崛起的现代化国家。中国将有越来越多的机会与世界各国合作。......
在煤矿行业中,对面向领域的软件需求一致性验证,成为目前重要的研究课题之一。文章通过简要介绍面向领域的软件需求一致性验证方法,根......
Domain analysis is the activity of identifying and representing the relevantinformation in a domain, so that the informa......
Effects of Mineral Tourmaline Particles on Photocatalytic Activities of RE/TiO2 Composite Thin Films
The composite TiO2 films containing the mineral tourmaline particles and rare earth elements (T/RE/TiO2 )were prepared b......
Creative writing is difficult for students.There are some ways to improve it.How to choose suitable words,how to form a ......
...
社会历史的发展会引起称谓语的变化,这些变化可以反映社会深层人际关系的某些变化.本文对中国大陆五十年间一些常用称谓语的变化进......
甲醛和苯系物是室内空气主要污染物,对人体有致癌作用,严重危害人体健康。主要研究了活性包埋菌对室内空气中甲醛和苯系物的净化性......
安全协议的设计一直是网络安全领域的重要研究方向,传统的协议的安全性用经验和形式化的分析来保证。由于新攻击手段的出现,以及协......
安全协议的建模分析与设计一般采用形式化的方法进行,这是许多经典安全协议存在的缺陷。因此,文章提出采用形式化验证的方法对一种......
讲解工作是博物馆、纪念馆业务工作中的重要一环,是博物馆、纪念馆与观众之间沟通的桥梁。叙述了讲解员的"五美"要求。......
An integrated enterprise workflow model called PPROCE is presented firstly. Then, an enterprise's ontology establish......
在查明存在者的"库存清单"时,本体论必做的一项工作是建构范畴体系。随着认识的发展,本体论还分化出了形式本体论这一分支。它的任......
就形式数学来说,它是脱离经验,在内涵上是一种社会建构。计算机技术提高了人们的计算能力,对数学的这一社会建构平添了紧张,加强了“作......
实验发现锰(Ⅳ)氧化安乃近可以产生弱的化学发光,甲醛对这一化学发光反应有较强的增敏作用.据此建立了测定安乃近的流动注射化学发......
文章以8家医药生物技术网站为研究对象,应用科技网站信息质量形式评价理论模型,通过获取主题特征词、热词,以及设计抓取工具获取主......
在总结前人工作的基础上,结合安全操作系统对测试的特殊需求,提出了简并测试集(degenerate test set,简称DTS)的概念,设计了一种使用模型......
网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求.模糊时间Petri网是将模糊集合理论用于不......
在软件复用研究不断深入的情况下,构件的准确描述与高效检索已成为面向构件的软件复用研究的热点和难点。本文参照3C构件模型,提出一......
在Ha等提出的基于Hash函数的低成本RFID认证协议中,敌手捕获标签和读卡器之间传送的信息后,就可以实现跟踪攻击。在分析Ha等提出的......
大规模集成电路通常隐含难以检测的设计错误,而在使用过程中又可能产生新的故障点。对故障效应的传播路径和范围进行准确评估,有助于......
用气相色谱仪测量研究了ZS195柴油机燃用DME排气中的非常规排放物甲醛和甲酸甲酯。研究表明,甲醛是非常规排放物中的主要成分;在空载......
应当结合视觉传达的规律来理解形式美的基本法则,以避免陷入形而上学的泥潭.作为审美的客体,立体艺术设计作品承担着对审美主体(人......
针对现有关于统一建模语言状态图形式化语义研究过程中存在的缺点,给出一种统一建模语言状态图的形式化语法表示方法,结合统一网、......
针对类Java的面向对象语言m Java到类Dalvik的寄存器架构虚拟机Micro-Dalvik 的编译验证,给出了m Java语言和Micro-Dalvik的操作语......