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

计算机科学 2013年第10期40卷 231-234页

作者：钱磊郁文生华东师范大学上海高可信计算重点实验室上海200062

利用微分动态逻辑对铁路道口控制进行形式化分析与建模。在火车从发送接近信号到进入道口的运动过程中,根据火车到达道口时间上的要求,将火车速度控制问题抽象成一个混成系统的安全性性质,用微分动态逻辑来描述,并使用混成系统证明工具K... 详细信息

利用微分动态逻辑对铁路道口控制进行形式化分析与建模。在火车从发送接近信号到进入道口的运动过程中,根据火车到达道口时间上的要求,将火车速度控制问题抽象成一个混成系统的安全性性质,用微分动态逻辑来描述,并使用混成系统证明工具KeYmaera对系统的安全性进行验证,以实现对火车进入道口前速度的正确控制。

关键词：微分动态逻辑铁路道口控制混成系统形式化验证

来源：评论

学校读者我要写书评

暂无评论

基于AADL的无线传感器网络的建模与分析

引用

计算机科学 2012年第S3期39卷 424-427页

作者：钱磊郁文生朱明华华东师范大学上海高可信计算重点实验室上海200062

利用结构分析与设计语言AADL(Architecture Analysis and Design Language)对无线传感器网络进行建模,并对其中一个节点进行了详细的分析。介绍AADL语言以及它在嵌入式系统中建模的优势,展示了无线传感器网络的特征和关键技术。结合AADL... 详细信息

利用结构分析与设计语言AADL(Architecture Analysis and Design Language)对无线传感器网络进行建模,并对其中一个节点进行了详细的分析。介绍AADL语言以及它在嵌入式系统中建模的优势,展示了无线传感器网络的特征和关键技术。结合AADL,针对温度传感器案例,对温度传感器的结构及功能进行了详细描述,充分体现了此传感器节点的工作原理与内部结构,有助于提高其结构上的可改进性和扩展性,以进一步应用到传感器网络中。

关键词：结构分析与设计语言无线传感器网络温度传感器嵌入式系统

来源：评论

学校读者我要写书评

暂无评论

基于查询概率的位置隐私保护方法

引用

计算机应用 2017年第2期37卷 347-351,359页

作者：赵大鹏宋光旋靳远远王晓玲华东师范大学上海市高可信计算重点实验室上海200062

现有的隐私保护技术较少考虑到查询概率、map数据、信息点(POI)语义等边信息,攻击者可以将边信息与位置数据相结合推断出用户的隐私信息,为此提出一种新的方法 ARB来保护用户的位置隐私。该方法首先把空间划分为网格,根据历史查询数据... 详细信息

现有的隐私保护技术较少考虑到查询概率、map数据、信息点(POI)语义等边信息,攻击者可以将边信息与位置数据相结合推断出用户的隐私信息,为此提出一种新的方法 ARB来保护用户的位置隐私。该方法首先把空间划分为网格,根据历史查询数据计算出处于不同网格区域的用户提交查询的概率;然后结合相应单元格的查询概率来生成用户匿名区域,从而保护用户的位置隐私信息;最后采用位置信息熵作为隐私保护性能的度量指标。在真实数据集上与已有的两种方法进行对比来验证隐私保护方法的性能,结果显示该方法具体有较好的隐私保护效果和较低的时间复杂度。

关键词：基于位置的服务位置隐私边信息查询概率匿名

来源：评论

学校读者我要写书评

暂无评论

数据库服务——安全与隐私保护

引用

软件学报 2010年第5期21卷 991-1006页

作者：田秀霞王晓玲高明周傲英上海电力学院计算机与信息工程学院上海200090 复旦大学上海市智能信息处理重点实验室上海200433 华东师范大学上海市高可信计算重点实验室上海200062

主要从数据的机密性、数据的完整性、数据的完备性、查询隐私保护以及访问控制策略这5个关键技术,综述国际上在数据库服务——安全与隐私保护方面的研究进展.数据的机密性主要从基于加密和基于数据分布展开分析;数据的完整性和完备性主... 详细信息

