机械产品选配问题的二分图非形式化描述 被引量：2

1

作者 刘明周 陈诚和 +2 位作者 葛茂根 张铭鑫 扈静 《农业机械学报》 EI CAS CSCD 北大核心 2007年第11期133-136,128,共5页

在机械产品选配中,为了表达装配模型应考虑的关键因素、装配体间的配合关系以及便于个性化更改,建立基于二分图的机械产品选配非形式化描述模型,提出了d型匹配需要满足的约束条件。利用0-1矩阵将非形式化描述转化成一个便于用算法实现... 在机械产品选配中,为了表达装配模型应考虑的关键因素、装配体间的配合关系以及便于个性化更改,建立基于二分图的机械产品选配非形式化描述模型,提出了d型匹配需要满足的约束条件。利用0-1矩阵将非形式化描述转化成一个便于用算法实现的形式化模型。在此基础上,提出了基于遗传算法的形式化模型求解方法。通过一个机械产品选配实例对其进行了验证。 展开更多

关键词 机械产品选配 非形式化描述模型 二分图 遗传算法

在线阅读 下载PDF 职称材料

MMORPG服务器软件体系结构研究——非形式化构造 被引量：6

2

作者 吴拥民 《计算机工程与应用》 CSCD 北大核心 2006年第32期31-35,41,共6页

提出MMORPG服务器软件体系结构模型的设计目标,根据“4+1”模型以UML构造了MMORPG服务器模型,重点在开发视图和逻辑视图中描述了MMORPG服务器模型的4个层次:核心层、服务层、逻辑层与交互层,最后对设计的模型进行了分析和评价。

关键词 软件体系结构 大规模多人在线角色扮演游戏 非形式化构造 UML

在线阅读 下载PDF 职称材料

认证协议攻击与非形式化分析 被引量：6

3

作者 林贤金 胡山立 《小型微型计算机系统》 CSCD 北大核心 2003年第11期1912-1915,共4页

协议的分析验证方法有形式化与非形式化之分 ,很多代表性的协议虽然存在着缺陷 ,但对这些协议的非形式化分析 ,却可以提出一些值得借鉴的规则 ,参考这些规则可以避免和减少协议逻辑的漏洞 ,本文针对 Woo- L am两个改进协议以及 SSL协议... 协议的分析验证方法有形式化与非形式化之分 ,很多代表性的协议虽然存在着缺陷 ,但对这些协议的非形式化分析 ,却可以提出一些值得借鉴的规则 ,参考这些规则可以避免和减少协议逻辑的漏洞 ,本文针对 Woo- L am两个改进协议以及 SSL协议给出了攻击方法 。 展开更多

关键词 认证协议 协议攻击 密码协议 密码学 非形式化方法

在线阅读 下载PDF 职称材料

网络认证协议攻击的非形式化分析 被引量：3

4

作者 李静 肖美华 《计算机工程与应用》 CSCD 北大核心 2006年第22期112-115,142,共5页

随着密码协议在计算机网络和分布式系统中的广泛应用,协议的安全性显得越来越重要,对协议的安全性分析和研究也成为目前一个非常紧迫的课题。协议安全性分析包括非形式化和形式化两种方法。论文通过对Woo-Lam,Helsinki和Otway-Rees三个... 随着密码协议在计算机网络和分布式系统中的广泛应用,协议的安全性显得越来越重要,对协议的安全性分析和研究也成为目前一个非常紧迫的课题。协议安全性分析包括非形式化和形式化两种方法。论文通过对Woo-Lam,Helsinki和Otway-Rees三个典型协议攻击的非形式化分析,归纳出协议漏洞产生的原因,并探讨了相应的改进的方法。 展开更多

关键词 认证协议 密码协议 非形式化方法

在线阅读 下载PDF 职称材料

认证协议安全性的非形式化分析

5

作者 董玲 温蜜 +1 位作者 陈克非 郑燕飞 《小型微型计算机系统》 CSCD 北大核心 2008年第7期1343-1346,共4页

