检索结果-内蒙古大学图书馆

第二届中国互联网学术年会

作者：刘冰洋毕军华大学信息网络科学与网络空间研究院北京 100084 清华大学计算机科学与技术系北京 100084 清华信息技术国家实验室北京 100084

近年来,IP源地址伪造被频繁应用于网络攻击中,对互联网安全造成极大威胁。域间源地址验证方法通过对IP报文的源地址进行自治域级别的验证来防御这类网络攻击。学术界提出了这类方法的评价指标,并依照该指标设计出很多新的方法。然而,这... 详细信息

近年来,IP源地址伪造被频繁应用于网络攻击中,对互联网安全造成极大威胁。域间源地址验证方法通过对IP报文的源地址进行自治域级别的验证来防御这类网络攻击。学术界提出了这类方法的评价指标,并依照该指标设计出很多新的方法。然而,这些方法尽管指标值优秀,却无一能在实际中得到互联网服务提供商的部署。究其原因,是现有评价指标只关注到互联网整体的安全性,而没有考虑到互联网服务提供商的个体利益。本文从互联网服务提供商的经济诉求出发,提出将部署收益、部署开销和运维风险作为对方法评价的三项基本指标,分析了该指标体系的合理性和完备性。建立了理论评价模型,为每个指标建立了完善的量化评价方法。以现有著名域间源地址方法的部署收益评价为例,展示了将理论模型应用于方法评价的具体流程。最后,对本文的主要贡献进行了总结,并展望了评价模型和方法设计的未来发展方向。

关键词：互联网安全域间源地址评价模型拒绝服务攻击

来源：评论

学校读者我要写书评

暂无评论

句法特征在动词词义排歧中的应用

句法特征在动词词义排歧中的应用

引用

第五届全国青年计算语言学研讨会

作者：王宏显周强清华大学信息技术研究院语音和语言技术中心清华信息科学技术国家实验室技术创新与开发部语音和语言技术中心清华大学计算机科学与技术系

特征选取是用统计方法进行词义排歧的关键。本文通过句法块的分析结果,将主语和宾语、以及主语和宾语在知网中的归类信息应用于目标动词的词义排歧。实验表明,句法特征对于目标动词的词义排歧有重要作用,相对于仅使用词语和词性特征的系... 详细信息

特征选取是用统计方法进行词义排歧的关键。本文通过句法块的分析结果,将主语和宾语、以及主语和宾语在知网中的归类信息应用于目标动词的词义排歧。实验表明,句法特征对于目标动词的词义排歧有重要作用,相对于仅使用词语和词性特征的系统,加入人工标注句法特征后,拥有类动词正确率由83.7%提高到89.2%,存在类动词正确率由84.8%提高到86.1%。

关键词：句法特征词义排歧最大熵主语宾语

来源：评论

学校读者我要写书评

暂无评论

多边形网格的非流形封闭三角形网格正则化

多边形网格的非流形封闭三角形网格正则化

引用

第十届中国计算机图形学大会暨第十八届全国计算机辅助设计与图形学会会议

作者：林建立唐磊雍俊海清华大学软件学院北京 100084 清华大学计算机科学与技术系北京 100084 信息系统安全教育部重点实验室北京 100084 清华信息科学与技术国家实验室北京 100084 清华大学软件学院北京 100084 信息系统安全教育部重点实验室北京 100084 清华信息科学与技术国家实验室北京 100084

为了提高基于网格模型的算法与应用的效率和稳定性，提出一种将任意多边形网格模型转化为正则三角网格模型的算法。首先对输入多边形网格模型中非三角形的面片进行三角剖分，然后查找并移除模型中的重合或重叠元素，再通过模型内部三角... 详细信息

为了提高基于网格模型的算法与应用的效率和稳定性，提出一种将任意多边形网格模型转化为正则三角网格模型的算法。首先对输入多边形网格模型中非三角形的面片进行三角剖分，然后查找并移除模型中的重合或重叠元素，再通过模型内部三角形求交对模型进行边和面的分割，从而修正模型的拓扑结构;在求交的过程中，根据边和三角形的位置关系对共面求交进行细致的分类处理，减少了求交次数，提高了算法的稳定性;最后循环搜索在网格模型中可以确定法向的种子三角形，通过拓扑结构调整与之相邻的三角形的法向，最终构成一个或多个法向确定的闭合曲面。实验结果表明，该算法能够将多边形网格转化为正则三角形网格模型。

关键词：模型修复正则化三角形网格非流形

