国家自然科学基金(60573052)
- 作品数：9 被引量：46H指数：4
- 相关作者：王文发马燕李宏达李红达马春梅更多>>
- 相关机构：延安大学中国科学院软件研究所中国科学院研究生院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学天文地球更多>>
- 基于.NET的四层结构及其在综合信息系统中的应用被引量：19
- 2009年
- 阐述应用程序开发的三层结构的基本组织形式及存在的问题,提出了基于四层结构的应用程序开发模型及其带来的好处。结合七里村采油厂综合信息系统开发实例,对基于.NET的四层结构的应用程序开发技术进行了研究,实现了基于.NET的四层结构的部署,阐述了基于四层结构的具体实现策略,并在此基础上给出了基于四层结构的应用程序设计与开发的关键技术。
- 王文发马燕李红达
- 关键词：ASP.NETORM业务逻辑层数据访问层数据库
- 基于.NET的四层结构研究及其应用被引量：13
- 2008年
- 阐述软件设计开发的四层结构的组织形式及其关键技术,提出了一种基于.NET的四层结构应用模型:显示层、业务逻辑层、数据访问层以及数据库,逻辑层次清晰、耦合度低.结合研究生综合信息系统应用实例,实现了基于.NET的四层结构的部署.和三层结构相比,负载能降低24.32%.
- 马燕王文发李红达
- 关键词：ASP.NETORM业务逻辑层数据访问层数据库
- 基于考生比例的考场编排问题的分治算法被引量：3
- 2010年
- 根据高考考场编排的一般要求和约束条件,建立了相应的数学模型,提出了基于考生比例的考场编排问题的分治算法,给出了算法的具体步骤,分析了算法的复杂度,验证了算法的合理性和有效性。实验结果表明,该算法能有效控制考生的分布,编排过程完全可以控制,最大程度地避免了前后左右相邻考生属同一中学,编排结果达到了比较理想的均衡状态。该算法速度快、效率高、易于实现、继承性强,很容易推广到其它类似问题的求解。
- 王文发张根耀马春梅李红达
- 关键词：分治算法考场编排流程图复杂度
- 回溯法求解多约束分配问题被引量：4
- 2008年
- 回溯法是解决多约束条件下合理分配问题的重要方法之一,经过认真分析研究,提出了解决这类问题的一种新的有效算法——基于矩阵存储的回溯算法,并以学生宿舍合理分配问题为背景,给出了算法的具体实现过程,最后讨论了该算法的时间复杂度,得出了该算法较同类问题的回溯法具有更好的时间效率,实际应用的结果验证了该算法在多约束分配问题中更具合理性和有效性.
- 王文发马燕李宏达
- 关键词：时间复杂度流程图
- NP问题的3轮零知识证明系统的存在性被引量：1
- 2007年
- 研究NP问题的3轮零知识证明的存在性.O.Goldreich与H.Krawczyk在1996年证明BBP以外的语言不存在(欺骗概率可忽略的)3轮黑箱模拟零知识协议,但是否存在3轮非黑箱模拟零知识证明仍然是一个尚未解决的问题.采用一种新的交互证明模式,在标准的DDH假设下,对图的3着色问题构造了一个3轮零知识证明.由于对零知识性的证明采用了一种特殊的方法,文中的协议实际上是非黑箱模拟意义下的零知识证明,从而证明了在DDH假设下,所有的NP语言都有3轮零知识证明系统.
- 李红达李宝
- 关键词：零知识证明
- 基于矩阵存储的回溯算法在多约束分配问题中的应用
- 2008年
- 学生宿舍的合理分配涉及学生高考入学成绩、生源地等诸多约束条件,在充分分析现行学生宿舍分配问题的基础上,对学生宿舍的合理分配问题进行了研究,提出了解决这类问题的一种新方法——基于矩阵存储的回溯算法。在对该算法的时间复杂度进行分析的基础上,得出了该算法较同类问题的回溯法具有更好的时间效率,在多约束分配问题中更具合理性和有效性。
- 王文发马燕李宏达
- 关键词：矩阵复杂度流程图
- 基于矩阵存储的回溯算法在多约束分配问题中的应用探讨被引量：1
- 2008年
- 学生宿舍的合理分配涉及学生高考入学成绩、生源地等诸多约束条件,在充分分析现行学生宿舍分配问题的基础上,对学生宿舍的合理分配问题进行了研究,提出了解决这类问题的一种新方法——基于矩阵存储的回溯算法.在对该算法的时间复杂度进行分析的基础上,得出了该算法较同类问题的回溯法具有更好的时间效率,在多约束分配问题中更具合理性和有效性.
- 王文发马燕李宏达
- 关键词：矩阵复杂度流程图
- 基于矩阵存储的学生分班问题的回溯算法被引量：3
- 2009年
- 结合项目开发,提出了多约束条件下合理分配问题的一种解法——基于矩阵存储的回溯算法。以学生合理分班问题为例,以学生成绩和男女生比例等诸多条件作为约束,给出了算法的具体实现过程,分析了算法的时间复杂度。该算法较同类问题的回溯法,效率有很大提高,实际应用的结果表明了算法的合理性和有效性。
- 马燕王文发李宏达
- 关键词：矩阵存储流程图时间复杂度
- 回溯算法在多约束分配问题中的应用被引量：4
- 2008年
- 以学生宿舍合理分配问题为背景,对分配中所涉及的学生高考入学成绩、生源地、宿舍类别等诸多约束条件进行充分分析和探讨,给出了解决这类问题的一种新的有效算法——基于矩阵存储的回溯算法,并给出了算法的实现细节。在此基础上,讨论了该算法的时间复杂度,得出了该算法较同类问题的回溯法具有更好的时间效率,说明了该算法在多约束分配问题中更具合理性和有效性。
- 王文发马燕李宏达
- 关键词：矩阵存储流程图时间复杂度
