检索结果-南通市图书馆

计算机辅助设计与图形学学报 2005年第1期17卷 179-184页

作者：鞠时光李星毅江苏大学计算机科学与通信工程学院镇江212013

为了有效地实现数据库图符查询语言解释器 ,引入了图卡解析树 ;开发出二维文法规则 ;定义出一套适宜于模式分析、语法分析及语义解析的图符程序内部存储机制 ;

关键词：可视化图符语言解释系统数据库

在线全文

学校读者我要写书评

暂无评论

用于文本相似度计算的新核函数

通信学报 2012年第12期33卷 43-48页

作者：王秀红鞠时光江苏大学科技信息研究所江苏镇江212013 江苏大学理学院江苏镇江212013 加州大学戴维斯分校农业与环境科学学院加利福尼亚州戴维斯95616 江苏大学计算机科学与通信工程学院江苏镇江212013

为了提高文本相似检测的综合表现,在文本文档相似特征的基础上构造了新的核函数S_Wang核函数。结合文本相似计算过程中的实际情况,将待比对的文本表示成向量,考虑通过2个向量间的乘积和欧氏距离来描述向量之间的相似程度,从而构造了适... 详细信息

为了提高文本相似检测的综合表现,在文本文档相似特征的基础上构造了新的核函数S_Wang核函数。结合文本相似计算过程中的实际情况,将待比对的文本表示成向量,考虑通过2个向量间的乘积和欧氏距离来描述向量之间的相似程度,从而构造了适合文本相似度计算的新核函数,并根据Mercer定理证明了所构造函数可以作为核函数。实验验证了新构造的核函数在文本文档相似度计算中的表现,实验结果表明S_Wang核其相似度计算精度和综合指标均分别优于Cauchy核、潜在语义核(LSK)以及CLA复合核。S_Wang核适用于文本相似度计算。

关键词：信息检索文本相似度核函数 S_Wang核潜在语义核 Cauchy核 CLA复合核

在线全文

学校读者我要写书评

暂无评论

一种基于Petri网的隐蔽信息流分析方法

计算机学报 2012年第8期35卷 1688-1699页

作者：周从华鞠时光江苏大学计算机科学与通信工程学院江苏镇江212013

隐蔽信息流分析是开发高等级可信计算机系统必须面对的问题.以Petri网作为开发安全系统的形式化建模工具,给出Petri网中隐蔽信息流存在的判定条件.提出该条件成立的两种网结构,进而可以在语法层次上预先判断隐蔽信息流的存在性,并使由... 详细信息

隐蔽信息流分析是开发高等级可信计算机系统必须面对的问题.以Petri网作为开发安全系统的形式化建模工具,给出Petri网中隐蔽信息流存在的判定条件.提出该条件成立的两种网结构,进而可以在语法层次上预先判断隐蔽信息流的存在性,并使由此类结构引起的隐蔽信息流在系统的设计阶段得以避免.开发了一种基于Petri网可达图的隐蔽信息流存在性判定算法,算法遵循无干扰方法的思想,但是避免了无干扰方法中等价状态的区分和展开定理的使用.另外,算法采用深度优先搜索的策略,避免了Petri网全局可达图的构造.对复杂的安全系统,分析了子系统的各种组合运算对隐蔽信息流存在性的影响,降低了大规模系统分析的复杂度.

关键词：隐蔽信息流无干扰 Petri网组合展开定理

在线全文

学校读者我要写书评

暂无评论

计算机辅助地面造型

计算机研究与发展 1990年第8期27卷 44-48,43页

作者：鞠时光江苏工学院

本文系统地介绍了计算机辅助地面造型过程中所涉及的主要技术。给出了平面等高线地形图,带地物符号的工程地形图,立体等高线图及逼真地形图等多种造型方法。分析了文中大部分算法的优缺点。

关键词：地面造型数字模型 CAD

在线全文

学校读者我要写书评

暂无评论

基于向量相似的权重社会网络隐私保护

电子学报 2015年第8期43卷 1568-1574页

