形式描述相关论文
《雾在哪里》是统编版语文二年级上册第七单元“想象”主题中的一篇童话故事。作者运用拟人的手法,将“雾”这一人们熟知的自然现......
该文先介绍了MPLS及LDP协议.MPLS是下一代网络的关键技术.MPLS的标记及其绑定关系分配是由标记分发协议LDP完成的,高效、可靠的标......
随着计算机网络、通信网络以及分布式系统的不断发展,通信协议有日渐复杂化的趋势,形式描述技术在网络协议设计中占有举足轻重的作......
1974年11月16日下午，位于波多黎各的大型射电望远镜向武仙座方向发送一个给外星人的信号，这个信号持续3分钟。信息中以符号的形式描......
把制造系统描述为互相连接的信息、数据、知识处理单元的集合，把数据、知识处理单元抽象为信息处理单元，构造制造系统的抽象模型，据此......
数学小论文就是让学生以日记形式描述发现的数学问题及解决办法，是数学学习经历的一种书面写作，它主要记述： (1)一道数学题的解答......
教育家乌申斯基曾说过： “把画片带进教室，就是哑子也会说话了。”高中生物教材为我们提供了更大量的插图，不仅丰富教科书的内容，还能......
用数学形式描述自然现象似乎是人类的需要.大概人们希望从中发现一些规律和方法，以便能够了解和控制自然.就如地震那样，初看起来似乎......
提出一种基于形式描述的网络帧编解码实现方法,用形式化的方法在一定程度上实现网络帧编解码程序的自动生成。这种方法的特点是用......
信息技术是指学生的信息意识、信息论理道德和主动高效地获取信息、处理信息的能力,计算机教学具有很强的实践性,学生可以综合应用......
语文和数学看似风马牛不相及,它们会有着奇妙的联系吗?其实文学是以感觉经验的形式传达人类理性思维的成果,而数学是以理性思维的......
“课程标准”对英语语法的教学目标规定如下：“理解附录‘语法项目表’中所列语法项目并能在特定语境中使用；了解常用语言形式的基本......
为了有效建立并统一多Agent系统(MAS)的理论与方法体系,提供MAS的有效设计与实现途径,重点讨论并建立了基于开放环境的MAS形式化开......
癌症的数学建模包括以微分方程式或基于主体的模型等形式描述肿瘤进展，肿瘤的进展可以通过对免疫疗法、化学疗法以及药物治疗等不同......
现代艺术的“进步”意义在于以有限的手段展示事物的潜力。现代的、更为复杂的系统符号则成为了随语境而造成意义变化的信息，并且像......
A protocol converter can solve the problem of communication between heterogeneous and distributed com-puter networks. Th......
协议形式化描述工具ESTELLE和网络仿真工具OPNET的建模过程都是基于有限状态机的原理，本文在此基础上，采用OPNET进程树机制实现LSTEL......
对柑橘叶片气孔导度的模拟研究结果表明,柑橘叶片气孔导度的环境响应模型中环境变量至少需含有光合有效辐射在内的2个及其以上的环......
投入产出表,也称部门联系平衡表或产业关联表,它以矩阵形式描述国民经济各部门在一定时期内（通常为一年）生产活动的投入来源和产出的......
基于交易中件的客户／服务器系统是一种典型的分布式事务处理系统，深入研究这种系统的一般模型，有助于深刻理解这种软件的特征与性质，有......
基于时序Petri网对我国现行网上静态的动态证券交易系统进行了模拟，形式描述及功能正确性验证，应用时序逻辑推理规则，从形式上严格证......
学习目标 （一）通过两个人一组使用放大镜合作观察蜗牛，能够用图画的形式描述蜗牛的主要组成部分，并能够说出蜗牛有4个触角。 （二）......
在复杂系统的设计流程中，每个设计阶段都要制定标准的设并方案以实现系统功能。渐进细化设计就是把设计流程中的设计方案和检验其能......
现实世界的信息是和时间紧密相关的,因而记录和处理信息的数据库系统应该对时态问题进行考虑,以便更有效地解决现实问题;另一方面,......
文中讨论了一类新的网络层分组转发技术－多协标志交换技术。...
通过引入信任度函数等新概念，利用Biba模型不写上，不读下思想，并对身份认证过程前后进行分析，选用适当的认证算法，对整个认证系统进行了......
由中国期刊协会、北京印刷学院主办的“见证历史——《共和国期刊60年》新书发布暨中国期刊史编撰研讨会”12月25日在北京举行，该书......
从讨论当前流行的访问控制策略的安全缺陷,及其与状态控制策略的互补性和完备性特征入手,分析了研究状态控制策略的必要性;定义了......
Petri网作为一种有完备自动化理论的形式描述语言，既有严格的数学表述方式，也有直观的图形表达方式。在科学研究与实践工程中得到了......
特征的处理是自然语言句法分析的一个重要问题。该文提出特征处理的预编译方法，详述了基于特征形式描述的特征预编译算法，并实现了一......
<正>本书为张西平教授主编的"著名汉学家研究丛书"之一。该书基于西方著名汉学家巴耶尔(Gottlieb Siegfried Bayer,1694—1738)的......
教学内容:外研2011课标版(一年级起点)五年级上册第一模块第一单元。教材分析:本节课的主要内容是运用There be 句式的过去和现在(......
本文根据国际标准化组织ISO规定的协议一致性测试方法,结合自己的研究,给出路由协议一致性测试过程.它们分别是:协议测试目的的划......
在学习“物质构成的奥秘”这一单元时出现了粒子结构示意图．它借助图示的形式描述并揭示丁粒子结构及其电子在核外分层排布的情况，简......
文中提出了一种防火墙系统的安全模型,该模型构筑在防火墙系统的安全服务基础之上,将安全模型抽象为若干安全服务的集合并用形式化......
文章以集成供应链管理软件的研究开发为背景,从中抽象出面向构件的软件开发的一般过程、原理和方法.首先提出构件化软件开发的过程......
文章探讨了可视化面向对象方法与对象Petri网(OOPN)方法的集成建模问题.首先根据两种方法的互补性,阐述了UML/OOPN模型的语义定义......
针对Web应用的特点,从界面组成结构出发,提出了Web用户界面组成及交互模型;对构成模型的每一部分给出了抽象的形式描述;并分别对界......
同课异构即对同一教学内容采用不同的教学方法和教学策略,在现实的教学研讨活动中并不少见。不同的教学设计,理念有别、策略不同、......
<正>众所周知,解析几何本质是用代数方法研究几何,它把曲线用代数形式表示,利用代数形式描述几何性质,表述各种位置关系和数量关系......
为了有效地支持软件分布式开发,提高软件协同开发环境的易用性和有效性,从协同理论和应用工具两方面入手,在集成了多种协同应用软......
本文研讨局部网络的运输协议及其形式描述技术.文中论述了局部网络建立运输层的必要性和可能性.讨论了局部网络体系结构中的运输层......
研究原著(出版后5-8乃至更多个版面)见http://www.crter.org/UserFiles/File/tl-1(1).doc原创性研究论文应体现基础实验或临床研究......
