您的位置： 专家智库 > >

李钦

作品数：20 被引量：10H指数：1
供职机构：华东师范大学更多>>
相关领域：自动化与计算机技术经济管理文化科学更多>>

合作作者

文献类型

  • 16篇专利
  • 4篇学位论文

领域

  • 8篇自动化与计算...
  • 2篇经济管理
  • 1篇文化科学

主题

  • 7篇形式化
  • 5篇安全性
  • 5篇安全性质
  • 5篇EVENT-...
  • 4篇形式化建模
  • 4篇语义规则
  • 4篇软件产品
  • 4篇软件复杂度
  • 4篇路径信息
  • 4篇计算软件
  • 4篇建模语言
  • 4篇复杂度
  • 3篇形式化验证
  • 2篇入侵
  • 2篇入侵检测
  • 2篇入侵检测模型
  • 2篇实证
  • 2篇实证研究
  • 2篇数据分类
  • 2篇数据检测

机构

  • 20篇华东师范大学
  • 2篇同济大学

作者

  • 20篇李钦
  • 8篇黄滟鸿
  • 8篇史建琦
  • 3篇杨洋
  • 3篇郭欣
  • 2篇郭建
  • 2篇蒲戈光
  • 1篇黄震
  • 1篇姜宁康

年份

  • 3篇2023
  • 4篇2022
  • 4篇2021
  • 3篇2020
  • 2篇2019
  • 2篇2015
  • 1篇2013
  • 1篇2011
共 20 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于Event-B方法的微内核操作系统进程间通信机制的形式化建模和验证方法
本发明公开了一种基于Event‑B方法的微内核操作系统进程间通信机制的形式化建模和验证方法，包括：需求设计分析，根据基于Event‑B方法的微内核操作系统进程间通信机制，结合订阅者发布者模式，设计分析符合Event‑B建...
李钦关钰千郭建蒲戈光
文献传递
Wind评选的明星分析师是否值得信任?——基于预测准确性和预测行为市场反应的实证研究
明星分析师的评选活动越来越引发人们关注，上榜的明星分析师影响力日益扩大的同时拥有丰厚的报酬和更广阔的职场上升空间。但近年来诸多关于明星分析师的不良报道曝光，使得社会各界对其的质疑不断，明星分析师是否值得信任？本文采用20...
李钦
关键词：金融市场
文献传递
高管间关系对企业成长性影响的实证研究：来自我国创业板上市企业的证据
中国社会是一个特别重视并善于利用关系网络来达到某种目的的社会。在中国特有的传统“家文化”情境下，中国企业高管团队之间的关系不仅限于工作关系，而是会被扩大到社会生活关系，这些关系会从一定程度上影响到成员的决策，从而影响到企...
李钦
关键词：创业板上市公司企业成长性
文献传递
一种软件复杂度计算系统
本发明公开了一种软件复杂度计算系统，包括：活动获取模块，用于获取软件中的构件包括的各个活动；路径信息获取模块，用于根据所述构件包括的各个活动，通过操作语义规则执行所述软件中的各个构件，得到所述软件的执行路径对应的路径信息...
赵涌鑫史建琦黄滟鸿李钦王泊涵
文献传递
一种软件复杂度计算方法
本发明公开了一种软件复杂度计算方法，包括：获取软件中的构件包括的各个活动；根据所述构件包括的各个活动，通过操作语义规则执行所述软件中的各个构件，得到所述软件的执行路径对应的路径信息；根据所述软件的执行路径对应的路径信息，...
赵涌鑫史建琦黄滟鸿李钦王泊涵
文献传递
一种用于播放视频的边缘融合处理与控制系统及方法
本发明公开了一种用于播放视频的边缘融合处理与控制系统，包括：预融合配置管理器和融合配置播放终端；其中，至少两台融合配置播放终端分别与预融合配置管理器连接；预融合配置管理器用于控制融合配置播放终端调整融合配置参数，从融合配...
史建琦黄滟鸿李钦姜宁康
文献传递
基于Event-B形式化的实时调度算法可调度性建模和验证方法、系统及应用
本发明公开了一种基于Event‑B形式化的实时调度算法可调度性建模和验证方法，包括：步骤1：建立运行调度算法的操作系统环境模型，并模拟任务状态切换和调度选择动作；步骤2：在Event‑B模型中建模实时调度算法的可调度性需...
李钦全嘉乐
一种基于模块协同的机器学习系统概率正确性建模与评估方法
本发明公开了一种基于模块协同的机器学习系统概率正确性建模与评估方法，所述方法包括：根据系统构建的SysML活动图，将活动图中的活动节点分类为智能模块与非智能模块，并使用构型的概念，来描述活动图中活动模块之间的组合以及数据...
李钦凌可璟王晓玲
针对非平衡数据的入侵检测系统
本发明公开了一种针对非平衡数据的入侵检测系统，包括获取模块，代码读取模块，分类模块，上采样模块，以及入侵检测模块，上述系统，在数据集构建中，通过对数据进行重采样，消除部分类别的不平衡，另外在入侵检测模型上进一步削减不平衡...
郭欣杨洋史建琦黄滟鸿佘庆李钦付能
文献传递
针对非平衡数据的入侵检测方法
本发明公开了一种针对非平衡数据的入侵检测方法，包括获取步骤，代码读取步骤，分类步骤，上采样步骤，以及入侵检测步骤，上述方法，在数据集构建中，通过对数据进行重采样，消除部分类别的不平衡，另外在入侵检测模型上进一步削减不平衡...
李钦杨洋史建琦黄滟鸿佘庆郭欣付能
文献传递
全选 清除 导出
共2页<12>
聚类工具0