公共文化服务平台

搜索到113篇“ 形式化表示“的相关文章

一种证券研究报告形式化表示方法及装置: 本发明属于金融信息工程领域，具体涉及一种证券研究报告形式化表示方法及装置。证券研究报告形式化表示方法包括单只证券一般研究报告形式化表示、单只证券深度研究报告形式化表示、行业研究报告形式化表示和市场研究报告形式化表示等。证...; 不公告发明人

一种基于形式化表示的车辆驾驶方法: 本发明公开了一种基于形式化表示的车辆驾驶方法，属于智能驾驶技术领域，包括：构建公共数据库，该公共数据库中存储有由一次规划路径、驾驶态势图、驾驶水平及交通规则信息构成的时序数据；基于公共数据库中的时序数据，利用贝塞尔曲线拟...; 高洪波李智军刘康储晓丽郝正源; 文献传递

一种基于形式化表示的车辆驾驶方法: 本发明公开了一种基于形式化表示的车辆驾驶方法，属于智能驾驶技术领域，包括：构建公共数据库，该公共数据库中存储有由一次规划路径、驾驶态势图、驾驶水平及交通规则信息构成的时序数据；基于公共数据库中的时序数据，利用贝塞尔曲线拟...; 高洪波李智军刘康储晓丽郝正源; 文献传递

基于Petri网的多流程形式化表示与验证的研究与实现: 随着企业业务复杂性的加剧,企业各组织部门的协作越来越频繁,业务流程的设计与构建也越发困难,人工设计或自动构建的业务流程系统可能存在各种各样潜在的问题,这些问题可以在设计阶段被检测出来并排除。本文研究和实现基于Petri网...; 梁华; 关键词：BPMN 形式化验证 PETRI网可达图; 文献传递

区块链-形式化表示与体系结构演进: 文章阐述了传统信息系统的数学模型与特征，区块链系统的形式化表示，典型区块链体系结构，区块链体系结构可能的演进方向等内容。; 斯雪明; 关键词：形式化表示体系结构演进方向

软件维护性设计准则形式化表示及核查系统设计: 2017年; 为提高软件维护性并改善软件质量,需要在软件设计和开发阶段开展软件维护性设计,其中维护性设计准则核查是关键环节之一.在对软件维护性设计准则类型和描述要素详细分析的基础上,提出了软件维护性设计准则的形式化表示方法,构建了软件维护性设计准则核查系统体系结构,对核查算法进行了设计和分析,并应用Tcl语言定义了具有良好扩展性的度量模型及准则模型.初步的应用表明,该研究成果能够指导软件维护性设计并改善软件质量,具有一定的应用价值.; 张国光叶飞朱小冬; 关键词：软件维护性设计准则

信息安全Web服务的形式化表示和协调水平的研究（英文）: 2016年; 针对资源网络能提供可靠的IP协议进行了研究.提出了包错误处理、阻塞检测和资源效能的不同方法,并根据阻塞控制和资源效率对各种协议进行了比较.结果表明,分布式传输方法通过更多的资源容量来选择延迟包从源地址到阻塞终端的传递,可减少网络的控制信息,提高网络的传输效率和工作效率.; 谷萧君刘富祥张乃中; 关键词：WEB服务形式化表示

可信软件非功能需求形式化表示与可满足分析被引量：10: 2015年; 可信软件的可信性由其功能需求和非功能需求共同来体现,其中,非功能需求的实现是可信软件获得用户对其行为实现预期目标能力的信任程度的客观依据.针对可信软件的重要性以及对可信软件的迫切需求,在可信软件的早期需求工程阶段,提出可信软件非功能需求驱动的过程策略选取方法.首先,对可信软件需求进行定义,提出由功能需求和非功能需求中的可信关注点构成可信需求,非可信关注点的非功能需求则定义为软目标,用于表达质量需求,基于模糊集合论和信息熵对可信软件非功能需求进行排序并获取可信关注点和软目标.在此基础上,提出可信软件非功能需求驱动的过程策略选取方法.传统的软件早期需求工程阶段的目标是为了获取满足需求的技术及设计决策,与此不同,本文对可信软件非功能需求进行分析的目标是获取过程策略,从过程角度解决可信软件生产问题.由于非功能需求间复杂的相关关系,尤其是因为存在冲突关系,故提出了基于可满足性问题求解方法推理过程策略的方法,选取满足可信软件非功能需求的过程策略.最后,通过第三方可信认证中心软件的案例,说明所提出方法的可行性.; 张璇李彤王旭于倩郁湧朱锐; 关键词：非功能需求

军事需求形式化表示的要素及其关系研究被引量：1: 2014年; 军事需求形式化表示是军事需求工程的重要内容之一,该文对军事需求形式化表示三要素进行了系统分析,并对三要素之间的关系进行了阐述。; 彭诚张梅; 关键词：军事需求形式化表示

基于扩展描述逻辑和逻辑程序的事件动作形式化表示与推理被引量：2: 2014年; "事件"是比"概念"粒度更大的人类知识表示单元,更接近于人类的认知过程。动作作为事件的一个重要要素,表示事件中对象的状态的变化过程。在状态的变化过程中加入时间信息,将动作表示为对象的状态随时间变化而变化的过程,使得动作描述得更加具体。运用事件中的动作、对象和时间要素构建了一个动作形式化体系,研究了事件知识中确定性动作和不确定性动作的语法表示和语义解释。该形式化体系将扩展的带时间维的描述逻辑T-ALC和逻辑程序设计进行整合,增强了动作的表达能力;在动作的推理中,将确定性动作转化为逻辑程序Datalog规则实现动态推理,将不确定性动作转化为Datalog规则实现不确定推理。最后通过银行服务系统实例对动作的形式化表示和推理进行了验证。; 刘炜徐文杰唐英英付剑锋张旭洁刘宗田; 关键词：逻辑程序

相关作者