形式化

作品数：5172被引量：11555H指数：35
导出分析报告
相关领域：自动化与计算机技术文化科学更多>>
相关作者：关永施智平薛锦云张广泉段振华更多>>
相关机构：华东师范大学国防科学技术大学西安电子科技大学清华大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家社会科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
项目下乡与规则形式化:基层治理规范化背景下政商合作行为研究——基于湖北省宜昌市夷陵区Y镇农业特色产业项目的考察
《地方治理研究》2025年第2期12-23,M0002,M0003,共14页崔盼盼 
国家社会科学基金西部项目“西部地区乡村产业富民的社会机制及优化路径研究”(24XSH002),负责人:崔盼盼;教育部哲学社会科学基金青年项目“乡村特色产业发展中多元主体协同治理困境及化解机制研究”(23XJC840001),负责人:崔盼盼。
基层政商互动的制度环境经历了制度约束由弱变强的过程,这促使政商关系从交易关系演化为合作关系。基于对湖北省宜昌市夷陵区Y镇农业特色产业项目在实践过程中政商关系的考察发现,为了达成农业产业发展的公共目标,政商互动呈现出两种关...
关键词：政商合作 项目下乡 资本下乡 乡村产业振兴 农业产业发展 资本吸纳 政策俘获 
一种车联网V2V认证与密钥交换协议设计与验证
《信息安全研究》2025年第5期465-472,共8页王秀珍 徐鹏 陈美荣 王丹琛 徐扬 
中央高校基本科研业务费专项资金项目(2682021GF012)。
车联网系统中,车辆行驶过程需与其他车辆通信以实现信息交换,要求必须具备高安全、低延迟、用户匿名性等安全特性.认证与密钥交换协议以密码算法为基础旨在完成会话密钥协商,用于通信双方后续信息交换,是保证车联网通信安全的重要手段....
关键词：认证与密钥交换协议 形式化分析 快速登录 ROR模型 Proverif 
关于多形式化健康教育模式在老年性白内障手术护理中的应用分析
《中文科技期刊数据库(引文版)医药卫生》2025年第4期108-111,共4页徐梅兰 刘义梅 何丽凤 
探讨老年性白内障手术患者的护理方法,着重分析多形式化健康教育模式在临床上应用价值。方法 2023年1月-2023年12月,对进行手术治疗的老年性白内障展开研究, 纳入患者308例,以随机数字表法为分组方案,有2组,是154例。对照组154例采用常...
关键词：老年性白内障 手术护理 常规化健康教育模式 多形式化健康教育模式 术后并发症 白内障知识掌握度 护理满意度 
基于逻辑模型的多偏好旅游路线规划研究
《现代电子技术》2025年第7期169-176,共8页王文成 王曦雅 牛秦州 董明刚 
国家自然科学基金项目(62366012)。
针对现有生成个性化旅游路线过程中用户个人偏好分析单一以及时间和成本预算选择单一的问题,考虑到不同用户的需求,提出一种基于一阶逻辑约束下的个性化旅游路线规划。首先,运用模型论中的结构对旅游规划中成本、时间和景点等相关偏好...
关键词：路线规划 用户多偏好 形式化建模 回答集程序 个性化偏好 逻辑模型 
航天嵌入式软件安全性验证技术
《航天控制》2025年第2期72-78,共7页高猛 王晓玲 朱晓程 
作为影响安全苛刻系统的重要因素,软件安全性问题日益受到关注。本文结合航天嵌入式软件工程实践,以软件安全性需求为线索,聚焦典型安全性问题,从源代码安全性质的形式化验证、软件安全性需求的自动化测试两个维度,分析总结了包括安全...
关键词：航天控制 嵌入式软件 中断驱动 软件安全性 形式化验证 自动化测试 
一种事前可解释的即时软件缺陷预测方法
《计算机应用与软件》2025年第4期13-20,共8页林杨 王炜 
云南省中青年学术和技术带头人后备人选项目(2019HB104)。
为解决即时软件缺陷预测结果难以解释的问题,基于多项式神经网络的改进模型,提出一种事前可解释的即时软件缺陷预测方法,通过将代码度量元与预测结果之间的因果关系形式化输出为K-G多项式的复合函数,使用标准化回归系数来衡量复合函数...
关键词：多项式神经网络 即时软件缺陷预测 事前可解释性 形式化 
基于多访问控制的智能合约重入攻击防御方法
《信息安全研究》2025年第4期333-342,共10页陈虹 谢金彤 金海波 武聪 马博宇 
国家自然科学基金项目(62173171);辽宁省教育厅科研项目(LJKFZ20220198)。
为解决智能合约在处理外部合约调用时存在漏洞而导致的重入攻击问题,提出一种基于多访问控制(multiple access controls,MAC)的智能合约重入攻击防御方法.通过采用多访问控制仅允许合约所有者进行调用,并防止函数在执行期间对同一事务...
关键词：智能合约 多访问控制 重入攻击 形式化验证 银行存取款 
张力响应视角下委托型公益项目的形式化问题及其应对
《社会建设》2025年第2期124-141,共18页吴雪萌 崔月琴 
在公益领域资源方多元发展的背景下,相关研究既要关注国家支持情境下公益实践的问题及走向,也应探寻公益实践面临的组织利益与公共利益的矛盾与张力。基于对一个基金会委托项目在J机构三个年度的实践状况的跟踪调查,研究发现,资源方与...
关键词：委托型公益项目 张力响应视角 组织利益本位 项目形式化 
形式化、形式主义与中国历史的政治哲学论纲
《中山大学学报(社会科学版)》2025年第2期157-166,共10页董成龙 
中央高校基本科研业务费资助项目(2024CDJSKJC02)。
政治哲学不是与政治史无涉的理论言说,而是可以提供重审历史变迁的重要视点,形式化、形式主义与再形式化就是理解中国历史的一种政治哲学进路。形式化是要为活泼泼的质料赋形,将政治凝成为固定的制度与仪式,但其完成也意味着“流于形式...
关键词：形式化 形式主义 再形式化 政治哲学 中国历史 
基于Event-B的区块链Raft共识形式化建模方法
《山西电子技术》2025年第2期97-99,共3页陈中绪 任睿 崔慧敏 
山西省重点研发计划“区域性股权市场金融服务创新关键技术研发及应用示范”(202102020101016)。
Raft共识机制是一个关键的分布式系统组件,用于确保数据一致性和容错性。在工业互联网等领域,数据的准确性和系统的可用性至关重要。通过Event-B方法,可以精确地规约Raft共识机制的行为和性质,确保其在各种情况下能够正确运行。基于此,...
关键词：Raft共识算法 Event-B方法 形式化建模 
全选清除导出
共513页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部