安全协议特别是认证协议的非形式化分析在复杂的现代通信中变得尤其重要.本文指出著名的Abadi安全协议设计原则和Lin等文献中关于漏洞的分析以及使协议更安全的建议存在不准确性,从而使我们能够给出其协议修正版本的攻击.通过对安全协... 安全协议特别是认证协议的非形式化分析在复杂的现代通信中变得尤其重要.本文指出著名的Abadi安全协议设计原则和Lin等文献中关于漏洞的分析以及使协议更安全的建议存在不准确性,从而使我们能够给出其协议修正版本的攻击.通过对安全协议不安全实质的分析,文章指出实现安全认证协议的必要条件:主体的活现性和新鲜性标志符的新鲜性和关联性.最后,以问答式认证协议为例,指出了保证主体的活现性和新鲜性标志符的新鲜性和关联性的方法. 展开更多

关键词 安全协议 活现性 新鲜性 关联性 非形式化分析

在线阅读 下载PDF 职称材料

高职数学教学中应重视非形式化问题

6

作者 胡永才 盛宗生 《河南农业》 2007年第10期35-36,共2页

教育的最终目标是培养人的,数学也不例外,在高职教育阶段,数学课对大多数非数学专业的学生来说就是培养学生分析问题和解决问题的能力的。那么如何使学生既摆脱繁杂的概念及公式记忆,又能用所学知识灵活解决实际问题呢?本文提出的非形... 教育的最终目标是培养人的,数学也不例外,在高职教育阶段,数学课对大多数非数学专业的学生来说就是培养学生分析问题和解决问题的能力的。那么如何使学生既摆脱繁杂的概念及公式记忆,又能用所学知识灵活解决实际问题呢?本文提出的非形式化问题不失为解决这一问题的良策。 展开更多

关键词 数学概念 形式化 非形式化

在线阅读 下载PDF 职称材料

基于面向对象模型的通信系统形式化规范

7

作者 张永谦 史杏荣 张晓燕 《小型微型计算机系统》 CSCD 北大核心 2004年第6期951-955,共5页

通信软件工程包括系统建模和设计实现两大阶段 ,分别采用非形式化技术与形式化技术 .定义了从非形式化的面向对象的图形语言 U ML ,到形式化的文本规范语言 ESTEL L E的完备的转换规则 ,并简要介绍了一个支持转换的软件工具的设计与实... 通信软件工程包括系统建模和设计实现两大阶段 ,分别采用非形式化技术与形式化技术 .定义了从非形式化的面向对象的图形语言 U ML ,到形式化的文本规范语言 ESTEL L E的完备的转换规则 ,并简要介绍了一个支持转换的软件工具的设计与实现 ,最后给出一个转换实例 .此工作的完成 ,使通信系统图形化的面向对象模型可直接转换为面向实现的形式化规范 ,在整个开发周期中得到应用 ,建立起了一套完整的通信软件工程体系 . 展开更多

关键词 通信软件工程 形式化技术 非形式化技术 UML ESTELLE

在线阅读 下载PDF 职称材料

淡化形式,注重实质——兼论《九年义务教育全日制初级中学数学教学大纲》 被引量：169

8

作者 陈重穆 宋乃庆 《数学教育学报》 1993年第2期4-9,共6页

针对当前基础教育和数学教学中存在的问题，提出了在教学中要“淡化形式，注重实质”。结合《初中数学九年制义务教育大纲》的一些重大措施，讨论了“淡化纯文字叙述”及“删减方程的形式理论”等问题，并较详尽地阐述了“淡化概念”的... 针对当前基础教育和数学教学中存在的问题，提出了在教学中要“淡化形式，注重实质”。结合《初中数学九年制义务教育大纲》的一些重大措施，讨论了“淡化纯文字叙述”及“删减方程的形式理论”等问题，并较详尽地阐述了“淡化概念”的意义。 展开更多

关键词 初中 方程理论 概念淡化 纯文字叙述淡化 非形式化 数学教学

在线阅读 下载PDF 职称材料

适用于智能电表双向互动系统的安全通信协议 被引量：23

9

作者 赵兵 翟峰 +3 位作者 李涛永 李保丰 付义伦 岑炜 《电力系统自动化》 EI CSCD 北大核心 2016年第17期93-98,共6页

