有限值方陣系統的公理化

我們知道,一邏輯系統可由公理法而确定,亦可由方陣法(真值表法)而确定。因此,在討論邏輯系統时,发生了兩大問題: 1.对於一个由公理法所确定的逻辑系統,如何構作它的刻画方陣?(这个方陣所定的邏輯系統,恰和所給的系統相同)——构作刻画方陣問題。2.对於一个由方陣所确定的邏輯系統,如何構作它的公理?——公理化問題。这篇短文想討論后一問題,而且只討論由具有有限个值的方陣所确定的邏輯系統,如何加以公理化的問題。     

邏輯系統的定則問題

关於什麼是邏輯系統(又名演绎系統或形式系統)的問題,目前已經有比較一致的意見。不过还有一些問題尤其是定則(一名推演規則)的問題,仍值得討論。所謂邏輯系統包含有一些对象叫做公式(最簡單而不再分析的特叫做項),以及一些联結詞,它把公式結合而成新公式。然后在所有公式之中特別画出一类叫做形式定理。     

强风化岩石地基上梁式基础的应用与计算

强风化岩石地基相对一般地基土承载力高,压缩变形小,当强风化岩层较地下水位很高,可采用柱下梁式基础。根据梁的架越作用,要使梁底压力较均匀分必须加大梁高,提高梁的相对刚度。因强风化岩石地基有一定的压缩性,考虑沿及沿梁长方向风化程度的不均匀性采用有限压缩层地基模型,并根据梁高不同分按一般弹性地基浅梁、深梁理论,采用有限元法求得基底压力、梁的变形及内力。     

R-S码纠错算法的软件实现

0引言 在数字通信系统中,由于传输信道或其他噪声的存在会引起数据传输及交换过程产生差错,尤其是远程、高速传输.对这些不可避免的差错进行检测和纠正显得尤为重要,编码技术是一种有效的方法.实际产生的错误往往是随机错与突发错同时存在,尤其在短波信道中,传送时错误往往呈区间出现,即连续几个位的码元或连续码元除其中少数几个位以外都发生差错,这时仅采用单一的纠随机错码或纠突发错码均不能取得良好的效果.     

洞庭盆地红土地层中网纹的成因探讨

在野外考察的基础上,运用化学全量分析、X射线衍射分析、红外光谱分析和扫描电镜微形貌分析等实验方法和手段,对洞庭盆地第四系红土地层中网纹的元素地球化学、矿物组合特征和微形貌特征进行了系统研究,对洞庭盆地红土地层中2种主要的网纹类型——蠕虫状网纹和根状网纹的成因进行了探讨。认为：土壤孔隙空间的形成和化学元素的迁移是网纹产生的2个必要条件。蠕虫状网纹孔隙空间的产生是由于地层静压力和地下水位季节性变化造成的,而根状网纹的孔隙空间则是植物根系腐烂分解后提供的。地下水和地表水强烈的淋溶作用使土壤中硅、铝、铁、锰等元素的迁移能力增强,土壤胶体粒子之间的化学反应,使得这些孔隙空间在后期逐渐被次生黏土矿物和石英所充填,最终,在洞庭盆地第四系红土地层中形成大量的蠕虫状和根状白色网纹。     

高海拔铁路工程施工人员安全行为系统动力学仿真研究

为减少高海拔地区铁路工程施工人员的不安全行为和求证安全投入和安全行为水平的相关性,在分析施工人员安全行为因素因果关系的基础上,根据系统动力学原理构建了高海拔铁路工程施工人员的安全行为水平预测模型;运用Vensim对拉林铁路LLZQ-3标段的施工人员的安全行为水平进行了动态仿真,并通过模拟计算,对比分析了不同因子投入增加对系统安全水平的影响.结果表明:提高施工人员的安全行为水平是一个长期过程,该项目的系统安全水平从初值73.33增长到目标值需要21个月;各因子对系统安全水平的影响程度不同,其中以工作环境、心理素质和安全意识的影响最为显著.利用该模型可以更准确地掌握施工人员安全行为水平的发展趋势,这对铁路工程建设中的安全管理具有一定的参考意义.     

岩黄连总碱诱导肝星状细胞凋亡和自噬的电镜实验研究

为了研究岩黄连总碱诱导肝星状细胞凋亡和自噬的作用,本文通过体外培养HSC-T6细胞,应用MTT法检测不同浓度(0.20、0.25、0.30g·L~(-1))脱氢卡维丁组、巴马汀组和小檗碱组的细胞增殖抑制率,应用透射电子显微镜观察各组HSC-T6细胞的超微结构改变,结果发现:3组不同药物诱导的HSC-T6细胞抑制率均呈浓度依赖性;经不同浓度3组药物处理24h后的HSC-T6细胞均呈典型的细胞凋亡超微结构改变,并出现不同程度的自噬现象。可见,脱氢卡维丁、巴马汀和小檗碱能诱导HSC-T6细胞凋亡,也能诱导细胞自噬。这3种成分可能为岩黄连总碱中抗肝纤维化的有效成分。     

微时代大学生思想政治教育研究

随着微博在大学生群体中的广泛使用,微博给大学生思想政治教育带来了机遇和挑战.文章通过调查了解大学生对微博的使用情况,分析了微博在大学生思想政治教育中的作用,提出了如何探索利用微博进行思想政治教育的措施,以供高校思想政治教育工作者参考.     

棉花腺体形成相关的miRNA差异表达研究

植物miRNAs在基因表达、生长、发育等方面有十分重要的作用．本实验以棉花显性无腺体近等基因系为材料,利用miRNA基因芯片杂交技术,分析与腺体形成相关的miRNA的差异表达．结果表明,棉花腺体形成期共有30个miRNA有差异表达,其中表达上调的miRNA有24个,分别属于miR156,miR157,miR166和miR390家族．表达下调的miRNA有6个,分别属于miR149,miR169,miR289,miR705,miR1224和miR1227家族．miRNA家族作用的靶基因分析发现主要分布在发育     

智能辅助教学系统模型的设计与展望

近年来，智能辅助教学系统已经成为国内教育技术领域的研究热点，首先阐述了智能辅助教学系统的发展历程，构建了智能辅助教学系统的模型，并预测了智能教学系统的未来趋势，指出这个有着诱人发展前景的领域，值得人们进一步研究和设计．