生态经济信息数据库的建立与应用——以黑龙江省依兰县先锋林场为例

本文以国家“七·五”科技攻关项目的阶段性成果为基础,利用所获取的系列专题地图和社会经济统计资料,讨论了依兰县先锋林场生态经济信息数据库的建立方法,并针对课题目标对数据库的应用进行了探讨。结果表明,本研究对生态开发中的资源管理、评价与规划及动态监测具有重要的实践意义。     

Agent思维状态属性的研究

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

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

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

数字矿山建设探讨

描述了数字矿山的基本特征，通过用户分析设计出一个数字矿山模型，并阐述了相应的解决方案及其特点，最后提出了数字矿山的发展战略和相关建议。     

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

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

复合V-ρ不变凸多目标规划最优充分性条件

定义了一类称为复合V-ρ不变凸函数，并将该类广义凸函数应用到非光滑多目标规划问题上；建立了新的充分条件．     

ADC光学树脂材料生产工艺的研究

光学树脂作为聚合物光学材料的重要组成部分,正逐步取代无机玻璃而被广泛应用于光学领域。本文主要提出了合成树脂光学透镜材料ADC的制备工艺,分析了影响产品质量及得率的各种因素,制定了理想工艺条件。     

五次样条函数的构造

给出了五次样条函数M,T关系式的构造过程,分类补充4个边界条件,得到关于变元Mi,Ti的对称五对角线性方程组,解之仅需约20 n个运算量,从而能方便快捷地求出五次样条函数的分段表达式.数值结果显示其具有较高的逼近精度及良好的整体光滑性.     

构造一类偏微分方程组通解的机械化方法及力学方程的自动推理

用微分代数的观点，把标准型算法和矩阵多元多项式的带余除法相结合，获得构造一类微分方程组的通解的新方法，并在标准型算法的基础上给出了力学方程的推理的机械化方法。     

Banach空间中的终值问题

本文以非紧致度为工具,研究了Banach空间中具有不连续右端的常微分方程的终值问题,得到了解的存在性定理。我们的讨论是在Caratheodory条件下进行的,取消了文[1]中定理3中的f连续性条件,从而改进了[1]中的相应结论。