共查询到20条相似文献,搜索用时 9 毫秒
1.
周祯祥 《湘潭师范学院学报(自然科学版)》2000,21(5):36-42
真性模态和道义模态之间存在着类似和区别,在此基础上给出冯·赖特道义逻辑的经典系统,说明经典道义逻辑在向标准道义逻辑发展。 相似文献
2.
文学传统和文学经典是文学发展和传承的前提和基础,西方无数理论家和批评家站在时代的角度对此各抒己见,尤其是19C以来,包括艾略特、韦勒克、荣格、弗莱·克里斯蒂娃、弗莱、哈罗德·布鲁姆在内的理论家就此话题产生分歧和争议。本文系统的梳理了19世纪末20世纪初以来有关文学传统和经典的相关理论的流变和发展。 相似文献
3.
杨武金 《贵州师范大学学报(社会科学版)》2007,(6):125-129
弗协调逻辑是能够容纳矛盾但是从矛盾却不能推出一切的逻辑理论.弗协调逻辑在理论上可以追溯到古希腊,但古代中国的思想家也特别善长于弗协调思维.作为一门学科,弗协调逻辑是在现代才创立发展起来的,先驱人物是卢卡西维茨和瓦西列夫,创立者是雅斯可夫斯基和科斯塔.弗协调逻辑在计算机科学和人工智能等领域都有广阔的发展前景. 相似文献
4.
引入广义坐标和广义动量,可以把量子系统严格地表述为经典哈密顿系统,本文证明了经典哈密顿量中与相位有关的变量可以自然地表述为相位差,因而经典哈密顿量可以实现去约束正则化.对于去约束正则化,证实了波函数(n-1)个分量的几率Pα=1,…,n-1)和相位差Qα(α=1,…,n-)构成经典哈密顿量的正则变量,而几率差zα=Pα... 相似文献
5.
引入广义坐标和广义动量,可以把量子系统严格地表述为经典哈密顿系统,本文证明了经典哈密顿量中与相位有关的变量可以自然地表述为相位差,因而经典哈密顿量可以实现去约束正则化.对于去约束正则化,证实了波函数(n-1)个分量的几率Pα=1,…,n-1)和相位差Qα(α=1,…,n-)构成经典哈密顿量的正则变量,而几率差zα=Pα-Pn(α=1,…,n-1)和相位差Qα(α=1,…,n-1)不构成经典哈密顿量的正则变量.对于2维量子系统,若保持与相位有关的变换不变,则独立变量((Pα-Pn)/2,Qα)(α=1,n=2)为经典哈密顿量的一组正则变量. 相似文献
6.
从提高FIR滤波器的处理速度出发,在传统结构的基础上导出减少乘、加次数的优化结构,并利用FLEX器件系列中的查找表LUT结构构成向量乘、加运算,提高滤波器的工作速度并节省器件资源。最后,利用Altera公司的MAX PLUSII软件进行了并、串FIR滤波器的逻辑设计,达到了硬件实现参数化FIR滤波器的目的。 相似文献
7.
次协调逻辑下的自动推理 总被引:1,自引:0,他引:1
引进了一套次协调逻辑系统-注解逻辑的线性归结方法后,在探讨的过程中提出了若干命题,并用一个推理实例表明在该系统中产生次调性后,仍然可以进行正常的推理。 相似文献
8.
9.
本文介绍了化学实验室管理系统的体系结构,对设计中的关键技术进行了探讨。运用基于VB开发环境,采用ADO作为数据访问接口,使用Data控件和DBGrid控件及SQL语句,实现对数据库的操作。 相似文献
10.
11.
沈洪清 《南京师大学报(自然科学版)》1981,(4)
一、引言 经典李群A_ι、B_ι、C_ι和D_ι在近代物理中有着重要的应用,它的理论和应用在许多群论著作中均有论述。应用最广泛的是它的简单实现,即:紧致的经典群SU(ι 1)、SO(2ι 1)、Sp(2ι)和SO(2ι)。 相似文献
12.
应明生 《江西师范大学学报(自然科学版)》1995,19(1):1-11
本文给出了基于非经典逻辑的拓扑的一个统一的框架,综述了作者及其合作者近年来在此课题上所取得的一系列结果,指出了这些结果在其它一些课题中的应用及进一步的发展方向。 相似文献
13.
许颖 《焦作师范高等专科学校学报》2013,29(3):50-52
在对经典逻辑和直觉主义逻辑的原则或观点进行概括性分析的基础上,重点对经典逻辑与直觉主义逻辑之排中律进行对比分析。在经典逻辑系统内,作为逻辑“三律”(同一律、矛盾律、排中律)之一的排中律,是经典逻辑系统中的内定理,被认为具有普遍有效性。而在非经典逻辑系统,如直觉主义逻辑系统中,排中律则被认为是系统内不可证的,因而不是普遍有效的。 相似文献
14.
对于条件属性值一致而决策结果不一致的决策信息系统,提出一个根据系统中的不协调规则特点,利用系统中协调规则的信息使该系统变为协调决策信息系统的算法,并通过实例进行验证. 相似文献
15.
《大庆师范学院学报》2016,(5):124-128
铁人经典故事的价值实现是通过两条线索展开的。第一条线索是从经典故事到文化现象。通过这条线索的研究,可以看到铁人经典故事是铁人文化现象百读不厌的文本,铁人文化现象是铁人经典故事存活的载体和意义解读。第二条线索是从文化现象到民族遗产。通过这条线索的研究,可以看到铁人经典故事作为一笔宝贵的非物质文化遗产具有民族共有和共享性。铁人经典故事已结成为民族的共有记忆,提供民族的持续认同感。 相似文献
16.
Jacobi猜想的逻辑化约 总被引:1,自引:0,他引:1
田卫东 《北京师范大学学报(自然科学版)》1988,(3)
提出有关Jacobi猜想的两个命题:A.若Janobi猜想在有理数域Q上成立,则Jacobi猜想在代数域Q上成立.B.对每个正整数对(n,d),存在正整数f(n,d)使得:对每个素数p>f(n,d)及每个特征数p的域K,若多项式映射F:K~n→K~n适合degF≤d且detJ(F)=1,则F可逆.然后用模型论方法证明了定理:“命题A与B成立”等价干“Jacobi猜想对一切特征数0的域成立”. 相似文献
17.
聂文龙 《南京大学学报(自然科学版)》2007,24(2):258-263
出于语言学的动机,给出著名的 Lambek 逻辑 L 的一个扩充 Lnom.在Lnom中,引入名词化的公理与规则.系统Lnom关于修正幂集剩余半群语义是可靠和完全的. 相似文献
18.
《诗经》文本作为阐释学语境下的“历史流传物”,经历了经典化与去经典化的释读变迁,蕴含着丰富的阐释学命题。《诗经》经典的形成与耗散是一个典型的“效果历史”事件,传统《诗经》学致力于《诗经》的经典化阐释,二十世纪二三十年代兴起的《古史辨》派则对《诗经》进行了去经典化的颠覆解读。所以古史辨奠定了现代《诗经》阐释的范式。《诗经》不再是僵化政治说教和道德说教的表征,而成为活的文学典范。 相似文献