意大利人民斗争的重大胜利

反动政策造成的灾难意大利战后由代表大垄断资产阶级和梵蒂冈教权派的天主教民主党长期执掌政权。自从1953年第二次大选失利后,天主教民主党在意大利的统治日益不稳,政府经常发生危机。在1958年新的大选中,天主教民主党仍然不能取得议会绝对多数,左翼力量继续增长和人民群众向左转的趋势加速发展,迫使意大利政局更加动荡不定。自1958年以来,已四易内阁,而于今年7月19日垮台的塔姆布罗尼内阁的寿命则不到四个月。7月27日,前总理范范尼又奉命组成了换汤不换药的新内阁。     

有限值方陣系統的公理化

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

邏輯系統的定則問題

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

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

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

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

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

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

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

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

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

定性信号在混合状态与参数估计中的应用

为了利用实际工程中常可获得的各种测量信号,该文分析定性信号的特点,在某些时刻提取出定量信息,给出将所提取出的定量信息与连续测量信号共同用于混合系统状态估计的方法.同时,针对用于状态估计的模型难以避免误差的情形,在定性信号提取出的定量信息帮助状态估计的前提下,提出一种基于进化粒子滤波的方法,估计模型中存在误差的参数.仿真结果表明,该文提出的混合状态与参数估计方法是有效的,可以充分利用所获得的定性信号.     

针对变道行为的ACC系统上层速度控制模型仿真

通过汽车制动性能测试仿真试验验证了ACC系统上层速度IDM控制模型的不足,对比分析了改进的IDM控制模型(IIDM)的优点。针对变道插入行为引起后车不必要的紧急刹车行为,基于CAH模型的假设,建立结合IIDM模型和CAH模型的ACC系统上层速度控制模型并进行特定工况下的仿真试验。仿真结果表明：建立的ACC系统上层速度控制模型不仅保留了IIDM和CAH模型的优点,还具有自身的特点。当不切实际的制动减速行为发生时,ACC系统IIDM模型和CAH模型的制动减速度应在aCAH-b和aCAH之间;对于较小的车间距离,制动减速度则会适当增大,可以避免危险的发生。     

向家草坝节制闸消能防冲与闸门调度形式研究

向家草坝节制闸具有低水头、大流量的特点。通过对向家草坝节制闸进行整体水工模型试验,优化闸门调度方式,防止了不利的水流条件对下游消力池的冲刷破环,降低了对下游消能的难度。