作者:陈暄,高俊,李长云 (浙江工业职业技术学院;湖南工业大学计算机与通信学院)
出处:计算机应用研究 2012
关键词:形式化模型;形式化验证;软件体系结构;抽象状态机
摘要:如何在开放、动态、复杂的Internet环境下开发网构软件是软件技术领域一个挑战性课题。从网构软件整个生命周期入手,对网构软件的形式化模型,在简单介绍抽象状态机(ASM)的基础理论之后,刻画了网构软件的构件模型,并对构件模型进行了基于ASM的形式化描述,在此基础上,将粗粒度抽象构件的精化问题转换为求 ...
被引情况: 超星被引 1 次;
作者:陈暄,张军,游林 (浙江工业职业技术学院;杭州电子科技大学)
出处:电脑知识与技术(学术交流) 2014
关键词:手指静脉;像素点
摘要:近年来手指静脉特征技术已经成为了信息安全技术中的一种新的技术,该文在分析了静脉特征分析方法的基础上,对图像中属于静脉的区域进行横截面的深度和曲率的分析,然后通过设定的将这些区域进行区分,最后通过动态阈值法分割出手指静脉特征。仿真实验证明,该文的算法有效提取手指静脉特征,与其他算法相比具有较低的误码率 ...
作者:陈暄,章朝逸 (浙江工业职业技术学院)
出处:电子世界 2012
关键词:手机定位;Android
摘要:随着手机运营网络的日益成熟,儿童手机定位服务是一种新型的服务。本文首先介绍了手机定位技术,接着针对面向儿童的Android手机定位系统进行分析,最后对手机定位服务提出展望。
被引情况: 超星被引 3 次;
作者:陈暄 (浙江工业职业技术学院)
出处:职业 2011
关键词:城市交通;算法;当前结点;城市道路;交通拥挤;实践证明;交通事故;计算机技术;最短路径;机动车
摘要:一、研究的意义城市道路的建设速度远远不及机动车数量的增长速度。如何更有效地缓解交通拥挤、减少交通事故?实践证明单独从车辆方面考虑,很难达到预期的效果,必须从道路方面考虑。而这不仅需要先进的检测、通信和计算机技术,还需要对交通量在整个路网的分配进行动态描述。目前,在城市交通中遇到突然发生的堵车等情况, ...
发明人:陈暄,许方恒
申请日期:2013.11.08
摘要:一种新型自动控制传感器。本实用新型针对现有技术存在的不能实现多种功能并存,难以对各种工作面进行固定。一种新型自动控制传感器,其组成包括:壳体(1)、液晶显示面板(3)、按键(2)、探头(5),所述壳体具有内壳体(6),所述内壳体连接外壳体(7),所述内壳体内装有电路板(11),所述内壳体与所述外壳体 ...
作者:陈暄 (浙江工业职业技术学院)
出处:网络财富 2010
关键词:园区网站内全文检索;检索;索引;搜索引擎;中文切词
摘要:因特网诞生以来,网络信息资源急剧增长,如何利用数据检索技术有效的发现和使用资源成为急待解决的问题。HTML文件具备许多平面文件没有的优点,实现了内容、结构和表现三者的分离,适于数据表现、存储和检索。目前,HTML已经成为Web数据表现、存储、集成和展示的行业标准。为了更加有效地利用、加工、分析和处理 ...
发明人:陈暄,沈才樑,万志平
申请日期:2011.03.15
摘要:智能水杯,包括杯盖、杯体、杯底,所述杯盖上设有存储药片的存储区;所述杯体上嵌有智能控制系统,所述智能控制系统包括控制芯片,所述控制芯片上连接有显示时间的显示模块、按键模块、报警模块、通讯模块、存储模块;所述显示模块设置在杯体的表面,所述按键模块包括分钟调节按钮、小时调节按钮、应急报警按钮以及信息反馈 ...
发明人:陈暄,何春风,杨舟
申请日期:2011.03.31
摘要:1.本外观设计产品的名称:水杯。2.本外观设计产品的用途:是一种智能水杯。3.本外观设计的设计要点:主要在于杯身。4.最能表明设计要点的图片或者照片:主视图。
发明人:陈暄,沈才樑,万志平
申请日期:2011.03.15
摘要:智能水杯,包括杯盖、杯体、杯底,所述杯盖上设有存储药片的存储区;所述杯体上嵌有智能控制系统,所述智能控制系统包括控制芯片,所述控制芯片上连接有显示时间的显示模块、按键模块、报警模块、通讯模块、存储模块;所述显示模块设置在杯体的表面,所述按键模块包括分钟调节按钮、小时调节按钮、应急报警按钮以及信息反馈 ...
作者:陈暄,唐科萍 (浙江工业职业技术学院;浙江工业职业技术学院)
出处:中国科技信息 2008
关键词:高职教育;信息素质;信息检索课
摘要:分析目前高等院校提倡的信息素质教育,提出适合高职院校的信息素质教育——开设信息检索课程的可行性及改进授课内容,从高职院校现有条件出发拓展信息资源的利用空间,达到培养学生信息素质的目的。