切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
模型集省略初探
模型集省略初探
来源 :淮北煤师院学报:自然科学版 | 被引量 : 0次 | 上传用户:hfutnyd
【摘 要】
:
本文对一价理论的势范畴作了一点推广和补充说明,讨论了模型集被省略的几种情形。
【作 者】
:
陈国龙
【机 构】
:
数学系
【出 处】
:
淮北煤师院学报:自然科学版
【发表日期】
:
1997年3期
【关键词】
:
势范畴
模型集
省略
power categoricity model the omitting of models sets
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文对一价理论的势范畴作了一点推广和补充说明,讨论了模型集被省略的几种情形。
其他文献
脑梗死患者血浆和脑脊液中生长抑素和降钙素基因相关肽含量的变化
期刊
脑梗塞
血浆
脑脊液
降钙素
生长抑素
CGRP
以人为本,营造和谐新校园
论述了坚持"以人为本"的理念是构建和谐校园的思想基础,并提出了和谐校园构建的基本方略。
期刊
以人为本
和谐
校园
理念
采用辅助工具及时解决2000年问题
根据当前解决计算机2000 年问题的形势和存在的某些问题,提出如何选择解决方案的一些看法,并进一步提出对计算机系统2000 年问题进行测试和修正的策略。
期刊
Y2K
符合性测试
计算机系统
Y2K
coincidence test
computer system
UC DOS五笔字型输入码表与WINDOWS3.X码表转换
简述了UCDOS五笔字型码表组成及WINDOWS3.X的码表组成,并分析了UCDOS五笔字型码表转换成WINDOWS3.X自定义码表的途径。
期刊
码表转换
编码
程序设计
操作系统
五笔字型
DOS
code transformation
method analysis
encoding
programm
平面分形曲线的几何构造及其维数
本文用几何方法构造了一类平面分形曲线,并讨论了它们的Box维数。Packing维数及Hausdorff维数。
期刊
BOX维数
PACKING维数
分形曲线
分形函数
维数
fractal
Box dimension
Packing dimension
Hausdorff d
广义Wiener泛函空间上的Pettis积分及其应用
本文讨论了取值于广义Wiener泛函空间(S)上的函数F(t),t∈R关于Lebesque测度的Pettis积分,给出了Pettis可积的充要条件,并应用于积分交换次序的研究,得到的一类Fubini定理可看成是关于Brown运动积分Fubini定理的推广。
期刊
广义
PETTIS积分
维纳泛函空间
泛函空间
车用内置式永磁同步电机效率优化控制研究
降低内置式永磁同步电机的损耗,提高系统的效率,对于提高电动汽车的一次充电续驶里程具有重要意义。分析内置式永磁同步电机矢量控制系统原理,对三种不同的效率优化控制策略
期刊
电动汽车
内置式永磁同步电机
效率优化控制
electric vehicle
built-in permanent magnet synchronous mot
论接触网事故及案例分析
摘要: 针对现场实际,总结接触网多年运行经验和事故案例的分析进行了阐述:一是采用事故预想的方式,将能发生的接触网事故进行系统归類,以针对性抢修方案的形式,简单明了的叙述了各类事故抢修的组织、方法、作业过程等。二是对各类事故发生的原因,设备可能损坏程度和范围、预防措施等做了详尽叙述,以使运营检修人员在日常检修和运行中高度重视设备的关键和薄弱环节,同时提高设备整体检修量。 关键词: 接触网; 事故;
期刊
接触网
事故
检修
catenary
accident
maintenance
遗传算法在混合H2/H∞优化控制设计中的应用
介绍了现已成为关键智能计算之一的一种新的全局优化搜索算法-遗传算法,并探讨了在混合H2/H∞最优指标下优化控制设计中的应用。其最大特点是:本质并行、全局优化,它不要求目标函数连
期刊
遗传算法
优化控制
鲁棒控制
H2/H∞控制
genetic algorithm
optimization control
robust control
mix
F推理格式及其应用
F命题推算是F逻辑的基本内容,本文引进了F推理格式的概念,并证明了它的一些基本性质,从而,F命题的演算可以按照一定的F推理格式进行推理论证,这样才能导出正确的结论,另外,它又为推断F逻辑
期刊
蕴涵
F推理格式
运算
F命题
F逻辑
implication
F-inference pattern
calculus
与本文相关的学术论文