形式描述相关论文
《雾在哪里》是统编版语文二年级上册第七单元“想象”主题中的一篇童话故事。作者运用拟人的手法,将“雾”这一人们熟知的自然现......
一、科学研究的内涵科学研究可以解释为发现信息、理解信息,前者指利用观察、考察、调查、试验等手段获取大量的与研究对象有关的......
在体育教学实践中,我深深地体会到:写教学笔记对教师业务水准的提高有良好的促进作用。在它的陪伴下,我先后获得了系青年教师术科......
本文提出了基于封闭词、词形及规则的英文文本的定词性方法,并给出了其抽象模型及实现过程的形式描述,最后给出了应用此方法的实验实......
多表征模型组合仿真是可组合仿真、遗留系统集成的重要研究领域,也是多表征建模与仿真的一项关键技术,无论在理论研究还是实际应用上......
编译优化是现代编译器不可缺少的重要功能。编译优化技术在过去几十年里取得了显著进展,对提升程序运行速度、节省存储空间、节省能......
该文先介绍了MPLS及LDP协议.MPLS是下一代网络的关键技术.MPLS的标记及其绑定关系分配是由标记分发协议LDP完成的,高效、可靠的标......
随着计算机网络、通信网络以及分布式系统的不断发展,通信协议有日渐复杂化的趋势,形式描述技术在网络协议设计中占有举足轻重的作......
当代杰出的美国作家加思·斯坦的小说《我在雨中等你》中一条具有人类灵魂的狗“恩佐”以第一人称的形式描述自己的内心独白以及和......
1974年11月16日下午,位于波多黎各的大型射电望远镜向武仙座方向发送一个给外星人的信号,这个信号持续3分钟。信息中以符号的形式描......
《理想国》作为柏拉图的代表作,其内容可谓繁多,故而博大精深,晦涩难懂。在此,作者特地就此书中关于“正义”之争的部分进行讨论,......
用数学形式描述自然现象似乎是人类的需要.大概人们希望从中发现一些规律和方法,以便能够了解和控制自然.就如地震那样,初看起来似......
朋友,你和自己的孩子一起猜过谜吗?猜谜活动不但能满足孩子的好奇心,对启迪、培养孩子的智力也很有帮助.首先,孩子在猜谜的过程中......
2012年江苏政治高考有这样一道单项选择题:右图表示某商品供给量和价格的关系(横轴为供给量,纵轴为价格,S_1为变动前曲线,S_2为变......
设计目的绘本是一本会说话的书,插图以及那些插图上的留白,都仿佛说着独一无二的悄悄话。孩子们通过观察,可以拥有更好的想象和讲......
一、读读唱唱学习儿歌问答儿歌是采取一问一答或连问连答的形式来叙述事物、反映生活的。采用问答的形式描述孩子可以感知的事物,......
研究了一种基于Petri网的协议辅助设计工具Peton的实现细节。该研究是对计算机辅助协议工程(CAPE)方法学的一种有益的尝试.
The implementation det......
在简要地论述了半形式化面向对象的开发方法的基本思想之后,着重就这类方法中模型形式化这一关键问题进行了研究。探讨了基于着色Petri网......
初步论述了计算机通信网络协议自动监视与分析的概念、方法和意义,着重叙述了一种专门设计的、能精确描述各类通信协议PDU结构及其时序......
提出了通信协议自稳定性的两种验证方法.以TCP/IP网络的滑动窗口协议为例,给出它的基于谓词逻辑形式描述的两个文本,前者只是安全的,后者是安......
协议是计算机网络的命脉 ,协议复杂性的提高导致了协议工程学科的出现 .该文首先分析了协议工程各项活动的内容、方法和相互关系 ,......
近日,有幸拜读了李频先生主编的《共和国期刊60年》,不禁被深深吸引。该书以图文并茂的编年体形式描述了1949~2009年中国期刊的历史......
︽数理化通俗演义︾评介北京师范大学出版社刘秀兰梁衡所著《数理化通俗演义》一书,是一部通俗的科学技术发展史。作者以章回小说的形式......
继美国版《Vogue》之后,哪一本杂志能攀上领导之位?电影《霓裳风暴》(Pretu-a-Porter)以漫画形式描述一名超级摄影师,为了拍摄时......
学习绘画,耳濡目染下的水到渠成记:你的第一本漫画作品集叫《好想回到小时候》,里面描述过你从小学习绘画的经历。你和绘画的缘分......
为了以数值的形式描述色彩(例如X、Y、Z),人们用分光幅射度计来得到光谱功率分布(Spectral Power Distribution,SPD)数据,再运用色......
TANGO软件是目前最受欢迎的微机电气制图软件之一,由于没有汉化,汉字无法绘于图上。本文利用标准字库转化的方法,将汉字字符变成......
本文报告一种能将FSM自动转换为SDL描述的SDL描述生成器──SDL_TRAN。除了自动变换部分之外,SDL_TRAN还包含一个具有友好用户接口的图形编辑器。
This art......
随着信息技术和管理理论的发展 ,工作流技术正在成为当今技术的热点。于是对于工作流管理系统的描述和验证也变得越来越重要了。Pe......
欣赏课属于美术课程中四大角的一个重要的“角”。在《普通高中美术课程标准》中要求“欣赏·评述”,这个学习领域的目标是通过欣赏......
本工作提出了一套新的基于液体闪烁体探测器的快中子多重性分析方法。搭建了1套由BC-501A液体闪烁体探测器、n/γ甄别模块MPD-4、1......
河北省迁安市杨店子镇大张庄村的戴玉兰真是多才多艺,出口成章。乐观开朗的她能写能唱还会剪漂亮的窗花,用她的话说,除了不会打牌,吹拉......
对于大型服务器应用程序,内存泄露问题为高隐蔽性错误,在某些环境下甚至会导致系统崩溃,且故障难以查明..net构建于公共语言运行......
旋转矩阵的定义是数字摄影测量研究的关键问题,本文在共形几何代数描述旋转理论的基础上,采用Maple编程对共形几何代数描述的摄影......
本文在分析现有触发器特征方程的基础上,提出了把CP输入作为一个输入变量直接与(?)方程,从而建立一个含有CP端无触发脉冲时状态不......
本文针对一种最新提出的卫星网络管理协议,利用Petri网描述协议的方法,对此网络管理协议过程进行了形式描述,利用Petri网的可达性......
使用计算机来处理自然语句的问题,首要的工作是问题本身的形式描述。命题逻辑的表达问题的能力,仅限于连接词的使用,而谓词逻辑由......
本文所提出的计算极小碰集的方法非常易于理解且编程实现简单,虽然以树的形式描述,实际中并不需用构造树,更不会因剪枝而丢失正确解。......
本文将信息抽取的过程看作是应用XPa山查询XML文档的过程;通过标记学习的方式,将语义项与DOM树的节点特征联系起来,并采用类似XPath的......
本文综述了近期国内外碳纤维工业的现状及发展方向,介绍了包括T1200和M70J在内的一些碳纤维新制品,随着碳纤维生产的低成本化,其销......
给出了在一个面向Agent、本体和关系的常识知识库中如何实现常识知识查询的过程。在查询过程中,用自然语言形式描述的查询先被转化......