作者：兰丽辉鞠时光江苏大学计算机科学与通信工程学院江苏镇江212013 沈阳大学信息工程学院辽宁沈阳110000

针对权重社会网络发布,提出采用基于向量相似的随机扰动方法实现多个发布场景下网络结构和边权重的隐私保护.该方法以边空间理论为基础,采用基于节点聚类的分割方法构建权重社会网络的向量集模型;以加权欧氏距离作为向量相似的度量标准... 详细信息

针对权重社会网络发布,提出采用基于向量相似的随机扰动方法实现多个发布场景下网络结构和边权重的隐私保护.该方法以边空间理论为基础,采用基于节点聚类的分割方法构建权重社会网络的向量集模型;以加权欧氏距离作为向量相似的度量标准,根据选定阈值构建发布候选集;从候选集随机选取向量实现权重社会网络的发布;可抵御多种节点识别攻击,迫使攻击者在一个向量发生概率相同的庞大结果集中进行重识别,增加了识别的不确定性.实验结果表明,该方法在确保社会个体隐私安全同时可保护社会网络分析所需的某些结构特征,提高发布数据效用.

关键词：社会网络边权重隐私保护向量集模型加权欧氏距离

在线全文

学校读者我要写书评

暂无评论

半铠装滑动测温传感器及其故障诊断的研究

仪器仪表学报 2002年第6期23卷 564-568页

作者：张荣标蔡兰孙玉坤鞠时光江苏大学电气信息工程学院镇江212013

结合大型旋转艇体温度测试的研究 ,提出了一种新型的半铠装滑动测温传感器结构。在分析其故障特征的基础上 ,综合考虑测温系统的冗余性 ,进一步提出了基于时间序列和专家系统相结合的故障诊断策略。经实验仿真和实际工程的使用情况表明 ... 详细信息

结合大型旋转艇体温度测试的研究 ,提出了一种新型的半铠装滑动测温传感器结构。在分析其故障特征的基础上 ,综合考虑测温系统的冗余性 ,进一步提出了基于时间序列和专家系统相结合的故障诊断策略。经实验仿真和实际工程的使用情况表明 ,文章所给出的滑动测温方法及传感器故障诊断策略是切实可行的。

关键词：半铠装滑动测温传感器故障诊断时间序列专家系统

在线全文

学校读者我要写书评

暂无评论

基于混合核函数的分布式信息检索结果融合

通信学报 2011年第4期32卷 112-118,125页

作者：王秀红鞠时光江苏大学理学院江苏镇江212013 江苏大学科技信息研究所江苏镇江212013 江苏大学计算机科学与通信工程学院江苏镇江212013

为了提高分布式信息检索(DIR)的结果融合表现,基于改进的潜在语义核(LSK)和复合方差(ANOVA)核构建了新的复合(CLA)核,通过直接计算检索结果和提问之间相关度来对检索结果进行融合研究。实验结果表明:CLA核的融合精度和招回率分别仅略次... 详细信息

为了提高分布式信息检索(DIR)的结果融合表现,基于改进的潜在语义核(LSK)和复合方差(ANOVA)核构建了新的复合(CLA)核,通过直接计算检索结果和提问之间相关度来对检索结果进行融合研究。实验结果表明:CLA核的融合精度和招回率分别仅略次于LSK和ANOVA核,但其综合评价指标F1优于其他核;其融合精度比Round-robin、ComMNZ、Bayesian、Borda、SDM、MEM和regression SVM等分别提高了16.79%、30.73%、20.37%、24.17%、14.25%、13.50%和7.53%。CLA核具有较好的融合表现,适用于DIR结果融合。

关键词：分布式信息检索结果融合潜在语义核 ANOVA核复合核

在线全文

学校读者我要写书评

暂无评论

基于差分隐私的权重社会网络隐私保护

通信学报 2015年第9期36卷 145-159页

作者：兰丽辉鞠时光江苏大学计算机科学与通信工程学院江苏镇江212013 沈阳大学信息工程学院辽宁沈阳110044

