期刊文献+
共找到70篇文章
< 1 2 4 >
每页显示 20 50 100
可数模型的ψ-分式模型 被引量:2
1
作者 刘吉强 沈复兴 《北京师范大学学报(自然科学版)》 CAS CSCD 北大核心 1997年第4期444-447,共4页
从一些特殊情况出发讨论了不同可数模型的分式模型之间的关系,然后利用量词消去方法证明了当T是完全理论时,Tψ的完全性,进一步给出了Tψ是ω-范畴理论的一个充分必要条件,回答了Ash的一个问题.
关键词 ψ-分式 可数模型 分式模型
下载PDF
完全稠密二叉偏序理论的可数模型 被引量:1
2
作者 陈磊 沈复兴 《北京师范大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第2期111-113,共3页
在偏序理论和二叉树理论的基础上给出了稠密二叉偏序理论的公理,并在该理论中定义了上界函数*,利用有理数序列构造了该理论的一个可数模型.
关键词 完全稠密 二叉偏序 有理数序列 上界 可数模型
下载PDF
关于一阶理论的型与可数模型的关系 被引量:3
3
作者 陈国龙 《数学研究》 CSCD 1997年第3期300-302,共3页
引入了一类特殊的型的概念,较集中地论述了一阶理论的型与可数模型的关系.
关键词 一阶理论模型 可数模型 可数语言 经典模型
下载PDF
p阶拟循环群理论的可数模型 被引量:1
4
作者 吴兴玲 沈复兴 《北京师范大学学报(自然科学版)》 CAS CSCD 北大核心 2005年第1期7-9,共3页
讨论了p阶拟循环群理论的可数的饱和模型,并用强极小理论证明了p阶拟循环群理论是ω1 范畴的,进而 p阶拟循环群理论的每一模型都是齐次模型.
关键词 P阶拟循环群理论 强极小理论 ω1-范畴 可数饱和模型 齐次模型
下载PDF
Hilbert空间中一类可数维线性回归模型的参数估计
5
作者 曹志娟 邓伟奇 《理论数学》 2022年第6期962-970,共9页
现有回归模型中的解释变量往往是有限多个,然而被解释变量实际上常常受到无穷多种因素的影响,这使得有限维线性回归模型很有可能遗漏某些重要的解释变量,从而导致模型模拟现实的效用大为减弱。鉴于此,本文提出了一类可数维线性回归模型... 现有回归模型中的解释变量往往是有限多个,然而被解释变量实际上常常受到无穷多种因素的影响,这使得有限维线性回归模型很有可能遗漏某些重要的解释变量,从而导致模型模拟现实的效用大为减弱。鉴于此,本文提出了一类可数维线性回归模型的参数估计问题,并利用实Hilbert空间中的正交分解定理,以及泛函分析中的压缩映射原理和相关定理,在一定的条件下,通过Picard迭代程序,寻求可数维线性回归模型参数估计的唯一逼近解。 展开更多
关键词 HILBERT空间 正交分解法 可数维线性回归模型 参数估计
下载PDF
模型的并、积与齐次模型
6
作者 罗里波 《北京师范大学学报(自然科学版)》 CAS 1980年第Z1期31-39,共9页
这是我们研究齐次模型的第二篇文章。在第一篇文章里我们证明了:(1)
关键词 齐次模型 局部同构 量词消去 等价关系 可数模型 有序集 奇异基数 超积 当且仅当 合取式
下载PDF
分式作用下的保持性
7
作者 刘吉强 《数学研究》 CSCD 1999年第2期198-201,共4页
分 别研究了 分式理论 对最小(原 子)和最 大(饱和)模 型的保持 性,并给出 了分式 理论 在可数模型个数上 的变化的一个较
关键词 保持性 分式理论 分式模型 同构 非齐次可数模型 谱问题
下载PDF
范畴理论及其性质(英文)
8
作者 陈国龙 《科学技术与工程》 2004年第10期817-818,821,共3页
建立了型的拓扑空间,并证明了该空间的一些基本性质。利用上述性质,进一步研究了模型个数问题。
关键词 拓扑空间 可数模型
下载PDF
{I_m}(α-逻辑有效公式)的理论及其应用 被引量:6
9
作者 张兴芳 孟广武 +1 位作者 赵峰 张安英 《工程数学学报》 CSCD 北大核心 2007年第1期179-182,共4页
建立了一阶模糊语言φ的α[I]-真公式,可达α^+[I]-真公式,可数解释模型{I_m}(α-逻辑有效公式),可达{I_m}(α-逻辑有效公式)及{I_m}(α^+-逻辑有效公式)的理论,并讨论了它们的一系列性质及其在近似推理中的应用。
关键词 一阶模糊语言 α[I]-真公式 可数解释模型{Im} {Im}(α-逻辑有效公式)
下载PDF
Research and realization of visual digital ocean system 被引量:2
10
作者 张峰 李昊倩 +1 位作者 刘金 李四海 《Marine Science Bulletin》 CAS 2011年第1期87-96,共10页
Sphere model is the research hotspot in the GIS domain presently. It has become a strong integrated platform of spatial information with its strong abilities of spatial data management and visualization. Based on Skyl... Sphere model is the research hotspot in the GIS domain presently. It has become a strong integrated platform of spatial information with its strong abilities of spatial data management and visualization. Based on Skyline software, this paper introduces the framework, functions and technical method of realization of visual digital ocean system. The practice proves that the system has a good future in marine information visualization and sharing. 展开更多
关键词 SKYLINE digital ocean sphere model VISUALIZATION data sharing
下载PDF
ASSESSMENT OF MILITARY AIRFIELD OBSTACLE FREE SPACE BASED ON GIS 被引量:5
11
作者 罗成立 蔡良才 +3 位作者 黄命辉 鲁洋 刘莉莉 李鹏 《Transactions of Nanjing University of Aeronautics and Astronautics》 EI 2011年第3期294-299,共6页
A mathematical model of obstacle limit surfaces for military airfield obstacle free space is established through airfield obstacle free space analysis.Based on the model,triangle mesh elevation model of military airfi... A mathematical model of obstacle limit surfaces for military airfield obstacle free space is established through airfield obstacle free space analysis.Based on the model,triangle mesh elevation model of military airfield obstacle free space is built by using the software-ArcGIS,and the 3-D display result is obtained.It is convenient to evaluate military airfield obstacle for superimposing digital elevation model(DEM)with military airfield topographic map.Thus it improves the efficiency greatly.It lays the foundation for the application of geographic information systems(GIS)in the management of military airfield obstacle free space. 展开更多
关键词 airfield obstacle free space mathematical model 3-D visualization geographic information system(GIS)
下载PDF
Product reliability assessment based on proportional hazard degradation model 被引量:4
12
作者 苏春 张烨 张恒 《Journal of Southeast University(English Edition)》 EI CAS 2010年第3期480-483,共4页
In order to evaluate the reliability of long-lifetime products with degradation data, a new proportional hazard degradation model is proposed. By the similarity between time-degradation data and stress-accelerated lif... In order to evaluate the reliability of long-lifetime products with degradation data, a new proportional hazard degradation model is proposed. By the similarity between time-degradation data and stress-accelerated lifetime, and the failure rate function of degradation data which is assumed to be proportional to the time covariate, the reliability assessment based on a proportional hazard degradation model is realized. The least squares method is used to estimate the model's parameters. Based on the failure rate of the degradation data and the proportion function of the known time, the failure rate and the reliability function under the given time and the predetermined failure threshold can be extrapolated. A long life GaAs laser is selected as a case study and its reliability is evaluated. The results show that the proposed method can accurately describe the degradation process and it is effective for the reliability assessment of long lifetime products. 展开更多
关键词 degradation data hazard function proportional hazard model reliability assessment
下载PDF
ANALYSIS AND CALCULATION ON FRICTION AND WEAR RELIABILITY OF SOME PLANE′S FLAP MECHANISM 被引量:1
13
作者 李立杰 欧阳祖行 王珉 《Transactions of Nanjing University of Aeronautics and Astronautics》 EI 1998年第1期42-47,共6页
The mathematical model of the motion of some plane′s flap mechanism is set up by the method of establishing mathematical model of space mechanism. When the input parameter is given, the theoretical output paramet... The mathematical model of the motion of some plane′s flap mechanism is set up by the method of establishing mathematical model of space mechanism. When the input parameter is given, the theoretical output parameter of the flap mechanism is achieved by the model. The wear and tear volume is introduced into the mathematical model, and if the input parameter is the same, the real output parameter of the flap mechanism worn can be obtained. On the basis of this, it is able to achieve the friction and the wear reliability of the flap mechanism. 展开更多
关键词 reliability multi bar linkage mathematical model spacing mechanism
下载PDF
Uniform Representation Model for Metadata of Data Warehouse
14
作者 王建芬 曹元大 《Journal of Beijing Institute of Technology》 EI CAS 2002年第1期85-88,共4页
A uniform metadata representation is introduced for heterogeneous databases, multi media information and other information sources. Some features about metadata are analyzed. The limitation of existing metadata model... A uniform metadata representation is introduced for heterogeneous databases, multi media information and other information sources. Some features about metadata are analyzed. The limitation of existing metadata model is compared with the new one. The metadata model is described in XML which is fit for metadata denotation and exchange. The well structured data, semi structured data and those exterior file data without structure are described in the metadata model. The model provides feasibility and extensibility for constructing uniform metadata model of data warehouse. 展开更多
关键词 data warehouse METADATA data model XML
下载PDF
Expansion of Lie Algebra and Its Application 被引量:1
15
作者 YANG Yong ZHAO Yan 《Communications in Theoretical Physics》 SCIE CAS CSCD 2007年第1期19-21,共3页
Firstly we expand a finite-dimensional Lie algebra into a higher-dimenslonal one. By making use of the later and its corresponding loop algebra, the expanding integrable model of the multi-component NLS-mKdV hierarchy... Firstly we expand a finite-dimensional Lie algebra into a higher-dimenslonal one. By making use of the later and its corresponding loop algebra, the expanding integrable model of the multi-component NLS-mKdV hierarchy is worked out. 展开更多
关键词 loop algebra zero curvature equation expanding integrable model multi-component NLS-mKdV hierarchy
下载PDF
Research and application on integration modeling of 3D bodies in coal mine with blended data model based on TIN and ARTP 被引量:4
16
作者 韩作振 韩瑞栋 +1 位作者 毛善君 韩景敏 《Journal of Coal Science & Engineering(China)》 2007年第3期276-280,共5页
Data modeling is the foundation of three-dimensional visualization technology. First the paper proposed the 3D integrated data model of stratum, laneway and drill on the basic of TIN and ARTP, and designed the relevan... Data modeling is the foundation of three-dimensional visualization technology. First the paper proposed the 3D integrated data model of stratum, laneway and drill on the basic of TIN and ARTP, and designed the relevant conceptual and logical model from the view of data model, and described the data structure of geometric elements of the model by adopting the object-oriented modeling idea. And then studied the key modeling technology of stratum, laneway and drill, introduced the ARTP modeling process of stratum, laneway and drill and studied the 3D geometric modeling process of different section laneways. At last, the paper realized the three-dimensional visualization system professionally coalmine-oriented, using SQL Server as background database, Visual C++6.0 and OpenGL as foreground development tools. 展开更多
关键词 coalmine three-dimensional visualization data model ARTP OPENGL
下载PDF
High—Dimensional Integrable Models with Infinitely Dimensional Virasoro—Type Symmetry Algebra 被引量:3
17
作者 LINJi LOUSen-Yue 《Communications in Theoretical Physics》 SCIE CAS CSCD 2001年第1期7-10,共4页
Using every realization of the Virasoro-type symmetry algebra , we can obtain various high-dimensional integrable models under the meaning that they possess infinitely many symmetries. By means of a concrete realizati... Using every realization of the Virasoro-type symmetry algebra , we can obtain various high-dimensional integrable models under the meaning that they possess infinitely many symmetries. By means of a concrete realization, many -dimensional equations which possess Kac–Moody–Virasoro-type infinite dimensional symmetry algebras are obtained. 展开更多
关键词 symmetry algebra high-dimensional model invariant equation
下载PDF
K-Suslin树同ZF+┐AC的协调性问题
18
作者 阎林 《河南师范大学学报(自然科学版)》 CAS CSCD 1992年第3期135-139,共5页
本文研究K—Suslin树(K>ω_1)同ZF+┐AC的相对协调性问题。证明了这样的结论:“存在K—Suslin树+ZF+┐AC”(K>ω_1且为后继基数)相对于ZF系统是协调的。证明方法是在ZFC的一个可数传递模型M(M中存在K—Suslin树T)和其generic扩张M... 本文研究K—Suslin树(K>ω_1)同ZF+┐AC的相对协调性问题。证明了这样的结论:“存在K—Suslin树+ZF+┐AC”(K>ω_1且为后继基数)相对于ZF系统是协调的。证明方法是在ZFC的一个可数传递模型M(M中存在K—Suslin树T)和其generic扩张M[G]之间构造一个模型N,即M(?)N(?)M[G],使得在N中T仍为K—Suslin树且N(?)+ZF+┐AC,于是便有N(?)存在K—Suslin树+ZF+┐AC。该问题的证明过程中主要采用了力迫法。 展开更多
关键词 K-Suslin树 可数传递模型 ZFC
下载PDF
Frame erasure concealment in wideband speech coding based on large hidden Markov model
19
作者 王仕奎 汤一彬 +1 位作者 尤红岩 吴镇扬 《Journal of Southeast University(English Edition)》 EI CAS 2009年第2期152-155,共4页
Frame erasure concealment is studied to solve the problem of rapid speech quality reduction due to the loss of speech parameters during speech transmission. A large hidden Markov model is applied to model the immittan... Frame erasure concealment is studied to solve the problem of rapid speech quality reduction due to the loss of speech parameters during speech transmission. A large hidden Markov model is applied to model the immittance spectral frequency (ISF) parameters in AMR-WB codec to optimally estimate the lost ISFs based on the minimum mean square error (MMSE) rule. The estimated ISFs are weighted with the ones of their previous neighbors to smooth the speech, resulting in the actual concealed ISF vectors. They are used instead of the lost ISFs in the speech synthesis on the receiver. Comparison is made between the speech concealed by this algorithm and by Annex I of G. 722. 2 specification, and simulation shows that the proposed concealment algorithm can lead to better performance in terms of frequency-weighted spectral distortion and signal-to-noise ratio compared to the baseline method, with an increase of 2.41 dB in signal-to-noise ratio (SNR) and a reduction of 0. 885 dB in frequency-weighted spectral distortion. 展开更多
关键词 frame erasure concealment wideband speech large hidden Markov model immittance spectral frequency(ISF) parameter
下载PDF
Relationship between coal size reduction and energy input in Hardgrove mill 被引量:8
20
作者 Zuo Weiran Zhao Yuemin +2 位作者 He Yaqun Shi Fengnian Duan Chenlong 《International Journal of Mining Science and Technology》 2012年第1期121-124,共4页
Hardgrove grindability index (HGI) is an important indicator of coal grindability, and is one of the most important parameters to determine the capacity of coal pulverizer in power station. However, HGI is an empiri... Hardgrove grindability index (HGI) is an important indicator of coal grindability, and is one of the most important parameters to determine the capacity of coal pulverizer in power station. However, HGI is an empirical grindability index without linkages to any known physical parameters. To investigate the effect of energy input on the grinding in Hardgrove mill. a T20WN torque meter was installed on the shaft of a modified Hardgrove mill to record the torque driving the mill. Samples from four kinds of coals with HGI ranging from 36 to 72 were prepared according to the procedure of standard HGI test and ground in a modified Hardgrove mill at different revolutions. The relation of sample size reduction degree to specific comminution energy (Ecs) was studied with Shi-Kojovic model, The results show that Shi-Kojovic model predicted well the coal size reduction degree with Ecs in Hardgrove mill. The griadability index given by Shi-Kojovic model has a similar trend with HGI. The relation of sample size reduction degree to Ecs reveals that HGI has a non-linear relationship with effective specific energy in Hardgrove mill, which explains the non-linear relation of HG1 to industrial pulverizer capacity. 展开更多
关键词 Hardgrove mill Bed breakage Shi-Kojovic model CoalGrindability index
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部