相关专题：
相关新闻：ARM外设的一些理解问题
[问题点数：50分，结帖人obanaganastar]
ARM外设的一些理解问题
[问题点数：50分，结帖人obanaganastar]
不显示删除回复
显示所有回复
显示星级回复
显示得分回复
只显示楼主
匿名用户不能发表回复！|
每天回帖即可获得10分可用分！小技巧：
你还可以输入10000个字符
(Ctrl+Enter)
请遵守CSDN，不得违反国家法律法规。
转载文章请注明出自“CSDN（www.csdn.net）”。如是商业用途请联系原作者。关于民诉法解释中有关管辖若干问题的理解与适用
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
&&&&日，《最高人民法院关于适用〈中华人民共和国民事诉讼法〉的解释》（以下简称民诉法解释）正式发布实施。为帮助广大法官正确理解和适用民诉法解释，现对有关管辖内容的若干问题作以下解读。&&&&一、关于定居在国外的中国公民离婚后提起的财产分割纠纷案件的管辖问题&&&&民诉法解释第十七条规定：“已经离婚的中国公民，双方均定居国外，仅就国内财产分割提起诉讼的，由主要财产所在地人民法院管辖。”对于定居在国外的中国公民，双方已经离婚，仅就离婚后夫妻共同财产的分割问题提起诉讼，如果分割财产位于国内的，为方便当事人诉讼，也方便人民法院审理，民诉法解释明确规定，此类民事纠纷案件由主要财产所在地的人民法院管辖。离婚后财产分割纠纷，不涉及到离婚等身份事项，是纯粹的财产分割纠纷，本条规定由主要财产所在地人民法院管辖，是一种特殊的地域管辖。&&&&适用本条首先要准确把握什么是主要财产所在地。本条规定的主要财产所在地，就是指当事人请求分割的财产中价值最大财产的所在地。如果有多项财产，分别处于不同人民法院的管辖区域时，则应当按照各法院管辖区域内全部财产的价值总额大小来确定主要财产，并确定主要财产所在地。&&&&同时要注意，本条所规定的主要财产所在地，包括不动产所在地，也包括其他财产所在地。在既有不动产又有其他财产时，如何确定主要财产？如分割财产中有证券1000万元在北京，存款500万元在上海，海南有50万元的房屋，能否以价值最大的证券所在地北京的法院管辖？我们认为，本条规定的解释目的是为便利当事人诉讼、便于人民法院审理而设计的一种特殊管辖规则，如果主要财产不是不动产且与不动产财产不在同一地点的，可以由该主要财产所在地的法院管辖该案件。&&&&二、关于确定合同履行地的问题&&&&民诉法解释第十八条对合同履行地的确定规定了一般规则：“合同约定履行地点的，以约定的履行地点为合同履行地。合同对履行地点没有约定或者约定不明确，争议标的为给付货币的，接收货币一方所在地为合同履行地；交付不动产的，不动产所在地为合同履行地；其他标的，履行义务一方所在地为合同履行地。即时结清的合同，交易行为地为合同履行地。合同没有实际履行，当事人双方住所地都不在合同约定的履行地的，由被告住所地人民法院管辖。”合同纠纷案件的地域管辖，依照民事诉讼法第二十三条规定，由合同履行地或者被告住所地人民法院管辖。实践中，对于被告住所地的确定一般没有争议，但对于合同履行地的确定非常复杂，争议较多。为统一合同履行地的确定规则，使之更加明确具体，减少争议，民诉法解释起草时在1992年《最高人民法院关于适用〈中华人民共和国民事诉讼法〉若干问题的意见》的第十八条到第二十二条规定的基础上，统一修改为民诉法解释的第十八条规定，作为确定合同履行地的一般规则，适用于除民诉法解释特殊规定的租赁合同、保险合同、网络买卖合同以外的各类合同纠纷案件。&&&&根据民诉法解释第十八条的规定，确定合同履行地法院管辖时，分三个层面处理。首先，当事人在合同中对合同履行地点有约定的，则按照约定确定合同履行地，从而确定合同履行的管辖法院，除该条第三款规定情形外，不考虑该合同是否已经实际履行以及实际履行地点是否与约定的不同。其次，如果当事人在合同中对履行地点没有约定或者约定不明确的，则按照合同纠纷中争议标的的种类来分别确定合同履行地。具体分为三种情形：一是争议的标的是给付货币的，则以接收货币一方的所在地为合同履行地；二是争议标的为交付不动产的，以不动产所在地作为合同的履行地；三是争议标的为前述给付货币和交付不动产之外的其他标的的，如动产、财产权利的交付等，则以履行义务一方的所在地为合同履行地。再次，民诉法解释规定了按照合同履行地确定管辖法院的两种特例。一是当事人虽然在合同中约定了履行地，但没有实际履行，且当事人住所地都不在合同中约定的履行地点的，则直接由被告住所地人民法院管辖，不再适用合同履行地确定管辖法院；二是当事人在合同中没有约定履行地点或者约定不明的，即时结清的合同，则直接以实际交易行为地为合同履行地。&&&&适用该条要注意以下几个问题：&&&&第一，关于民诉法解释第十八条与此前最高人民法院有关司法解释规定的关系问题。按照民诉法解释第五百五十二条规定，民诉法解释实施以后，最高人民法院以前的司法解释规定与民诉法解释不一致的，不再适用。因此，最高人民法院此前的司法解释中涉及到合同履行地确定的规定，凡与该条规定不一致，且不属于民诉法解释明确规定适用特殊规则的合同类型的，都不再适用，只能适用民诉法解释第十八条规定。如最高人民法院1993年《关于如何确定借款合同履行地问题的批复》，批复规定的内容与民诉法解释第十八条规定不一致，今后不再适用。&&&&第二，关于争议标的的理解问题。民诉法解释第十八条第二款规定了按照“争议标的”种类分别确定合同履行地，准确把握“争议标的”是关键。该条规定使用“争议标的”一词，主要是来源于合同法第六十二条第三项规定并借鉴其他国家合同履行地的确定规则，就是指当事人诉讼请求所指向的合同义务内容，因此，可以称为“涉诉债务”。合同履行地就是合同义务的履行地，合同义务履行地根据合同义务的履行情况，可以是一个履行地，也可以是不同的履行地。双务合同和多务合同，当事人分别负有不同的合同义务，通常每一合同义务都有其履行地，合同法第六十二条第三项规定如是。当事人因合同义务的履行而发生合同纠纷，起诉到法院时，以合同履行地确定管辖法院的，则以当事人争议的合同义务的履行地作为确定管辖的合同履行地。这既明确简单，又符合纠纷管辖的最密切联系地点的原则要求。即使是单务合同，如果存在两项以上的不同合同义务时，也可能出现两个以上履行地的情况。发生合同纠纷时，也要以争议的合同义务来确定履行地。对“争议标的”的理解，特别注意不能把“争议标的”等同于诉讼请求。诉讼请求在合同纠纷中，是基于合同关系主张对方承担的合同责任的声明。合同履行地不能按照诉讼请求种类来确定，只能依照争议的合同义务来确定，也即诉讼请求所指向的合同义务。&&&&第三，关于争议标的为给付货币的理解问题。该条规定的争议标的为给付货币，是指争议的合同义务是以给付货币为内容。最为典型的合同义务为给付货币的是借款合同。如果贷款方起诉借款人要求还本付息，争议标的则为借款方负有的向贷款方归还本金和利息的义务，接收货币的一方，就是贷款方，此时贷款方可以其所在地为合同履行地，向该地法院提起诉讼。借款合同中，贷款方需划出借款或借款方需归还借款，双方都有可能成为接收货币的一方，债权人和债务人都有可能成为接收货币的一方，也都有可能成为合同履行义务一方所在地。如果借款方在借款合同签订后，贷款方违约未交付借款，借款人起诉要求贷款人发放借款的，争议标的就是贷款方负有的向借款方发放借款的义务，接收货币的一方就是借款方，此时借款方可以以其所在地为合同履行地，向该地法院提起诉讼。借款合同之外的其他合同，如果争议的合同义务内容为给付货币的，也可以适用本条关于接收货币一方为合同履行地的规定确定管辖法院。如买卖合同约定买方负有先支付货款的义务，卖方后交付货物，买方未按照合同支付货款的，卖方起诉要求买方支付货款的，争议标的为给付货币，卖方为接收货币一方，卖方所在地可以认定为合同履行地。&&&&第四，关于其他标的以履行义务一方所在地为合同履行地的理解问题。其他标的，是指货币和不动产以外的其他标的，包括动产、财产权利等。实践中应当注意，当事人起诉要求对方支付金钱，也即诉讼请求是给付金钱，该金钱给付请求既可能是基于合同中给付货币义务产生的，也可能是基于非给付货币义务产生的。此时不能直接依据诉讼请求确定争议标的，而应按照诉讼请求所指向的合同义务内容来确定争议标的。如买卖合同，A为出卖货物方，B为买受方，如A起诉要求B支付货款的，争议标的为给付货款，A作为接收货款的一方，其所在地为合同履行地；如B起诉A承担支付违约金责任或者赔偿损失的，争议标的为A负有的交付货物的义务，则A为履行义务一方，A所在地为合同履行地。&&&&第五，关于合同确认之诉和形成之诉适用合同履行地确定管辖的问题。民诉法解释第十八条第二款规定的三种情形，分别针对给付货币、交付不动产和履行其他标的，总的来说，只考虑了给付之诉的情形。合同纠纷不仅有给付之诉，也存在确认之诉和形成之诉。单纯地请求确认合同效力或者请求解除合同的诉讼，其争议标的并非合同中的具体义务，而是合同是否有效或者合同法律关系是否解除的问题，此类合同纠纷就不能按照民诉法解释第十八条第二款来确定合同履行地。对此，当事人对合同履行地有约定的，可以按照约定的履行地来确定管辖法院；对合同履行地没有约定或者约定不明的，只能由被告住所地人民法院管辖。&&&&三、关于民诉法解释第二十八条“建设工程施工合同纠纷”的范围问题&&&&民诉法解释第二十八条对民事诉讼法第三十三条第一项规定的不动产纠纷由不动产所在地法院专属管辖作了解释：“民事诉讼法第三十三条第一项规定的不动产纠纷是指因不动产的权利确认、分割、相邻关系等引起的物权纠纷。农村土地承包经营合同纠纷、房屋租赁合同纠纷、建设工程施工合同纠纷、政策性房屋买卖合同纠纷，按照不动产纠纷确定管辖。不动产已登记的，以不动产登记簿记载的所在地为不动产所在地；不动产未登记的，以不动产实际所在地为不动产所在地。”适用本条时，对于可以按照不动产纠纷由不动产所在地法院专属管辖的建设工程施工合同纠纷的范围有不同理解。一种观点认为，建设工程施工合同纠纷范围应仅指《民事案件案由规定》的第100个第三级案由“100、建设工程合同纠纷”项下的第三个第四级案由，即“（3）建设工程施工合同纠纷”。另一种观点认为，建设工程施工合同纠纷应当包括民事案件案由规定中第100个第三级案由的全部案件类型，不仅限于该项下的第三个第四级案由。我们认为，应当按照不动产纠纷由不动产所在地法院专属管辖的建设工程施工合同纠纷，不限于《民事案件案由规定》的建设工程合同纠纷项下的第三个第四级案由“建设工程施工合同纠纷”，应当包括该项下的建设工程施工相关的案件：“（3）建设工程施工合同纠纷，（4）建设工程价款优先受偿权纠纷，（5）建设工程分包合同纠纷，（6）建设工程监理合同纠纷，（7）装饰装修合同纠纷，（8）铁路修建合同纠纷，（9）农村建房施工合同纠纷。”对此，最高人民法院拟通过正在修改的《民事案件案由规定》予以进一步明确。&&&&（作者单位：最高人民法院）
<INPUT type=checkbox value=0 name=titlecheckbox sourceid="SourcePh" style="display:none">
人民法院报社版权所有，未经授权，不得转载。
已经属本网书面授权用户，在使用时必须注明“来源：人民法院报”
制作单位：人民法院报出版部。京ICP备号　　01背包问题具体例子：假设现有容量10kg的背包，另外有3个物品，分别为a1，a2，a3。物品a1重量为3kg，价值为4；物品a2重量为4kg，价值为5；物品a3重量为5kg，价值为6。将哪些物品放入背包可使得背包中的总价值最大？
　　这个问题有两种解法，动态规划和贪婪算法。本文仅涉及动态规划。
　　先不套用动态规划的具体定义，试着想，碰见这种题目，怎么解决?
　　首先想到的，一般是穷举法，一个一个地试，对于数目小的例子适用，如果容量增大，物品增多，这种方法就无用武之地了。
　　其次，可以先把价值最大的物体放入，这已经是贪婪算法的雏形了。如果不添加某些特定条件，结果未必可行。
　　最后，就是动态规划的思路了。先将原始问题一般化，欲求背包能够获得的总价值，即欲求前i个物体放入容量为m（kg）背包的最大价值c[i][m]&&使用一个数组来存储最大价值，当m取10，i取3时，即原始问题了。而前i个物体放入容量为m（kg）的背包，又可以转化成前(i-1)个物体放入背包的问题。下面使用数学表达式描述它们两者之间的具体关系。
　　表达式中各个符号的具体含义。
　　w[i] : &第i个物体的重量；
　　p[i] : 第i个物体的价值；
　　c[i][m] ： 前i个物体放入容量为m的背包的最大价值；
　　c[i-1][m] ： 前i-1个物体放入容量为m的背包的最大价值；
　　c[i-1][m-w[i]] ： 前i-1个物体放入容量为m-w[i]的背包的最大价值；
　　由此可得：
　　　　　　c[i][m]=max{c[i-1][m-w[i]]+pi , c[i-1][m]}（下图将给出更具体的解释）
　　　　根据上式，对物体个数及背包重量进行递推，列出一个表格（见下表），表格来自（）&，当逐步推出表中每个值的大小，那个最大价值就求出来了。推导过程中，注意一点，最好逐行而非逐列开始推导，先从编号为1的那一行，推出所有c[1][m]的值，再推编号为2的那行c[2][m]的大小。这样便于理解。
　　　　思路厘清后，开始编程序，C语言代码如下所示。
#include &stdio.h&
int c[10][100]={0};
void knap(int m,int n){
int i,j,w[10],p[10];
for(i=1;i&n+1;i++)
scanf("%d,%d",&w[i],&p[i]);
for(j=0;j&m+1;j++)
for(i=0;i&n+1;i++)
if(j&w[i])
c[i][j]=c[i-1][j];
}else if(c[i-1][j-w[i]]+p[i]&c[i-1][j])
c[i][j]=c[i-1][j-w[i]]+p[i];
c[i][j]=c[i-1][j];
int main(){
int m,n;int i,j;
printf("input the max capacity and the number of the goods:\n");
scanf("%d,%d",&m,&n);
printf("Input each one(weight and value):\n");
knap(m,n);
printf("\n");
for(i=0;i&=n;i++)
for(j=0;j&=m;j++)
printf("%4d",c[i][j]);
if(m==j) printf("\n");
代码中，红色字体部分是自己写的，其余的参照了这篇博客http://.cn/s/blog_6dcd26b.html
&　　如果你很轻松地就突破了01背包，甚至很轻松地就理解了动态规划，那么继续前进，做一下这道题目()。很好玩的。
　　　感谢上面引用的两篇博客，也感谢这两位博主，没有你们的博客，我恐怕对01背包问题还是半懂不懂的。
&更新一个递归解法，《算法：c语言》似乎也有一个递归解法，不过是错误的：
#include &stdio.h&
#include &stdlib.h&
typedef struct _Item
item aitem[5] = { {3, 4}, {4, 5}, {7,10}, {8, 11}, {9, 13} };
int item_flag[5]; // 0: 未访问， 1：
int result[5] ; // 保存中间输出结果
int mount = 0;
knap_rcs(int cap)
for( j = 0; j & 5; j++)
cap - aitem[j].
if( t &= 0 )
if( item_flag[j] == 0)
item_flag[j] = 1;
result[j] = aitem[j].
mount += aitem[j].
knap_rcs(t);
item_flag[j] = 0;
result[j] = 0;
mount -= aitem[j].
else // 已到递归终点，输出结果
for( i =0; i & 5 ; i++)
if( result[i] != 0 )
printf("size: %d\t", result[i] );
printf("\n");
printf("%d\n", mount);
if( mount & max )
int main()
while(scanf("%d", &N) !=
getchar();
for(int k = 0; k & 5; k++)
item_flag[k] = 0;
result[k] = 0;
knap_rcs(N);
printf("max value: %d\n\n", max);
system("pause");
阅读(...) 评论()