关于广义Ramanujan-Nagell方程x2-D=2n

借助于丢番图逼近中Beukers的一些深刻结果，讨论了广义Ramanujan—Nage11方程x^2-D=2^n。在D＝2^n十l时的一个非例外情况，求出了此时该方程的全部非负整数解。     

对Lagrange乘数法的几点浅析

讨论了Ｌａｇｒａｎｇｅ函数的性质及经济意义，并证明了Ｌａｇｒａｎｇｅ乘数法无助于解线性规划问题。     

DIDSS环境下信息agent系统任务规范的分解

提出一个基于GDF(扩展决策函数)的多agent任务规范分解判据，提出多agent的任务规范分解性质；将多agent任务规范分解问题等价为建立一个与信息agent任务规范属性相关的MSBN(多模块贝叶斯网)问题，并证明了MSBN的d-cutset(d-割集)和分解判据之间的关系，提出了与多agent任务规范对应的MSBN的分解方法．最后通过示例验证了所提出的方法的可行性。     

对Tanh函数法的推广及其在非线性方程中的应用

为了得到非线性偏微方程的行波解,提出了一种推广的tanh函数法.这种方法的主要思想是充分利用涉及两个参变量的广义Riccati方程,用它的解去代替tanh函数解,并且能从参数的符号准确地判断出行波解的类型和个数.     

Agent思维状态属性的研究

该文分析了目前有影响的BGP(信念-目标-规划)和BDI(信念-愿望-意向)思维状态模型的局限性，给出了Agent思维状态KOCBDI(知识-义务-交互-信念-愿望-意向)模型，并用机器人足球，说明KOCBDI模型各属性的独立性。     

论逻辑函数变量的二值与格形对称性

格形结构是自然界中普遍存在的一种结构形态。通过对逻辑函数变量的二值与对偶关系以及与之对应的格形对称图的一些性质及其规律的探讨,在两种格形对称图上,找到了最小项与其逻辑相邻项之间的对应关系,从而为用格形对称图法化简逻辑函数提供了捷径和方法。     

电算化条件下审计风险的识别与规避

随着信息经济的迅猛发展,审计领域也发生了深刻的变化,即传统审计向电算化审计的转变,并由此形成了审计工作模式的变革。审计工作模式的变革给审计人员提出了新的挑战,审计风险也表现出了一些新的形式和特点。文章先从计算机审计工作模式入手,对其所造成的审计风险进行了分析,并就如何进行有效的规避作了初步的探讨。     

An improvement of Papadakis'' theorem

There exist many orthonormal wavelets which cannot be derived by multiresolution analysis (MRA) with a single scaling function.In 2000,Papadakis announced that any orthonormal wavelet is derived by a generalized MRA with countable scaling functions at most.We improve Papadakis' theorem and find that for any othonormal wavelet,the least number of the corresponding scaling functions is just the essential supremum of the dimension function of the orthonormal wavelet.Moreover,we construct directly the fewest scaling functions     

农村学校校本体育基础设施资源的开发利用

影响农村学校体育教学的主要因素之一是严重缺乏场地器材，尤其是老、少、边、穷地区的农村学校体育基础设施更是少得可怜。针对这一现象，应从实际出发，因地制宜，充分利用现有条件，创造性地开发校本体育基础设施资源。才能缓解农村学校体育工作的困难。     

社会选择规则的简单多数规则的一些特征

在给定的有限的参与人集合及两个备选对象集的条件下,就社会选择规则定义了一种简单多数规则,并给出了一社会选择规则是简单多数规则的几个充要条件.