topics

全部话题 - 话题: 程序执行
1 2 3 4 5 末页 (共10页)
j**u
发帖数: 6059
1
☆─────────────────────────────────────☆
cityhawk (呆鹰) 于 (Mon May 23 20:38:14 2011, 美东) 提到:
Matlab程序是 for 嵌套循环:比如,
a=0.1:0.5 with spacing 0.01; b=0.1:0.6 with spacing 0.01
c=0.1:0.8 with spacing 0.01; d=0.1:0.6 with spacing 0.01
e=0.1:0.9 with spacing 0.01; f=0.1:0.7 with spacing 0.01
g=0.1:0.6 with spacing 0.01; h=0.1:0.5 with spacing 0.01
执行部分
end; end; end; end;end; end; end; end;
这个程序在普通的PC 3.6GHz, 2GB内存上运行要2个星期多,把它放在系里的服务器上
运行,结果比我们lab的这个PC还慢,网管告诉我系里服务器的单个CPU才1.8GHz,尽管
我们有近30个CPU并行和全部 2... 阅读全帖
j**u
发帖数: 6059
2
来自主题: Computation版 - [合集] 请教一个C++程序结构的问题
☆─────────────────────────────────────☆
eagletiger (eagletiger) 于 (Wed Nov 23 23:01:21 2011, 美东) 提到:
程序里现在需要一个很大的Matrix, 以前写的时候是放在一个文件里,每次程序执行的
时候现读入,这样很浪费时间,现在把整个Matrix写成一个array存在程序里作global
variable,但是编译的时候很慢,要十几分钟的样子,而且编译出来的程序很大,请问
各位一般处理大的矩阵时候是如何处理的,谢谢哈.
☆─────────────────────────────────────☆
Augu (奥古) 于 (Thu Nov 24 16:35:31 2011, 美东) 提到:
要不空间换时间
要不时间换空间

global
☆─────────────────────────────────────☆
eagletiger (eagletiger) 于 (Fri Nov 25 02:14:55 2011, 美东) 提到:
俺现在就是空间换时间,矩阵大概... 阅读全帖

发帖数: 1
3
美国是个奇怪的国家,它的人均枪支拥有率是全世界最高的,使用枪支的恶性犯罪率自
然也很高,但它的死刑执行率却不高。美国各个州都有权决定本州是否保留死刑,这就
出现了有的州有死刑,有的州没有死刑。但即使保留死刑的州想执行死刑也需要漫长的
司法程序,而且死刑犯在执行前如果病了,就变成一个更复杂的问题。因为美国会处于
人道考虑,先给死刑犯治疗,等到治好了,会有司法部门来评估,再决定其是否合适履
行程序执行死刑。这就给有些犯人有机可乘,利用这些繁杂的司法程序来逃避死刑,很
多犯人从判罪入狱到执行死刑需要三到五年时间都算是快的,有的犯人居然等33年之久
才被执行死刑,这还是身体健康的犯人,有的犯人身体差点的还没来得及执行死刑,自
己先挂掉的都有。
美国宪法里各种类似人身保护权的玩意很多,表面看好像对人权非常的尊重,但是对已
经受到伤害的当事人却是非常的不公平,本来死刑的设置就是为了震慑罪犯,防止犯罪
,现在却因为司法制度上的漏洞,让犯罪分子钻了空子。相比我国的死刑执行方式,美
国的是有点拖沓了,而我国又有点短平快,这几年连续平反了好几起冤案就是当时那种
情况后的司法补偿。虽然如此,但依然认为我国的... 阅读全帖
c******k
发帖数: 1140
4
简单点说,执行部分是每次把abcdefg这8个数带入一个矩阵,然后和已知矩阵们做相乘
运算,长话短说最后只得到一个数,当然全部for loop 结束后,会产生N多的数。这个
执行部分还要实时从N多的书中求出最小的10个数。
也就是程序执行完毕,这最小的10个数也产生了。
e********r
发帖数: 2352
5
来自主题: Computation版 - 请教一个C++程序结构的问题
程序里现在需要一个很大的Matrix, 以前写的时候是放在一个文件里,每次程序执行的
时候现读入,这样很浪费时间,现在把整个Matrix写成一个array存在程序里作global
variable,但是编译的时候很慢,要十几分钟的样子,而且编译出来的程序很大,请问
各位一般处理大的矩阵时候是如何处理的,谢谢哈.
d***i
发帖数: 437
6
【 以下文字转载自 EE 讨论区,原文如下 】
发信人: dewei (玉米地的一根草), 信区: EE
标 题: 急问: 怎么看程序运行的 cpu time (fortran)
发信站: Unknown Space - 未名空间 (Thu Apr 21 02:33:06 2005) WWW-POST
fortran 里面有什么现成的function or subroutine吗?
I try "CPU_time" but the time it gives varies a lot when the Work Station proc
essor is occupied by several programs.
这个时间应该跟多少程序占用cpu没有关系啊
有什么可以只显出程序执行操作的时间呢?
多谢~~~
y**i
发帖数: 1112
7
这个程序跟我在另一个帖子里给出的程序执行方法几乎一摸一样,思路就是把每个负数
冒泡法一样的交换到它前面的所有正数的前面,与其用冒泡法还不如用插入法呢,我修
改了一下就是:
void SplitPN(int A[], int p, int r)
{
int i = p-1, j, k, temp;
for (j = p; j <= r; ++j)
{
if (A[j] < 0)
{
++i;
temp = A[j];
for (k = j; k > i; --k)
{
A[k] = A[k-1];
}
A[i] = temp;
}
}
}
r***u
发帖数: 1272
8
1. 两幅图片同时动作
PowerPoint的动画效果比较多,但图片只能一幅一幅地动作。如果你有两幅图片要一左
一右或一上一下地向中间同时动作,可就麻烦了。其实办法还是有的,先安置好两幅图
片的位置,选中它们,将之组合起来,成为"一张图片"。接下来将之动画效果设置为"
左右向中间收缩",现在请看一看,是不是两幅图片同时动作了?
2. 滚动文本框的制作
右击工具栏打开"控件工具箱",再点击文本框,而后从"属性"里面把滚动条打开,在TEXT
里面输入文本框的内容.(完成)还可以通过"其他控件"中的SHOCKWAVE FLASH OBJECT 实
现PPT中加入FLASH。
3. 轻松隐藏部分幻灯片
对于制作好的powerpoint幻灯片,如果你希望其中的部分幻灯片在放映时不显示出来,
我们可以将它隐藏。方法是:在普通视图下,在左侧的窗口中,按 Ctrl,分别点击要
隐藏的幻灯片,点击鼠标右键弹出菜单选“隐藏幻灯片”。如果想取消隐藏,只要选中
相应的幻灯片,再进行一次上面的操作即可。
4.在PPT演示文稿内复制幻灯片
要复制演示文稿中的幻灯片,请先在普通视图的“大纲”或“幻灯片”选项中,选择... 阅读全帖
b*****d
发帖数: 61690
9
昨天下午,山东高院就聂树斌案复查召开听证会。听证会持续11小时,聂案申诉律师
、河北办案单位陈述意见针锋相对,到今天凌晨0点多才结束。其间,聂案申诉律师就
办案程序,是否刑讯逼供和死刑执行时间等提出诸多疑问,河北办案单位全部予以否认
。山东高院宣布闭会时,未公布听证代表的投票意见。
辩证据
申诉方
认定聂为真凶证据不足
聂树斌案申诉代理人李树亭律师称,卷宗显示此案没有任何直接人证、物证证明聂
树斌实施犯罪,河北方面判决主要依据聂树斌的口供作出,但聂树斌的口供内容先后互
相矛盾,包括作案时间、地点、过程、杀人手段、受害人相貌、衣物特征、抛埋衣物地
点等,不能自圆其说。比如,聂树斌对案发时被害人身穿连衣裙的外观有过多种不同表
述。
王书金多次供述在石家庄市西郊玉米地强奸杀人的犯罪事实,王书金供述的作案时
间、地点、受害人相貌、衣物特征等,均得到受害人亲属证言、现场勘查照片及玉米地
主人等相关证据印证。真正的凶手更多地指向了王书金而非聂树斌,即使不能确定王书
金是此案真凶,也不能确认聂树斌是真凶。
李树亭称,卷宗显示,现场勘查受害人左脚西侧偏南30cm处有一串钥匙,但阅遍卷
宗未发现聂树斌对... 阅读全帖
b*****t
发帖数: 9671
10
首页>>电子报>>南方周末>>第1394期 被“维稳”的法院裁决 “顶牛”法官揭执行内幕
作者: 南方周末记者 曹勇 发自湖南长沙、慈利、张家界
2010-11-04 10:12:36
来源:南方周末

