模数

Aiming at the shortage of traditional numerical methods, the Adomian Decomposition Method is introduced to solve the nonlinear model equations in reaction engineering. ADM can give the approximate analytical solutions in a form of algebraic expressions for nonlinear equations.

针对传统数值求解方法存在的不足，将Adomian分解法(Adomian Decomposition Method，ADM)引入到反应工程非线性数模求解中，可给出非线性数模逼近解析解的代数表达式。

Put forward a new method by transforming the second-order hyperbolic equationinto a first-order system of equations and derived the H_0~1 -norm and the L~2 -norm error estimates.

12提出一种新方法，通过转化双曲型方程中二阶时间导数项得到关于一阶时间导数的耦合方程组，然后进行离散，得到一个两层交替方向有限元格式，并得到H_0~1-模和L~2-模误差估计。

Taking Kronecker product as an example, we furthermore illustrate applied potentialities of the generative set of mapping in fabic ...

并从实用出发，扩展了数模中的映射生成集，使其覆盖了组织设计中常用的变化手段，且以Kronecker积为例，说明数模映射生成集在组织CAD中的应用潜力。

By replacing pseudo-Mersenne numbers with generalized Mersenne numbers, we propose a new notion-Generalized Optimal Extension Fields, and study the fast arithmetic about multiplication and modular arithmetic in GOEFs.

利用广义Mersenne数代替伪Mersenne数，提出了广义最优扩域的概念，并研究其上的快速乘法运算和取模运算，为乘法运算给出了通用的复杂度公式，为取模运算给出了具体的运算公式，推广了Bailey，Mihailescu和Woodbury等在最优扩域上的相应结果。

The results show that the entanglement of field-atom reduced to a stationary value with time evolution and the entanglement between two modes increase to another stationary value with intrinsic decoherence, and the values only depend on the two-mode photon number and mean photon number.

结果表明，存在内禀退相干时，随着时间的演化，场一原子纠缠逐渐减小到一个确定值，而模间纠缠逐渐增大到一个确定值，两者演化的最终值只取决于双模光子数差和平均光子数，而与内禀退相干因子无关。

Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques. We reduce the three valued logic model checking problem for modal transition system to the two valued model checking problem under Kripke structure. This reduction is linear in the number of states, size of transition relations, and number of atomic propositional formulae in the new formed model compared with those in the original model. It does not increase the comple...

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后，状态数、转移数和原子命题数目与原模型呈线性关系，没有增加模型检验的复杂度

The working principle of a novel short st roke linear DC motor wit h permanent magnet s is presented. Mixed digital - analog cont rol approach based on DSP ( TMS320L F2407A) is proposed. Displacement detecting and cont rol technique are discussed. Displacement detecting circuit s , digital - to - analog converter (DAC7641) expanded circuit s and cont rol software are given.

阐述了一种新研制的短行程永磁直流直线电机的工作原理，提出了基于DSP ( TMS320L F2407A)的短行程直流直线电机数、模混合伺服控制系统方案，重点对直线电机的位置检测及控制技术进行了研究，给出了DSP 控制器的位置检测接口电路、16 位双极性数模转换器(DAC7641)的扩展电路和控制软件的实现方法。

The bench-scale equipment of numerical control simulates, the high-performance number electricity mold electricity bench-scale equipment, PLC programs laboratory bench, air operated PLC controls laboratory bench, the microcomputer control central air conditioning laboratory bench, the sensor engineering laboratory equipment; Automobile teaching equipment: PASSAT entire vehicle model, program control showing board, military cross-country vehicle teaching aid series, automobile driving analogous system; multimedia electricity-teaching room, multimedia language sound chamber, entire digital language sound chamber, language study system, teaching VCD series; machinery exhibition cabinet series, hydraulic transmission demonstration, electrical machinery electricity laboratory, project charting laboratory; the electrical machinery controls the laboratory bench, the electron bench-scale equipment, the electrician bench-scale equipment, counts the electricity, the mold electricity laboratory, the micro electricity connection laboratory, the electric power drives laboratory, the microcomputer test installation; central air-conditioning test installation, refrigeration system hot test installation, electrical appliances synthesis test installation; teaching wall map series, teaching blackboard series; The finance and accounting simulates laboratory, simulates the bank laboratory; medicine teaching model; transparent elevator laboratory bench, transparent electrical machinery model, transparent lathe engine bed; universities specialized laboratory bench, physics bench-scale equipment, chemical laboratory equipment, biology bench-scale equipment, middle school necessary instrument.....

数控模拟实验室设备，高性能数电模电实验室设备，PLC编程实验台、气动PLC控制实验台，微机控制中央空调实验台，传感器技术实验室设备；汽车教学设备：帕萨特整车模型、程控示教板，军用越野汽车教具系列，汽车驾驶模拟系统；多媒体电教室，多媒体语音室，全数字语音室，语言学习系统，教学VCD系列；机械陈列柜系列，液压传动演示台，电机电气实验室，工程制图实验室；电机控制实验台，电子实验室设备，电工实验室设备，数电、模电实验室，微电接口实验室，电力拖动实验室，微机实验设备；中央空调实验设备，制冷制热实验设备，家电综合实验设备；教学挂图系列，教学黑板系列；财会模拟实验室，模拟银行实验室；医学教学模型；透明电梯实验台，透明电机模型，透明车床机床；高校专业实验台，物理实验室设备，化学实验室设备，生物实验室设备，中学配套仪器。。。。。

