“模态”一词是英文“modal”的音译,原意为“样式的”,“情态的”。模态逻辑是研究包 含模态词“必然”、“可能”的模态命题及其推理的科学。模态逻辑历史很悠久,早在两千多年 前,亚里士多德就对模态命题做过许多讨论,研究了模态词和模态三段论,但在很长一段时间 里模态逻辑的价值被忽略了,因而模态逻辑基本上没有得到发展。直到本世纪初,美国逻辑学 家 Lewis用数理逻辑的方法和观点对模态逻辑作了系统的研究,这才使模态逻辑的发展进入了 一个崭新的时期

采用FLAC3D软件对淹井前后、加固前后采场溜井的稳定状况进行模拟计算,验证了所采取加固技术的可靠性和合理性.该模拟计算对类似矿山采场溜井的加固和恢复具有重要的参考价值

在程序设计中通常可以使用以下方式实现克 隆对象： (1) 使用拷贝构造函数(Copy Constructor) (2) 使用拷贝工厂方法 (Copy Factory Method) (3) 使用Java语言提供的对象克隆机制

不等长编码的优越性总体上减少码字的长度 不等长编码的特殊问题 ①唯一可译性,或者叫做可识别性。对于一个码,如果 存在一种译码方法,使任意若干个码字所组成的字母串 只能唯一地被翻译成这几个码字所对应的事件序列。这 个码就被称为是唯一可译的 解决方案:适当地编码,使得每个码字都具有识别标记。 (注解:一个唯一可译的、码字长度不超过N的D元码,其 码字个数小于D(D~-1)(D-1)个。这是因为两个码字c)和 c(2)连接成的字母串cc(2)不能是码字)

应用系统优化方法对一类生产过程建立系统模型,在稳定性分析的基础上应用控制论中极点配置理论方法对系统作决策分析.结果表明,优化策略下系统达稳时间短,生产利用率高

对影响板形、板厚和张力的各种轧制因素进行了系统的理论分析,建立了冷连轧机综合耦合模型.针对耦合模型的特点提出分步解耦设计策略,相对于常规解耦设计可明显简化解耦过程,并给出各解耦环节的简化方案以利于实际工程应用.基于某1250mm八辊五机架冷连轧机第1机架的实际参数,采用Matlab/Simulink工具对简化后的分步解耦系统进行分析,仿真结果表明其可有效消除轧制过程中板形、板厚和张力控制之间的耦合影响关系

利用ANSYS有限元分析软件,对45#钢特定形状底盘零件感应加热、冷却的全过程进行了温度场的二维有限元模拟分析,进而利用工件冷却前后内部温度变化的模拟结果和45#钢的CCT曲线获得了冷却后工件内部组织分布情况.利用工业条件下的零件热处理实验对温度场和微观组织的模拟结果进行了验证,实验与模拟结果吻合良好

将25Cr5MoA钢/微合金钢/Q235钢板复合板坯加热到轧制温度950~1100℃,经保温后轧制1道次,压下量为50%~65%,制成25Cr5MoA钢/微合金钢/Q235钢热轧复合板试样.利用剪切实验方法测定了复合板材的界面结合强度,通过光学显微镜观察结合界面的组织.结果表明:当轧制温度为1000~1100℃时,25Cr5MoA钢/微合金钢/Q235钢能有效复合;压下量对25Cr5MoA钢/Q235钢复合板界面结合强度有一定的影响,当压下量达到一定程度后,随着压下量的增加,复合板的结合强度逐渐降低;轧制温度对25Cr5MoA钢/微合金钢/Q235钢复合板界面结合强度影响很大,在道次压下量一定的情况下,随着轧制温度的升高,复合板的结合强度逐渐升高.在1100℃的轧制温度和50%压下量的轧制条件下结合强度达到最大值

基于热动力学理论,通过对演化方程的线性稳定分析,确定了1-3型BaTiO3-CoFe2O4(BTO-CFO)多重铁性复合材料中的铁电、铁磁相变温度.考虑系统中基底与薄膜之间及薄膜内铁电相、铁磁相之间的内应力和外应力的弹性耦合,确立了顺电到铁电/铁磁地相变临界温度地解析式.临界温度与两相体积分数、基底、薄膜的晶格尺寸、薄膜两相的材料性能及薄膜厚度都有很大关系.两相的相变临界温度可以通过调节体积分数及薄膜厚度进行控制

在磁通正弦条件下进行软磁合金交流磁性测量可以获得高准确度的测量结果.利用数字式谐波反馈原理,通过对磁通波形的分析获得了磁通波形中的谐波含量,然后在电源输出端补偿与磁通波形中谐波幅值相反、相位相同的谐波,使磁通波形得到了改善.通过对硅钢样品在不同磁化程度时的测量,检验这一方法.当硅钢样品磁化为1·87T时,经谐波反馈后次级电压的波形系数也能满足国家标准的要求