针对权重社会网络发布隐私保护中的弱保护问题,提出一种基于差分隐私模型的随机扰动方法可实现边及边权重的强保护。设计了满足差分隐私的查询模型-WSQuery,WSQuery模型可捕获权重社会网络的结构,以有序三元组序列作为查询结果集;依据WS... 详细信息

针对权重社会网络发布隐私保护中的弱保护问题,提出一种基于差分隐私模型的随机扰动方法可实现边及边权重的强保护。设计了满足差分隐私的查询模型-WSQuery,WSQuery模型可捕获权重社会网络的结构,以有序三元组序列作为查询结果集;依据WSQuery模型设计了满足差分隐私的算法-WSPA,WSPA算法将查询结果集映射为一个实数向量,通过在向量中注入Laplace噪音实现隐私保护;针对WSPA算法误差较高的问题提出了改进算法-LWSPA,LWSPA算法对查询结果集中的三元组序列进行分割,对每个子序列构建满足差分隐私的算法,降低了误差,提高了数据效用。实验结果表明,提出的隐私保护方法在实现隐私信息的强保护同时使发布的权重社会网络仍具有可接受的数据效用。

关键词：权重社会网络隐私保护差分隐私查询模型 Laplace分布

在线全文

学校读者我要写书评

暂无评论

一种DBMS生成器的设计和实现

系统工程与电子技术 2004年第12期26卷 1883-1886页

作者：李星毅鞠时光王新宇江苏大学计算机学院江苏镇江212013

为提高数据库管理系统(DBMS)的开发效率,实现开发过程自动化,在软件系统生成器(softwaresystemgenerator,SSG)和基于构件的软件开发(componentbasedsoftwaredevelopment,CBD)等技术研究成果的基础上,提出并开发了一种基于构件的DBMS生... 详细信息

为提高数据库管理系统(DBMS)的开发效率,实现开发过程自动化,在软件系统生成器(softwaresystemgenerator,SSG)和基于构件的软件开发(componentbasedsoftwaredevelopment,CBD)等技术研究成果的基础上,提出并开发了一种基于构件的DBMS生成器———DOMDG(domainorientedminiDBMSgenerator)。对DOMDG的设计思想、工作原理和体系结构进行了简要介绍。实验证明了所提方法的有效性。

关键词：构件数据库管理系统生成器

在线全文

学校读者我要写书评

暂无评论

广义不可推断属性符号化算术验证的研究

计算机研究与发展 2012年第12期49卷 2591-2602页

作者：周从华吴海玲鞠时光江苏大学计算机科学与通信工程学院江苏镇江212013

多级安全系统中机密数据的泄漏本质上是信息的非法流动.广义不可推断属性刻画了不同安全级主体之间合法的信息流动.在系统应用之前,验证其满足广义不可推断属性,可以排除各种隐蔽数据泄漏,保护数据的机密性.传统的广义不可推断属性验证... 详细信息

多级安全系统中机密数据的泄漏本质上是信息的非法流动.广义不可推断属性刻画了不同安全级主体之间合法的信息流动.在系统应用之前,验证其满足广义不可推断属性,可以排除各种隐蔽数据泄漏,保护数据的机密性.传统的广义不可推断属性验证方法——"展开方法"——验证的仅仅是属性成立的一个充分非必要条件,因此是不完备的.基于证伪技术提出一种完备的广义不可推断属性验证方法,该方法通过逐步搜索长度递增的使广义不可推断属性失效的反例来完成验证过程.为确保搜索过程能正确终止,即方法的完备性,提出状态转换系统的双构造运算,并在此基础上基于图结构理论给出最短反例的上近似计算.进一步为提高验证方法的时间效率和降低对内存空间的需求,将反例搜索和上近似计算归约为量化布尔公式满足性求解问题,借助于高效的满足性求解程序完成属性的验证,实现了验证过程的符号化计算.最后通过一个磁臂隐通道的实例说明验证方法在实际的隐通道分析中的应用.

关键词：广义不可推断属性信息流安全量化布尔公式多级安全系统隐通道