Application of the Constrained Predicated Nets and Interval Logic to Production Systems

1 .INTRODUCTIONDuetotheireconomicsignificanceandclosenesstopersons,productionsystemsmustbemodeledbeforetheirimplementationanduse,thus,amethodwhichspecifies ,analyzesandsynthesizestheproductionsys tems—discreteeventsystems (DES)hasbeenestab lishedanddevelopedstepbystepinrecentyears.DESmethodspecifiestheplantbasedonitsdiscretecharacters,however,intherealworld ,therearefewplantsthatcanbemodeledbypurelydiscretemathe maticalmodelbecausetherearealwayssomecontinu ousparametersforstudyinnearlya…     

一类非光滑最优化信赖域算法

本文把通常的光滑信赖域算法推广到非光滑情形，目标函数仅为局部李普希兹连续，文中子问题的目标函数不必是通常的二次逼近形式。     

关于偏序集到方体的嵌入的一个注记

我们通过一个反例说明下述问题的解答是否定的,假若Z-完备偏序集P可用保任意存在交与Z-并映射嵌入到某方体之中,则P是否为Z-拟连续的?     

分配格的二个等价条件

首先讨论了格的子集生成幻和生成对偶幻的运算性质。然后给出一个反例，指出［１］中一定理有误，并由此获得分配格的两个等价条件（即：格是分配格的两个等价命题）。     

交织扩展Golay码编译码器实现方案的研究

论述了交织编码的工作原理，给出了一种交织扩展Ｇｏｌａｙ码的改进型软件设计方案，用ＴＭＳ３２０Ｃ２５实现了其编译码器并给出了模拟实验结果。实验结果表明，它能准确地纠正不大于７２比特位的差错；处理１２８×１２８×８比特位的一幅图像数据的运行时间为０．４１２ｓ．     

"假日经济"下旅游业的发展与对策

自假日经济出现以来，旅游业逐渐成为推动假日经济蓬勃发展的重要力量，但同时也暴露出许多问题，本文即从假日经济下旅游业的发展现状和问题出发，探讨其解决途径和对策。     

稳定性理论中的两个问题

本文讨论了吸引性与稳定性的关系,完善了稳定性的数学理论及应用一文中关于周期系统稳定与一致稳定等价的证明。     

关于画法几何中椭圆作图的研究

针对画法几何中椭圆作图的实际情况,本文给出了几种作图方法,可以在给定的条件下,利用相应的方法画出所要求的椭圆。     

高效凝胶渗透色谱测定硅油分子量及其分布

采用ＨＰＧＰＣ与蒸汽压渗透（ＶＰＯ）结合的方法研究了甲基苯基硅油等分子量及其分布测定方法。     

纳米SiO2作为蓄电池添加剂的研究

研究了纳米SiO2添加到铅酸蓄电池的极板和电解液中，对电池的起动性能和循环性能的影响。