Query：
学者姓名：宁正元
Refining：
Year
Type
Indexed by
Source
Complex
Co-Author
Language
Clean All
Abstract ：
以中龄林为例,分别建立了基于多元线性回归和BP神经网络的批量评估模型,选取测试样本对这2种模型的有效性进行检验.结果表明,所建立的2种模型对于中龄林评估都适用,但BP神经网络模型较多元线性回归模型的适用范围更广,预测精度更高.
Keyword ：
BP神经网络 BP神经网络 多元线性回归模型 多元线性回归模型 批量评估 批量评估 森林资源资产评估 森林资源资产评估
Cite：
Copy from the list or Export to your reference management。
| GB/T 7714 | 赖晓燕 , 颜桂梅 , 宁正元 et al. 2种森林资产批量评估模型的构建与比较 [J]. | 福建农林大学学报(自然科学版) , 2014 , 43 (01) : 39-43 . |
| MLA | 赖晓燕 et al. "2种森林资产批量评估模型的构建与比较" . | 福建农林大学学报(自然科学版) 43 . 01 (2014) : 39-43 . |
| APA | 赖晓燕 , 颜桂梅 , 宁正元 , 陈平留 . 2种森林资产批量评估模型的构建与比较 . | 福建农林大学学报(自然科学版) , 2014 , 43 (01) , 39-43 . |
| Export to | NoteExpress RIS BibTex |
Version ：
Abstract ：
从算法与数据结构这门课程的实验教学实际出发,利用Java语言开发排序算法动态演示系统,实现了八种不同基本排序算法的动态排序演示。教学实践证明,直观生动的将排序算法的执行过程进行演示,有利于学生更好的理解掌握各种排序算法的基本思想,有效地提高了实验课程的教学效果。
Keyword ：
动态演示 动态演示 实验教学 实验教学 排序算法 排序算法 数据结构 数据结构
Cite：
Copy from the list or Export to your reference management。
| GB/T 7714 | 宁静 , 宁正元 . 数据结构实验教学中排序算法的动态演示 [J]. | 计算机光盘软件与应用 , 2014 , 17 (17) : 202-203 . |
| MLA | 宁静 et al. "数据结构实验教学中排序算法的动态演示" . | 计算机光盘软件与应用 17 . 17 (2014) : 202-203 . |
| APA | 宁静 , 宁正元 . 数据结构实验教学中排序算法的动态演示 . | 计算机光盘软件与应用 , 2014 , 17 (17) , 202-203 . |
| Export to | NoteExpress RIS BibTex |
Version ：
Abstract ：
为了客观地反映构件指标的模糊性并增强决策的柔性,建立了一种基于直觉模糊集的构件质量评价模型。首先,在ISO/IEC 9126软件质量度量模型基础上,通过增加、删除质量特性和质量子特性,建立了构件质量评价指标体系;其次,将直觉模糊集引入构件质量评价模型并给出了构件质量评价的具体步骤;最后,利用基于直觉模糊集的评价模型给出了待评价构件的优劣排序。实例验证了该方法的合理性与有效性,为构件评价工作提供一定参考。
Keyword ：
ISO/IEC 9126模型 ISO/IEC 9126模型 构件质量 构件质量 直觉模糊集 直觉模糊集 评价 评价
Cite：
Copy from the list or Export to your reference management。
| GB/T 7714 | 赖晓燕 , 宁正元 , 王长缨 et al. 基于直觉模糊集的构件质量评价模型研究 [J]. | 河北科技大学学报 , 2013 , 34 (04) : 325-329 . |
| MLA | 赖晓燕 et al. "基于直觉模糊集的构件质量评价模型研究" . | 河北科技大学学报 34 . 04 (2013) : 325-329 . |
| APA | 赖晓燕 , 宁正元 , 王长缨 , 颜桂梅 . 基于直觉模糊集的构件质量评价模型研究 . | 河北科技大学学报 , 2013 , 34 (04) , 325-329 . |
| Export to | NoteExpress RIS BibTex |
Version ：
Abstract ：
直方图方法常用于计算机视觉领域,好的直方图比较算法能够有效地提高检索的性能.但直方图比较算法在三维模型检索中的应用则较少得到研究.应用方向梯度直方图提取三维模型的直方图特征,然后给出一种直方图比较算法用于三维模型检索.实验结果表明:该直方图比较算法对某些种类的模型的检索性能比已有的算法更优.
Keyword ：
三维模型 三维模型 基于内容的模型检索 基于内容的模型检索 直方图 直方图
Cite：
Copy from the list or Export to your reference management。
| GB/T 7714 | 李小林 , 黄世国 , 宁正元 et al. 一种三维模型检索直方图比较算法 [J]. | 闽江学院学报 , 2013 , 34 (02) : 102-104 . |
| MLA | 李小林 et al. "一种三维模型检索直方图比较算法" . | 闽江学院学报 34 . 02 (2013) : 102-104 . |
| APA | 李小林 , 黄世国 , 宁正元 , 张锐 . 一种三维模型检索直方图比较算法 . | 闽江学院学报 , 2013 , 34 (02) , 102-104 . |
| Export to | NoteExpress RIS BibTex |
Version ：
Abstract ：
生物信息学研究需要使用先进的计算工具处理大量生物的模糊的和不确定的数据。群智能优化算法以低成本、快速和准确合理地解决复杂的搜索问题的优点,使其成为一族能用以较好地解决生物信息学中的问题的启发式算法。综述群智能优化算法及其在生物信息学问题中的应用。
Keyword ：
优化算法 优化算法 生物信息学 生物信息学 群智能 群智能
Cite：
Copy from the list or Export to your reference management。
| GB/T 7714 | 宁静 , 钟一文 , 林娟 et al. 群智能优化算法及其在生物信息学问题中的应用 [J]. | 三明学院学报 , 2013 , 30 (04) : 13-18 . |
| MLA | 宁静 et al. "群智能优化算法及其在生物信息学问题中的应用" . | 三明学院学报 30 . 04 (2013) : 13-18 . |
| APA | 宁静 , 钟一文 , 林娟 , 宁正元 . 群智能优化算法及其在生物信息学问题中的应用 . | 三明学院学报 , 2013 , 30 (04) , 13-18 . |
| Export to | NoteExpress RIS BibTex |
Version ：
Abstract ：
以生物分类的数学模型和生物演化的数学模型为基础,探讨25种石斛属植物rbcL蛋白质序列的系统发育关系.用MATLAB7.1构建NJ系统树和UPGMA系统树,用MEGA4.1构建MP系统树,并进行系统发育分析,为研究石斛属植物的系统发育提供蛋白质序列方面的证据.
Keyword ：
rbcL序列 rbcL序列 石斛属植物 石斛属植物 系统发育 系统发育 蛋白质序列分析 蛋白质序列分析
Cite：
Copy from the list or Export to your reference management。
| GB/T 7714 | 宁静 , 陈惠娟 , 钟一文 et al. 基于rbcL蛋白质序列的石斛属植物系统发育研究 [J]. | 漳州师范学院学报(自然科学版) , 2011 , 24 (04) : 34-39 . |
| MLA | 宁静 et al. "基于rbcL蛋白质序列的石斛属植物系统发育研究" . | 漳州师范学院学报(自然科学版) 24 . 04 (2011) : 34-39 . |
| APA | 宁静 , 陈惠娟 , 钟一文 , 宁正元 . 基于rbcL蛋白质序列的石斛属植物系统发育研究 . | 漳州师范学院学报(自然科学版) , 2011 , 24 (04) , 34-39 . |
| Export to | NoteExpress RIS BibTex |
Version ：
Abstract ：
In this article, we have two parts. In the first part, we are concerned with the locally Holder continuity of quasi-minima of the following integral functional integral(Omega) f(x, u, Du)dx, (1) where Omega is an open subset of Euclidean N-space (N >= 3), u : Omega -> R, the Caratheodory function f satisfies the critical Sobolev exponent growth condition vertical bar Du vertical bar(p) - vertical bar u vertical bar(p)* - a(x) <= f(x, u, Du) <= L(vertical bar Du vertical bar(p) + vertical bar u vertical bar(p)* + a(x)), (2) where L >= 1, 1 < p < N, p* = Np/N - p, and a(x) is a nonnegative function that lies in a suitable L-p space. In the second part, we study the locally Holder continuity of omega-minima of (1). Our method is to compare the omega-minima of (1) with the minima of corresponding function determined by its critical Sobolev exponent growth condition. Finally, we obtain the regularity by Ekeland's variational principal.
Keyword ：
Ekeland's variational principle Ekeland's variational principle Holder continuous Holder continuous Integral functional Integral functional omega-minima omega-minima Q-minima Q-minima
Cite：
Copy from the list or Export to your reference management。
| GB/T 7714 | Ning Zhengyuan , Wang Xiuli . THE REGULARITY OF QUASI-MINIMA AND ω-MINIMA OF INTEGRAL FUNCTIONALS [J]. | ACTA MATHEMATICA SCIENTIA , 2010 , 30 (4) : 1301-1317 . |
| MLA | Ning Zhengyuan et al. "THE REGULARITY OF QUASI-MINIMA AND ω-MINIMA OF INTEGRAL FUNCTIONALS" . | ACTA MATHEMATICA SCIENTIA 30 . 4 (2010) : 1301-1317 . |
| APA | Ning Zhengyuan , Wang Xiuli . THE REGULARITY OF QUASI-MINIMA AND ω-MINIMA OF INTEGRAL FUNCTIONALS . | ACTA MATHEMATICA SCIENTIA , 2010 , 30 (4) , 1301-1317 . |
| Export to | NoteExpress RIS BibTex |
Version ：
Abstract ：
Temporal logics are often adopted as basic tools to specifying mental states such as belief and goal of agents. Although there are works on non-monotonic extension of linear temporal logic (LTL) and branching time temporal logic (CTL), the non-monotonic extension of alternating-time temporal logic (ATL) which is an important kind of multi-agent cooperation logics has not been discussed yet in literature. To solve this problem, this paper proposed non-monotonic alternating-time temporal logic with belief and goal, namely N-ATL-BG, to facilitate the non-monotonic reasoning of mental states of agents. The semantic model, syntax and semantics of this new logic are developed. A model checking algorithm which can be finished in polynomial time is proposed for this new logic. Examples are given to show its usage.
Keyword ：
Computer circuits Computer circuits Model checking Model checking Multi agent systems Multi agent systems Polynomial approximation Polynomial approximation Semantics Semantics Temporal logic Temporal logic
Cite：
Copy from the list or Export to your reference management。
| GB/T 7714 | Lai, Xian-Wei , Hu, Shan-Li , Ning, Zheng-Yuan et al. Multi-agent belief, goal and exceptions reasoning [J]. | Journal of Donghua University (English Edition) , 2010 , 27 (2) : 165-168 . |
| MLA | Lai, Xian-Wei et al. "Multi-agent belief, goal and exceptions reasoning" . | Journal of Donghua University (English Edition) 27 . 2 (2010) : 165-168 . |
| APA | Lai, Xian-Wei , Hu, Shan-Li , Ning, Zheng-Yuan , Wang, Xiu-Li . Multi-agent belief, goal and exceptions reasoning . | Journal of Donghua University (English Edition) , 2010 , 27 (2) , 165-168 . |
| Export to | NoteExpress RIS BibTex |
Version ：
Abstract ：
Alternating-time Temporal Epistemlc Logic (ATEL) which is an important kind of multi-agent cooperation logics only takes knowledge into account, but does not deal with belief of agents. By introducing three kinds of belief operators into ATEL, a new multiagent cooperation logic named ATBKL (Alternating-time Temporal Belief and Knowledge Logic) was developed. A model checking algorithm was proposed. It is proved that the model checking complexity of ATBKL is the same as that of ATEL, i.e., the presented logic is better for further study of multi-agent systems.
Keyword ：
Computer circuits Computer circuits Model checking Model checking Multi agent systems Multi agent systems
Cite：
Copy from the list or Export to your reference management。
| GB/T 7714 | Ning, Zheng-Yuan , Lai, Xian-Wei , Hu, Shan-Li et al. Belief and knowledge reasoning [J]. | Journal of Donghua University (English Edition) , 2010 , 27 (2) : 254-257 . |
| MLA | Ning, Zheng-Yuan et al. "Belief and knowledge reasoning" . | Journal of Donghua University (English Edition) 27 . 2 (2010) : 254-257 . |
| APA | Ning, Zheng-Yuan , Lai, Xian-Wei , Hu, Shan-Li , Wang, Xiu-Li . Belief and knowledge reasoning . | Journal of Donghua University (English Edition) , 2010 , 27 (2) , 254-257 . |
| Export to | NoteExpress RIS BibTex |
Version ：
Abstract ：
The goal of the research on ontology framework for content-based 3D model retrieval is to develop a rich set of 3D model semantic representation so that both humans and machines can generate and understand model descriptions and processing for fast efficient retrieval from model collections. The purpose of ontology development for content-based 3D model retrieval is intended to describe model information regardless of storage, feature extraction and creation. The ontology includes the information on media features, low level visual descriptors, non media features of 3D model and their relationships. It is implemented in prote´ge´ 3.1.
Keyword ：
Content based retrieval Content based retrieval Ontology Ontology Self organizing maps Self organizing maps Semantics Semantics
Cite：
Copy from the list or Export to your reference management。
| GB/T 7714 | Huang, Shi-Guo , Zhou, Ming-Quan , Geng, Guo-Hua et al. Ontology framework for content-based 3D model retrieval [J]. | Journal of Donghua University (English Edition) , 2010 , 27 (2) : 242-245 . |
| MLA | Huang, Shi-Guo et al. "Ontology framework for content-based 3D model retrieval" . | Journal of Donghua University (English Edition) 27 . 2 (2010) : 242-245 . |
| APA | Huang, Shi-Guo , Zhou, Ming-Quan , Geng, Guo-Hua , Ning, Zheng-Yuan , Wang, Ke-Gang . Ontology framework for content-based 3D model retrieval . | Journal of Donghua University (English Edition) , 2010 , 27 (2) , 242-245 . |
| Export to | NoteExpress RIS BibTex |
Version ：
Export
| Results： |
Selected to |
| Format： |