The bench-scale equipment of numerical control simulates, the high-performance number electricity mold electricity bench-scale equipment, PLC programs laboratory bench, air operated PLC controls laboratory bench, the microcomputer control central air conditioning laboratory bench, the sensor engineering laboratory equipment; Automobile teaching equipment: PASSAT entire vehicle model, program control showing board, military cross-country vehicle teaching aid series, automobile driving analogous system; multimedia electricity-teaching room, multimedia language sound chamber, entire digital language sound chamber, language study system, teaching VCD series; machinery exhibition cabinet series, hydraulic transmission demonstration, electrical machinery electricity laboratory, project charting laboratory; the electrical machinery controls the laboratory bench, the electron bench-scale equipment, the electrician bench-scale equipment, counts the electricity, the mold electricity laboratory, the micro electricity connection laboratory, the electric power drives laboratory, the microcomputer test installation; central air-conditioning test installation, refrigeration system hot test installation, electrical appliances synthesis test installation; teaching wall map series, teaching blackboard series; The finance and accounting simulates laboratory, simulates the bank laboratory; medicine teaching model; transparent elevator laboratory bench, transparent electrical machinery model, transparent lathe engine bed; universities specialized laboratory bench, physics bench-scale equipment, chemical laboratory equipment, biology bench-scale equipment, middle school necessary instrument.....

数控模拟实验室设备，高性能数电模电实验室设备，PLC编程实验台、气动PLC控制实验台，微机控制中央空调实验台，传感器技术实验室设备；汽车教学设备：帕萨特整车模型、程控示教板，军用越野汽车教具系列，汽车驾驶模拟系统；多媒体电教室，多媒体语音室，全数字语音室，语言学习系统，教学VCD系列；机械陈列柜系列，液压传动演示台，电机电气实验室，工程制图实验室；电机控制实验台，电子实验室设备，电工实验室设备，数电、模电实验室，微电接口实验室，电力拖动实验室，微机实验设备；中央空调实验设备，制冷制热实验设备，家电综合实验设备，教学挂图系列，教学黑板系列；财会模拟实验室，模拟银行实验室；医学教学模型；透明电梯实验台，透明电机模型，透明车床机床；高校专业实验台，电工实训室，电气实训室，单片机实训室，自控原理实训室，电力电子实训室，自动检测与转换实训室，过程控制实训室，电机原理实训室，电机维修维护实训室，可编程序控制器实训室，机电设备安装实训室，机电设备拆装实训室，电气自动化技术教研室，机电一体化综合实训室，数控教学实训室，数控加工实训室，楼宇自动化实验室，自动化设备陈列室，电子测量实验室，液压与气动实验室，工业仿真模型实验室，机电设备故障诊断与维修实训室，物理实验室设备，化学实验室设备，生物实验室设备，中学配套仪器。。。。。

The bench-scale equipment of numerical control simulates, the high-performance number electricity mold electricity bench-scale equipment, PLC programs laboratory bench, air operated PLC controls laboratory bench, the microcomputer control central air conditioning laboratory bench, the sensor engineering laboratory equipment; Automobile teaching equipment: PASSAT entire vehicle model, program control showing board, military cross-country vehicle teaching aid series, automobile driving analogous system; multimedia electricity-teaching room, multimedia language sound chamber, entire digital language sound chamber, language study system, teaching VCD series; machinery exhibition cabinet series, hydraulic transmission demonstration, electrical machinery electricity laboratory, project charting laboratory; the electrical machinery controls the laboratory bench, the electron bench-scale equipment, the electrician bench-scale equipment, counts the electricity, the mold electricity laboratory, the micro electricity connection laboratory, the electric power drives laboratory, the microcomputer test installation; central air-conditioning test installation, refrigeration system hot test installation, electrical appliances synthesis test installation; teaching wall map series, teaching blackboard series; The finance and accounting simulates laboratory, simulates the bank laboratory; medicine teaching model; transparent elevator laboratory bench, transparent electrical machinery model, transparent lathe engine bed; universities specialized laboratory bench, physics bench-scale equipment, chemical laboratory equipment, biology bench-scale equipment, middle school necessary instrument.....

教学设备、教学仪器、教学模型、教育设备、数控模拟实验室设备、高性能数电模电实验室设备、 PLC编程实验台、气动PLC控制实验台、微机控制中央空调实验台、传感器技术实验室设备、汽车教学设备、帕萨特整车模型、程控示教板、军用越野汽车教具系列、汽车驾驶模拟系统；多媒体电教室、多媒体语音室、全数字语音室、语言学习系统、教学VCD系列、机械陈列柜系列、液压传动演示台、电机电气实验室、工程制图实验室、电机控制实验台、电子实验室设备、电工实验室设备、数电、模电实验室、微电接口实验室，电力拖动实验室、微机实验设备、中央空调实验设备、制冷制热实验设备、家电综合实验设备、教学挂图系列、教学黑板系列、财会模拟实验室、模拟银行实验室、医学教学模型、透明电梯实验台、透明电机模型、透明车床机床、高校专业实验台、电工实训室、电气实训室、单片机实训室、自控原理实训室、电力电子实训室、自动检测与转换实训室、过程控制实训室、电机原理实训室、电机维修维护实训室、可编程序控制器实训室、机电设备安装实训室、机电设备拆装实训室、电气自动化技术教研室、机电一体化实训室、数控教学实训室、数控加工实训室、楼宇自动化实验室、自动化设备陈列室、电子测量实验室、液压与气动实验室、工业仿真模型实验室、机电设备故障诊断与维修实训室、物理实验室设备、化学实验室设备、生物实验室设备、中学配套仪器。。。。。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。