论GIS模糊不确定性以及处理方法探讨

论述了GIS模糊不确定性的认识，介绍了不确定性的相关概念，阐述了GIS的模糊不确定性，及其处理方法。     

多值函数新论

不考虑连续性的多值运算和考虑连续性的多值函数之间虽有很密切的关系,但两者并不相同,前者虽用处较少但不能省略也不能用后者替代。庑讨论多值运算的相等性及其叠合,其单值及主值支,纠正人们认为在复变元情况不能规定主值的说法。     

对不定积分的新处理

以胶用不定积分∫ｆ（ｘ）ｄｘ表示全体的原函数Ｆ（ｘ）＋Ｃ，从而把Ｃ看作任意常数变元，比较新近的说法则用∫ｆ（ｘ）ｄｘ表示原函数族，从而∫ｆ（ｘ）ｄｘ不再是函数（而是函数集），这些说法都有其本身的问题，难以服从，本把∫ｆ（ｘ）ｄｘ写成∫＾ｘｆ（ｘ）ｄｘ（分清现行变元与积分变元），用它表示一个确定的（但尚未具体指定的）原函数，Ｃ为待定常数，并作约定，在此基础上重新建立不定积分论。     

基于MapX的森林资源管理信息系统

根据森林资源管理的特点和我国基层林场的现状,以金仓林场为例,介绍基于地理信息系统控件MapX的森林资源管理信息系统的总体设计及所采取的开发技术路线,并详细阐述系统的结构与功能。系统对实现我国基层林场的集约经营、提高基层林场的森林经营管理水平有着重要的意义。     

质点空间内的几何

要在矢量空间理论内处理射影几何与仿射几何，传统的方法很难令人满意，主要是：对仿射几何，凭空引入一个非常特殊的原点，对射影几何，是次矢量本身没有几何意义，矢量的运算不能适用于点，以质空间为讨论的基础，对它引入同位置的斋人和几何解释并作成几何，克服好上面两大困难，指出，只用位置概念本身得射影几何，再指定一个一元线性型（质量函数）便得仿射几何，再指定矢量的长度嵛独欧氏几保对几何而言，应该能够从一组位置找     

专利制度、专利法和专利(权)

引言“人类的天才发明是一切艺术作品和发明的源泉,这些作品和发明是人类价值的保证,国家有责任确保对艺术和发明的保护。”这一段言简意赅的题词是用拉丁文写在设于瑞士日内瓦的世界知识产权组织(WIPO)总部大楼园屋顶上的,它既表达了精神劳功成果应当赋于一种“产权”的理由,又阐明了这成     

吃饭,是为了什么?

对于我们大多数人来说,如何回答吃饭是为了什么呢?说吃饭是为了活着,似乎大笼统,人的许多行为不都是为了活着吗? 吃饭是为了吃进物质,因为人体所需要的营养成份,大多可从吃饭中获得。现代科学对此答案的评价为:这是人类对吃饭是为了什么问题所作出的第一个理性认识。同时现代科学也明白无误地告诉我们,吃饭并不能改变人的质量,人通过吃饭摄进的物质和排出的物质相等。即从吃饭中摄入多少碳、氮、氧、氢原子,必然也要向体外排除相同数量的原子,这说明吃饭并未使人从外界获得物质,吃饭是为了吃进物质的回答是显然是不准确的,它违反了自然界的一条基本法则——质量守恒定律。     

The Solution of Scholz's Problem

Def. The natural n is called a satisfiable number of a(in first order logic)formula α if α has a model of cardinality n. Def.The set M is called a finite spectrum if M is the set of all the satis-fiable numbers of a certain formula of first order logic.     

云南不同山地小型真菌生态学研究

从云南山地中选取了三个典型的生态环境．讨论了小型真菌的组成分布、演替及优势菌群．并分析了它们与生态环境团支的关系．     

ON THE REASONING EXPRESSIONS AND THE NATURE OF DEDUCTION RULES

Reasoning expressions are those which express the reaasoning procedure by means ofonly deduction rules and the initial formulas(axioms or assumptions)without the helpof any intermediate results.They express the procedure systematically,completely andconcisely.The deduction rules are mappings from formulas(premises)to formula(conclusion).The elementary rules are certain propositional connectives(but notnecessarily truth functions)while the higher rules are certain quantifiers.Besides,thedetachment rule is an inverse of the connective implication,and is itself the kernel ofdeduction method;while another inverse of implication(i.e.the suggestion rule)is thekernel of induction method.