根据智能电表双向互动系统逻辑结构和业务需求,提出了一种融合协议过滤、双向身份认证、访问列表查询和优先级控制等方法的智能电表双向互动、多重防护安全通信协议(BIMP),并采用BAN逻辑形式化分析方法和非形式化分析方法验证了其性能。... 根据智能电表双向互动系统逻辑结构和业务需求,提出了一种融合协议过滤、双向身份认证、访问列表查询和优先级控制等方法的智能电表双向互动、多重防护安全通信协议(BIMP),并采用BAN逻辑形式化分析方法和非形式化分析方法验证了其性能。BIMP在达到预期目标的同时具有安全保密性、抗攻击性、通信效率较高等特点,能够满足智能电表双向互动系统实际业务应用需求。 展开更多

关键词 智能电表 双向互动 安全通信协议 BAN逻辑 非形式化分析

在线阅读 下载PDF 职称材料

BAN逻辑的可靠性分析与改进 被引量：17

10

作者 王正才 许道云 +2 位作者 王晓峰 唐郑熠 韦立 《计算机工程》 CAS CSCD 2012年第17期110-115,共6页

BAN逻辑的推理过程中可能引入错误的推理条件,导致不安全的协议被验证为安全的。为解决该问题,对消息的形式化描述方式进行改进,在消息含义推理规则中加上一个隐含但不能被忽略的条件,以增强验证的可靠性,通过对发送和推理的消息单元进... BAN逻辑的推理过程中可能引入错误的推理条件,导致不安全的协议被验证为安全的。为解决该问题,对消息的形式化描述方式进行改进,在消息含义推理规则中加上一个隐含但不能被忽略的条件,以增强验证的可靠性,通过对发送和推理的消息单元进行限定,使消息新鲜性判定规则适用于更多类型的协议安全性验证。 展开更多

关键词 BAN逻辑 安全协议 形式化 非形式化 消息新鲜性 推理

在线阅读 下载PDF 职称材料

面向问题域的概念模型描述方法 被引量：1

11

作者 刘云杰 龚传信 刘铁林 《计算机工程与设计》 CSCD 北大核心 2007年第24期5937-5939,共3页

现有概念模型开发普遍存在着应用领域知识获取难、不能满足多方面用户需求、可重用性低的问题。在分析上述问题的基础上,提出了分层次概念模型开发方法,即面向领域用户的非形式化概念模型开发和面向技术人员的形式化概念模型开发。重点... 现有概念模型开发普遍存在着应用领域知识获取难、不能满足多方面用户需求、可重用性低的问题。在分析上述问题的基础上,提出了分层次概念模型开发方法,即面向领域用户的非形式化概念模型开发和面向技术人员的形式化概念模型开发。重点研究了基于本体的概念模型描述方法,并采用UML-OCL方法对概念模型进行了形式化描述。 展开更多

关键词 概念模型 本体 非形式化概念模型 形式化概念模型 统一建模语言

在线阅读 下载PDF 职称材料

数学教学重在培养和增强学生的应用意识和能力 被引量：2

12

作者 席洁珍 《广西大学学报（自然科学版）》 CAS CSCD 1999年第S1期29-31,共3页

阐述了目前数学教育中数学应用意识淡薄的现状及强化数学应用意识和能力的重要性，并详细论述如何增强数学教育的应用意识及能力．

关键词 数学教学 数学应用 数学建模 非形式化

在线阅读 下载PDF 职称材料

数学教育争鸣十题 被引量：39

13

作者 张奠宙 郑正亚 《数学教育学报》 1995年第3期1-7,共7页

提出了影响当前数学教育改革的十个问题，介绍了不同的观点．摆出作者的见解，以期引起争鸣．

关键词 数学教育 数学思维 非形式化 教育改革

在线阅读 下载PDF 职称材料

逻辑方法转换的必然性述评

14

作者 宁莉娜 《内蒙古社会科学》 CSSCI 北大核心 2004年第4期78-80,共3页

纵观古今,西方逻辑的发展,呈现出内容的多变性、视角的多向性、形式的多样性,从而导致方法的多元化。从古希腊逻辑直面生活世界的有效论证方法,到近代以后清晰表达思想的系统符号化方法,再到当今处理日常推理的可交往方法,表现出形式化... 纵观古今,西方逻辑的发展,呈现出内容的多变性、视角的多向性、形式的多样性,从而导致方法的多元化。从古希腊逻辑直面生活世界的有效论证方法,到近代以后清晰表达思想的系统符号化方法,再到当今处理日常推理的可交往方法,表现出形式化与非形式化的转换与融合,这是逻辑学自身发展的内在需要,也是相关边缘学科发展的必然要求。 展开更多

