简介：提出了一种科学计算领域中常用的命令行程序web服务包装方法.首先给出了实现一个基本的web服务包装器的软件架构,并对主要组件的功能进行了解释.进而经过对数据传输和作业生命周期的深入分析,设计了一种新颖的文件传输和作业管理机制用以增强该软件架构,使得在命令行程序被包装成web服务的同时,保证了文件的高效传输,运行状态的即时反馈和作业的自动管理.对比实验表明,该方法在使用了较少内存的前提下提高了程序运行性能,定性比较显示程序的易用性也有所提高.本工作已经在实际的科学计算系统中得到了应用,极大地提高了系统的数据处理效率.

简介：在图G=（V,E）中,令SE（G）.如果E／S中的任一条边都与S中的至少一条边关联,则称S为图G的一个边控制集.边控制集问题,即在G中找到一个基数最小的边控制集,是一个在近似算法和参数化复杂度领域被广泛研究的基础但重要的NP-hard问题.若对于简单图G的补图中的任意一条边e,都有G＋e的边控制数小于G的边控制数,则称图G是边控制临界图.主要研究了边控制临界图的性质与结构.

简介：民事执行检察监督制度建立于2012年《民事诉讼法》中,作为一种法律监督的新制度,学界与实务界首先讨论的便是制度目的,其争议核心是民事执行检察监督的目的应否包括＂执行难＂。从对民事执行检察监督制度历史的重述,＂执行乱＂与＂执行难＂类型区分和民事执行检察监督对解决执行难的实际效果三个角度进行分析可知,执行检察监督的目的不同于民事执行的目的,民事执行检察监督的目的应该聚焦＂执行乱＂。

简介：近几年来,执行难一直是法院工作的一大困扰,也是人民群众、党政有关部门议论法院工作的一个热点。解决执行难,当然不仅是一个简单的程序问题,它涉及到社会经济秩序、政治体制、文化传统、法律健全、司法实践、法官素质、工作技巧等诸方面的因素。但程序问题毕竟

简介：本文通过一些具体的实例初步探讨出解题的程序，即审题、探索、表述、回顾、总结与拓展；对指导学生解题思路具有一定的理论意义与指导作用。

简介：本文从《可编程序控制器》理论教学综合分析入手，探索如何在高等技术应用型专门人才的培养上，形成自身的教学特色。

简介：帘布裁断机是轮胎厂半成品生产中的关键设备，其裁断精度，将直接影响到轮胎成型半成品的质量。为解决裁断精神问题，特采用可编程序控制器等元件对老式裁断机进行改造。帘布裁断机经改造，实现了自动化和精确定长切割。

简介：

简介：影片《图雅的婚事》是导演由纯个人化表达向电影故事性转变的探索，因此更注重电影叙事表达和影像表意性。影片贴近于普通人的现实生活，表现真实的生活质感，赞扬人类面对无奈命运时自我救赎的乐观坚忍精神。

简介：作为超国家的组织,欧盟对事务的管理注定不能够单方做出,而是在成员国各个代表机构中进行协商,在制约中进行。欧盟的预算也是如此。欧洲联盟的常设机构和执行机构的欧盟委员会负责制订预算草案,交由部长理事会和欧洲议会进行审查或修改,部长理事会和欧洲议会分别对义务性支出和非义务性支出享有决定权,欧洲议会对义务性支出享有修改权。经过欧洲议会表决通过后预算付诸执行。在执行过程中,独立机构反欺诈办事处、欧洲检察官、欧洲专员、内部审计处和欧洲审计院对预算的资金使用有各自的监督职责。其中欧洲审计院负责总预算执行的监督。欧盟的预算不仅具有协商的特性,而且还具有分权、讲求程序和有效监督的特性。

简介：我国目前罚金刑空判问题比较严重,存在罚金刑先缴后判和将是否交纳罚金作为减刑、假释的条件的现象,损害了我国的法律权威。造成这种现象主要有立法和司法两方面的原因,可以通过将罚金刑上升为主刑,明确罚金刑的执行部门,减少罚金刑的必并制等立法措施以及建立财产调查、保全并附卷移送制度等完善司法的方法来加以解决。

简介：民事执行检察监督范围决定了执行检察监督权限度。从宏观层面来看,它是民事执行检察监督权行使的正当性基础;从微观角度而言,它是民事执行检察监督方式、程序运行和保障机制设定的前提。民事执行监督范围主要涵盖民事执行检察监督对象和监督事由两个方面。对民事执行检察监督对象的设定,应坚持以民事执行公权力监督为本体,而将执行当事人和案外人的违法行为排除于外;对民事执行监督事由的设定,应循着＂一体两翼＂模式结构,即以监督执行权异化为主体,沿着违法执行行为和消极不作为监督两个侧翼渐次展开。

简介：可编程控制器PC(ProgrammableController)是在集成电路,计算机技术基础上发展起来的一种新型工业自动控制装置。由于引进了计算机技术,可编程序控制器的功能在许多方面已远远超过了继电器——接触器系统的范围。它主要有以下优点:(1)可靠性高。由于采用了屏蔽,光电隔离等一系列抗干扰措施,PC平均无故障时间一般都在20000小时以上。另外,PC完善的自诊断功能,使检查判断故障迅速方便,采用模块

简介：为了更好地实施《数学课程标准》，规范教学教研工作，提高教研教学效益，以新课标为准则，以教学为中心，立足课堂教学。培养教师教育教学能力，提高教学质量。制定出适合本校学生的教学常规。

简介：首先分析黑客软件获取应用程序密码的原理及工作方式,然后给出VisualC++6.0的程序中保护Edit控件密码的措施和方法.

简介：

简介：我国死刑复核权自2007年1月1日起统一收归最高人民法院后，积极地发挥着“纠错”与“限制死刑”等功能。但不能否认的是当下死刑复核制度尚存在诸多不足，如审理方式的非公开性、辩护律师的参与度不足、检察院对死刑复核监督的难以进行、被告人获得救济不能的问题等等，都严重限制了死刑复核作用的发挥，试通过对我国死刑复核现状的探究，提出对于死刑复核制度完善的意见。

简介：NTFS文件系统其安全性、可靠性远胜于常用的FAT文件系统。通过对NTFS分区引导扇区的引导过程进行基面分析，可掌握扩展INT13H读取大容量硬盘逻辑扇区的方法，为进一步分析NTFS文件系统奠定基础。

简介：英国驻华使馆近日发布签证紧急通知，主要内容如下：

简介：民事再审程序是一个独立于审级之外的补救程序，是对生效、裁判发现确有错误，依法决定重新审理的程序。这一程序是“实事求是，有错必纠”原则在审判工作中的体现，是纠正冤假错果的基本途经，是司法公正的保障，但是，实践中这一程序的实施和设立这一程序的目的却难以吻合。究其原因，学者们认为，我国民事诉讼法中关于再审程序的规定还存有缺陷。从再审程序的申请，启动到再审裁决的作出，这中间有些看似合理而实际上并不科学的规定，使当事人的合法权益得不到有效保障，司法公正难以实现，裁决将有无法提高。