主要从数据的机密性、数据的完整性、数据的完备性、查询隐私保护以及访问控制策略这5个关键技术,综述国际上在数据库服务——安全与隐私保护方面的研究进展.数据的机密性主要从基于加密和基于数据分布展开分析;数据的完整性和完备性主要从基于签名、基于挑战-响应和基于概率的方法展开分析;查询隐私保护和访问控制策略主要从目前存在的问题展开分析.最后展望了数据库服务——安全与隐私保护领域未来的研究方向、存在的问题及面临的挑战.

关键词：数据库服务数据的机密性数据的完整性数据的完备性访问控制策略

来源：评论

学校读者我要写书评

暂无评论

基于对象异常频度的数据流阈值查询

引用

计算机学报 2013年第8期36卷 1602-1615页

作者：张敬伟金澈清林煜明周傲英华东师范大学软件学院上海市高可信计算重点实验室上海200062 桂林电子科技大学广西可信软件重点实验室广西桂林541004

数据流查询与处理技术广泛应用在金融系统等诸多领域中,银行卡交易系统中存在的由终端复用所导致的不规范交易即是一个典型案例.此类不规范交易存在两个特点:(1)对象频繁出现;(2)对象的值序列频繁波动.然而,现有的频繁项挖掘算法仅考虑... 详细信息

数据流查询与处理技术广泛应用在金融系统等诸多领域中,银行卡交易系统中存在的由终端复用所导致的不规范交易即是一个典型案例.此类不规范交易存在两个特点:(1)对象频繁出现;(2)对象的值序列频繁波动.然而,现有的频繁项挖掘算法仅考虑第一个特点,无法有效解决问题,亟需开发新技术进行检测.文中首先形式化地定义了这类不规范交易查询,再设计了多个创新算法进行处理.此外,文中还将工作扩展到滑动窗口模型以处理数据流演化问题.理论分析与实验结果均表明所提方法具有较佳性能,空间复杂度与时间复杂度都较低.

关键词：数据流查询元素对采样异常频度滑动窗口

来源：评论

学校读者我要写书评

暂无评论

高效的多边形布尔计算方法

引用

计算机应用 2014年第A02期34卷 78-82页

作者：齐东洲吴敏上海市高可信计算重点实验室(华东师范大学) 上海200062

针对计算机图形学中应用广泛的多边形布尔计算,提出了一种新的、适用于一般多边形的并集、交集和差集算法。算法主要分为计算交点、将交点插入多边形顶点序列、遍历三个步骤。通过采用循环单链表的数据结构、避开复杂的出入点计算、及... 详细信息

针对计算机图形学中应用广泛的多边形布尔计算,提出了一种新的、适用于一般多边形的并集、交集和差集算法。算法主要分为计算交点、将交点插入多边形顶点序列、遍历三个步骤。通过采用循环单链表的数据结构、避开复杂的出入点计算、及预先的一些碰撞检测以避开复杂的求交运算与链表遍历等技巧,提高了算法的执行速度、减少了存储单元。算法能够很好地处理一些奇异情形(边界情形),比如重叠边、交点为边的顶点等情形,具有很好的鲁棒性。与经典的Weiler算法、Vatti算法和Greiner-Hormann算法相比,该算法具有较低的时间复杂度O((m+n+k)log d))和空间复杂度。实验结果显示该算法在处理2 222×2 222个顶点、42个交点时比经典的Weiler算法速度提高了296倍。算法的主要思想对确定两个多面体的交、并、差问题亦有参考价值。

关键词：多边形布尔计算多边形裁剪交点循环单链表

来源：评论

学校读者我要写书评

暂无评论

怎样用八段圆弧画一个与给定椭圆偏差最小的曲线?

引用

数学的实践与认识 2013年第23期43卷 175-181页

作者：曾振柄陈明雁华东师范大学上海高可信计算重点实验室

通过分析传统的八心圆椭圆近似作图的误差,从曲线最佳逼近的角度出发,给出一种偏差接近最小、且容易用尺规作图完成的新画法.研究结果,可以应用到数控机床加工之中.

关键词：椭圆画法圆弧曲线逼近八心圆画法

来源：评论

学校读者我要写书评

暂无评论

一种不确定数据流聚类算法