关键词 形式化 非形式化 逻辑方法

在线阅读 下载PDF 职称材料

两种公理化思想的比较对数学教育的启示

15

作者 刘祥伟 白海 陈光蓉 《重庆工学院学报》 2004年第1期49-50,共2页

从实质公理化和形式公理化两种思想的比较出发,提出真正的数学课程是非形式化和形式化二者的统一,进一步阐述关注形式数学知识与所联系的实体对象的重要性,然后提出对"淡化形式、注重实质"的新的看法。

关键词 数学教育 非形式化 实体对象 形式数学知识 实质公理化 形式公理化

在线阅读 下载PDF 职称材料

小学生数学运算的思维评价 被引量：7

16

作者 李小燕 《教学与管理》 北大核心 2019年第17期34-36,共3页

根据学生的习题答案,判断其思维水平,调整教学策略是教学的有效方法。在学生学习“图形与几何”的研究中,范希尔的几何思维水平体系是最有影响的理论之一。他把学生的几何思维水平由低到高分为5个层次,分别是视觉水平、分析水平、非形... 根据学生的习题答案,判断其思维水平,调整教学策略是教学的有效方法。在学生学习“图形与几何”的研究中,范希尔的几何思维水平体系是最有影响的理论之一。他把学生的几何思维水平由低到高分为5个层次,分别是视觉水平、分析水平、非形式化演绎水平、形式化演绎水平及严密性水平. 展开更多

关键词 思维水平 小学生 数学运算 评价 教学策略 习题答案 非形式化 几何

在线阅读 下载PDF 职称材料

小学数学几何开放题的思维评价 被引量：6

17

作者 杨传冈 《教学与管理》 北大核心 2018年第14期29-31,共3页

在学生学习＂图形与几何＂的研究中,范希尔的几何思维水平体系是最有影响的理论之一。范希尔几何思维水平由低到高表示为层次0到层次4：层次0是视觉水平,学生无法理清概念之间的相互关系,仅能借助图像获得一些基本概念;层次1是分析水平... 在学生学习＂图形与几何＂的研究中,范希尔的几何思维水平体系是最有影响的理论之一。范希尔几何思维水平由低到高表示为层次0到层次4：层次0是视觉水平,学生无法理清概念之间的相互关系,仅能借助图像获得一些基本概念;层次1是分析水平,学生能根据概念解决简单问题,了解一些几何概念间的相互关系及公式间的联系,能结合图形获得部分结论;层次2是非形式化的演绎水平,学生能从不同角度理解概念意义. 展开更多

关键词 几何概念 小学数学 开放题 分析水平 评价 非形式化 学生 图形

在线阅读 下载PDF 职称材料

人工智能的哲学问题 被引量：1

18

作者 赵光武 《北京社会科学》 1988年第1期109-115,共7页

人工智能(这里仅就电子计算机应用前沿而言)的研究与发展面临两大问题,即技术问题与理论问题。理论问题又有科学层次的问题与哲学层次的问题两个部分。笔者仅就哲学层次的问题做些研讨。我理解所谓哲学层次的问题乃哲学与人工智能的相... 人工智能(这里仅就电子计算机应用前沿而言)的研究与发展面临两大问题,即技术问题与理论问题。理论问题又有科学层次的问题与哲学层次的问题两个部分。笔者仅就哲学层次的问题做些研讨。我理解所谓哲学层次的问题乃哲学与人工智能的相互关系问题。它包括不可分割的相互关联的两个方面:一方面,哲学作为一种宏观的分析工具,对于人工智能的研究发展有方法论的指导作用,能对智能模拟的可能性与局限性,即对电子计算机能做什么、不能做什么,从原则上进行论证。另一方面,人工智能的科学技术成果作为哲学发展的一个重要基础,能为哲学提供新的生长点,使之进一步充实、精确与深化,即对它进行哲学思考、理论升华,可以从中思考出哲学。本文拟从这两个方面进行阐述。 展开更多

关键词 人工智能 运动形式 电子计算机应用 非形式化 理论问题 哲学发展 人脑 思维活动 解决问题 思维形式

在线阅读 下载PDF 职称材料