-
公开(公告)号：CN103049573A
公开(公告)日：2013-04-17
申请号：CN201310002434.0
申请日：2013-01-05
Applicant: 江苏大学
Inventor： 周从华
Abstract: 本发明公开了一种基于系统操作指南的隐通道搜索方法，首先标识出系统中所有被多个用户共享的对象；对每个对象标识出该对象拥有的所有属性；将属性分成布尔型、数值型、字符型三种类型；对每种类型，依据系统操作指南将引起属性相同变化的高安全级用户的操作序列归结为一类，将引起属性相同变化的低安全级用户的操作序列归结为一类；在高低安全级用户的每一类操作序列中分别随机选取一个操作序列，将两个操作序列按照组合规则组成一个新操作序列集；运行所有新操作序列并记录结果；如果某个新操作序列的执行结果与运行低安全级用户选取的操作序列得到的结果不一致，则新操作序列可用来产生隐通道。适用于面向用户的多级安全系统中的隐通道搜索。
-
公开(公告)号：CN101377806A
公开(公告)日：2009-03-04
申请号：CN200810022701.X
申请日：2008-07-24
Applicant: 江苏大学
Abstract: 一种基于系统源代码搜索隐通道的信息流分析方法，包括下列步骤：借助词法分析程序，扫描系统源代码，识别出源代码中的函数和函数中的语句、变量；根据扫描程序识别出的函数以及函数调用语句，确定函数间的调用关系，构造语句树段，给出每个函数的函数依赖集；根据扫描程序识别出的能产生信息流的语句和变量，作为信息流分析的输入，构造函数信息流树，并进行剪枝；遍历函数信息流树，输出每个函数的信息流向图；根据函数依赖集和信息流向图，以函数依赖集为单位，获得依赖集中函数间的共享变量可见性和可修改性信息，生成共享资源矩阵；以共享资源矩阵作为输入，搜索隐通道，输出系统中存在的隐通道序列。本发明可以提高隐通道搜索工作的精度。
-
公开(公告)号：CN101013452A
公开(公告)日：2007-08-08
申请号：CN200710019971.0
申请日：2007-02-05
Applicant: 江苏大学
IPC: G06F17/50
Abstract: 一种符号化的模型检测方法是一种使模型检测实用化的方法，主要原理是利用量化布尔公式可满足性判定代替CTL的模型检测。其方法为：1.)提取待验证系统的状态机模型M及待验证属性的计算树时态逻辑描述；2.)以边界k为形式参数，描述属性f的k界语义；3.)以边界k为形式参数，将属性f的k界语义转换为量化布尔公式[M，f]k：4.)递增的判定系统M是否满足可靠属性f：该方法综合了基于二叉判定图的符号化模型检测方法和基于命题公式可满足性判定的有界模型检测方法的优点，同时又克服了他们的缺点，即不依赖于布尔变量的排序，也不依赖于验证的属性为全称属性。
-
公开(公告)号：CN113920368B
公开(公告)日：2024-12-17
申请号：CN202111225017.3
申请日：2021-10-21
Applicant: 江苏大学
IPC: G06V10/764 , G06V10/774 , G06F30/27 , G06F17/16
Abstract: 本发明公开了一种鲁棒特征空间共同学习的多标签图像分类方法，首先准备多标签数据；在特征空间和标签空间中引入特征选择和核范数的低秩表示方法从而构造鲁棒的标签和特征空间共同学习的多标签分类模型；利用鲁棒低秩投影矩阵V将q维标签空间映射到r维的标签空间中，从而V表示在标签空间中学习到的鲁棒低秩投影；引入增广拉格朗日乘数法对多标签分类模型的目标函数中的矩阵P和矩阵V进行求解；将多标签数据作为训练数据样本对提出的多标签分类模型进行训练，得到最优的鲁棒低秩系数矩阵P和鲁棒低秩投影矩阵V；基于最优的鲁棒低秩系数矩阵P和鲁棒低秩投影矩阵V完成多标签分类模型的训练，并利用该多标签分类模型进行多标签图像分类。
-
公开(公告)号：CN114372518A
公开(公告)日：2022-04-19
申请号：CN202111626398.6
申请日：2021-12-28
Applicant: 江苏大学
IPC: G06K9/62 , G06F40/279
Abstract: 本发明提供了一种基于解题思路和知识点的试题相似度计算方法，包括整理试题特征信息形成知识点类特征集和解题思路类特征集，其中一方面以Jaccard系数作为两试题之间的知识点相似度，另一方面从试题解题思路的角度出发，考量两试题之间的相似性，其中利用Skip‑gram模型将解题思路中的语料信息转换为相对应的词向量，进而以计算词向量之间欧氏距离的方式，评价试题之间的相似度，最终与知识点相似度相结合，提升数学类试题相似度评价的准确性，尤其是能够避开数学题中不同符号图表所带来的干扰。
-
Patent Agency Ranking
公开(公告)号：CN113420543A
公开(公告)日：2021-09-21
申请号：CN202110509310.6
申请日：2021-05-11
Applicant: 江苏大学
IPC: G06F40/216 , G06F40/284 , G06F40/30 , G06N3/04 , G06N3/08 , G06F17/16 , G06F40/126
Abstract: 本发明涉及一种基于改进Seq2Seq模型的数学试题自动标注方法，该方法包括以下步骤：采集数学试题数据；对数据进行预处理；构建基于改进的Seq2Seq模型；训练模型网络参数，并对未标记数学试题进行知识点预测标注。本发明能解决现有的人工标注数学试题费时费力，而且对于知识点会存在漏标、误标等问题，改进了传统的Seq2Seq模型，使之在预测知识点标签时更加关注数学试题中的关键部分以及相关知识点标签信息，从而进一步提高模型预测数学试题多个知识点标签的正确率。
-
公开(公告)号：CN106940765A
公开(公告)日：2017-07-11
申请号：CN201710080012.3
申请日：2017-02-15
Applicant: 江苏大学
Abstract: 本发明公开了一种访问权限动态控制方法，属于信息安全领域，具体包括以下步骤：创建主体，角色，属性，权限；为角色添加属性；将角色分配给用户，同时填充属性值；根据角色及其属性值，赋予相应的权限。本发明将动态角色与动作继承进行了有机结合，提高了访问控制的性能，可应用于访问权限的动态控制。
-
公开(公告)号：CN101337149B
公开(公告)日：2012-03-21
申请号：CN200810020888.X
申请日：2008-07-30
Applicant: 江苏大学
Abstract: 本发明公开了一种铸造旧砂再生尾气处理方法，包括：旋风除尘器水膜除尘器集尘器化学吸收系统和吸附罐该方法是物理化学的组合处理技术，为环保节能型工艺技术。其优点是：由旋风除尘器水膜除尘器集尘器组成的三级除尘，有效去除铸造旧砂再生尾气中的膨润土等颗粒污染物，防止堵塞后续处理系统，同时降低尾气的温度，减少对后续系统的净化效果的影响；采用化学吸收系统，利用质量浓度为10％的氢氧化钠吸收液吸收尾气中的氮氧化合物和部分挥发性有机污染物，降低挥发性有机污染物负荷，延长后续吸附罐内吸附材料的再生周期；吸附罐内采用改性活性炭纤维作为吸附材料，可以提高挥发性有机污染物的去除效率，且阻力小，可有效降低能耗。
-
公开(公告)号：CN101337149A
公开(公告)日：2009-01-07
申请号：CN200810020888.X
申请日：2008-07-30
Applicant: 江苏大学
Abstract: 本发明公开了一种铸造旧砂再生尾气处理方法，包括：旋风除尘器、水膜除尘器、集尘器、化学吸收系统和吸附罐。该方法是物理、化学的组合处理技术，为环保节能型工艺技术。其优点是：由旋风除尘器、水膜除尘器、集尘器组成的三级除尘，有效去除铸造旧砂再生尾气中的膨润土等颗粒污染物，防止堵塞后续处理系统，同时降低尾气的温度，减少对后续系统的净化效果的影响；采用化学吸收系统，利用质量浓度为10％的氢氧化钠吸收液吸收尾气中的氮氧化合物和部分挥发性有机污染物，降低挥发性有机污染物负荷，延长后续吸附罐内吸附材料的再生周期；吸附罐内采用改性活性炭纤维作为吸附材料，可以提高挥发性有机污染物的去除效率，且阻力小，可有效降低能耗。
-
公开(公告)号：CN101333052A
公开(公告)日：2008-12-31
申请号：CN200810020912.X
申请日：2008-07-31
Applicant: 江苏大学
Abstract: 本发明公开的离散型生活污水处理方法，由集水井、SABR反应器、改良土壤系统和接触消毒池四个部分组成；集水井内设提升泵，集水井的污水入口处设有污水进水管、污物篮。SABR反应器由厌氧折板反应区、污泥沉淀区、化学脱氮除磷反应区组成；厌氧折板反应区的由多个折板反应室构成，折板反应室顶部设有排气管，底部设穿孔布水管，进水管分别和各折板反应室内的穿孔布水管相连；污泥沉淀区底部设排泥管；化学脱氮除磷反应区和污泥沉淀区通过多孔板连通。改良土壤净化系统由位于土壤内中上部的穿孔布水管、土壤基质层和底部穿孔集水管组成。该方法处理效果稳定，自控程度高，操作人员少，管理简单，能够较大幅度地节能，减少剩余排污量。
-
-
-
-
-
-
-
-
-
Search Results
71
records
(took 0.03 seconds)
