您的位置: 专家智库 > >

马永进

作品数:35 被引量:101H指数:6
供职机构:浙江师范大学更多>>
发文基金:浙江省自然科学基金国家自然科学基金浙江省教育厅科研计划更多>>
相关领域:自动化与计算机技术医药卫生文化科学经济管理更多>>

文献类型

  • 18篇期刊文章
  • 13篇专利
  • 1篇学位论文
  • 1篇会议论文

领域

  • 17篇自动化与计算...
  • 4篇医药卫生
  • 2篇文化科学

主题

  • 5篇停车
  • 4篇形式化
  • 4篇阅卷
  • 4篇身份
  • 4篇网络
  • 4篇文档
  • 4篇交易
  • 3篇形式化描述
  • 3篇自动阅卷
  • 3篇接口
  • 3篇进化计算
  • 3篇考试系统
  • 3篇共享系统
  • 3篇PBIL算法
  • 3篇虫病
  • 2篇信息交互
  • 2篇硬件
  • 2篇硬件模块
  • 2篇授权
  • 2篇授权系统

机构

  • 29篇浙江师范大学
  • 3篇国防科学技术...
  • 3篇沭阳县疾病预...

作者

  • 33篇马永进
  • 14篇金炳尧
  • 12篇陈中育
  • 9篇郑忠龙
  • 7篇骆红波
  • 4篇潘日敏
  • 3篇胡道军
  • 3篇袁利永
  • 2篇倪应华
  • 2篇孙广华
  • 2篇唐长兵
  • 1篇王艳霞
  • 1篇姜新旺
  • 1篇李舟军
  • 1篇陈怀义
  • 1篇王晓虎
  • 1篇吴樟兴

传媒

  • 3篇浙江师范大学...
  • 2篇计算机时代
  • 2篇计算机工程与...
  • 2篇江苏预防医学
  • 2篇计算机与现代...
  • 1篇科技通报
  • 1篇计算机工程
  • 1篇计算机应用与...
  • 1篇微机发展
  • 1篇计算机科学
  • 1篇寄生虫病与感...
  • 1篇计算机教育
  • 1篇2004年全...

年份

  • 1篇2022
  • 4篇2021
  • 2篇2020
  • 5篇2019
  • 1篇2018
  • 1篇2015
  • 2篇2011
  • 2篇2009
  • 3篇2008
  • 1篇2007
  • 3篇2006
  • 5篇2005
  • 1篇2004
  • 2篇2003
35 条 记 录,以下是 1-10
排序方式:
一个阅卷信息描述语言解释系统的设计被引量:4
2005年
自动阅卷首先必须考虑准确性,但如何提高阅卷代码的重用性、增加阅卷的灵活性是进一步应考虑的问题。文中介绍一个以阅卷信息形式化描述为背景的语言系统的设计过程。该系统有常量、变量、表达式运算、函数运算I、F结构、循环结构等,是一个短小精悍的应用语言系统。借助该系统可以描述复杂的阅卷要求,同时实现了代码和试题的分离,提高了阅卷的开发性和灵活性,在实际应用中取得了良好的效果。该语言系统可进一步应用于开放式考试系统与练习系统平台的设计。
马永进陈怀义金炳尧骆红波
关键词:形式化语言考试系统
一种基于区块链的分布式停车共享系统及实现方法
本发明属于区块链技术领域,公开了一种基于区块链的分布式停车共享系统及实现方法,基于区块链的分布式停车共享系统包括:区块链层和服务层;区块链层,使用智能合约定义各种停车相关服务的业务模型;通过智能合约以透明并且可信任的方式...
陈中育林飞龙郑忠龙潘日敏马永进骆福民何正伟
文献传递
PowerPoint文档对象分析与自动阅卷的实现被引量:15
2006年
利用VBA工具及Office对象模型来分析PowerPoint文档中对象以及这些对象属性的获取方法,并将这些属性信息运用于PowerPoint文档的自动阅卷与评分系统。这种阅卷评分方法可以广泛应用于计算机课程(或信息技术课程)上机练习与上机考试系统的设计。
骆红波李舟军金炳尧马永进
关键词:上机考试自动阅卷
一种Flash源文档信息提取方法
本发明公开了属于计算机辅助测评领域的一种Flash源文档信息提取方法,包括以下步骤:S0、使用FLfile.read方法获取Flash源文档的路径并使用Flash.openDocument方法打开源文档;S1、通过Doc...
倪应华金炳尧马永进袁利永
文献传递
基于交易源认证器的智能合约的安全函数设计方法及系统
本发明属于区块链安全技术领域,公开了一种基于交易源认证器的智能合约的安全函数的设计方法及系统,当EVM执行到交易源tx.origin信息检测代码时,以太坊后续执行路径被封锁;然后,对tx.origin进行断言,若断言成功...
赵相福陈中育林飞龙郑忠龙马永进骆宾逸
文献传递
基于Hyperledger的自交易共享平台解决方案被引量:4
2018年
提出采用Hyperledger超级账本,对网络节点数据从采集到自交易的应用场景及业务逻辑进行分析建模,给出节点及其数据的可信验证方法,构建一个以区块链及智能合约为基础的去中心化的自交易共享平台解决方案。该方案可用于实现低成本网络节点数据的自主管理和商品资产化的增值服务,从而衍生出新型的商业形态。
陈德姜新旺王艳霞马永进
关键词:区块链
网页制作自动阅卷的实现方法被引量:5
2007年
介绍了实现网页制作自动阅卷的3种不同方法:文本分析方法、文档对象模型分析方法和基于XML的分析方法,详细介绍了后两种方法的阅卷原理和实现过程,并对这几种阅卷方法的优缺点进行了阐述和比较.这些阅卷方法可以广泛应用于信息技术考试系统和练习系统的开发.
马永进金炳尧
关键词:网页制作自动阅卷文档对象模型XML
沭阳县人群肠道蠕虫感染情况的变化分析被引量:3
2003年
沭阳县地处苏北黄淮平原,辖37个乡、镇,总人口174万.县内沟河纵横,土壤性质偏碱,属副热带暖湿气候,四季分明,年平均气温13℃,年降雨量1 000mm左右.农业以种植水稻、玉米、小麦、蔬菜为主.
蒋永利胡道军马永进
关键词:肠道蠕虫感染寄生虫病
一种基于区块链的身份信息安全授权系统与方法
本发明属于信息安全技术技术领域,公开了一种基于区块链的身份信息安全授权系统与方法,身份信息授权终端硬件模块用于对用户的身份IC卡进行识别,并通过业务合约主模块连接身份信息链对用户身份信息进行验证操作;同时还用于进行身份信...
林飞龙任晓东陈中育马永进郑忠龙董其臣
文献传递
一种基于区块链的物联网身份注册与验证方法
本发明属于区块链技术领域,公开了一种基于区块链的物联网身份注册与验证方法,在物联网交易中,发送者通过MAC读取输入其身份信息,完成身份注册,身份信息存入身份登记链;发送者对交易信息进行哈希运算,生成哈希摘要,记为Y1,并...
郑忠龙林飞龙陈中育马永进孙广华丁月娇
文献传递
共4页<1234>
聚类工具0