形式化研究

作品数：116被引量：191H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李启南张韧弦顾永跟李国强任洪敏更多>>
相关机构：武汉大学北京化工大学上海交通大学华中科技大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家社会科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
列车运行控制系统的形式化研究进展与趋势被引量：1
《前瞻科技》2023年第1期106-117,共12页吕继东 卢万里 唐涛 罗正伟 
国家自然科学基金(52272329);北京市自然科学基金(L201004)。
列车运行控制系统是保障列车安全与高效运行的核心。目前中国列车运行控制技术整体已步入世界先进水平,正在向智能化、智慧化方向发展,迫切需要以自主化工具平台支撑的正向研发设计方法。形式化方法是保障列车运行控制系统功能正确实现...
关键词：列车运行控制系统 形式化方法 基于模型的开发 需求规范 建模验证 
动态可配置网络爬虫系统的形式化研究被引量：2
《福建电脑》2022年第8期1-4,共4页刘业 吴建平 
国家自然科学基金项目(No.61872191)资助。
为了在动态可配置网络爬虫系统开发的初期发现问题,对其进行形式化研究是十分必要的。本文通过SDL对爬虫系统进行形式化建模,并使用仿真的MSC运行结果来对爬虫系统可能出错的情况、可达性以及一致性等性质进行了分析。使用Telelogic TA...
关键词：形式化 规范描述语言 网络爬虫 消息顺序图 
基于SDL的网络搜索引擎系统的形式化研究
《现代计算机》2022年第15期67-71,共5页刘业 吴建平 
搜索引擎是当今热门的计算机研究及应用领域。以Yahoo为主的开放式目录搜索和以百度、Google为主的全文搜索都是顺应Internet快速发展的用户需求而诞生的技术。SDL作为一种形式化语言,一般被应用于网络协议和通讯系统软件开发,而用SDL...
关键词：搜索引擎 形式化 SDL 
融合网络中SIP协议的SDL形式化研究
《中国新通信》2022年第14期25-27,共3页刘业 
作为融合网络中语音业务(VoIP)及新型网络应用的基础协议,SIP协议的灵活性和可扩展性使得它跟网络层的IP协议一样,在应用层成为事实上的“协议标准”。近几年国内企业使用较为广泛的视频会议应用SparkleComm即是用SIP协议进行开发。本...
关键词：SIP 形式化描述语言 协议 融合网络 
基于COQ的有限域GF(2n)的形式化研究被引量：1
《计算机科学》2020年第12期311-318,共8页范永乾 陈钢 崔敏 
有限域GF(2n)是多种安全关键性算法的基础,包括AES加密算法、椭圆曲线加密和感染函数掩码等。相关资料表明,有限域上的运算因为自身的复杂性而容易出错,从而导致系统问题。基于测试和基于模型检测的验证方法只能在n固定的特定有限域上...
关键词：有限域 COQ 形式化验证 定理证明 多项式运算 
模型、结构、特性:刑事补强证据规则的形式化研究
《华北理工大学学报（社会科学版）》2020年第5期17-22,30,共7页赵飞龙 
最高人民检察院检察理论研究一般课题“认罪认罚后被告人反悔研究”(编号GJ2019C30)研究成果。
作为一种辅助性规则,刑事补强证据规则的适用是刑事证明体系的有机组成部分之一。在形式化过程中,类比“预防措施-损害”模型,可以将其理论模型构建为P=aPa+bPb……+nPn(n≥2,1>P>0)。以此为基础,证明结构刻画为以待证事实为连接要素的...
关键词：刑事补强证据规则 理论模型 证明结构 结构特性 
未成年人犯罪社会调查报告适用的去形式化研究被引量：1
《昆明理工大学学报（社会科学版）》2020年第5期10-20,共11页朱玉玲 亓飞 
国家社会科学基金一般项目“认罪认罚从宽实施程序研究”(15BFX072);山东省社会科学规划研究项目“多元化简易刑事程序研究”(18CSPJ01);青岛市社会科学规划项目“刑事辩护全覆盖问题与对策研究”(QDSKL1901134)
刑事诉讼法中未成年人犯罪案件社会调查报告的适用在未成年犯罪人的量刑及教育改造中具有重要的作用。尽管我国刑事诉讼法及司法解释对社会调查的内容和开展调查的主体作出了规定,但是实践中社会调查报告的适用情况不甚乐观。由于立法...
关键词：未成年人犯罪 社会调查 社会调查报告 去形式化 
基于SDRT的汉语语篇连贯的形式化研究
《海外英语》2019年第24期96-98,共3页张红艳 
近几十年来汉语语篇连贯研究取得了丰硕的成果,但缺乏形式化的研究。分段式话语表征理论(SDRT)是用形式化的方法逐步实现篇章语义的动态语义学理论,但以往的SDRT视角下汉语语篇研究没有关注某一类语篇,限制了SDRT在汉语研究上的作用。...
关键词：汉语语篇连贯 语篇连贯失误 分段式话语表征理论 汉语小说 形式化方法 
恶意计算机程序基因形式化研究
《信息技术与网络安全》2019年第11期35-40,共6页丁建伟 陈周国 刘义铭 
国家重点研发计划(2017YFC080700)
随着互联网的爆发式发展,恶意计算机程序也呈现快速增长趋势。针对恶意计算机程序加壳、加密、混淆等复用手段,传统的恶意计算机程序检测手段越来越费时费力。针对日益增长的恶意计算机程序变种的检测,因受到生物基因检测的启发,从恶意...
关键词：恶意程序分析 程序基因 程序基因形式化建模 
一种支持设计时软件重用的反射式软件体系结构及其形式化研究被引量：3
《计算机工程与科学》2019年第8期1434-1443,共10页罗巨波 应时 刘天时 
陕西省教育厅科研计划项目资助(项目编号:18JK0621);国家自然科学基金(61672392,61373038)
软件体系结构在软件重用中有着特殊的意义。缺乏显式的描述并使用支持体系结构重用过程的信息和缺乏有效的重用方法是软件体系结构难以重用最根本的原因。在软件设计阶段,将元信息、元建模、反射和软件体系结构结合起来,构造了一种支持...
关键词：软件体系结构重用 反射式软件体系结构 具体化 Object-Z形式化描述 
全选清除导出
共12页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部