引用

软件学报 2010年第9期21卷 2173-2182页

作者：张晨金澈清周傲英复旦大学计算机科学技术学院上海市智能信息处理重点实验室上海200433 华东师范大学软件学院上海市高可信计算重点实验室上海200062

提出了EMicro算法,以解决不确定数据流上的聚类问题.与现有技术大多仅考虑元组间的距离不同,EMicro算法综合考虑了元组之间的距离与元组自身不确定性这两个因素,同时定义新标准来描述聚类结果质量.还提出了离群点处理机制,系统同时维护... 详细信息

提出了EMicro算法,以解决不确定数据流上的聚类问题.与现有技术大多仅考虑元组间的距离不同,EMicro算法综合考虑了元组之间的距离与元组自身不确定性这两个因素,同时定义新标准来描述聚类结果质量.还提出了离群点处理机制,系统同时维护两个缓冲区,分别存放正常的微簇与潜在的离群点微簇,以期得到理想的性能.实验结果表明,与现有工作相比,EMicro的效率更高,且效果良好.

关键词：不确定数据流聚类离群点

来源：评论

学校读者我要写书评

暂无评论

支持网络切片和绿色通信的软件定义虚拟化接入网

引用

计算机研究与发展 2021年第6期58卷 1291-1306页

作者：王廷刘刚华东师范大学软件工程学院上海200062 上海市高可信计算重点实验室(华东师范大学) 上海200062 上海诺基亚贝尔股份有限公司贝尔实验室上海201206

接入网络中存在大量不同的接入技术和海量的接入设备,导致运营复杂度和成本急剧增加,这迫使运营商亟待寻找一种有效的解决方案来提升收支比,以此实现可持续的商业模式.为了应对这些挑战,提出了一种基于软件定义网络(software defined ne... 详细信息

接入网络中存在大量不同的接入技术和海量的接入设备,导致运营复杂度和成本急剧增加,这迫使运营商亟待寻找一种有效的解决方案来提升收支比,以此实现可持续的商业模式.为了应对这些挑战,提出了一种基于软件定义网络(software defined networking,SDN)的新型接入网体系架构SDVAN,其可以提供具有高成本效益的网络管控机制,同时具备高扩展性并支持定制化.SDVAN将所有物理设备的控制平面抽象化集中化,并通过软件定义的方式实现对接入网的灵活定制.SDVAN节点的可编程性为不同的接入技术提供了弹性支持.此外,SDVAN还提供了一种高效的资源建模机制和网络抽象方法,实现了网络服务的自动化编排,并可基于信任级别来体现网络的可视性和可控性.最后,SDVAN实现了支持多租户和多版本网络设备的网络切片功能.实验结果证明了SDVAN方案在网络节能、资源利用率、成本等方面的有效性和实用性.

关键词：接入网绿色通信网络切片网络虚拟化软件定义网络

来源：评论

学校读者我要写书评

暂无评论

命令式模糊程序语言的语义

引用

计算机学报 2013年第4期36卷 862-869页

作者：吴恒洋杭州电子科技大学信息工程学院杭州310018 华东师范大学上海市高可信计算重点实验室上海200062

文中关注计算机语言的形式语义学,旨在建立一种命令式模糊程序语言的指称语义与最弱(线性)前置条件语义.首先,借助模糊逻辑中的三角模、三角余模、非、蕴含以及模糊关系的合成等成功地完成了这两种语义的建模.这种方法为形式语义学的研... 详细信息

文中关注计算机语言的形式语义学,旨在建立一种命令式模糊程序语言的指称语义与最弱(线性)前置条件语义.首先,借助模糊逻辑中的三角模、三角余模、非、蕴含以及模糊关系的合成等成功地完成了这两种语义的建模.这种方法为形式语义学的研究提供了一个新的视角.其次,证明了该语言的一些重要性质并讨论了最弱前置条件语义与最弱线性前置条件语义之间的关系.最后,证明了指称语义与最弱(线性)前置条件语义之间的对偶,该对偶表明了这两种语义可以相互诱导.

关键词：模糊程序语言命令式语言指称语义最弱(线性)前置条件语义模糊逻辑

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：