网络时代合同法的最新发展

目前，联合国贸法会电子商务工作组的核心工作是在合同法领域起草一个有关电子订约的公约。电子合同的规则集中反映了网络时代合同法的最新发展。在信息技术的推动下，网络时代的合同法发生了巨大的演变，电子合同产生了许多不同于传统合同的法律规则，其中典型的电子合同法律规则有：电子形式规则、电子意思表示规则、电子签名与认证规则以及计算机信息交易合同中的电子错误规则和电子自助规则等。     

关于先履行抗辩权的几个问题--从一起办公自动化系统建设合同纠纷案谈起

当事人约定一方的履行为另一方履行的条件的，可适用先履行抗辩权制度予以调整。先履行抗辩权的成立应以先履行方可能履行为要件。先履行抗辩权行使的限度应依诚实信用原则进行解释，并结合后履行方合同目的的实现程度进行具体判断。     

子群的π-可补性对群结构的影响

如果存在G的一个子群K,使得G=HK且|H∩K|π=1,则群G的一个子群H称为在G中π-可补,此时K称为H在G中的π-补.研究了π-可补子群的一些性质,并利用群G的Sylowp-子群的极大和极小子群的π-可补性,给出了群G为p-幂零群的一些条件.特别地证明了如下结果:设G是一个群,P是G的一个Sylowp-子群,p∈π且p是|G|的一个素因子,如果(|G|,p-1)=1且P的每个极大子群在G中π-可补,则G是p-幂零群.     

有限群的π-拟正规嵌入子群与p-幂零性

通过分析群阶和特殊素因子,利用Sylow子群二次极大子群的π-拟正规嵌入性质,得到:设H是有限群G的正规子群使得G/H为p-幂零群, P是H的一个Sylow p-子群, 这里p是|G|的一个素因子.若P的二次极大子群均在G中π-拟正规嵌入且下列条件之一满足,则G是p-幂零:(1) (|G|, p2-1)=1; (2) NG(P)/CG(P)是p-群.     

海南昌江县石灰岩地区轮叶戟群落特征研究

根据样方调查,分析了海南岛昌江县石灰岩地区轮叶戟Lasiococca comberi var.pseudoverticillata群落的种类组成、外貌和结构特征,并就分析结果与其它地区进行了相关性分析和讨论.结果表明,在1 800 m+2样地中,有维管植物164种,隶属于64科129属,其中以热带性分布属占明显优势,所占比例为94.87%.群落外貌终年常绿,生活型以高位芽为主,占76.07%,乔木多为单叶,叶型以中型叶为主,占70.73%.群落成层现象不明显;通过对优势种群的年龄结构分析显示,该群落处于增长状态,按照Raunkiaer的频度等级定律,A级频度值为71.95,其中有79种植物只出现于一个样方中.通过相关性分析显示,该地植物在属的区系成分上受气候的影响比基质的大,该群落所属的植被类型处于热带常绿季雨林向热带雨林演替的过渡阶段,并需用自然恢复的方式对植被进行恢复和保护.     

具有反馈控制的时滞竞争系统的持久性

研究了一类具有反馈控制和连续时滞的两种群非自治竞争系统，利用微分不等式给出了系统持续生存的条件。同时当系统是周期系统时，利用Brouwer不动点原理得到了该系统存在一个正的。周期解，通过构造Liapunov函数的方法以及Barbalat引理给出了其存在惟一且全局渐近稳定的周期正解的充分条件。     

Cook-Seiford函数的若干推广

用例子指出Cook-seiford函数所得的群排序的不唯一性，并利用计算机模拟实验说明这种情况出现的几率较大，提出Cook-Seiford函数的两种推广：加权的Cook-Seiford函数和基于Minkowski距离的Cook-Seiford函数；解决了Cook-Seiford函数结果不唯一的问题．推广的Cook-Seiford函数还可以用来进行多属性决策．     

民法典总则之意思表示解释规则初探

意思表示解释与法律行为解释和合同解释不同。意思表示解释有其特殊的法律构造，其解释对象是表示行为和效果意思而不仅仅是目的意思，意思表示解释的原则。依意思表示类型的不同而有所不同。我国民法通则对意思表示解释没有规定，在未来的民法典型总则中应当对此加以完善。     

测试二元运算乘法表是否构成群表的算法设计

对计算机测试二元运算乘法表是否构成群表的算法进行研究 ,一个乘法表构成群表的充要条件是乘法表具有两个性质·在测试乘法表构成群表的第一性质中提出了直接逐行、逐列测试G中所有元素 ,按行、按列搜索相同元素及相异元素计数三种算法 ;在第二性质测试中 ,对搜索与单位元 1构成矩形的同行、同列元素中提出自然升序法、外推法及小段优先三种算法 ;在遍历整个二维乘法表判别矩形第 4顶点元素特性中 ,提出了单个矩形移动、按行(列 ) (n-1 )个矩形同时移动、(n -1 ) 2 个矩形同时移动及改进的单个矩形移动四种算法 ;讨论了主要算法的复杂性 ;用VisualC ++6.0实现了算法的程序设计 ;用所设计...     

幂群的置换表示

利用群作用分别给出了有限群上幂群的置换表示和矩阵表示,进而给出了非空幂子集成幂群的条件.