区别真假核桃嫁接苗及选择良种壮苗的方法

介绍了目前汉中市、区县大力发展核桃产业过程中所遇到的造假核桃嫁接苗的形式、方法。真假核桃嫁接苗的识别方法,选择优质核桃嫁接苗的途径。     

公司出资形式法律问题研究

从制度变迁角度,通过对出资形式实质的研究,探析出资形式的真正限制条件,从而为进一步提出更加符合公司本质的出资形式提供理论性的借鉴。     

浅谈如何发展学校课余体育训练

课余体育训练是提高学校体育水平的重要内容,随着我国教育体制改革的不断深入,学校已经逐渐成为体育后备人才的培养基地,同时,学校课余体育训练也出现了多样化的局面。     

浅议初中生的几种物理思维法

研究表明,在校青少年思维发展的年龄特点总趋势是：形式逻辑思维在初一开始发展,高二趋向于基本成熟。抓着这个关键期,就能促进思维能力的发展。德国教育学家第斯多惠指出：“一个不好的老师奉送真理,一个好的老师教人发现真理”。”在初二年级就开始的物理学习过程中,让学生掌握物理知识是重要的,但让学生掌握物理学科的科学思维方法更重要。     

面向多用途的数学概念知识分层表示方法

着重介绍NKIMath中数学概念的知识表示方法.首先给出了NKIMath知识系统的体系结构,分析了获取数学知识的不同用途.在次基础上给出了一种融合了本体、框架和逻辑综合的知识表示方法,将知识分为谓词逻辑层、知识描述层和概念关系层,不同层次可以满足不同用途的需求,详细给出了数学概念知识表示的基本模式以及参数表示形式.NKIMath可以很容易地实现与W3C推荐的数学文档标注语言OMDoc之间的相互转换,同时在知识表示的多粒度、多语言版本知识自动生成等方面优于OMDoc.     

论系统相互作用的基本形式与过程

考察相互作用中物质、能量、信息的流通过程以及系统如何通过相互作用实现自己的生成、存在与发展进化的目的 ,那么 ,就可发现 ,系统相互作用的基本形式与过程由输入→协同与竞争→输出→反馈四个环节构成。     

A PRACTICAL METHOD FOR IMPROVING CONSISTENCY OF JUDGEMENT MATRIX IN THE AHP

In this paper, an approach to improving consistency of judgement matrix in the Analytic Hierarchy Process (AHP) is presented, which utilizes the eigenvector to revise a pair of entries of judgement matrix each time. By using this method, any judgement matrix with a large C.R. can be modified to a matrix which can both tally with the consistency requirement and reserve the most information that the original matrix contains. An algorithm to derive a judgement matrix with acceptable consistency (i.e., C.R. < 0.1) and two criteria of evaluating modificatory effectiveness are also given.     

Hedonic住房价格模型的选择与实证检验

借助Box-Cox变换技术用于hedonic住房价格模型估计,通过对数似然比和样本外Theil不相等系数检验,对已有文献中常见函数形式的拟合效果进行评估,从而确定最佳的函数形式.实证研究表明Box-Cox变换模型优于线性、半对数、双对数等函数.     

辛欧拉格式形式能量的收敛性

对谐振子系统和单摆系统分析了辛欧拉格式形式能量的收敛性。得到辛欧拉格式的形式能量后,发现应用于谐振子系统的辛欧拉格式的形式能量是收敛的,对单摆系统无法确定形式能量的收敛范围,但其修正方程精确保持系统的平衡点。理论分析和数值模拟表明在形式能量收敛的条件下,用辛欧拉格式计算这两个系统具有保持整体结构的效果。     

基于自动机理论的UML活动图模型检验方法

UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模型检验方法。该方法给出UML活动图的形式语义,通过计算RTC-STEP,得到LTS,并将LTS映射到Büchi自动机,用LTL表示系统性质,并将LTL公式转换为相应的Büchi自动机,用基于自动机理论的模型检验方法检验UML活动图。