陈良育
所属机构: 华东师范大学 所在地区: 上海市 研究方向: 自动化与计算机技术 发文基金: 国家自然科学基金
相关作者
曾振柄 作品数:88 被引量:309 H指数:10 供职机构:上海大学理学院数学系 研究主题:多项式 可读证明 数学机械化 特征提取 数据挖掘 陈晓华 作品数:56 被引量:60 H指数:5 供职机构:湖州师范学院 研究主题:高效节能 虚拟网络 资源量 映射 掌纹识别 李春芝 作品数:50 被引量:97 H指数:6 供职机构:湖州师范学院 研究主题:高效节能 虚拟网络 人脸识别 二维主元分析 资源量 周纬 作品数:5 被引量:12 H指数:1 供职机构:华东师范大学 研究主题:藏文字符识别 文字识别 藏文识别 人工智能 特征提取 孙海英 作品数:23 被引量:18 H指数:2 供职机构:华东师范大学 研究主题:ML 状态机 SYSML 智能车 语义
汉字构形分析与识别 被引量:11 2005年 汉字构形学主要研究汉字字形的结构和组成部件.汉字构形分析识别是利用计算机模拟人脑对于汉字图形的认知,将计算机视觉等诸多技术应用于汉字构形学研究的各主要环节.在此基础上,针对汉字部件的分解和识别、汉字部件信息统计等方面作了进一步的研究,并指明了研究方向. 陈良育 曾振柄 张问银关键词:汉字部件 汉字图形 汉字字形 信息统计 人脑 偏差最小的四心圆近似椭圆作图法 本文研究四心椭圆作图法的误差分析。以等距线距离为度量,得到近似椭圆与精确椭圆的偏差估计,并给出了偏差与半轴长的显示表达。通过符号计算和最优偏差分析,提出了一种偏差最小的四心圆近似椭圆作图法。 曾振柄 陈良育 李志斌 陈光喜关键词:等距线 文献传递 基于ADO.NET数据库系统的并发控制协议研究 被引量:5 2007年 在数据库系统中,数据访问技术从连接模型发展到断开连接模型。断开连接访问模型技术自身的优点为有别于传统严格一致的可串行化并发控制协议提供了必要性和可能性。通过剖析断开连接数据访问模型ADO.NET基础上,提出了一种基于时间戳验证的两阶段封锁多版本并发控制协议。该协议解决了在断开连接访问模型下网络数据库系统的并发访问异常,保证了数据的一致性,提高了系统的性能和并发度。最后在.NET框架和Microsoft SQL Server 2000下实现该协议。 邹晓 陈晓华 陈良育关键词:网络数据库系统 并发控制 数据访问 虚拟网络映射最小费用流模型及算法 2014年 研究了虚拟网络映射动态过程,发现虚拟网络映射代价收益动态倒置现象,提出虚拟网络多路径链路映射的最小费用流模型及算法,适用于在大规模底层网络上在线创建虚拟网络。仿真结果表明本文所提算法能够提高虚拟网络接收率及系统收益,并显著降低了算法时间复杂度,保证在线虚拟网络映射实时性,同时验证了虚拟网络映射代价收益动态倒置现象。 陈晓华 李春芝 陈良育 曾振柄关键词:虚拟网络 网络虚拟化 最小费用流 自适应远程渲染集群系统 被引量:4 2008年 渲染通过计算将三维几何模型转换成具有真实感的图形,是数字媒体制作的关键环节。该文介绍基于集群系统的并行渲染,将集群管理、高性能计算、图形渲染及远程交互等先进技术有效结合,设计了自适应远程渲染系统。该系统的正确性和有效性已被验证。 陈良育 陈敏刚 曾振柄关键词:集群系统 并行计算 远程交互 WEB服务 基于几何形状分析的藏文字符识别 在分析藏文的几何结构的基础上,本文提出了一种基于几何形状分析的藏文识别方法。文章通过对藏文的辅音和元音符号的几何特征提取,达到学习的目的,再根据印刷体藏文的组成结构特征,对其进行切分,进而分别对切分结果进行识别,将藏文字... 周纬 陈良育 曾振柄关键词:文字识别 藏文识别 人工智能 文献传递 高效节能虚拟网络映射多反馈控制模型及算法 被引量:4 2017年 网络虚拟化使得智能能耗感知网络部署成为可能.由于虚拟网络请求到来以及退出等动态性,引起底层网络资源分配以及回收,会对底层网络激活资源数量与集合范围产生影响;虚拟网络映射不仅决定了当前激活的底层网络资源数量与集合大小,而且作用于后续的虚拟网络映射.利用自动控制原理的反馈控制理论,研究不同虚拟网络映射之间的关系以及当前虚拟网络映射对激活底层网络资源集合产生的影响,并提出一种新的高效节能虚拟网络映射多反馈控制模型及算法.以控制底层网络休眠链路数量作为主反馈,消除主动休眠的底层网络链路数量与被动休眠的链路数量的偏差,抑制虚拟网络映射动态特征对求解最小底层网络激活资源集合的干扰;并以节点和链路映射为局部反馈,由大到小逐步调整主动休眠底层链路数量,快速地找到适合当前虚拟网络请求的最小底层网络资源集合.多反馈控制模型能够把虚拟网络映射在一个较小的节点和链路集合中,从而提高休眠节点和链路数量,实现高效节能虚拟网络映射.系统仿真结果验证了在非饱和状态下虚拟网络映射多反馈控制算法能够提高底层节点和链路休眠数量,显著减少系统能耗;且在负载周期性动态变化的饱和状态下,提高了虚拟网络接收率以及系统收益. 陈晓华 李春芝 陈良育 曾振柄 蒋云良关键词:高效节能 资源整合 偏差最小的四心圆近似椭圆作图法 被引量:5 2013年 以曲线的等距线距离为度量,得到近似椭圆与精确椭圆的偏差估计,并给出了偏差与半轴长的显示表达式。通过符号计算和回归分析,提出一种偏差最小的四心圆近似椭圆作图法。新方法易于通过尺规作图实现,可用于编制数控机床中加工椭圆零件的插补程序。 曾振柄 陈良育 李志斌 陈光喜关键词:等距线 轨道交通联锁领域特定语言的形式化 被引量:7 2020年 作为轨道交通系统的核心子系统之一,对联锁系统进行形式化建模与分析,是保证其安全性的重要手段.形式化建模需要领域知识和形式化知识的结合,由于形式化知识难以掌握,领域专家在建模整个过程中都需要形式化专家的帮助.为了解决这个问题,针对联锁系统的故障随机性、行为实时性、构件可重用的特点,提出设计联锁领域特定语言IS-DSL描述具体的联锁系统的参数,并基于随机混成自动机模板自动生成联锁系统的形式化模型,以进一步在此基础上进行安全分析.首先对联锁系统模型进行分析,根据不同案例设计其领域特定语言;其次,确定联锁系统的系统模型模板,包括环境构件模板和控制器模板,并举例抽取其随机混成自动机模板;在模板基础上定义系统模型生成过程,让领域专家可以通过领域特定语言,输入参数自动生成具体的随机混成自动机系统模型;最后以某站联锁系统为例,展示了基于模板的具体系统模型的生成过程,并通过基于系统模型的事故预测分析,证明了该方法的可行性与有效性. 赵梦瑶 陈小红 孙海英 刘静 陈良育 周庭梁关键词:联锁系统 形式化建模 基于多面Rasch测量的软件工程专业学生开发能力评估方法 2014年 提出一种基于多面Rasch测量的软件工程专业学生开发实践能力的科学评估方法,并以华东师范大学软件学院2008级部分本科生在实践课程中完成的软件系统为评估基础,对几种主流的评估方法进行了分析和对比。结果表明,基于多面Rasch测量的方法不仅可以有效地评估学生的实践能力,还可以为发现和改进教学中存在的各种问题提供科学的数据信息。 姜宁康 孙海英 陈良育 刘静关键词:软件工程