简介：<正>模态逻辑(modallogic)的出现,可追溯至亚里士多德提出的模态命题和模态三段论。但是,对亚氏模态逻辑的著述,后人长期没有给予足够的注意。直到近现代,随着数理逻辑的发展,模态逻辑才重新受到重视。这主要是由于古典数理逻辑所讲的真值蕴涵(truthimplication)不反映命题之间意义上的必然联系,只是前件与后件真假关系的抽象,要反映命题之间意义上的联系,需提出一种新的蕴涵,在这种情况下,“严格

简介：

简介：Modelreferenceadaptivecontrolofcontinuous-timesystemswithanunknowninputdead-zone,Modelreferenceadaptivecontrolofnon-linearmultivariablesystemsusinganinteractorstructureestimation,Modelreferenceadaptivecontrolofsynchronousmachinespeedviamodel-updatingconcept,ModelReferenceAdaptiveControlusingDelta-operatorwithNeuralNetworkforPneumaticServoSystem.

简介：

简介：图书馆的运行模式和表现形态自20世纪以来有了很大改观，随着网络、信息、数字化的接踵而至，我们也应当看到这场“风暴”对图书馆带来的前所未有的冲击，本文就图书馆的网络化、资源协作、公共关系等模式进行了分析。

简介：复球面是在《数学物理方法》这门课程中学习的一个概念。在成年人业余学习的条件下,往往是把对它的接受停留在对它的“使用说明”这样一个层次上。显然,这不能算真正接受了这个概念。这里专门谈这个概念,不但因为它是一个重要的基本概念,而且其中蕴插的思考方法和基本原理对提高我们的素质更加重要。而真正接受这个概念,学习到其中的思考方法的症结只有一个——引入“无穷远点”的合理性。当然,这也是我们学习复球面概念的重点和难点。

简介：一黄帝黄帝是中华始祖.中间空格填入一个速滑运动员的名字.使前两字成为《三国演义》中的一个人物,后两字成为汉代一位皇帝的名称.

简介：赵锡复，1945年生于河北省唐山市，现任《唐山劳动日报》美术总监、美术摄影部主任记者。

简介：本文引入复广义权的概念，讨论了具有右连续性或可数交可加性的复广义权的某些性质。

简介：用CAD软件PRO/E对东风汽车公司生产的康明斯某型号柴油发动机曲轴建立了三维实体模型,通过IGES文件载入工程分析软件ANSYS中,对不带平衡块的曲柄和带平衡块的曲柄进行网格剖分和边界条件的施加,分析了静应力分布情况,并在此基础上完成了曲轴的疲劳强度计算。对简化的曲轴三维有限元模型,进行了前6阶自由模态的计算。为曲轴的设计以及改进提供了参考依据。

简介：描述了自1968年以来在捷克斯洛伐克共和国进行的桥梁现场静、动载及长期试验情况.对弹性和残余变形,自振频率和冲击系数的标准做出了补充.在一般交通荷载下的应力监控,对桥梁的疲劳、估算剩余寿命和确定检查周期提供了重要的参考资料.模态分析和鉴定能够确定桥梁的特性.桥梁在自振频率或振型上的变化可反映出其破坏程度.

简介：

简介：

简介：<正>如何对待读者、作者的来信、来稿,列宁为我们树立了光辉的典范.在《火星报》、《前进报》、《无产者报》期间,列宁和他领导下的报纸编辑部,有一项不成条文的制度,那就是"有来必复".他们处理来信、来稿的办法是:1.直接复信.在浩瀚的《列宁全集》中,粗粗计算一下,就有十分之一是列宁直接答复读者、作者的信件.对一些不适于在报纸上刊登的信稿,列宁还直接或委托他人说明不能利用的原因.可以想象,这些信件花去了列宁多少精力.2.编发来信来稿.凡能在报上刊用的信、稿,列宁则直接或委托他人进行编辑加工,或摘要发表,并

简介：

简介：根据EQB140-20曲轴的原始几何尺寸，依据一定的简化条件，建立了曲轴的有限元网格化模型。并且利用有限元理论计算了曲轴的前五阶自由模态。结果表明，曲轴在低阶频率下，主要以弯曲模态为主。然后在曲轴的某个位置开设了不同深度的横向裂纹，研究了曲轴上存在裂纹以及裂纹的深度变化时，曲轴的固有特性的变化情况。结果表明，裂纹的存在，并不改变曲轴的自振形式，但是曲轴的固有频率与不合裂纹前相比，却有了明显降低，随着裂纹的不断加深，固有频率的降低也越来越大，固有频率的降低可以看作曲轴上存在裂纹的一个指标。

简介：

简介：

简介：

简介：所谓复谓式单句,是指谓语是类似复句式结构的单句.这种句子看起来像复句,故众多现代汉语教材都认为是复句,但分析起来是单句,因为它们并不是由分句组成的,而是由句子成分组成的.运用划分句子成分的办法重新审视这些被众人当作复句的句子,并确定它们为单句,从而把复谓式单句从复句系统中分离出来,使之归入单句系统,这对于正确鉴别复句、进一步分清单句与复句的界限,都将起到积极作用.