边值问题的某些存在定理(英)

本文给出关于边值问题解的某存在唯一性定理及其应用．     

关于集值映象方程的一类问题

本文用ｆｐ－同伦方法，在特殊的技巧和边界条件下，研究了有序的（Ｂ）空间中集值凝聚映象方程的正解等问题．     

复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

解约束序列极大极小问题的凝聚同伦方法

Consider the constrained sequential max-min problem (CSMMP):     

求解参数识别反问题的同伦正则化方法

提出了求解参数识别反问题的同伦正则化方法,给出了相应的收敛性定理.数值结果表明该方法是一种快速的大范围收敛方法.     

复流形局部q-凸楔形上带权的同伦公式

本文得到复流形局部q-凸楔形上(r,s)型微分形式的带权的同伦公式和(r,s)型的方程的带权的连续解,并给出(r,s)型微分形式的不含边界积分的新的带权的同伦公式和(r,s)型的方程的新的带权的连续解.这些新的带权公式尤其适用于具有非光滑边界的局部q-凸楔形,这时不但可以避免边界积分的复杂估计,而且积分密度也不必在边界有定义,只要在区域上有定义就行.其次,引进权因子,带权的积分公式在应用上(比如在函数的插值方面)具有更大的灵活性.     

模糊半群上的模糊同余及其扩张

给出模糊半群上的模糊同余的概念，并进一步研究它的一些基本代数性质。同时研究带有模糊半群上的模糊同余扩张性质(FCEPF)的半群类，得到一个半群有模糊半群上的模糊同余扩张性质、有模糊同余扩张性质(FCEP)、有同余扩张性质(CEP)三个条件是等价的。     

声化学的崛起与建议

声学对化学的渗透与影响从八十年代中期起开始有了新的转折,表征声学这一外在特性的边缘学科——声化学或曰超声波化学业已形成。从我们跟踪众多国家的研究工作来看,声化学的迅速发展正从学术上给化学研究开拓新的领域;将从应用上对化学工业产生重大影响;声化学与热化学、光化学等具有等同地位的论点日逐扩大。下面列出声化学崛起的一些重要标志:     

环Z／（m）上两种序列综合算法之间的关系

有限域Fq上单条序列的综合算法有著名的Berlkamp-Massey算法(简记B-M算法)，Reeds和Sipane(1985)将这一算法推广到整数同余类环Z／(m)上．作者曾利用推广的Gr6bner基理论，蛤出了环Z／(m)上单条及多条序列的新的综合算法，简称G-算法．本文讨论这两种序列综合算法之间的关系，并证明了G-算法和B-M算法对域上序列的综合是等价的；对环Z／(m)上的序列，通过对G-算法适当改进，可以顺序得到由推广的B-M算法求得的特征多项式．     

第十三届数学规划国际会议回顾

一 会议概况 三年一度的数学规划国际会议,1988年8月29日至9月2日在日本东京举行了第十三届大会。会议由(国际)数学规划学会和日本运筹学会共同主办,东京大学伊理正夫教授担任会议组委会主席。这是头一次在北美洲和欧洲以外的地方举行这样的大会。 会场安排在日本东京的中央大学,五十多个国家的六百余名代表出席了这次大会。就人数而言,日本和美国的代表最多。其他各洲都有学者参加。我国有十多位代表与会,其