检索结果-南通市图书馆

决策探索(上) 2007年第3期 50-50页

作者：杨淑娟张建会

武陟县劳动和社会保障局在局长常元升的带领下把发展劳务经济作为解决“三农”问题的一个重要突破口来抓,以增加农民收入为目标,以优惠政策为动力,以优质服务为保障,使武陟县劳务输

关键词：劳务输出常元优惠政策劳务出口人口流动武陟县外出务工人员农民劳动者劳动

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

情满山乡——记常德市第五届人大代表雷常元

人民之友 2010年第Z1期 41-41页

作者：田明时胡远征

作为党委书记,他着眼全局,居高望远;作为人大代表,他恪尽职守,为民代言。他对事业充满激情,对百姓心怀感情。在他的人生天平上,一头是事业,一头是群众。开发、开放、开拓,他身体力行;农村、农业、农民,他常挂心头。他就是常德市第五届... 详细信息

作为党委书记,他着眼全局,居高望远;作为人大代表,他恪尽职守,为民代言。他对事业充满激情,对百姓心怀感情。在他的人生天平上,一头是事业,一头是群众。开发、开放、开拓,他身体力行;农村、农业、农民,他常挂心头。他就是常德市第五届人大代表、汉寿县三和乡党委书记雷常元。引领群众致富雷常元始终认为,作为一名人大代表和乡党委书记就要一心一意引领群众致富促发展,逐步迈上小康路。近年来,他和班子成员一道,想尽办法争取上级投资和多方筹资,加快基础建设,改善群众生产生活条件,完成16个

关键词：人大代表常元常德市

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

概率语义与句子系统

哲学研究 2000年第4期 73-78,80页

作者：李小五中国社会科学院哲学所

本文讨论概率语义与句子系统的关系,我们考虑的概率语义分两种:句子型的语义和命题型的语义。令L0是由可数个句符和常用句子联结词构成的语言,令L L0是任意句子语言,即L还可以有(作用在句子上的)n元算子。

关键词：语义条件常元逻辑命题经典句子概率

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

Fuzzy BCK—代数

应用数学 1990年第1期3卷 98-99页

作者：黄万徽华中师范大学数学系

在集合论中关于差的运算及在命题演算中关于→的运算均具有以下性质: 1) (x*y)*(x*z)≤(z*y); 2) x*(x*y)≤y; 3) x≤x, 4) 0≤x; 5) 若x≤y,y≤x则x=y; 6) x≤y x*y=0. 在集合论中,“*”表示两个集合之差的运算,“≤”表示两个集合之... 详细信息

在集合论中关于差的运算及在命题演算中关于→的运算均具有以下性质: 1) (x*y)*(x*z)≤(z*y); 2) x*(x*y)≤y; 3) x≤x, 4) 0≤x; 5) 若x≤y,y≤x则x=y; 6) x≤y x*y=0. 在集合论中,“*”表示两个集合之差的运算,“≤”表示两个集合之间的包含“(?)”关系,“0”表示空集,“=”表示两个集合相等.在命题演算中,“*”

关键词： Fuzzy BCK-代数二元运算常元

维普期刊数据库

二维第二类Fredholm积分方程数值解的算法研究

在线全文

学校读者我要写书评

暂无评论

二维第二类Fredholm积分方程数值解的算法研究

作者：徐建电子科技大学

学位级别：硕士

一直以来,积分方程的来源都很丰富,在许多工程问题上的实际应用也非常广泛,比如:现实生活中的金融问题、电磁学的计算问题、流体力学、弹性力学等物理问题以及生物数学中的一些问题都涉及到了积分方程的求解,因此它受到了很多研究者的... 详细信息

一直以来,积分方程的来源都很丰富,在许多工程问题上的实际应用也非常广泛,比如:现实生活中的金融问题、电磁学的计算问题、流体力学、弹性力学等物理问题以及生物数学中的一些问题都涉及到了积分方程的求解,因此它受到了很多研究者的关注。然而,通常对于一个积分方程来说,要求得它的解析解是非常困难的,所以,积分方程的数值解法的研究就受到了很多学者的关注。对于积分方程数值解的处理方法,传统的有配置法、退化核法、Galerkin方法等。本文主要研究的是线性的二维第二类Fredholm积分方程,首先介绍了Galerkin算法的一些基本理论,传统的Galerkin方法选择的基函数大多数都是三角函数或者是线性函数等,然后通过对传统Galerkin法中选择的基函数作修改替换,本文选择的是常函数作为基函数,因此,称之为常元Galerkin法,并且还利用迭代常元Galerkin方法对所得数值结果进行修正迭代,这种方法的优点就是使计算量降低,最终通过误差分析和数值算列将所得到的数值解与解析解进行比较来说明了这种方法的可行性和有效性。其次,本文还通过对传统的Nystrom法进行改进,又给出了另外一种新的Nystrom求积法,这种方法并不需要做积分运算,而仅仅是利用了积分中值定理进行简单的近似处理,并且其计算量大大的降低了,特别是对于高维问题的处理是非常简便的,只是它的计算精度并不是很高,但是如果在给定的误差允许范围内,我们采用这种办法是可以达到效果的,并且最终也给出该方法的误差估计,通过算列所得到的数值解与解析解的比较来说明它的可行性。以上两种求解方法虽然都只是对先前的方法做一些简单的修改或者创新,但是这些方法的优越性使我们的计算变得简单得多,这不仅为我们所研究的简单方程提供了新方法,也为我们将来研究更为一般的或者更复杂的积分方程的后续工作奠定了一定的理论基础。

