形式定义相关论文
...
一、关于改进三角函数定义的一点设想 基本设想及其根据。三角函数是五种基本初等函数之一,它与幂函数、指数函数和对数函数比较起......
本文是这次会议上McDermott的论文:“专家系统的下一步”的应答论文.我们应该给McDermott的论文以一定地位.因为这篇论文涉及到当......
计算技术渐趋复杂,机器开始显示出智力——但,它们能真正地思考吗?
As computational techniques become more sophisticated, ma......
建模点1:“二次根式”的概念模型所属内容:第112页-113页同分式的概念类似,二次根式的概念也是采用了形式定义。教科书从学生已有......
对教材中呈现的列方程法解决问题的例题，学生感受不到方程的优势，反而总感觉它书写过程烦琐，没有明确要求时不愿列方程，更喜欢用算式法......
1.发现问题作为《数学金刊》(高中版)的忠实读者,无意中发现2010年6月号和2011年5月号由石家庄一中、二中和重庆南开中学、一中提......
传输层是整个计算机网络协议层次结构的核心,其任务是从源端机到目标机提供可靠的数据传输,并使之与具体的网络无关。该文利用有穷......
2005年,癌症成为美国85岁以下人群主要的死亡原因。癌症病人尤其是晚期病人的生存率依然很低。尽管病人间存在着生物学上的个体差......
形式主义文论的理论核心不在于对文学形式的关注,而在于一种形式化的思维方式。作为现代性的知识学诉求,形式化用非指涉性符号构成......
针对先进制造系统的需求，参考ＳＴＥＰ标准，进行了支持ＳＴＥＰ标准的模具产品集成建模的研究。建立了模具产品模型的总体结构，具体分析了其核心部分—......
本文分析了面向并行设计的产品需求的内涵及需求建模与并行设计的关系，提出了基于产品需求拓扑结构和信息模板的系统化产品需求获取......
本文对让步句的语意重心进行分析,主要从让步句的语义背景特征入手来对让步句的逻辑系统构建进行一个前准备。在构建让步句的逻辑......
异构计算是并行处理的一个新领域，可望达到超级线性加速比。提取程序的异构性是异构计算的一个重要步骤，但是直到目前为止，还没有任何......
Ｅ－ＬＯＴＯＳ对ＬＯＴＯＳ的描述能力进行了多方面增强，Ｐｅｔｒｉ网是分析系统的有效工具，本文提出一种从Ｅ－ＬＯＴＯＳ说明到Ｐｅｔｒｉ网的转换方法，并提出需进一步考虑的问题
E-LOTOS enha......
由于用户对分布式系统高可靠性、系统管理及管理员的分散化的需求以及系统自身的高度复杂性，因此，自动的、主动的而不是补救式的系统......
早些年的电脑使用时只有风扇的转动声、驱动器的读盘声、敲击键盘的噼啪声,人们已经习以为常了。后来出现了多媒体电脑,于是CD、V......
将“引入概率后的一致性测试形式方法”用ＦＳＭ模型进行实例化，并对原框架进行了扩充：把测试子序列（测试例）扩充为测试子树，把测试套扩充为测......
摘要：我们可以将歌曲这种特殊的艺术表现形式定义为一种以音乐为载体的戏剧。这一定义较为直观地阐述了歌剧中音乐与文学的密切关系......
对计算理论中有关NFA、TM教学上容易混淆的概念描述及计算进行了研究 ,特别是对它的教学方法进行了思考 ,以利于师生对相关的理论......
在现在的教育中,英语教育越来越受到重视,初中学习阶段对于学生来讲可能英语的学习是比较困难的,尤其是在我国的应试考试中,英语的......
本文在原型Petri网的基础上,首次给出了时延离散Petri网的形式定义及其运行规则,以及与此相关的一些相关结论与计算公式,最后结合......
会议
本文试图通过“CJ程序系统”的开发来阐明在电缆工程设计中具有普遍意义的微机软件设计过程、原则、方法与特点。
This paper att......
DSP技术是软件无线电中的关键技术。由于工艺水平问题,目前的DSP运算速度与软件无线电对运算的需求之间存在着巨大的差距,即所谓的......
数学概念是反映现实世界的空间形式和数量关系的本质属性的思维形式，是对一类数学对象的本质属性的反映。数学概念是数学知识中最基......
本文以IEO建议的对等实体鉴别协议为基础,给出了使用HASH函数压缩报文的签名变换的形式。对印章协议模型做了适当地扩充,得到了一......
本文就信息检索碰到的难题；文本蕴涵的一般及形式定义；为语义表达的多样性建模；文本蕴涵的类型；词汇层面的蕴涵的推理机制等问题进行了......
本文对一种多agent活动理论进行了探讨。文章对BDI框架的研究工作进行了扩充，提出了一种新型BDIP逻辑￡，较深入地探讨了信念、愿望、意......
图灵于20世纪30年代提出了一个理想化的计算模型-图灵机模型,该模型用一个无限长的带子作为存储,有一个能在带子上读写和前后移动......
评价工作流系统的一个最重要的指标是其对工作流模式支持的力度.工作流模式又分为控制模式、数据模式、资源模式.petri网因其既有......
至今,人们都把一切大数粒子构造的宏观物质视为理想化的连续介质.但是,两者在形式表述以及物理内涵两个方面都存在本质的差异.此外......
所提出的PID控制参数优化方法有助于现场工程师的整定操作。控制系统限定为单输入单输出过程,但可具有延迟和无自平衡调整的性质。......
优化设计的设计变量可以为连续型或离散型(整型)。连续变量的优化理论己较成熟,离散变量的优化则正在研讨中。下面给出的是一种先......
本文以融合符号主义及连接机主义这两种人工智能理论为指导思想，提出了混合使用专家系统与神经网络的智能控制系统形式定义及其三种......
本文针对ＰＭＣ模型最佳设计Ｄδｔ设计的系统级诊断提出一种诊断算法，命名为ＳＩ诊断算法，该算法充分利用了Ｄδ．ｔ设计系统图是ｔ次正则图的特点，计算复杂......
介绍了适用于化工、医药等行业中小企业的ＪＳＣＯＮＦ系统（它是工业控制集散系统监控级的组态软件），并且对其系统构成、功能分析、软件设计思路及......
以脉冲响应模型 (FIR)描述系统 ,采用脉冲响应系数误差平方和的形式定义了模型的不确定性 ,分析得到了基于脉冲响应模型的动态矩阵......
抽象函数通常指一类没有给出具体解析式的函数，其概念是非常简单的形式定义，它的意象表征抽象而又比较灵活，学生理解有相当难度，很难明......
该文以面向对象数据库[7,8,9]中的问题为背景,采用了代数语义学、范畴论和模型论[2]等的理论与方法为工具,在面向对象数据库模型(O......
TGM模型是实时仿真参考模型的重要组成模型。它可以描述、构造实时系统行为。本文选取基于事件的RTL语言，形式化定义了TGM模型和其......
