简介:教材[1]和[2]关于“射影柱面”有二个命题,都作为定理给出。这是错误的,本文给出了例证。命题([1]中P95页):通过空间曲线L:{F1(x,y,Z)=0F2(x,y,Z)=0作柱面,使其母线平行于坐标轴ox,oy或oz轴,设这样的柱面方程分别为F1(y,z)=0,F2(x,z)=0,F3(x,y)=0。这三个柱面分别叫做曲线L对yoz,xoz与xoy坐标面的射影柱面,因此曲线L可以用它的对三个坐标面的任意两个射影柱面来表示。命题中的“任意”不成立。当空间曲线是平面曲线,并且曲线所在的平面与一个坐标面平行时,命题不成立。
简介:在群体性纠纷解决过程中,群意表达易被集体意旨所表征而成为公开文本,但群体成员个体表意的隐藏文本并不能有效转化为合意而被吸纳其中、并在最终影响群体司法正义的实现。既有群体司法虽通过直觉法中的情理因素涵摄以及法庭的非社会化给予响应,但也由此造成了群体性司法诉讼效率与共识达成的现代化之殇。德国针对私人投资者建立的首个示范性诉讼立法实践表明:通过示范诉讼契约吸纳当事人诉讼处分合意,可改善群体司法对每一个当事人的诉讼权保障程度;通过诉讼退出制,可协调无法达成“集体意旨”的少数当事人另行起诉;灵活运用包括胜诉酬金制在内的起诉激励,也在一定程度上纾解了群体性诉讼巨型化的困局。
简介:以火龙果为应用实例的食品安全监督回溯体系(或称蔬果供应链管理体系)的物联网模型中,各环节的用户都可以根据业务的实际需要,通过系统随时随地了解食品在“从农田到餐桌”整个生产-储存-加工-销售-消费过程中的实时状态,从而保证食品安全得到系统、全面的监管.