学科分类
/ 3
60 个结果
  • 简介:《行政诉讼法》的施行使得“违反法定程序”成为对具体行政行为进行司法审查的标准。但司法界、行政法学界对“违反法定程序”中的许多问题存在着颇多争议,仍未取得共识,从理论上廓清“违反法定程序”中的关键问题是完善我国的行政审判制度、树立“正当程序”观念的必要举措。本文试图在吸收学界“违反法定程序”研究中主要观点的基础上,对“违反法定程序”司法审查的依据、范围以及结果等方面提出一些自己的观念和看法。

  • 标签: 违反法定程序 司法审查 结果
  • 简介:在相对罪刑法定主义下,罪刑法定和刑法司法解释在其原则范畴和应用规则范畴内各自发挥着重要作用.文章通过对罪刑法定原则和刑法司法解释对立统一关系的论述,力求倡导刑法司法解释自觉地遵守立法本意及法律规范的实质适用范围,与罪刑法定原则达到异曲同工之妙.

  • 标签: 相对罪刑法定原则 刑法司法解释 基本原则
  • 简介:首先分析黑客软件获取应用程序密码的原理及工作方式,然后给出VisualC++6.0的程序中保护Edit控件密码的措施和方法.

  • 标签: 应用程序 黑客软件 防范措施 VC++6.0
  • 简介:NTFS文件系统其安全性、可靠性远胜于常用的FAT文件系统。通过对NTFS分区引导扇区的引导过程进行基面分析,可掌握扩展INT13H读取大容量硬盘逻辑扇区的方法,为进一步分析NTFS文件系统奠定基础。

  • 标签: NTFS分区引导扇区 BPB表 簇号 文件系统 安全性 WINDOWS
  • 简介:公诉条件是检察机关提起公诉的必需要件,是衡量追诉合法化和民主化的重要标志.文章论述了公诉条件与诉讼条件的区别,并对其关系作出了界定.实体性和程序性两类条件构成了公诉条件.审查公诉条件的程序主要有审查起诉和预审程序,并辅之以审查式和抗辩式的审查方式.最后,文章对我国公诉条件及审查程序进行了检讨.

  • 标签: 公诉条件 审查程序 检讨
  • 简介:在实际中,经常会碰到这样的问题:对于给足的有限区间〔α,b〕上的连续函数f(χ)需要计算定积分∫b/af(x)dx的值。利用牛顿——莱不尼慈公式:∫b/af(x)dx=F(b)-F(a)仅仅能解决被积函数f(x)的原函数F(x)以初等函数的形式存在且容易求出的问题。但是,在大量的实际问题中,有许多被讨论的被积函数f(x)的原函数不能用初等函数的闭合形式表示,

  • 标签: 被积函数 Carlo MONTE 初等函数 数值积分 定积分
  • 简介:APPLEⅡ微型机具有很强的绘图功能。但我们建立带有附图的文字题库时,要为每一个图形编写一个绘图程序或编制图形定义,建立图形表,这是十分麻烦的事情。本文介绍一个使用键盘绘制图形的程序。操作方

  • 标签: 图形程序 APPLE 绘图程序 图形的 绘图功能 程序设置
  • 简介:从形式合理性的角度来审视刑法中的罪刑法定原则,重在阐明无论在立法、司法或刑事法律理念中,都要坚持形式高于实质的原则,因为我们要追求正义的结果,就必须经历正义的过程,而该正义的过程便是形式合理。

  • 标签: 罪刑法定 形式合理性 实质合理性 刑事法治
  • 简介:1.是否必须学生本人亲自递交留学签证申请?朋友、家人、代理机构或其他组织能否代表学生递交留学签证申请?2.申请人是否可以邮寄其留学签证申请材料?

  • 标签: 留学签证 英国留学 学生 问答 申请材料 申请人
  • 简介:文章论述了在面向对象语言普遍使用的同时,在一些特殊领域中,由干历史原因等面向过程语言使用依然广泛;如果能把面向过程语言自动转换成面向对象语言,这对干广大编程者来说是一次完全的解放。笔者发现使用面向过程语言事实上能够实现面向对象技术的本质和核心,因为面向对象设计技术本质上是一种思维方法,是不依赖干程序设计语言的应用软件开发的基本核心技术;使用面向对象语言能充分发挥面向对象程序设计技术的种种优点,但是它决不是体现面向对象设计技术的唯一方法,实际上过程语言也能实现面向对象设计。文章阐述了将面向过程语言自动转化为面向对象语言的一系列规则。

  • 标签: 面向过程 面向对象 关联函数 面向对象语言
  • 简介:计算机程序设计教学是中等职业学校计算机教学的一个重点,本文通过应用比较法进行教学改革,激发学生的学习兴趣,提高教学质量。

  • 标签: 程序设计 教学
  • 简介:一.问题的提出2003年,《北京青年报》、《南方都市报》、《武汉晚报》等多家有影响的报纸对有关学校处分学生的个案进行了集中报道,引起了社会公众的广泛关注。而到了2003年末,学生纪律处分问题更被“搜狐网”评为2003年度十大热点教育问题之

  • 标签: 中小学 学生 纪律处分 校规校纪 价值取向 基本程序
  • 简介:1问题的提出PowerBuilder是基于Windows的数据库客户端的开发工具,不容置疑,它具有许多优良的特性.但是,当软件的复杂度提高时,也存在下列的问题,其一是当我们需要利用数据库里的数据来生成图形、图表或进行一些复杂的分析和计算时,PowerBuilde无法解决;其二是当数据库里的数据不全靠手工录入而是通过其它方式获得时,PowrBuilder很难实现;为解决诸如此类的问题,必须借助其它语言工具(如汇编、C)来开发一些外围程序,协助PowerBuilder完成数据的处理工作,它们必须和数据库接口、实现数据的双向传输.

  • 标签: POWERBULIDER 服务器应用程序 DDE通信 C程序 DDEML 主题名
  • 简介:本文论述了Mathematica系统结构及其通讯机制,分析了模块mlinh.bas和bfe.bas的功能,给出了实现Mathematica与VB通讯的三种程序设计方法.

  • 标签: MATHEMATICA VB MATHLINK ActiveML MAX