长沙市芙蓉区政府的一名负责官员,以“维稳”的名义卖掉了一家公司的土地。后又打
出“维稳”旗号,成功抗拒了法院对该土地的强制执行。
但执行法官赵书军并不服气:“难道不讲法律、不追查下去就稳定了?讲法律和追查问
题反而就不稳定了?……维护稳定是你政府的事情,但怎么能拿人家的财产来维稳?”
法官们还破天荒地把“被维稳”的情况写入了法律裁定中,以示抗议。
http://www.infzm.com/content/52243
皱眉,低头,缩肩,两手插在裤包里,沉默寡言、闷闷不乐……湖南省慈利县法院执行
局法官赵书军出赵书军现在了南方周末记者眼前。
两个月前,2010年9月10日,抗争无效的赵书军迫于上级的“维稳要求”,违心地作出
了一份“解除财产查封”的裁定(涉及一宗市值数亿元的土地)。他认为这是违法的裁
定,以至一个多月来,“天天都在忍受内心的折磨”。
令人称奇的是,赵书军等执行法官,把“被... 阅读全帖
w***t
发帖数: 8175
11
法制网记者余东明《法人》记者姜东良
“这个案子我们内部程序有错,衔接上有失误”。近日,淄博市高新技术产业区人
民法院(以下称高新区法院)院长孙星光承认的这起错误执行案引发了700万国家赔偿
申请。
据统计,截至去年《国家赔偿法》颁布实施15年来,山东省共处理各类国家赔偿案
件7079件,支付赔偿金额近1.2亿元,案均赔偿1.7万元。据记者向有关部门查证,银通
典当申请的国家赔偿是该省因执行错误引发的单笔最高额国家赔偿。
“绝当”物被离奇拍卖
案子的起因源自高新区法院受理的一起民间借贷案。
2007年7月26日,淄博高新区村民曹永刚诉山东新德威耐尔工业建材有限公司(以
下称新德公司)民间借贷纠纷一案,要求高新法院判令新德公司偿还借款101万元。
起诉的前一天,曹永刚向高新区法院提出了财产保全申请。高新区法院当天就做出
裁定:冻结新德公司银行存款101万元;如存款不足,即查封其相应价值的财产。5天后
,法院依据曹永刚的申请查封了高新区曹三村委会仓库内存放的5万5千箱某品牌仿古瓷
砖。
9月5日,高新区法院缺席判决新德公司偿还曹永刚101万元;之后,又委托评估公
司对这批查封瓷砖进行了评估,... 阅读全帖
w***t
发帖数: 8175
12
【 以下文字转载自 Military 讨论区 】
发信人: wneat (鲁牛), 信区: Military
标 题: 山东一法院执行错误引700万国家赔偿创最高记录
发信站: BBS 未名空间站 (Mon Jun 13 00:19:38 2011, 美东)
法制网记者余东明《法人》记者姜东良
“这个案子我们内部程序有错,衔接上有失误”。近日,淄博市高新技术产业区人
民法院(以下称高新区法院)院长孙星光承认的这起错误执行案引发了700万国家赔偿
申请。
据统计,截至去年《国家赔偿法》颁布实施15年来,山东省共处理各类国家赔偿案
件7079件,支付赔偿金额近1.2亿元,案均赔偿1.7万元。据记者向有关部门查证,银通
典当申请的国家赔偿是该省因执行错误引发的单笔最高额国家赔偿。
“绝当”物被离奇拍卖
案子的起因源自高新区法院受理的一起民间借贷案。
2007年7月26日,淄博高新区村民曹永刚诉山东新德威耐尔工业建材有限公司(以
下称新德公司)民间借贷纠纷一案,要求高新法院判令新德公司偿还借款101万元。
起诉的前一天,曹永刚向高新区法院提出了财产保全申请。高新区法院当天就做出
裁定:冻结新... 阅读全帖
c***s
发帖数: 70028
13
据周友平交代,姓方的男子玩上吊时,自己就坐在床上什么都没干,就是一直看着,看见对方双眼闭上、双脚离地,看了十多秒,见对方不会掉下来,便转身离开了。
周友平
从被判死刑算起,时隔3年多,8月29日,长沙“跑场歌手”周友平最终伏法,被执行死刑。
周友平在四年前,因多起同性性虐“吊杀”案,检方指控其犯有故意杀人罪,2011年,周友平被判死刑。
今年8月29日,周友平死刑被最高人民法院核准。周友平性虐“同性”“吊杀”案的审判在3年前进行。事情还得从5年前说起。
今年42岁的周友平是湖南湘乡人,中专文化,曾在长沙歌厅做“跑场歌手”。周友平面容姣好,看似文弱的他,却用上吊的方式,在长沙“玩”死了多名男性。
自2009年10月11日起到11月26日,40多天的时间里,先后有6名身材高大健硕的北方男子,在不同的酒店旅馆中,以同样的方式死于非命。
警方调查发现,这些人的死亡都是因为玩一种追求窒息性快感的虐恋性游戏,而他们共同的情人,就是周友平。
2009年11月28日,周友平因涉嫌抢劫犯罪被刑拘,而后供述了杀人的犯罪事实。
长沙中院一审认为,周友平明知绳索上吊会发生死亡的后果,仍利用被害人愿意玩性窒息游... 阅读全帖
l****z
发帖数: 29846
14
【 以下文字转载自 GayStudy 俱乐部 】
发信人: dcb (奉钻风之命删除), 信区: GayStudy
标 题: 长沙男歌手同性虐致6名男子死亡 已被执行死刑 (转载)
发信站: BBS 未名空间站 (Tue Sep 16 11:22:57 2014, 美东)
【 以下文字转载自 Military 讨论区 】
发信人: zhaoce (米高蜥蜴), 信区: Military
标 题: 长沙男歌手同性虐致6名男子死亡 已被执行死刑
发信站: BBS 未名空间站 (Tue Sep 16 07:28:11 2014, 美东)
2014年09月16日 09:55
来源:潇湘晨报
213997人参与 11349评论
周友平
原标题:连环性虐致6人死长沙歌手周友平被执行死刑
从被判死刑算起,时隔3年多,8月29日,长沙“跑场歌手”周友平最终伏法,被执行死
刑。
周友平在四年前,因多起同性性虐“吊杀”案,检方指控其犯有故意杀人罪,2011年,
周友平被判死刑。
今年8月29日,周友平死刑被最高人民法院核准。周友平性虐“同性”“吊杀”案的审
判在3年前进行。事情还得从5年前说起。
今年... 阅读全帖
m****s
发帖数: 18160
15
来自主题: Complain版 - Complain版投诉须知[发文前必读]
对版面置顶文章进行整理,该须知包括以下几部分内容:
第一部分 投诉版简介
第二部分 投诉流程
第三部分 投诉受理标准(包含投诉有效性)
第四部分 投诉版模板填写指南
第五部分 投诉处理过程中的相关信件
第六部分 站务处理原则及其他补充
如果您欲在本版发起投诉帖,发帖前请仔细阅读该须知。
该须知仅适用于对版主日常事务的投诉,其他类别投诉:
变形虫投诉:http://www.mitbbs.com/article_t/Complain/31245719.html
信箱轰炸投诉:http://www.mitbbs.com/article_t/Complain/31181934.html
版面金库使用问题投诉:http://www.mitbbs.com/article_t2/WBCenter/12535663.html
人肉轰炸投诉:mitbbs站内信投诉 或 sysop版投诉
刷屏炸版投诉:mitbbs站内信投诉 或 sysop版投诉
全站性PA投诉:mitbbs站内信投诉 或 sysop版投诉
版副投诉:与该版版面正版主站内信投诉
版面事务投诉:与该版版面版主站内信投诉
==========... 阅读全帖
m****s
发帖数: 18160
16
来自主题: Complain版 - Complain版投诉须知[发文前必读]
对版面置顶文章进行整理,该须知包括以下几部分内容:
第一部分 投诉版简介
第二部分 投诉流程
第三部分 投诉受理标准(包含投诉有效性)
第四部分 投诉版模板填写指南
第五部分 投诉处理过程中的相关信件
第六部分 站务处理原则及其他补充
如果您欲在本版发起投诉帖,发帖前请仔细阅读该须知。
该须知仅适用于对版主日常事务的投诉,其他类别投诉:
变形虫投诉:http://www.mitbbs.com/article_t/Complain/31245719.html
信箱轰炸投诉:http://www.mitbbs.com/article_t/Complain/31181934.html
版面金库使用问题投诉:http://www.mitbbs.com/article_t2/WBCenter/12535663.html
人肉轰炸投诉:mitbbs站内信投诉 或 sysop版投诉
刷屏炸版投诉:mitbbs站内信投诉 或 sysop版投诉
全站性PA投诉:mitbbs站内信投诉 或 sysop版投诉
版副投诉:与该版版面正版主站内信投诉
版面事务投诉:与该版版面版主站内信投诉
==========... 阅读全帖
c*******l
发帖数: 2083
17
对版面置顶文章进行整理,该须知包括以下几部分内容:
第一部分 投诉版简介
第二部分 投诉流程
第三部分 投诉受理标准(包含投诉有效性)
第四部分 投诉版模板填写指南
第五部分 投诉处理过程中的相关信件
第六部分 站务处理原则及其他补充
如果您欲在本版发起投诉帖,发帖前请仔细阅读该须知。
该须知仅适用于对版主日常事务的投诉,其他类别投诉:
变形虫投诉:http://www.mitbbs.com/article_t/Complain/31245719.html
信箱轰炸投诉:http://www.mitbbs.com/article_t/Complain/31181934.html
版面金库使用问题投诉:http://www.mitbbs.com/article_t2/WBCenter/12535663.html
人肉轰炸投诉:mitbbs站内信投诉 或 sysop版投诉
刷屏炸版投诉:mitbbs站内信投诉 或 sysop版投诉
全站性PA投诉:mitbbs站内信投诉 或 sysop版投诉
版副投诉:与该版版面正版主站内信投诉
版面事务投诉:与该版版面版主站内信投诉
==========... 阅读全帖
g**1
发帖数: 10330
18
只因写了一段爬虫,公司200多人被抓!
“一个程序员写了个爬虫程序,整个公司200多人被端了。”
“不可能吧!”
刚从朋友听到这个消息的时候,我有点不太相信,做为一名程序员来讲,谁还没有写过
几段爬虫呢?只因写爬虫程序就被端有点夸张了吧。
朋友说,消息很确认并且已经进入等待审判阶段了。
01.对消息进一步确认
朋友认识几个律师朋友,和他们有一些业务来往,得知他们想尝试把业务扩展到程序员
这个群体。那段时间我刚好离职也有时间,在朋友的安排下一起聊聊看看有没有合作的
机会。
他们为什么想扩展人群到程序员这个行业呢?其实就是因为他们代理了这名程序员的官
司,才发现很多程序员完全不懂法,直接说是法盲一点都不过分。
刚好我也很好奇程序员因爬虫被抓这个案子,看看到底是怎么回事,就和两名律师以及
朋友坐到一起,深入交流后才知道整个事件的来龙去脉。
这名程序员在被警察逮捕后,警察审问期间一直不承认自己触犯了法律,并且也完全没
有意识到自己犯法了。进去之后总以为警察搞错了,过几天就会把自己放出来,结果也
错过了取保候审的机会。
律师说,这名程序员的妈妈当时在他毕业的时候,就因程序员这个行业太辛苦不同意他... 阅读全帖
a****n
发帖数: 7
19
来自主题: BuildingWeb版 - CGI怎么调本地的可执行程序
Hi,
我想在CGI程序里调本地的可执行程序并且把该可执行程序的标准输出进行分析。我试