来源：评论

学校读者我要写书评

暂无评论

基于投影特征识别的斜截切二次曲面重建算法

基于投影特征识别的斜截切二次曲面重建算法

引用

第七届中国计算机图形学大会

作者：文雅玫龚洁晖张慧清华大学软件学院清华大学计算机科学与技术系信息系统安全教育部重点实验室清华信息科学与技术国家实验室中国人民解放军75753部队

平面与二次曲面的截切组合是机械零件常用的设计手段。在研究了斜截切二次曲面在三视图中的投影特征的基础上,提出了识别和重建这类曲面的算法。首先根据曲面的投影特性在三视图中检索斜截切曲面的投影痕迹;然后以其作为引导,初步判定... 详细信息

平面与二次曲面的截切组合是机械零件常用的设计手段。在研究了斜截切二次曲面在三视图中的投影特征的基础上,提出了识别和重建这类曲面的算法。首先根据曲面的投影特性在三视图中检索斜截切曲面的投影痕迹;然后以其作为引导,初步判定曲面类型,深度优先搜索进一步识别斜截切二次曲面;接着根据投影边的二维信息计算未截切曲面的几何参数,并且通过未截切曲面与截平面求交获取截切曲线;最后构造斜截切曲面的拓扑结构生成三维曲面。该算法可以识别和重建空间任意位置的斜截切二次曲面,拓展了重建算法的形体覆盖域。文中算法目前已运用到形体重建原型系统,实验结果证明了其有效性。

关键词：二次曲面三视图三维重建

来源：评论

学校读者我要写书评

暂无评论

基于多工位成形机床的缩口成形零件的模具设计

引用

锻压技术 2014年第8期39卷 81-85页

作者：张晓达陈金香李洪波普天信息技术研究院有限公司北京100080 中国钢研集团混合流程工业自动化系统及装备技术国家重点实验室北京100081 清华大学计算机科学与技术系北京100084

以一种铝合金材料的直管单端缩口型零件为对象,设计并制造了能够满足连续生产并适应多工位机床特点的模具。通过分析该零件的成形特点和机床运动特性,模具采用主体盘式结构。成形模具通过机床凸轮动作实现卷圆功能,顶出装置实现圆管直... 详细信息

以一种铝合金材料的直管单端缩口型零件为对象,设计并制造了能够满足连续生产并适应多工位机床特点的模具。通过分析该零件的成形特点和机床运动特性,模具采用主体盘式结构。成形模具通过机床凸轮动作实现卷圆功能,顶出装置实现圆管直角转向,主体盘以导向圆盘为转动中心做回转运动,带动整形刀具和缩口成形模进行直管的整形和单端缩口,出口端设置红外检测装置,异常情况自动停机保护。经过调试,模具工作情况正常,制件尺寸符合图纸要求,工作速度达到预期目的,首批连续生产后全部达到要求。

关键词：多工位成形机床缩口成形模具设计

来源：评论

学校读者我要写书评

暂无评论

面向多口音语音识别的声学模型重构方法

面向多口音语音识别的声学模型重构方法

引用

第十一届全国人机语音通讯学术会议

作者：张超刘轶郑方清华信息科学技术国家实验室技术创新与开发部语音和语言技术中心北京 100084 清华大学计算机科学与技术系北京 100094 清华信息科学技术国家实验室技术创新与开发部语音和语言技术中心北京 100084

本文提出了应用声学似然分作为置信度来生成可靠口音相关单元的方法。基于可靠口音相关单元构造声学模型，并通过声学模型重构的方法将它们融合到标准普通话模型中，以改善普通话语音识别器对带多方言口音语音的识别效果。另外，提出... 详细信息

本文提出了应用声学似然分作为置信度来生成可靠口音相关单元的方法。基于可靠口音相关单元构造声学模型，并通过声学模型重构的方法将它们融合到标准普通话模型中，以改善普通话语音识别器对带多方言口音语音的识别效果。另外，提出了使用增量式决策树融合及根据支配度选择Gauss混合2种方法来减少冗余的Gauss混合，从而提高了重构后的声学模型的效率。实验表明：该方法在不降低对标准普通话的识别率的前提下，对粤、吴口音的绝对音节错误率分别下降了9.25％和9.21%。

关键词：语音识别多方言口音声学模型数理语言学

来源：评论

学校读者我要写书评

暂无评论

PLM系统中业务对象版本操作合规性检查的自动实现

PLM系统中业务对象版本操作合规性检查的自动实现

