复杂FMS系统的启发式调度策略

用Petri网对柔性制造系统进行建模的基础上,提出了一种针对较大规模柔性制造系统的启发式调度优化算法.采用了改进的子节点处理方法、与派遣规则相结合的启发函数以及移动窗口等策略,弥补了算法在节点质量评价和节点搜索方面的不足,有效减小算法在可述图中寻路时对节点的搜索范围,加快了算法的收敛速度.仿真结果表明:相对于其他调度算法,该文算法可以快速、高效的编制系统调度计划.     

基于控制服务的海关卡口区域可重构仿真建模

针对保税港区海关卡口区域的建模问题,从海关监管、交通特征及排队网络分析出发建立了其离散事件仿真模型.并针对建模的可重构性要求,结合对车辆服务台选择和排队控制过程的分析,提炼出实体控制规则,并在此基础上提出了实时适应资源组织形式改变的面向服务的实体控制模型.同时,提出并开发了基于Arena仿真软件的实体控制解决方案.最后,通过实验进行方案分析和比较,验证了本方法的有效性.     

两种新的DS合成法则仿真近似算法

DS合成法则计算时间复杂度是影响DS理论广泛应用的主要原因之一,介绍了几种著名的近似算法,并分析了它们的优劣性,指出了这些方法的存在的问题。给出了两种新的仿真近似算法,这两种新方法不需要预先限定焦元的个数,计算过程直观、方便,结果合理。仿真试验结果表明,这两种方法的计算结果和Bayesian方法非常接近,但不存在Bayesian方法的不合理之处。对几种算法作了进一步分析研究,给出了三种算法间的关系。     

采矿岩体动态稳定性CA模型的建立与系统分析

运用元胞自动机的演化建模方法构建深部采矿岩体的动态稳定性演化模型.定义岩体的工作状态变化概率和岩体完整性影响系数,创建了一种实现采矿岩体的动力学仿真模型.通过数字模拟实验,分析了岩体中不同状态下的元胞相互作用的关系,得到了以离散度作为岩体动态稳定性的度量指标.     

在衰减信道中基于最小贝叶斯风险的检测算法

针对实际检测过程中本地检测器至融合中心传输信道的非理想性,提出了基于两种非理想信道模型的分布式检测算法:第一种为融合中心已知非理想信道的瞬时状态信息;第二种为融合中心已知非理想信道的统计特性。通过最小化平均贝叶斯风险来设计本地检测器和融合中心的优化判决算法,其判决形式都可简化为似然比判决。最后通过仿真表明第二种模型的检测性能略低于第一种模型,但其计算量却大大降低。     

EXISTENCE AND UNIQUENESS AND STABILITY OF SOLUTIONS FOR STOCHASTIC IMPULSIVE SYSTEMS

This paper studies the existence, uniqueness, and stability of solutions for stochastic impulsive systems. By employing Lyapunov-like functions, some sufficient conditions of the global existence, uniqueness, and stability of solutions for stochastic impulsive systems are established. Furthermore, the results are specialized to the case of linear stochastic impulsive systems. Finally, some examples are given to illustrate the applications of our theory.     

卡尔达诺关于三次方程的特殊法则

基于对卡尔达诺关于三次方程的一般法则和《大术》第6章的命题的分析,复原了卡尔达诺关于三次方程的17条特殊法则的构造过程,由此揭示出隐藏在这些法则背后的数学思想和方法,阐明了卡尔达诺对这些法则所作的模糊暗示的意义,并指出其综合叙述方式与这些法则的构造过程并不完全一致。另外,根据对这些特殊法则的适用范围的分类讨论,认为卡尔达诺构造这些特殊法则的目的并非专为解决三次方程的不可约情形。     

谨防术语翻译的“张冠李戴” ——以航海术语翻译为例

译者先入为主,将不熟悉的某一领域的术语翻译成熟悉的另一领域的术语或一般用语,这种错误定位,是术语翻译中常见的问题之一。翻译术语前译者必须意识到术语所属领域,然后尽可能选择语义对等的目的语术语。否则,译语的行外话会影响语言交际。     

单位球上F(p,q,s)空间到β~α空间的加权Cesàro算子

分别给出了单位球B上空间F(p,q,s)到空间β~α的加权Cesàro算子T_g为有界算子和紧算子的充要条件.     

区间数互补判断矩阵中元素的运算与排序算法

分析区间数互补判断矩阵中已有的元素运算法则,重新定义区间数互补判断矩阵中一些元素的运算,给出将区间数互补矩阵转换为一致性矩阵的定理,并利用互反和互补之间的转换,得到一个区间数互补判断矩阵的排序算法.