关键词：积分方程数值解常元求积法

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

γω演算的语义学

计算机学报 1988年第8期 449-456页

作者：江明德成都电讯工程学院

继文献[1]建立了γω演算之后,本文探讨γω演算的语义学与抽象机.这里的语义学不同于传统的指称语义学、操作语义学和公理语义学;它是非传统的,属于代数语义学的领域.

关键词：公理语义抽象机翻译程序定义法归约解释执行变元常元计算机学报图灵

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

逻辑性和弗雷格算术与简单类型论的逻辑主义

逻辑学研究 2020年第3期13卷 62-81页

作者：石伟军中国人民大学哲学系柏林洪堡大学哲学系

弗雷格和罗素的逻辑主义由两个部分构成:可证明性论题和可定义性论题。可以很确信地说,可证明性论题并不能得到完全的辩护。但是,为了向两者,特别是可定义性论题,提供辩护或者拒斥之,我们需要逻辑性的标准来决定,除了其它常元的逻辑性之... 详细信息

弗雷格和罗素的逻辑主义由两个部分构成:可证明性论题和可定义性论题。可以很确信地说,可证明性论题并不能得到完全的辩护。但是,为了向两者,特别是可定义性论题,提供辩护或者拒斥之,我们需要逻辑性的标准来决定,除了其它常元的逻辑性之外,表示数的常元和表示属于关系的常元的逻辑性。我将采用的逻辑性标准是塔尔斯基和谢尔提出的同构不变量标准和费弗曼提出的同态不变量标准。塔尔斯基和谢尔在不同的地方已经指出罗素的表示属于关系的常元是同构不变量。在本文中,我将证明如下结论:第一,表示属于关系的常元是同态不变量;第二,弗雷格的表示数的常元既不是同构不变量也不是同态不变量;第三,如果逻辑性是同构不变量或者同态不变量,弗雷格的逻辑主义(弗雷格算术)的可定义性论题不成立;第四,如果逻辑性是同构不变量,罗素的逻辑主义(简单类型论)的可定义论题成立,但若逻辑性是同态不变量,这个论题则不成立。

关键词：逻辑主义弗雷格常元同态可定义性塔尔斯基同构谢尔

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

“弱势”局长的医改“品牌”

品牌研究 2013年第5期 32-33页

作者：景隽

河南省武陟县,地处豫北怀川平原,北依巍巍太行,南临滔滔黄河,这里历史悠久,风景秀丽,曾出现过向秀、山涛、何塘、李堂杰、毛昶熙等历史名人。漫漫的风尘将岁月涅灭,历史名人已成为传说中的故事,而现代武陟人在这片土地上,正用实践谱写... 详细信息

河南省武陟县,地处豫北怀川平原,北依巍巍太行,南临滔滔黄河,这里历史悠久,风景秀丽,曾出现过向秀、山涛、何塘、李堂杰、毛昶熙等历史名人。漫漫的风尘将岁月涅灭,历史名人已成为传说中的故事,而现代武陟人在这片土地上,正用实践谱写新的篇章,创造新的民生"品牌"。

关键词：医改常元武陟县卫生局品牌弱势

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

耦合波理论的一点补充

物理学报 1963年第6期 404-406页

作者：钱景仁

广义耦合波方程可以用矩阵形式表示为 E=KE, （1）其中E是具有n个元的列矩阵,其元表示向前各波幅度,且是这样归一化,使|Ek|2直接表示第k个波向前传输的功率;E=（dE）/（dz）即E对于距离z的微商;K=(Kii),表示一个n阶变元方阵,其对角线外... 详细信息

广义耦合波方程可以用矩阵形式表示为 E=KE, （1）其中E是具有n个元的列矩阵,其元表示向前各波幅度,且是这样归一化,使|Ek|2直接表示第k个波向前传输的功率;E=（dE）/（dz）即E对于距离z的微商;K=(Kii),表示一个n阶变元方阵,其对角线外各元表示各波之间的耦合系数,对角线上各元表示各波的传输常数。

关键词：系数法函数缓变系数特征值本征值耦合波方程外导数代入耦合系数耦合因数归一化变元波导馈电设备常元

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

超实数系

中国远程教育 1983年第5期 52-55页

作者：廖祖炜中央电大数学教研组

我们面临的任务是建立超实数系。乍一看来,这一工作似乎不难,好象全部工作就是把实数拿过来,再加进一个无限小。其实,并不如此简单。我们必须切实作好两项工作:1.把实数系扩充成的某种对象作为非常奇特的超实数系;2.证明同一公式在实数... 详细信息

我们面临的任务是建立超实数系。乍一看来,这一工作似乎不难,好象全部工作就是把实数拿过来,再加进一个无限小。其实,并不如此简单。我们必须切实作好两项工作:1.把实数系扩充成的某种对象作为非常奇特的超实数系;2.证明同一公式在实数系中成立,在超实数系中也成立。前者虽不太难,但后者却不是轻而易举的。因为有无穷多个公式,并且一个比一个复杂,所以真要完成第二项工作是相当困难的。

关键词：有穷集整数 HR 序列实数系命题二元关系定义符号常元数学变元定理