引用

第一届中国业务过程管理大会

分析了企业实施产品全生命周期管理系统时对业务过程中产品的版本操作与产品版本操作生命周期一致性的要求，介绍了版本操作合规性问题，并从语法合规性规则和行为合规性规则两方面进一步阐述了相应的解决方案，详细介绍了版本操作合规... 详细信息

分析了企业实施产品全生命周期管理系统时对业务过程中产品的版本操作与产品版本操作生命周期一致性的要求，介绍了版本操作合规性问题，并从语法合规性规则和行为合规性规则两方面进一步阐述了相应的解决方案，详细介绍了版本操作合规性检查方案的实现框架。采用问卷调查研究方法，收集问卷反馈信息，进一步验证了所研究问题在产品全生命周期管理领域的现实性，所提出的解决方案具有可行性，所开发的工具具有很强的应用推广价值。

关键词：产品全生命周期管理业务过程版本操作合规性

来源：评论

学校读者我要写书评

暂无评论

一种PLC程序语言指称语义及函数的形式化定义方法

一种PLC程序语言指称语义及函数的形式化定义方法

引用

2011年中国智能自动化学术会议

作者：肖力田顾明孙家广清华大学软件学院信息科学与技术国家实验室信息系统安全教育部重点实验室计算机科学与技术系北京特种工程设计研究院

为了使用形式化方法对PLC程序的正确性验证奠定基础,研究PLC程序语言的指称语义定义,以实现对PLC形式化定义和检测验证。基于程序建模,定义了PLC程序指称语义的格局、程序语言的语义函数及函数,为其模型检测和定理证明提供了基础。

关键词： PLC程序扩展λ-演算程序建模指称语义

来源：评论

学校读者我要写书评

暂无评论

MulCNeT:网管云及其关键实现技术

MulCNeT:网管云及其关键实现技术

引用

第一届中国互联网学术会议

作者：陈福杨家海王元卓凌晓张妍北京外国语大学计算机科学与技术系北京 100089 清华大学信息科学与技术国家实验室北京 100084 中国科学院计算技术研究所网络重点实验室北京 100083

以更大、更快、更安全为核心特征的下一代互联网,其可管理性是一个关键问题。针对下一代互联网的泛在、无线和巨量网络空间,文中提出了托管式网络管理体系结构网管云及其实现技术,使用云计算形成的强大的弹性计算能力实现中小型企事业... 详细信息

以更大、更快、更安全为核心特征的下一代互联网,其可管理性是一个关键问题。针对下一代互联网的泛在、无线和巨量网络空间,文中提出了托管式网络管理体系结构网管云及其实现技术,使用云计算形成的强大的弹性计算能力实现中小型企事业单位网络的高品质网管。文中提出了网管云业务模式、资源供应机制,同时实现了关键主机和服务器的云中管理与系统监控。文中提出适应MulCNet 结构的动态负载均衡算法3RMALS,从CPU 资源、内存资源、存储空间三个典型资源的调度出发,通过互补型需求叠加供给机制,最大程度的共享资源、满足瞬间峰值震荡和确保合理的利用率,从而实现弹性和绿色资源供给机制。最后给出了模拟分析。

关键词：下一代互联网网络管理网管云云计算

来源：评论

学校读者我要写书评

暂无评论

基于雷达的嵌入式车载辅助驾驶系统的设计

引用

电子器件 2007年第2期30卷 534-538页

作者：于立萍何克忠山东科技大学信息与电气学院青岛山东266510 清华大学计算机科学与技术系清华大学智能技术与系统国家重点实验室北京100084

提高车辆驾驶的安全性和舒适性是智能交通系统(ITS)的主要研究内容之一.介绍了自行研制的车载辅助驾驶系统,论述了其基本设计思想和总体方案.对系统的硬件实现、基于模糊推理的辅助驾驶系统的控制算法和雷达信号的Kalman滤波等技术进行... 详细信息

提高车辆驾驶的安全性和舒适性是智能交通系统(ITS)的主要研究内容之一.介绍了自行研制的车载辅助驾驶系统,论述了其基本设计思想和总体方案.对系统的硬件实现、基于模糊推理的辅助驾驶系统的控制算法和雷达信号的Kalman滤波等技术进行了研究.经过现场试验证明该系统是切实可行的,在汽车行进过程中具有安全距离保持的功能,并且较好地体现了驾驶员的驾驶特征.

关键词：汽车模糊控制雷达 Kalman

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：