Modeling of the Magnetization and Magnetocaloric Effect in Ni2MnGa Heusler Alloy with the Effective Field Theory

Journal of Low Temperature Physics - This study modeled and investigated the magnetocaloric effect in Ni2MnGa Heusler alloy characterized by its magnetic entropy change (ΔSm) and its...     

K4,4,p的点可区别的IE-全染色(p≥1008)

该文利用色集事先分配法、构造染色法、反证法探讨了完全三部图K_4,4,p (p≥1008)的点可区别IE-全染色问题，确定了K_4,4,p (p≥1008)的点可区别IE-全染色数。     

A survey of the training of computer users in Swedish companies

This study concerns how user training on newly introduced computer application programs is carried out. Questionnaire data from the computer managers of 265 Swedish companies were analysed. The results show that formal training, i.e., teacher-directed group instruction, and self-studies using instruction manuals represented nearly two-thirds of all reported training forms. For the most recently introduced program, classes (group instruction) with simultaneous computer exercises was the form of formal training that was nearly always used. When formal training was given it was compulsory in over half of the cases. However, substitutes for users attending a training course were only provided by the company in very few of these cases. The implications of these findings for effective user training are discussed.     

Apparatus for steady-state kinetic measurements of the catalytic reduction of nitric oxide by ammonia on iron oxide

The reduction of nitric oxide with ammonia on an unsupported iron oxide catalyst has been studied in a continuous-flow recycle reactor using simulated flue gas. The responses of the employed reactor system to step and pulse inputs of tracer indicate that the system could be regarded as a continuous stirred tank reactor (CSTR). Preliminary tests were carried out to determine the effect of temperature and particle size on the measured reaction rates. Additional experiments were performed in order to study the influence of oxygen and water concentration on these rates. A gas chromatographic system has been developed to analyze the gas components NO, N₂O, NO₂, NH₃, H₂O, O₂, CO₂ and N₂. In addition, the concentrations of NO and NO₂ were measured with a nondisperse infrared (NDUV/NDIR) analyzer.     

Modal logic as metalogic

The goal of this paper is to show how modal logic may be conceived as recording the derived rules of a logical system in the system itself. This conception of modal logic was propounded by Dana Scott in the early seventies. Here, similar ideas are pursued in a context less classical than Scott's.First a family of propositional logical systems is considered, which is obtained by gradually adding structural rules to a variant of the nonassociative Lambek calculus. In this family one finds systems that correspond to the associative Lambek calculus, linear logic, relevant logics, BCK logic and intuitionistic logic. Above these basic systems, sequent systems parallel to the basic systems are constructed, which formalize various notions of derived rules for the basic systems. The deduction theorem is provable for the basic systems if, and only if, they are at least as strong as systems corresponding to linear logic, or BCK logic, depending on the language, and their deductive metalogic is not stronger than they are.However, though we do not always have the deduction theorem, we may always obtain a modal analogue of the deduction theorem for conservative modal extensions of the basic systems. Modal postulates which are necessary and sufficient for that are postulates of S4 plus modal postulates which mimic structural rules. For example, the modal postulates which Girard has recently considered in linear logic are necessary and sufficient for the modal analogue of the deduction theorem.All this may lead towards results about functional completeness in categories. When functional completeness, which is analogous to the deduction theorem, fails, we may perhaps envisage a modal analogue of functional completeness in a modal category, of which our original category is a full subcategory.     

阀门内漏单声波传感器监测方法研究

针对阀门内漏模拟和阀门内漏监测问题，提出了阀门内漏模拟和阀门内漏非介入式单声波传感器监测方法。设计了由法兰、薄纸片和带孔铝片组成的虚拟阀门，可真实地模拟阀门内漏瞬态过程，克服了传统阀门内漏模拟方法中存在的各种缺点。分析、比较了不同条件下阀门上下游声波传感器输出信号的频域特征，验证了阀门上游声波传感器设置的冗余性和基于单声波传感器实现阀门内漏监测的可行性。分析、比较了不同条件下单声波传感器输出信号的时频域特征，提出了基于峰值系数和小波包能量分率的阀门内漏时频域特征提取方法，并以阀门密封良好状态下的声波信号为样本，建立了基于SVDD的阀门内漏诊断模型。测试结果表明：本文提出的单声波传感器阀门内漏监测方法可行、模型诊断准确，且具有较强的抗干扰能力和较高的阀门内漏检测灵敏度。     

一种多基元类的布局迁移自适应算法及在闸机设计中的应用

布局问题研究物体的布局先后或布局定位以满足设计要求,布局迁移设计是在已有布局基础上高效设计新布局的方法。在轨道交通自动控制系统中,闸机表面传感器的布局对人与物的识别有重要的影响。为了实现闸机在不同地域环境中的快速设计,首先以闸机布局中的传感器作为研究对象,进行基元划分,提出了多种基元类型;并分析了基于拓扑结构的基元迁移变换方法,研究了人群特征因素、机械结构约束的数学表达;然后提出基于包围圆搜索的基元运动与干涉分析算法,其参数能够根据求解精度进行自适应调整;并利用多目标归一化函数对各基元的解进行择优,以获取最终布局。最后以18对传感器的闸机布局设计为例进行实例分析,应用此方法并借助于Visual Basic可视化编译平台,实现了闸机在不同地域环境中的传感器布局快速设计。     

基于计数排序的最小种子集贪心算法

网络最小种子集问题与网络影响最大化问题相关,研究的是对于具有节点阈值的网络,构造网络的最小节点子集,使得如果这个子集中的节点是活的,则在给定的影响传播模型下整个网络都受到影响。为此提出了新的贪心算法,以节点的度与阈值的差为关键值对网络节点进行计数排序,然后取值最小的节点进行处理。新算法在时间复杂度上改进了基于最小堆的种子点选取算法。在简单多数阈值模型上针对经典的无标度网络得到了所构造的种子集规模上界。实验在随机生成网络和一些实际网络数据集上进行,结果表明所提方法的有效性,特别在无标度网络上生成的种子集具有比相关算法更小的规模。