只用两个顺序栈S1, S2（S1、S2的大小分别为Max1、Max2）模拟一个顺序队列时，不能用到其它的辅助空间。设计用栈的运算实现队列的插入（在可能的条件下，要保证队列元素要能插入成功）、删除以及队列判空运算。

这里我提供一种基于两个栈实现队列的算法：

1. 队列插入操作：

入队时，首先将元素压入栈S1中，如果S1已满，则返回插入失败；否则插入成功。

2. 队列删除操作：

出队时，首先检查S2是否为空，如果不为空，则弹出S2栈顶元素并返回；如果S2为空，则将S1中的所有元素弹出并依次压入S2中，然后再弹出S2栈顶元素并返回。如果S1和S2都为空，则返回删除失败。

3. 队列判空操作：

判空时，只需检查S1和S2是否都为空即可。

以下是该算法的Python代码实现：

class Stack:
    def __init__(self, size):
        self.size = size
        self.top = -1
        self.data = [None] * size

    def push(self, value):
        if self.top >= self.size - 1:
            return False
        self.top += 1
        self.data[self.top] = value
        return True

    def pop(self):
        if self.top < 0:
            return None
        value = self.data[self.top]
        self.top -= 1
        return value

    def is_empty(self):
        return self.top < 0

class Queue:
    def __init__(self, max1, max2):
        self.max1 = max1
        self.max2 = max2
        self.s1 = Stack(max1)
        self.s2 = Stack(max2)

    def enqueue(self, value):
        if self.s1.push(value):
            return True
        else:
            return False

    def dequeue(self):
        if not self.s2.is_empty():
            return self.s2.pop()
        elif not self.s1.is_empty():
            while not self.s1.is_empty():
                self.s2.push(self.s1.pop())
            return self.s2.pop()
        else:
            return None

    def is_empty(self):
        return self.s1.is_empty() and self.s2.is_empty()

注意：上述算法中，如果S1满了，就不能再插入元素。如果要支持无限制的插入，可以考虑使用链式栈来替代顺序栈。