形式化表示

作品数：47被引量：90H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：赵波曾新红李鸿孙知信冯洁更多>>
相关机构：云南师范大学西安交通大学深圳大学北京航空航天大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金云南省自然科学基金国家社会科学基金云南省教育厅自然科学研究基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于超赋值理论的模糊位置描述形式化与推理机制被引量：1
《地球信息科学学报》2023年第6期1135-1147,共13页张雪英 叶鹏 张慧峰 
国家自然科学基金项目(41971337);国家重点研发计划(2021YFB3900903);江苏高校哲学社会科学研究一般项目(2022SJYB2128)。
基于位置描述进行空间定位是大数据时代位置服务向智能化转型的关键。针对不同语境中位置描述模糊性差异显著而难以定位的问题,本文提出一种面向模糊位置描述的形式化方法与推理机制。首先,通过梳理人类空间认知规律,明确自然语言中位...
关键词：位置描述 模糊性 超赋值理论 形式化表示 空间推理 空间断言 空间对象 空间关系 
无人机无线通信协议的形式化认证分析与验证被引量：2
《计算机测量与控制》2021年第4期244-250,共7页刘栋 连晓峰 王宇龙 谭励 赵宇琦 李林 
装备发展部项目(170341402020)。
针对无人机组与地面控制站之间进行无线通信时的身份认证问题,首先分析无线通信协议的工作流程及其形式化表示,然后对网络系统中的诚实主体和攻击者进行形式化建模,其中推导了协议安全属性的LTL公式,通过建立密钥机制,实现控制站与无人...
关键词：无人机无线通信协议 形式化表示与建模 模型检测工具SPIN 攻击者知识项获取 
基于抽象语义表示的汉语构式标注与分析被引量：3
《中文信息学报》2020年第10期1-9,18,共10页黄彤 李斌 闫培艺 戴玉玲 曲维光 
国家社会科学基金(18BYY127);国家自然科学基金(61772278);江苏省高校哲学社会科学优秀创新团队建设项目。
构式作为组成成分与实际意义不能完全对应的结构,与常规句子差异较大,对句法和语义分析器的影响较大,构式的自动分析则更是困难。因此,亟需研究构式的结构标注方法及构建相应语料库。由于构式的语义结构与句法结构有较大差异,该文使用...
关键词：抽象语义表示 构式 形式化表示 构式语料库 中文信息处理 
形式化几何知识库的设计与构建
《信息技术》2018年第5期139-144,共6页张雨 
几何学知识内容丰富、形式多样、结构复杂。如何在现代计算设备上对几何知识进行高效管理是一个亟待研究的问题。基于一种标准化的几何描述语言,文中研究几何定理的形式化表示与自动验证,设计并构建一个含有五百余条形式化几何定理并具...
关键词：形式化表示 自动推理 知识管理 几何知识库 
软件维护性设计准则形式化表示及核查系统设计
《军械工程学院学报》2017年第1期61-66,共6页张国光 叶飞 朱小冬 
为提高软件维护性并改善软件质量,需要在软件设计和开发阶段开展软件维护性设计,其中维护性设计准则核查是关键环节之一.在对软件维护性设计准则类型和描述要素详细分析的基础上,提出了软件维护性设计准则的形式化表示方法,构建了软件...
关键词：软件维护性 设计准则 准则核查 
在线供应链融资业务流程模型构建研究
《金融电子化》2016年第12期82-83,共2页王琨 岳成庆 王淼 张涛 
随着互联网＋的深入融合，构建在线供应链融资系统成为顺利开展供应链融资业务的重要支撑。在线供应链融资系统的最终目标是为融资客户提供全流程的在线供应链融资服务，这就对业务流程的形式化表达和灵活配置提出了较高要求，具体表现...
关键词：业务流程 供应链 融资 在线 模型构建 信息系统 形式化表达 形式化表示 
发挥不等式传递性的思维价值
《数学教学》2016年第9期7-9,32,共4页钟赣平 
人教A版数学5（必修）第三章“不等式”在“3.1不等关系与不等式”中列出了实数不等式的8条基本性质,其中性质2是：如果a〉b,b〉c,那么a〉c.《普通高中数学课程标准（实验）》对性质2未有提及,教科书也着墨不多,但这并不意味着它是不重...
关键词：不等式组 形式化表示 思维策略 最小正整数 放缩 波利亚 函数解析式 当且仅当 三章 展开式 
汉语选择复句的计算机自动改写方法研究
《中国科技信息》2016年第13期80-81,共2页林燕芬 杨柳 
在对汉语复句分类的基础上,提出了基于模板的选择复句的改写方法。通过对选择复句进行分类及语法结构的形式化、数学描述,从而抽取了选择复句的改写模板。由预备实验确定了改写语句与改写模板之间的相似度阈值。最后利用小规模的语料进...
关键词：选择复句 预备实验 相似度 形式化表示 自动文摘 自然语言处理 选择句 词法分析 长句 日常沟通 
信息安全Web服务的形式化表示和协调水平的研究（英文）
《宁夏大学学报（自然科学版）》2016年第1期64-72,共9页谷萧君 刘富祥 张乃中 
Supported by the Natural Science Foundation of Ningxia Province(NZ14046)~~
针对资源网络能提供可靠的IP协议进行了研究.提出了包错误处理、阻塞检测和资源效能的不同方法,并根据阻塞控制和资源效率对各种协议进行了比较.结果表明,分布式传输方法通过更多的资源容量来选择延迟包从源地址到阻塞终端的传递,可减...
关键词：信息安全资源网络 阻塞控制 WEB服务 形式化表示 协调 
可信软件非功能需求形式化表示与可满足分析被引量：10
《软件学报》2015年第10期2545-2566,共22页张璇 李彤 王旭 于倩 郁湧 朱锐 
国家自然科学基金(61262025;61502413;61379032;61262024);云南省自然科学基金(2012FB118;2012FB119);云南省教育厅科学研究基金(2015Z020);云南省软件工程重点实验室开放基金(2015SE202;2012SE308);云南大学"中青年骨干教师培养计划"专项经费;云南大学高水平创新团队"软件工程创新团队"专项经费
可信软件的可信性由其功能需求和非功能需求共同来体现,其中,非功能需求的实现是可信软件获得用户对其行为实现预期目标能力的信任程度的客观依据.针对可信软件的重要性以及对可信软件的迫切需求,在可信软件的早期需求工程阶段,提出可...
关键词：可信软件 早期需求工程 非功能需求 软件过程 可满足性问题 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部