好几个方法都不管用。
我用system()函数调可执行程序,但是web server不让cgi 通过system()call 其它可
执行程序.
有什么方法解决这个问题。
o******1
发帖数: 1046
20
【 以下文字转载自 Linux 讨论区 】
发信人: outlook1 (outlook1), 信区: Linux
标 题: perl cgi中调用C可执行程序为什么在html中不显示?
发信站: BBS 未名空间站 (Sat Apr 12 02:23:45 2014, 美东)
我用perl写一个cgi的程序,其中调用了自己写的C程序(binary executable),需要
其stdout,所以用的是backticks。
如果单独运行perl cgi,结果正常,所有该print出来的全部出现,包括调用的C程序的
output。但是一旦从html里面连接到这个perl cgi,C程序ouput的部分,在网页中不显
示。
我试着把调用C程序的部分改成调用Linux系统程序,比如ls,cat等等,其output在网
页中就正常出现了。
我很困惑,大概知道是因为C程序的output没有被返回到perl process里面。但是在单
独执行perl程序的时候,调用的C就正常的输出到stdout了。又想了一想,可能是perl
和C共享了屏幕显示,所以我分辨不出来。但是在运行perl程序的时候... 阅读全帖
i***s
发帖数: 39120
21
昨天,航天员飞行乘组参加演练。央视截屏
酒泉卫星发射中心气象室,针对发射场未来几天的天气情况进行专题会商。
酒泉卫星发射中心气象室,针对发射场未来几天的天气情况进行专题会商。神九“带妆彩排”很成功
昨天,在酒泉卫星发射中心的统一组织调度下,神舟九号飞船进行了全系统发射演练,执行首次载人交会对接任务的航天员飞行乘组身穿航天服全程参与了演练任务。结果表明,各系统组织指挥顺畅,技术状态正确,参试设备工作正常,满足发射任务要求。
昨天的发射场区内,神舟九号和运载火箭在蓝色塔架的包裹下直刺天空。这次演练,是神九发射前首次组织的综合联合演练,也是任务展开以来参试系统最多、最全、最贴近实战的一次模拟演练。
当天10点零7分,演练进入负4小时30分程序。3名执行神九飞行任务的航天员按照正式任务的节点安排,离开问天阁、进入发射区、进舱准备、点火升空,全过程参与演练。
演练过程中,航天员、飞船、火箭、发射场、测控通信等各参试系统组织严密,指挥员口令准确,技术人员操作熟练,系统之间协调一致,各项程序有条不紊地进行。航天员飞行乘组相互配合默契,程序执行准确无误。4个多小时的联合演练充分检验了各系统工作状况。
... 阅读全帖
l**i
发帖数: 8144
22
程序正确 被国内文科脑残文人阉党 翻译为程序正义
这帮傻逼真应该送到我说的指定地点 进行升华
关于所谓只看程序的傻逼们 应该送到生猪屠宰场 体验一下程序的精确性
生猪屠宰良好操作规范
1 范围
本标准规定了对生猪屠宰分割企业的人员、环境与设施、宰前、屠宰、宰后
处理及分割、贮藏和运输过程中品质和卫生管理等方面的基本技术要求。
本标准适用于生猪屠宰及分割加工企业。
2 规范性引用文件
下列文件中的条款通过本标准的引用而成为本标准的条款。凡是注日期的引
用文件,其随后所有的修改单(不包括勘误的内容)或修订版均不适用于本标准,然而
,鼓励根据本标准达成协议的各方研究是否可使用这些文件的最新版本。凡是不注日期
的引用文件,其最新版本适用于本标准。
GB 5749 生活饮用水卫生标准
GB/T 6388 运输包装收发货标志
GB 7718 食品标签通用标准
GB 9959.2 分割鲜、冻猪瘦肉
GB 9959.3 分部位分割冻猪肉 ... 阅读全帖
c*****g
发帖数: 492
23
中新网8月27日电 十一届全国人大CW会第二十八次会议今日起至31日在京举行。会议将
继续审议民事诉讼法修正案草案、农业技术推广法修正案草案、精神卫生法草案;首次
审议特种设备安全法草案、旅游法草案、环境保护法修正案草案。
根据本月20日召开的十一届全国人大CW会第八十七次委员长会议建议的议程,CW会第二
十八次会议将继续审议民事诉讼法修正案草案、农业技术推广法修正案草案、精神卫生
法草案;首次审议特种设备安全法草案、旅游法草案、环境保护法修正案草案。
委员长会议建议的CW会第二十八次会议议程还有:审议国务院关于今年以来国民经济和
社会发展计划执行情况的报告、关于今年以来预算执行情况的报告、关于县级基本财力
保障机制运行情况的报告;审议全国人大CW会执法检查组关于残疾人保障法实施情况的
报告;审议全国人大内务司法委员会关于残疾人保障法立法后评估的报告;审议全国人
大CW会代表资格审查委员会关于个别代表的代表资格的报告;审议全国人大CW会委员长
会议关于提请审议香港特别行政区第十二届全国人民代表大会代表选举会议成员名单草
案和澳门特别行政区第十二届全国人民代表大会代表选举会议成员名单草案... 阅读全帖
wy
发帖数: 14511
24
来自主题: Thoughts版 - NP, NP-completeness (1)
为了清晰化大家关于AI的讨论,偶不得不
首先引入以下概念:
1. 非决定性与决定性图灵机:
为了不过于复杂,我们从决定性图灵机出发,
大家可以把决定性图灵机想象成一般的计算机:
每次执行一条指令。在开始,图灵机有一个初使
状态,以后每走一步,图灵机的内部状态--内存的
内容会有改变,联系和当前执行的指令,我们称之为
图灵机的一个状态。
一个图灵机程序是一个“是”“非”测试,在程序执行
完毕后,图灵机应该either accept or reject程序。
非决定性图灵机:从图灵机的当前状态出发,图灵机
的下一个指令是概率的,即,下一步执行哪一条指令,
被一个概率函数决定。注意,这不是因为跳转指令,
而是非决定性的天生性质。
两个重要的区别在deterministic Turing machine and nondeterministic
Turing machine(NT):
1. 在某一步,NT可能选择什么也不执行。由此程序停止,但是既不接受也
不拒绝程序。
2.事实上,NT只有接受状态,而没有拒绝状态。
给一个例子说明一下:
比如说给定一个二叉树,找叶子的值为2者,用决定性图灵机大
d*********o
发帖数: 6388
25
http://news.163.com/13/0227/22/8OOK4ND700014JB5.html
中广网北京2月27日消息 记者从昆明市中级人民法院获悉,经最高人民法院核准,湄公
河“10.5”案四名罪犯糯康、桑康?乍萨、依莱、扎西卡,将于3月1日在云南昆明被依
法执行死刑。
据介绍,糯康犯罪集团杀害13名中国船员一案在二审维持原判之后依法进入了死刑复核
程序,最高人民法院进行核准后由最高人民法院院长签发了执行死刑命令。2月22日,
昆明市中级人民法院收到糯康等四名被告人的死刑复核裁定和死刑执行命令,并于2月
24日将死刑复核裁定向四名被告人进行了送达。
按照我国刑事诉讼法和相关司法解释的规定,昆明市中级人民法院将严格依法按照死刑
执行程序,于3月1日依照执行死刑命令,在昆明市人民检察院临场监督下对四名罪犯执
行死刑。
据悉,法院将采用注射方式对四名罪犯执行死刑。在执行死刑前,法院已按涉外程序及
时通知泰国、缅甸两国驻昆领事馆对各罪犯进行会见,并通过领事馆联系了各罪犯的近
亲属安排探视,保障了他们所享有的各项诉讼权利。在死刑执行后,还将对四名罪犯的
骨灰、遗书及遗物等向其近亲属... 阅读全帖
b*****d
发帖数: 61690
26
在陕西华阴身负命案的罪犯李宏亮因参与杀人被判处有期徒刑十年,然而在服刑期间
他却如常人一样自由出入公共场合,并再次参与杀人。李逃离法律制裁的背后,是审判
法官违法办理监外执行、拒不收监犯人,这一系列乱象,暴露出华阴司法系统乱象。
高军下葬已2年。其舅忆及往事,仍心怀凄然。“他是被当街砍死的。”
高军,这名陕西华阴市的公务员,在2012年,仕途正春风得意。参加一场商务宴请
后,被人用刀砍死。警方侦查发现,其中一名嫌疑人李宏亮已身背命案,本该在狱中服
刑,但他仍像常人一样自由出入社会公共场所。
李宏亮在被违规办理了监外执行后,再犯命案。
闹市命案
公务员高军死了,他在闹市区被人用一米长的砍刀,砍断了颈椎
那是2012年夏季的周四夜晚,高军遇害的时间是当晚9点多。
在此3个小时前,这名36岁的男子还给妻子打电话说,今天有应酬,争取早点回家
。他去参加当地商人李峥嵘的宴请。身为华阴市“罗敷工业园区管委会”项目科科长的
高军准备和李谈加气站的业务,一同参加的还有工业园另外两名同事,以及华阴检察院
反贪局副局长等人。
李峥嵘的父亲在当地颇有名气,是渭南秦晋矿业公司老总。
高军与李峥嵘的争执源于席间... 阅读全帖
M******a
发帖数: 6723
27
http://china.ynet.com/3.1/1608/07/11562874.html
2016-08-07 01:03:00来源:广州日报
男子办证明发现自己十年前“被执行死刑”
原标题:男子开证明方知“被枪毙”
据广东广播电视台《今日关注》微信公众号8月5日报道,现在很多用人单位,在招
工的时候都要求求职者提供无犯罪记录证明,而这件平常事近日却为广州番禺街坊陈先
生带来烦恼。皆因他在上个月前去派出所开无犯罪记录证明的时候,遭到了办证民警的
拒绝,而原因竟然是,他本人早在2001年因为犯绑架罪被执行了死刑,“被执行了死刑
”?那就是死了15年还要回来开无犯罪证明?摆的什么乌龙呢?
广州市民陈先生:“7月29日我去市桥的富华派出所,当时的民警和我说,我在
2001年已经犯了绑架罪,判了死刑已经执行了,按照字面意思,我是已经死了。”
2001年犯下绑架罪,还被广州市中级人民法院判了死刑,这些信息被清晰记录在一
份印有全国公安综合信息查询系统字样的文件上。陈先生说,这份文件是自己于本月29
日,前去番禺市桥富华派出所,开具无犯罪记录证明时由民警转交给他的。
记者今天看过这张纸的内容... 阅读全帖
t**********k
发帖数: 511
28
来自主题: LeisureTime版 - 校园性侵和法律程序
校园性侵和法律程序
不久以前在飞机上遇到了一个十分健谈的旅伴,他在一个大学里面教书,我们就天南
海北的胡吹了一通。这时我突然想到,他工作的那所学校,刚刚因为校园性侵而弄得满
城风雨,成为新闻媒体的宠儿,我就问他是怎么一回事。
他叹了一口气,说:
“这事情有些莫名其妙。一个女生在学生的聚会上喝多了酒,清醒了以后发现自己被性
侵了,然后报警,但检察官发现证据不足而无法起诉。然而,这个学生却把满腔怒火瞄
准了学校,说学校不作为,因为没有把涉案的学生开除,她经常还要面对这个学生而无
法忍受。
这话真是不知道怎么说,那些学生经常喝得神志不清,鬼才知道是愿意还是不愿意。再
说那些聚会根本与学校无关,学校当然希望学生好好读书不惹事生非,从来不支持学生
的这种聚会,但哪里有人听。学生都是成年人了,学校不能干涉他们的人生自由,禁止
他们去那种地方。再把话说回来,如果学校发布那样一个禁令,喝酒就开除,那学生还
不造反,学校还会有人来读书吗?”
我说:
“难道学校就不能有些办法吗?学校照理说应该保证学生的... 阅读全帖
t**********k
发帖数: 511
29
来自主题: LeisureTime版 - 校园性侵和法律程序
校园性侵和法律程序
不久以前在飞机上遇到了一个十分健谈的旅伴,他在一个大学里面教书,我们就天南
海北的胡吹了一通。这时我突然想到,他工作的那所学校,刚刚因为校园性侵而弄得满
城风雨,成为新闻媒体的宠儿,我就问他是怎么一回事。
他叹了一口气,说:
“这事情有些莫名其妙。一个女生在学生的聚会上喝多了酒,清醒了以后发现自己被性
侵了,然后报警,但检察官发现证据不足而无法起诉。然而,这个学生却把满腔怒火瞄
准了学校,说学校不作为,因为没有把涉案的学生开除,她经常还要面对这个学生而无
法忍受。
这话真是不知道怎么说,那些学生经常喝得神志不清,鬼才知道是愿意还是不愿意。再
说那些聚会根本与学校无关,学校当然希望学生好好读书不惹事生非,从来不支持学生
的这种聚会,但哪里有人听。学生都是成年人了,学校不能干涉他们的人生自由,禁止
他们去那种地方。再把话说回来,如果学校发布那样一个禁令,喝酒就开除,那学生还
不造反,学校还会有人来读书吗?”
我说:
“难道学校就不能有些办法吗?学校照理说应该保证学生的... 阅读全帖
c*u
发帖数: 226
30
法制晚报讯 法晚记者从内蒙自治区政法委、内蒙自治区公安厅和内蒙自治区高院等多
个信源处获得独家消息:轰动全国的内蒙“呼格吉勒图冤杀案”即将启动重审程序,被
以“故意杀人罪”枪决18年后,当年的杀人犯伙呼格吉勒图面临无罪判决的可能。
1996年4月,内蒙自治区呼和浩特市毛纺厂年仅18岁的职工呼格吉勒图和工友闫峰夜班
休息时,听到女厕内有女子呼救,便急忙赶往女厕内施救。而当他赶到时,呼救女子已
经遭强奸后扼颈身亡。随后呼格吉勒图跑到附近警亭报案,不想却被时任呼和浩特市公
安局新城分局局长冯志明认定为杀人凶手。仅仅61天后,法院在没有充足证据支持的情
况下,便判决呼格吉勒图死刑,并予以立即执行。认为儿子遭到错杀的呼格吉勒图父母
,随后走上常年上访之路。2005年被媒体誉为“杀人恶魔”的内蒙系列强奸杀人案凶手
赵志红在公安部督办、呼和浩特市公安局主要领导亲自拉网追捕下落网。让人感到震惊
的是,赵志红落网后交代的10起强奸杀人案的第一起就是“4.9”女尸案,而这个案件
正是当年认定呼格吉勒图为凶手、并且已经对其执行死刑9年的案件!据悉,1996年呼格
吉勒图被抓获和枪决后,包括冯志明在内的诸多... 阅读全帖
T*R
发帖数: 36302
31
5000块对有钱人不算钱,但是对穷人/农民也不算很少了。
一审就决定,不给别人上诉找说法的机会,对稳定不利啊。
土共现在也不是很差钱了,怎么这么想不开?
5000元以下民事案拟一审终审 判决书向公众开放
来源:京华时报 2011年10月25日01:44我来说两句 (0) 复制链接打印大中小大中小大
中小
全国人大常委会第二十三次会议昨天初次审议民事诉讼法修正案草案。草案规定金
额5000元以下民事案件实行一审终审,公众将可查阅发生法律效力的判决书、裁定书等
重要内容。此外,值得注意的是,草案多处增加与现实情况相符合的数字化应用的方式
,比如,证人如果不能出庭作证,可通过视频传输技术作证,“电子数据”也作为证据
的一种等。
>>诉讼权利
法院不立案7日出裁决
【草案】 现在在司法实践中出现起诉难,到法院去起诉但是遇到不给立案的情形。
针对这种情形,修正案草案规定人民法院应当保障当事人依照法律规定享有的起诉
权利,明确“人民法院对不符合起诉条件的,应在7日内做出裁决书,当事人对裁定不
服的可以提起上诉。”
生效判决书向公众开放
【草案】公众可以查阅发生法律效力的判决书、裁定书,但涉及国家秘... 阅读全帖
m******8
发帖数: 2153
32
美联邦法庭“不问不说”裁决续:国防部暂停执行相关政策,司法部正式上诉
爱白网
2010-10-15
10月14日,美国司法部就联邦地区法官本周作出的立即停止执行“不问不说”政策
的裁定提出上诉,与此同时,国防部则表示将遵从法庭裁决,暂停在军队执行禁止公开
的同性恋者服役的所有程序。
在9月9日裁决“不问不说”政策违宪之后,位于加州的联邦地区法官弗吉尼亚-菲
利普斯(Virginia Phillips)又于10月12日裁令国防部立即停止“不问不说”政策的
执行。所谓的“不问不说”(Don't Ask, Don't Tell)政策是基于1993年起生效的有
关法律,即不允许现役军人中的同性恋者公开性倾向,也不允许军队询问军人的性倾向
,违反这一政策的军人将被开除。
代表被告方的司法部的律师表示,政府方面要求联邦法庭在本案上诉期间暂缓生效
本周的最新裁决。政府将向联邦巡回上诉法庭提出上诉,如果在上诉庭再次败诉,政府
还可上诉到联邦最高法院。
对于政府方面希望有关裁决暂缓生效的立场和行动,作为原告方的共和党同性恋者
团体“Log Cabin”已表示将向法庭申请驳回政府的要求。在星期二的联邦法庭... 阅读全帖
b**********s
发帖数: 9531
33
【 以下文字转载自 Military 讨论区 】
发信人: StephenKing (金博士), 信区: Military
标 题: 从月嫂vs高等程序猿一案说美国劳工法相关规定
发信站: BBS 未名空间站 (Fri Aug 15 01:38:57 2014, 美东)
发信人: oskarlre (oskar), 信区: SanFrancisco
标 题: O编辑总结:从Lisa Fong 事件说美国劳工法相关规定
发信站: BBS 未名空间站 (Fri Aug 15 00:07:13 2014, 美东)
免责声明: 作者只是劳工部执法人员,讨论的是劳工部对一些行为的官方态度。本文
也仅做联邦劳工法(各州在联邦基础上有进一步规定,本文不做讨论)科普使用,面向
公众,仅供参考。
美国法律,包括劳工法是复杂而不断变化的。因此,本文尽量保持信息及时性但是不能
保证法律的准确性。在任何情况下,对于本文信息的可用性、可靠性,或对任何信息的
错误、遗漏或由于其他不准确所引起的损害,作者不承担法律责任。由于法律的飞速变
化,作者不能保证本文上的其他链接完全的准确性和可用性。
本文信息涉及与法律... 阅读全帖
p**********u
发帖数: 15479
34
1995年1月30日,复兴航空一架ATR72型客机,航班编号GE510A,飞机编号B-22717,因
为农历除夕,载客由台北至马公后,空机飞返台北松山机场,途中偏离航道于桃园龟山
兔子坑撞山坠毁。机上无乘客,正副驾驶及空中服务人员等四名机组殉职。 2002年9月
5日,复兴航空航班编号GE517班机,国籍标志及登记号码B22810,机型ATR72-212A,预
计由台北松山机场飞往澎湖马公机场。台北时间1814时,该机于松山机场起飞后爬升至
500呎,塔台告知该机之尾翼冒出火花及浓烟,二号发动机火警警告亦同时产生;1814
:50时,该机继续爬升至800呎左右,此时非操控驾驶员发现驾驶舱冒出白烟,立即执
行空中关车及灭火程序并决定返航。约于1839时降落松山机场。机上驾驶员2人、客舱
组员2人及乘客43人皆平安;航空器除二号(右侧)发动机损坏外,其余正常。 [1]
2002年12月21日台北时间 01:52,复兴航空GE791货机执行桃园至澳门之货运班机任务
,机型为ATR72-200,国籍标志及登记号码为B-22708,于飞航中遭遇积冰(Severe
Icing),除冰失败后,在马公... 阅读全帖
a****a
发帖数: 5763
35
因势而动
1981年, Jean-Marie Hullot拿到巴黎第十一大学的计算机科学博士资格后,开始了法
国国家信息与自动化研究所(INRIA)的研究生活。
Jean-Marie Hullot的名字似乎不为大众所熟知,但他设计的Interface Builder 却深
入人心,创造了一个个软件神话。
20世纪70年代初,正是面向对象程序设计开始走上历史舞台的时期。许多现代计算机技
术的诞生地Xerox PARC(施乐帕洛阿尔托研究中心)的Alan Kay、Dan Ingalls、Ted
Kaehler 、Adele Goldberg等人,从1969年开始研发一款面向对象的程序语言
Smalltalk,并于1980年正式公布。这是一个完整地实现面向对象范型的编程套件,包
含了一种面向对象的程序设计语言、一种程序设计库和一个应用开发环境(ADE)。
虽然当时的机器跑得巨慢无比,但Smalltalk先进的思想对其他众多的程序设计语言(
Objective-C、Actor、Java和 Ruby)的产生起到了极大的推动作用,对计算机工业界
的发展产生了非常深远的影响。我们将会在今后介绍Obj... 阅读全帖
t****t
发帖数: 820
36
我有很长的一大篇程序想要分段执行. 如果一段一段的用鼠标高选再执行太累了.
想问问大家有没有好的方法可以在任意两个proc之间插入一个命令,让SAS执行到那里的
时候就自动停止执行.
我知道在SAS batch mode下可以用ENDSAS来停止执行下面的程序. 但是在Enterprise
Guide下用ENDSAS会断开sas服务器连接, 所以不能用ENDSAS.
Proc XXX;
xxxxxx;
xxxxx;
run;
ENDSAS;
Proc YYY;
yyyyy;
yyyyy;
run;
f***o
发帖数: 883
37
昨天,在酒泉卫星发射中心的统一组织调度下,神舟九号飞船进行了全系统发射演练,
执行首次载人交会对接任务的航天员飞行乘组身穿航天服全程参与了演练任务。结果表
明,各系统组织指挥顺畅,技术状态正确,参试设备工作正常,满足发射任务要求。
昨天的发射场区内,神舟九号和运载火箭在蓝色塔架的包裹下直刺天空。这次演练
,是神九发射前首次组织的综合联合演练,也是任务展开以来参试系统最多、最全、最
贴近实战的一次模拟演练。
当天10点零7分,演练进入负4小时30分程序。3名执行神九飞行任务的航天员按照
正式任务的节点安排,离开问天阁、进入发射区、进舱准备、点火升空,全过程参与演
练。
演练过程中,航天员、飞船、火箭、发射场、测控通信等各参试系统组织严密,指
挥员口令准确,技术人员操作熟练,系统之间协调一致,各项程序有条不紊地进行。航
天员飞行乘组相互配合默契,程序执行准确无误。4个多小时的联合演练充分检验了各
系统工作状况。
发射场系统总指挥崔吉俊介绍,整个演练过程非常顺利,各系统技术状态设置正确
,测试指标合格,指挥顺畅,在未来的几天,将进一步做好各系统的测试数据的复核、
复算工作,固化技术状态,然后... 阅读全帖
i***s
发帖数: 39120
38
张某原是某公司的病毒样本分析师,他得知编写恶意程序增加软件下载量可获得广告费用后,编写了恶意程序并上传互联网,致使3万余名QQ用户被感染。昨天记者获悉,张某因破坏计算机信息系统罪,被东城法院判处有期徒刑10个月,缓期1年执行。
感染后会自动下载软件
据承办此案的东城检察院检察官介绍,1989年出生的男子张某,案发前是某公司的病毒样本分析师。2014年4月,他在从网络论坛上得知编写恶意程序,帮助 一些软件公司增加软件的下载量可以赚取广告推广费用后,便利用工作便利,编写了破坏性的程序,并于同年5月上传至互联网。
“这个恶意程序隐 藏在一个网络链接内,用户只要点击了链接,就会静默下载软件”,检察官说,这个恶意程序的功能主要有两个,一个是计算机用户点击了链接后会有推广软件静默 下载到计算机;另一个是如果用户点链接时还登录着QQ,这个病毒性程序还会登录QQ群管理,在群共享中继续发布这个网络链接。
据检察官介绍,恶意程序进入QQ后,会自动伪装成“QQ聊天记录查询”,一旦有人好奇点击了这个链接,便会在群共享中发布,诱使更多用户点击。经鉴定,张某编写的这套破坏性程序,会造成QQ用户隐私信息泄露、财产损... 阅读全帖
S*********4
发帖数: 5125
39
【 以下文字转载自 ComputerGraphics 讨论区 】
发信人: Shotgun1984 (喷子), 信区: ComputerGraphics
标 题: 谈攻击高铁的可能程序:并非什么新技术
发信站: BBS 未名空间站 (Wed Jul 27 12:04:37 2011, 美东)
谈攻击高铁的可能的程序:并非什么新技术
所谓动态生成代码并执行,其实并不是什么新技术.
比如某个病毒, 一旦被触发, 就执行下面的几个步骤:
1, 找到一段特定的加密数据, 解密解压缩生成代码A;
2, 将执行权转交解开的代码A(可能只是个地址跳转指令);
3, 代码A生成2个进程, 1号进程执行预定行动, 比如让所有的灯全绿;2号进程
再找到另一段特定的更大规模加密数据, 解密解压缩成更大规模的代码B;
4, 将执行权转交解开的代码B;
5, 代码B功能更强大, 可能生成3个进程, 1号进程执行更多的预定行动....;2
号进程再找到另一段特定的更大规模加密数据, 解密解压缩成更大规模的代码C; 3号进
程检查系统内存中是否有追踪程序, 并尽力杀死'追踪者',同时删除代码A;

