-
公开(公告)号：CN105446881A
公开(公告)日：2016-03-30
申请号：CN201510843266.7
申请日：2015-11-26
Applicant: 福建工程学院
IPC: G06F11/36
Abstract: 本发明公开了一种程序不可达路径的自动检测方法，通过将待检测的计算机程序转化为控制流图；将控制流图转化为程序模型，进行可达性分析得到不可达状态，通过自动检测不可达状态得到不可达状态的集合，然后根据不可达状态的集合得到不可达路径集合。本发明以理论上较为简单的状态搜索技术为基础，相比已有技术通常基于较复杂的数学理论，有效降低了技术运用与推广的难度；提供了完整的、具有较高自动化程度的程序不可达路径检测方法；解决了控制流图的可达性检测问题；解决了静态分析技术在处理较复杂程序时所存在的困难与低效问题；解决了静态分析技术在处理多分支程序的过程中，难以表达复合型数据的问题。
-
公开(公告)号：CN103617190A
公开(公告)日：2014-03-05
申请号：CN201310548940.X
申请日：2013-11-06
Applicant: 福建工程学院
IPC: G06F17/30
CPC classification number: G06F17/30699
Abstract: 本发明公开了一种上下文感知的动态需求跟踪方法，包括以下步骤：监控步骤：收集开发人员的操作；分析步骤：聚合收集到的操作信息，根据操作信息以及制品间的关联关系，自动生成扩展规则，并以此推测开发人员可能感兴趣的制品；推荐步骤：利用扩展规则从制品集合中自动挖掘开发人员最有可能感兴趣的软件制品；维护步骤：将推荐的制品类型展现给开发人员，建立并维护跟踪历史记录，以便进一步提高扩展规则的有效性和准确性。本发明通过上下文感知，系统性地整合制品之间多种类型的关联信息、开发人员的偏好和操作信息，具有更加准确和快捷的特点。
-
公开(公告)号：CN110471936A
公开(公告)日：2019-11-19
申请号：CN201910763451.3
申请日：2019-08-19
Applicant: 福建工程学院
IPC: G06F16/242 , G06F16/2455 , G06F16/28
Abstract: 本发明公开一种混合式SQL自动评分方法，通过比较执行结果的方式识别正确答案，扩充各个题目的参考答案集合，再计算学生所提交的SQL答案与参考答案集合在语法或文本上的差异，并依此完成对所有SQL答案进行评测的目标。本发明不仅可以减少教师手工穷举大量不同参考答案和批改SQL答案的工作量，而且能够根据所提交答案与各个参考答案进行自动评测，减少人工评测可能引入的主观错误，可适用于教学和考试环节。
-
公开(公告)号：CN109286939A
公开(公告)日：2019-01-29
申请号：CN201810984307.8
申请日：2018-08-28
Applicant: 福建工程学院
Abstract: 本发明提供了一种WSN逻辑型感知需求的验证方法，包括如下步骤：步骤S10、将WSN的传感器调度策略描述为感知格局变迁系统；步骤S20、将逻辑型感知需求描述为感知时态逻辑公式；步骤S30、将感知格局变迁系统转化为UPPAAL的系统建模语言，将感知时态逻辑公式转化为UPPAAL的性质描述语言，并使用UPPAAL自动验证传感器调度策略是否满足感知需求。本发明的优点在于：能够表达环境对象的被感知顺序以及相互之间的关联性，能够较全面地反应出传感器调度策略的内涵以及外延，提高了感知需求验证的自动化程度。
-
公开(公告)号：CN104750484B
公开(公告)日：2018-07-06
申请号：CN201510127501.0
申请日：2015-03-23
Applicant: 福建工程学院
IPC: G06F8/41
Abstract: 本发明提供一种基于最大熵模型的代码摘要生成方法，根据限定的样本模板采集训练样本；根据训练样本构建基于最大熵模型的代码元素分类器；将待分析的源代码输入到分类器，以识别其中的代码元素，并获取各代码元素所包含的词项；将获取到的词项进行降噪；根据词项所属的代码元素类型，并指定各个词项的权重；根据权重和出现次数，评估词项的重要性；根据重要性评估结果以及用户指定的摘要约束，生成代码摘要，使得得到的代码摘要更加的准确。
-
Patent Agency Ranking
公开(公告)号：CN103853559A
公开(公告)日：2014-06-11
申请号：CN201410089115.2
申请日：2014-03-12
Applicant: 福建工程学院
IPC: G06F9/44
Abstract: 本发明提供一种语义Web服务组合的自动验证方法及其系统，将OWL-S描述的Web服务转化为一台原子过程自动机，将原子过程自动机组合为组合过程自动机；消除组合过程自动机的冗余并发和同步迁移，获得优化模型；依据用户限定的相容性要求，确定组合过程自动机的可接受位置集合；依据用户限定的有效性要求，确定逻辑公式CSV；将优化模型转换为UPPAAL的建模语言；将可接受位置集合和逻辑公式CSV表示为CTL公式；将建模语言描述的组合服务模型与CTL公式输入UPPAAL进行验证；对OWL-S中的原子过程与组合过程的描述更具体完整，可以无差异地参加组合运算，支持逻辑公式和表达式，描述能力更强，提高了验证的效率。
-
-
公开(公告)号：CN116186199A
公开(公告)日：2023-05-30
申请号：CN202310050222.3
申请日：2023-02-01
Applicant: 福建工程学院
IPC: G06F16/33 , G06F40/30 , G06F40/211 , G06F40/247 , G06F16/951 , G06F18/25 , G06N3/0464
Abstract: 本发明公开一种基于多特征融合的短答案自动评分方法，收集学科领域的文本并利用词向量模型得到学科领域词向量模型；将参考答案和考生答案文本输入BERT模型提取答案文本的语义特征；对两个答案文本进行句法解析获取文本中的句法依赖图；计算两个答案文本的名词相似度以获取文本中的实体图；使用语义特征补充缺乏的语义信息得到扩展的句法依赖图和扩展的实体图，并动态融合得到整体特征融合图；通过整体特征融合图获得答案文本的全局信息；利用注意力机制获取答案文本的局部信息；将全局信息和局部信息结合作为答案文本的最终表示，利用余弦相似度公式计算两个答案文本的相似度以得出学生答案的分数。本发明适用于计算机专业领域的试卷评分。
-
公开(公告)号：CN112906400A
公开(公告)日：2021-06-04
申请号：CN202110209462.4
申请日：2021-02-24
Applicant: 福建工程学院
IPC: G06F40/30 , G06F40/247 , G06K9/62 , G06F40/242 , G06F40/289
Abstract: 本发明公开一种基于领域本体和语义依存树的主观题自动评分方法，步骤1，输入学生答案和参考答案；步骤2，进行文本预处理，依次形成参考答案分句集合、学生答案分句集合、参考答案分词集合、学生答案分词集合、参考答案词性对集合和学生答案词性对集合；步骤3，使用语义依存分析工具将集合PA和集合QA转化为语义依存树集合PAT和QAT；步骤4，对语义依存树集合PAT和QAT的每一个语义依存树进行减枝操作形成新的语义依存树集合PBT和QBT；步骤5，将语义依存树集合PBT和QBT的每一个语义依存树转化为文本表示为集合PW和QW；步骤6，计算集合PW和QW的相似度；步骤7：学生答案得分。本发明既能够计算专业术语的语义相似度，同时又能够计算句法不同但语义相同的句子相似度，进而更适用于专业领域。
-
公开(公告)号：CN112862311A
公开(公告)日：2021-05-28
申请号：CN202110168886.0
申请日：2021-02-07
Applicant: 福建工程学院
Abstract: 本发明公开一种基于双层区块链的车联网信任管理方法，构建了新的信任凭证及评估体系，通过车联网主体的行为频率和信任值增速变化，来反映主体的行为趋势，从而有效提高了信任指标集评估主体可靠性的能力。采用双层区块链的结构，同时保存了信任评估数据和信任凭证数据，并使两类数据在逻辑上相互独立。由此，信任评估系统具有了容纳双重粒度数据的能力，保证了信任评估结果的可审计性和可追溯性。针对信任管理系统的节点特性，提出了基于伪随机数的记账权分配算法，能够有效提高共识效率，且可以避免因为共识而产生算力消耗。本发明还可以使记账节点序列具有不可预测性，从而有效防止有预谋的攻击。
-
-
-
-
-
-
-
-
-
Search Results
28
records
(took 0.024 seconds)
