辽阳职业技术学院计算机科学系
- 作品数：25 被引量：20H指数：2
- 相关作者：冯隽刘昊董华瑾更多>>
- 相关机构：辽宁师范大学计算机与信息技术学院辽宁师范大学数学学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理理学文化科学更多>>
- 浅谈在Web开发中对数据库的访问问题
- 2011年
- 目前web下开发信息管理系统越来越热，这就必然涉及到对数据库中数据的访问问题，各个软件围绕Web开发相继出台了一些实用技术，为用户实现Web访问数据库提供了方便。在这里简单给大家介绍了几种方法，诸如CGI技术、API技术、ODBC技术等。各种技术各有自己的优缺点，难易程度也不一样。
- 李荣涛罗雨滋
- 关键词：WEB数据库CGIAPIODBC
- 一种求解变分包含问题的Man迭代算法
- 2011年
- 首先回顾了与变分包含问题相关的一些基本概念。然后介绍H-单调算子的概念,接下来考虑一类带有H-单调算子的变分包含问题,该类变分包含问题可以涵盖前人研究过的几类变分问题和变分不等式问题,从而表明该类问题是已研究问题的有效推广深入研究。接下来笔者给出了预解算子的概念,并利用该概念进一步建立了变分包含问题与某个不动点问题的等价性。这种等价性允许使用预解算子技巧提出一种新型的Man迭代算法。最后对算法的收敛性进行了分析,在所给定理条件下,利用文献[3]中被广泛应用的一个引理,不仅可以证明这类变分包含问题存在唯一解,而且可以保证所提的新型Man迭代算法最终强收敛到原问题的唯一解。
- 李鹤
- 关键词：变分包含H-单调算子预解算子技巧迭代算法
- 六元语言真值模态命题逻辑及其归结自动推理研究
- 2022年
- 在日常生活中,人们通常使用自然语言进行推理和判断。为了将格值模态命题逻辑更好地应用于实际中,本文提出了以六元语言真值格蕴涵代数为真值域的六元语言真值模态命题逻辑系统,定义一个将公式集和可能世界集映射到六元语言真值格蕴涵代数上的赋值映射,讨论其运算及性质,并探讨该系统基于滤子的归结原理。提出计算归结式的规则以及基于滤子的归结方法,并通过一个例子说明该方法的合理性。该系统不仅可以处理全序性信息,也可以处理非全序性信息。
- 王诗慧王艳芳崔晓松
- 计算机安全与保密问题被引量：2
- 2005年
- 叙述了计算机安全与保密的内容以及我国计算机安全与保密方面存在的问题,最后阐明了计算机安全和保密使用的基本技术以及实现安全与保密的策略.
- 罗雨滋付兴宏
- 关键词：防火墙数字签名
- 数学教学对学生特殊能力的培养
- 2000年
- 阐明数学教学的特点 ,以及数学方面的特殊能力的表现 。
- 罗雨滋付兴宏
- 关键词：数学教学数学技能教学改革
- 基于自动机技术的XML复杂数据类型验证
- 2005年
- 复杂数据类型验证是XML文档验证的主要内容,是检查XML文档结构是否符合模式规则的关键。根据Schema规范中复杂数据类型的描述和自动机理论,提出了一种称为模式自动机的数据结构,讨论了将XML复杂数据类型结构转换成模式自动机的方法,并设计了用来验证文档结构的算法。使用模式自动机验证算法可以全面地发现XML文档中的结构错误并准确地给出相应的错误信息,在实际应用中具有很高的效率。
- 付兴宏罗雨滋
- 关键词：XMLXMLSCHEMA自动机
- 浅谈电子政务安全体系及其安全策略被引量：2
- 2006年
- 本文将从安全的角度,说明如何在电子政务建设过程中,构建完善的安全体系、制定全面的安全策略,保障电子政务系统健康、稳定地运行。
- 付兴宏罗雨滋
- 关键词：电子政务安全体系
- 分布式程序的开发和应用
- 2005年
- 首先简要地介绍分布式应用程序的体系结构描述语言———NEWCOM,通过实例说明NEWCOM的应用方式和方法.其次,提出转换机制的系统设计与实现的基本思想;简明地阐述了功能模块划分与各个模块实现的技术,利用中间代码实现分布式应用程序的体系结构,在知识库的支持下生成NEWOOM文本,编程语言为VC++.
- 李灵佳董华瑾
- 基于WEB的人才招聘系统的设计与实现被引量：1
- 2011年
- 本文结合人才招聘的基本需求和特点，叙述了人才招聘网站的设计过程，并给出了关键模块的实现方法。
- 付兴宏罗雨滋
- 关键词：ASPADOSQLSERVER数据库
- XML技术在选课系统中的应用
- 2006年
- 随着Web技术的发展,XML技术的应用越来越广泛。结合XML技术的特点,探讨了XML技术在实际的选课系统中的应用,并论述了具体应用的实现方法。
- 付兴宏罗雨滋
- 关键词：XMLXML数据岛XMLDOM