发帖数: 1
40
还是从某银行起诉自己的客户说起。面对成百上千的案子,有的基层法院法官一般会建
议双方调解,如果判,贷款人无一例外会败诉,就必须十日内归还银行全部本金、利息
、罚息、复利,如果还不上就会强制执行,上失信人名单,意味着无法再在任何银行贷
款,意味着会被天眼查等工具关联记录,意味着不能坐高铁等。
法官会劝贷款人接受调解,这样可以在三个月内归还,也许会有转机。而如果三个月后
还是还不上全部款项,银行再拿调解书申请强制执行。晚几个月上失信人名单,对很多
小微企业主也有实际价值。感谢法官。同时,这也都是依法办案,无可指摘。
我想说的是,最高法推出失信被执行人和限制消费的政策以来,对化解执行难有很大的
帮助,确实很大程度上解决了大问题,功德无量。但与此同时,也出现了滥用、泛用失
信人名单的情况,而且十分普遍。
虽然最高法规定里写的失信被执行人是指包括伪造证据、暴力威胁、虚假诉讼、转移财
产等多种情况,但实际上被列入失信人名单的85%以上都是”有履行能力而不履行生效
法律文书确定义务”的情况。而如何确定被执行人是否有履行能力呢?各地法院在实际
操作中,往往是一刀切——只要你没履行,执行时一律列入失信人... 阅读全帖
S*********4
发帖数: 5125
41
【 以下文字转载自 ComputerGraphics 讨论区 】
发信人: Shotgun1984 (喷子), 信区: ComputerGraphics
标 题: 谈攻击高铁的可能程序:并非什么新技术
发信站: BBS 未名空间站 (Wed Jul 27 12:04:37 2011, 美东)
谈攻击高铁的可能的程序:并非什么新技术
所谓动态生成代码并执行,其实并不是什么新技术.
比如某个病毒, 一旦被触发, 就执行下面的几个步骤:
1, 找到一段特定的加密数据, 解密解压缩生成代码A;
2, 将执行权转交解开的代码A(可能只是个地址跳转指令);
3, 代码A生成2个进程, 1号进程执行预定行动, 比如让所有的灯全绿;2号进程
再找到另一段特定的更大规模加密数据, 解密解压缩成更大规模的代码B;
4, 将执行权转交解开的代码B;
5, 代码B功能更强大, 可能生成3个进程, 1号进程执行更多的预定行动....;2
号进程再找到另一段特定的更大规模加密数据, 解密解压缩成更大规模的代码C; 3号进
程检查系统内存中是否有追踪程序, 并尽力杀死'追踪者',同时删除代码A;
c******t
发帖数: 2478
42
人民网昆明2月28日电(记者 李宇浩)记者今日从昆明市中级人民法院获悉,经最高
人民法院核准,湄公河“10·5”案四名罪犯糯康、桑康·乍萨、依莱、扎西卡,将于3
月1日在云南昆明被依法执行死刑。
据介绍,糯康犯罪集团杀害13名中国船员一案在二审维持原判之后依法进入了死刑
复核程序,最高人民法院进行核准后由最高人民法院院长签发了执行死刑命令。2月22
日,昆明市中级人民法院收到糯康等四名被告人的死刑复核裁定和死刑执行命令,并于
2月24日将死刑复核裁定向四名被告人进行了送达。
按照我国刑事诉讼法和相关司法解释的规定,昆明市中级人民法院将严格依法按照
死刑执行程序,于3月1日依照执行死刑命令,在昆明市人民检察院临场监督下对四名罪
犯执行死刑。
据悉,法院将采用注射方式对四名罪犯执行死刑。在执行死刑前,法院已按涉外程
序及时通知泰国、缅甸两国驻昆领事馆对各罪犯进行会见,并通过领事馆联系了各罪犯
的近亲属安排探视,保障了他们所享有的各项诉讼权利。在死刑执行后,还将对四名罪
犯的骨灰、遗书及遗物等向其近亲属或所在国驻昆明领事馆进行移交。
2011年10月5日,两艘中国商贸船只在湄公河“金三角”地... 阅读全帖
i***s
发帖数: 39120
43
全国人大代表、河南省高院院长张立勇。图/CFP
司法公正是社会公平正义的最后一道防线。如何保证司法公正已经成为法律界人士和普通公众最关注的问题。
在十二届全国人大二次会议上,全国人大代表、河南省高院院长张立勇接受新京报记者专访时称,司法公开对于司法公正的作用无可限量,阳光是最好的防腐剂,阳光也最有利于公正公平。
对于推行裁判文书上网后可能出现的选择性公开问题,张立勇表示,防止选择性公开需要具体的制度和细化规定,这样选择性公开就会行不通。
【谈司法公开】
防止选择性公开需制度约束
新京报:去年,最高院开始推行裁判文书上网,以此推动法院的公正审判,你如何看待这种做法?
张立勇:裁判文书上网一个是给我们的法官一个压力,就是让他的裁判文书展示在广大公众面前,那就要求你这个裁判文书必须有充分的说理,有充分的事实,充分的法律依据。不然的话,你展示出来以后,这么多网友都在看你这份裁判文书,你如果是事实表达得不清楚,特别是适用法律条文也不清楚的话,那人家一下子就看出问题了。
新京报:这对法官办案会起到什么监督作用?
张立勇:有的法官办关系案、人情案、亲情案,在他的裁判文书上是很容易露出端倪的,很容易被... 阅读全帖
b*****d
发帖数: 61690
44
人民网昆明2月28日电(记者 李宇浩)记者今日从昆明市中级人民法院获悉,经最高
人民法院核准,湄公河“10·5”案四名罪犯糯康、桑康·乍萨、依莱、扎西卡,将于3
月1日在云南昆明被依法执行死刑。
据介绍,糯康犯罪集团杀害13名中国船员一案在二审维持原判之后依法进入了死刑
复核程序,最高人民法院进行核准后由最高人民法院院长签发了执行死刑命令。2月22
日,昆明市中级人民法院收到糯康等四名被告人的死刑复核裁定和死刑执行命令,并于
2月24日将死刑复核裁定向四名被告人进行了送达。
按照我国刑事诉讼法和相关司法解释的规定,昆明市中级人民法院将严格依法按照
死刑执行程序,于3月1日依照执行死刑命令,在昆明市人民检察院临场监督下对四名罪
犯执行死刑。
据悉,法院将采用注射方式对四名罪犯执行死刑。在执行死刑前,法院已按涉外程
序及时通知泰国、缅甸两国驻昆领事馆对各罪犯进行会见,并通过领事馆联系了各罪犯
的近亲属安排探视,保障了他们所享有的各项诉讼权利。在死刑执行后,还将对四名罪
犯的骨灰、遗书及遗物等向其近亲属或所在国驻昆明领事馆进行移交。
2011年10月5日,两艘中国商贸船只在湄公河“金三角”地... 阅读全帖
l*****h
发帖数: 709
45
公安部消防局:确实先用水灭火 处置程序科学
2015-08-14 04:37:31 来源: 京华时报(北京)
分享到:
1
8月13日晚,北京卫戍区某防化团部分救援装备集结完毕,随时准备执行任务。新华社发
8月13日晚,北京卫戍区某防化团部分救援装备集结完毕,随时准备执行任务。
泰达开发区第二小学成为临时安置点,受灾市民正在此处休息。京华时报记者
泰达开发区第二小学成为临时安置点,受灾市民正在此处休息。
8月13日,在天津火车站广场的流动献血车上,医务人员在给旅客采血。新华社发
8月13日,在天津火车站广场的流动献血车上,医务人员在给旅客采血。
天津滨海新区瑞海公司危险品仓库12日晚发生爆炸后,天津调派46个消防中队、1000余
名消防官兵参加救援。北京军区也立即投入部队参与当地政府救援工作,担任火情侦察
、伤员救护、化学救援、安全警卫等多项任务。此外,国家卫生计生委从北京调派三批
医疗专家赶赴天津,会同当地全力救治滨海新区爆炸事故伤员。
进展
国家级救援队昨日下午抵津
天津滨海新区瑞海公司危险品仓库12日晚发生爆炸后,北京军区立即投入部队参与当地
政府救援工作,担任火情侦察、伤员救护... 阅读全帖
M********t
发帖数: 5032
46
来自主题: Joke版 - Google人工智能 攻破了围棋,然后呢? 雷锋网 study875 39分钟41秒前 Google日前宣布其程序AlphaGo击败了欧洲围棋职业选手,这意味着人工智能技术又或得了极大的突破。计算机目前已经在许多智力游戏比赛上战胜了人类顶级选手,包括国际象棋、五子棋、黑白棋、拼字游戏等等。而对于有着2500年历史的东方游戏围棋——比国际象棋要复杂得多——人类始终能够保持在和计算机对决中的胜利。不过,Google人工智能专家表示, 这个壁垒或许很快将要被打破。随着AlphaGo在没有任何让子的情况下以5:0完胜法国围棋职业二段棋手樊麾,AlphaGo将在三月份对战韩国九段棋手李世乭。 今天早上,《自然》杂志发表了一篇Google DeepMind团队——程序AlphaGo的创造者撰写的关于深度学习系统的论文。根据论文描述,在AlphaGo中,DeepMind研究员在程序中录入了大量职业棋手的棋谱——加起来多达3000万步——他们用增强学习的方法训练AI,让它自己下棋,研习棋谱。不过这只是第一步。理论上,这样的训练只能让这个人工智能系统无法突破人类的计算。为了获得更好的成绩,研究员随后让系统进行自我博弈,计算出比基础棋谱更多新的打点。也就是说,战胜人类就要靠这些新的东西。 “这其中最重要的是,AlphaGo不仅记录着大量的棋谱,还有一系列规则来指导‘思考’,”DeepMind CEO Demis Hassabis说道,“事实上,该程序能够通过机器学习的方式掌握比赛技巧。” DeepMind的技术核心结合了“强化学习”及其他人工智能手段,这种技术能够用于解决现实机器人执行物理任务和对环境作出回应的技术问题。就是说,要让机器人变得更“自然”。 视觉判断 2014年初, Coulom的围棋程序“疯石(Crazystone)”在一次比赛中战胜九段棋手依田纪基。但是当时是在人类棋手让出4子的情况下赢得比赛,而这次AlphaGo并没有被让子,可以说比赛很公平。 人工智能战胜人类围棋到底有多难?即使是最强大的计算机系统也无法在合理的时间内分析出下一步最优的走法。1997年IBM超级计算机“深蓝”则利用了蒙特卡洛搜索树的方式做到了这一点。“深蓝”能够预测出对手下一步会怎么走,而且计算力远高于人类。但是,围棋要复杂得多。国际象棋每一步平均只有35种可能性的走法,但是围棋呢——在19*19的棋盘内,共有361个点,就机器学习的角度而言,围棋的计算最大有3361种局面,大致的体量是10170,而已经观测到的宇宙中,原子的数量才1080。国际象棋最大只有2155种局面,称为香农数,大致是1047。 使用蒙特卡洛树搜索技术,Crazystone等系统能够进行更长远的计算。而结合其他技术的话,它们能够对可能性走法进行刷选,然后选择出最优的策略。在大多数情况下,它们能够战胜人类选手,但不是最厉害的那一个。顶级大师中,走法很多时候依靠直觉——做棋除了需要计算,还有棋感——棋手能够根据棋形分析攻防线路。“好的棋形看起来顺手多了,”Hassabis本身也是一名围棋手,“这其中不只有计算角力,还有审美。这也是围棋几千年来都让人着迷的原因。” 因此,从2014年至2015年间,包括Facebook、爱丁堡大学、DeepMind等人工智能研究团队都将围棋人工智能系统的突破方向瞄准为——使得程序能够模仿人类的直觉式思维。 自我强化 深度学习要依靠神经网络技术,它是可以模拟人脑中神经元网络的软硬件网络。神经网络不会依靠蛮力或预先输入的规则,而是会分析大量数据,“学习”特定的任务。给神经网络提供足够的喵星人照片,它就能学习识别喵星人;提供足够的语音,它也会学习理解人类的语言;提供足够的围棋走法,它也会学会围棋。 在DeepMind,爱丁堡和Facebook,研究人员希望神经网络能像人类选手一样,通过观看棋盘学习围棋。Facebook在最新的研究中表明,这种方法确实可行。结合深度学习与蒙特卡洛树搜索方法,Facebook打败了一些人类选手,虽然并非是Crazystone和其他顶尖选手。 但DeepMind走得更远。在经过3000万步人类走法的训练后,它的神经网络能以57%的准确度(此前记录是44%)预测人类的下一步。然后Hassabis和团队通过强化学习技术,让这一神经网络与它自己的另一个稍有区别的版本对战。两者互搏中,系统会评估哪一步效果最好,即占领更多棋盘区域。最终,神经网络在判断哪一步更好时会越来越优秀。 DeepMind的研究者David Silver表示,“在与其它神经网络和它自己对战数百万局后,AlphaGo学会了自己发现新策略,并逐渐提高了水平。” 正是这种方法帮AlphaGo超越了其它围棋AI系统,包括Crazystone。但事情还没完,研究人员随后将结果再反馈给第二个神经网络。了解前任的走法了,第二个神经网络会使用许多相同的技术来判断每一步的后果。这一过程与深蓝等旧系统在国际象棋上的做法类似,只是它会在下棋过程中学习,分析更多数据,而非暴力破解所有可能的步骤。这样,AlphaGo不仅能战胜AI,还能战胜顶尖人类选手了。 计算机网络 http://static.cnbetacdn.com/article/2016/0128/7bfcf7e43c9064b.jpg 李世乭 与其它神经网络一样,DeepMind的系统运行在配备了GPU的机器上。GPU最初用于渲染游戏图像,但后来有人发现,它们很适合深度学习。Hassabis表示,DeepMind系统在装备了一定数量GPU芯片的单一电脑上也可以用,但与樊麾对战中,他们用上了更大的计算机网络,其包括170个GPU和1200个标准CPU。大的计算机网络训练了同样的系统并进行了实际对战,还借鉴了训练的结果。 尽管Hassabiss会不断改善系统,但待AlphaGo与韩国选手李世乭对战时,他们会使用相同的配置。比赛中系统也需要网络连接,而且他们会“自己铺设光纤”。 挑战世界冠军比挑战樊麾难得多,但Coulom还是认为DeepMind会赢。他过去数十年一直在开发能打败最好选手的系统,现在他认为这一目标已经实现了,他买GPU会赢。 接下来…… AlphaGo的重要性不言而喻。同样的技术还能用于机器人和科学研究,以及类似于Siri的数字助理和金融系统。深度学习创业Skymind的创始人Chris Nicholson就认为,技术“能用于任何对抗性问题,任何类似于游戏且需要策略的事情,包括战争、商业和交易”。 对有些人来说,这是一件值得忧虑的事,特别是DeepMind的系统还能自己学会下围棋。它不仅能从人类提供的数学中学习,还能生成自己的数据,在与自己下棋中学习。特斯拉创始人埃隆·马斯克等大佬多次声明,这类AI系统会最终超越人类智能,脱离掌控。 幸而DeepMind的系统还在Hassabis等人的控制之下。虽然他们用系统破解了复杂的游戏,但这仍只是个游戏。AlphaGo离人类智能还很远,更不论超级智能了。下棋是一种高度结构化的情景,系统也没有人类级别的理解力。但它代表了一种方向,即如果AI能理解围棋,它也会理解更多事。如果宇宙就是一局超大型的围棋呢? via Wired
Google人工智能
攻破了围棋,然后呢?
雷锋网
study875
39分钟41秒前
Google日前宣布其程序AlphaGo击败了欧洲围棋职业选手,这意味着人工智能技术又或
得了极大的突破。计算机目前已经在许多智力游戏比赛上战胜了人类顶级选手,包括国
际象棋、五子棋、黑白棋、拼字游戏等等。而对于有着2500年历史的东方游戏围棋——
比国际象棋要复杂得多——人类始终能够保持在和计算机对决中的胜利。不过,Google
人工智能专家表示, 这个壁垒或许很快将要被打破。随着AlphaGo在没有任何让子的情
况下以5:0完胜法国围棋职业二段棋手樊麾,AlphaGo将在三月份对战韩国九段棋手李
世乭。
今天早上,《自然》杂志发表了一篇Google DeepMind团队——程序AlphaGo的创造者撰
写的关于深度学习系统的论文。根据论文描述,在AlphaGo中,DeepMind研究员在程序
中录入了大量职业棋手的棋谱——加起来多达3000万步——他们用增强学习的方法训练
AI,让它自己下棋,研习棋谱。不过这只是第一步。理论上,这样的训练只能让这个人
工智能系统无法突破人类的计算。为了获得更好的... 阅读全帖
o******1
发帖数: 1046
47
我用perl写一个cgi的程序,其中调用了自己写的C程序(binary executable),需要
其stdout,所以用的是backticks。
如果单独运行perl cgi,结果正常,所有该print出来的全部出现,包括调用的C程序的
output。但是一旦从html里面连接到这个perl cgi,C程序ouput的部分,在网页中不显
示。
我试着把调用C程序的部分改成调用Linux系统程序,比如ls,cat等等,其output在网
页中就正常出现了。
我很困惑,大概知道是因为C程序的output没有被返回到perl process里面。但是在单
独执行perl程序的时候,调用的C就正常的输出到stdout了。又想了一想,可能是perl
和C共享了屏幕显示,所以我分辨不出来。但是在运行perl程序的时候,被调用的C的输
出没有返回到perl process,而是在另一个过程中,所以cgi创建的新网页就不显示了
。但是对于调用的Linux系统程序,为什么能正确的返回呢?
我半路出家,没学过操作系统,对于process,thread这些概念一知半解。大牛们能不
能指点一下,如何设置,... 阅读全帖
b*****d
发帖数: 61690
48
我国拟规定嫌犯被逮捕24小时内通知家属
http://www.sina.com.cn 2011年12月27日02:27 新京报
十一届全国人大常委会第二十四次会议26日上午在人民大会堂举行第一次全体会议
。会议审议职业病防治法修正案草案、刑事诉讼法修正案草案、出境入境管理法草案、
军人保险法草案、预算法修正案草案、关于澳门特别行政区基本法附件有关条款的解释
草案等法律案,审议全国人大常委会关于召开十一届全国人大五次会议的决定草案等。
吴邦国委员长主持会议。
刑诉法修正案草案
本报讯 (记者杨华云)被称为悬在律师头上“达摩克利斯”之剑的律师伪证罪调查
,在最新修改的刑事诉讼法草案中规定,需由异地侦查机关办理。昨日,全国人大常委
会第二次审议刑事诉讼法修正案草案,经过初次审议、听取有关部门和公众意见后,二
审草案作出了诸多修改。
刑诉法对辩护人有伪证等行为追究法律责任作出了规定,全国人大法律委员会副主
任委员李适时向常委会会议作草案说明时表示,有的常委委员、部门、单位和公众提出
,应当对这一规定的适用程序作出严格规定,防止被滥用。
法律委员会认为,为保障辩护人依法履行职责,避免同一案件... 阅读全帖
1 2 3 4 5 末页 (共10页)