陈建明
- 作品数：15 被引量：14H指数：2
- 供职机构：浙江师范大学数理与信息工程学院更多>>
- 发文基金：浙江省科技厅资助项目浙江省科技计划项目浙江省科技厅科技计划项目更多>>
- 相关领域：自动化与计算机技术文化科学理学自然科学总论更多>>
- 我省高级中学信息技术教育的研究
- 2005年
- 针对教育部关于在中小学普及信息技术教育的要求,以信息技术基本理论和模糊数学理论为指导,结合浙江省的社会、经济和教育发展的实际情况,对浙江省宁波、嘉兴、杭州和金华四个地区的高级中学信息技术教育实施情况作了系统的分析和研究,提出了一些需要解决的问题的对策。
- 陈建明沈利华
- 关键词：信息技术信息技术教育信息技术教育教育发展
- 关于不定方程ax^4+x^3+x-a=Dy^2
- 1992年
- 设1+4a^2为素数或为2个形如8m+1型的素数的乘积,本文讨论不定方程 ax^4+x^3+x-a=Dy^2,其中 a、D 为整数,a≠0,D>0且无平方因子,主要结果为当 D 不被2或4k+1型的素数整除时,且 a=±2(mod 8),则该不定方程无解,若 a<0,仅当a=Db^2(b≥1)时有唯一解,若a>0,则当 a=Db^2(b≥1)时有解 x=2a。
- 陈建明
- 关键词：素数整数解
- 基于形式化监控的可信软件构造模型被引量：1
- 2011年
- 传统的形式化方法和软件运行时监控都是提高软件可信性的有效途径,但存在监控需求表达能力不强及代码分散等问题。针对该问题,提出基于形式化监控的可信软件构造技术FM-TSPM,将形式化方法和运行时监控相结合,实现跨领域的方法融合。用形式化方法描述监控约束,根据监控约束生成方面监控代码,解决代码分散问题。采用AOP编织器将方面代码编织到目标系统中。
- 陈建明刘松李志蜀丁革建
- 关键词：确定有限自动机面向方面编程
- 面向微聚集技术的k-匿名数据质量评估模型被引量：7
- 2010年
- 针对基于微聚集技术的匿名数据,提出了一个质量评估模型,该模型从匿名数据的可用性、安全性以及两者的权衡三个角度来评估匿名数据的综合质量。实验结果表明,所提出的模型可以有效地评估基于微聚集的匿名数据的质量。
- 陈建明韩建民
- 关键词：数据可用性泄密风险K-匿名
- 基于GEP的路径覆盖测试用例生成方法被引量：3
- 2010年
- 提出一种基于基因表达式编程(GEP)算法、编译器技术、虚拟机技术的路径覆盖测试用例生成方法。该方法使用编译器技术获得程序的静态控制流路径集合,针对集合中的每一条静态控制流路径,使用GEP算法生成覆盖特定路径的测试用例,采用虚拟机完成结果计算,其中有效的结果即所需的测试用例。实验结果证明,该方法能高效、准确地得到覆盖特定控制流路径的测试用例。
- 陈建明陈宇李志蜀丁革建
- 关键词：基因表达式编程算法测试用例路径覆盖测试
- 3G移动期货行情系统的设计与实现
- 2010年
- 如今,越来越多的人开始进入期货和证券市场。在期货市场中,一笔投资的成败,往往取决于信息和交易的及时与否。而能够及时获取最新的行情信息,随时随地的进行交易则成为了最为重要也是最为迫切的需求。除了几种传统的交易方式(交易大厅交易、电话委托交易、网上交易等)以外,飞速发展的无线通信网络,为我们带来了一个新的交易平台,即基于移动设备(手机、PDA等)的期货行情交易平台,使"移动期货交易",即运用手机随时随地查看期货行情、信息、进行期货交易变为可能,且接收信息的即时性和全面性比起其它几种交易方式来说毫不逊色。运用手机进行期货交易,大大方便了期货投资者不受空间、时间限制,随时随地关注期货市场动向。移动期货交易系统是期货交易继因特网电子交易后又一次新的革命。因此,对期货移动交易平台的研究具有很重要的实用意义。
- 丁革建宋飞李志蜀陈建明
- 关键词：期货J2MEK线图
- 论中小学信息技术课程的教学
- 2002年
- 针对目前中小学开设信息技术课程的现实和认识上的一些问题 ,提出了自己的一些看法 ,认为支撑课程质量的因素主要在于加强理论的学习 ,而不是操作内容的选择和学习 .另外 ,根据软件开发的发展 ,提出应将程序设计思想贯穿在整个课程的教学中 .
- 王基一陈建明
- 关键词：信息技术课程教学方法
- 构件化企业客户资源分析器模型
- 在详细介绍构件技术的基础上,提出了一个基于构件技术适合于各种不同领域的企业应用软件开发的开发模型,并加以讨论,最后描述了构件化企业资源分析系统的实现.
- 贾泂陈建明陈中育
- 关键词：软件开发模型应用软件
- 文献传递
- 基于PBIL的综合QoS参数组播路由
- 2010年
- 提出了一种基于PBIL(Population-Based Incremental Learning)的QoS组播路由算法,它能在综合QoS参数约束条件下寻找代价最小的多播树.该算法有效地结合了遗传算法的进化特性与竞争学习算法的特点,采用基于路径的树编码结构和基于概率的备选路径集,在网络规模较大的情况下也能得到很好的应用.仿真实验表明,该算法快速有效.
- 陈建明
- 关键词：STEINER树组播PBIL算法
- '任务驱动'教学模式在离散数学课程中的实践探索
- 本文分析了目前高校计算机专业学习离散数学课程存在的问题.通过实践提出了采用'任务驱动'教学模式的合理性和必要性.以离散数学课程为主要背景,阐述了'任务驱动'教学模式如何在教学中实施.通过实践,使学生在教学过程中加深了对课...
- 陈建明
- 关键词：高等教育计算机专业课程设置任务驱动法教学模式
- 文献传递
