基于计算机的航空犯罪罪数认定

计算机犯罪和航空犯罪均有其特殊性，对以计算机攻击方式实施的危及航空安全的犯罪行为的罪数认定，应严格遵循罪行法定的刑法基本原则，不利用兜底性法条任意扩张解释。同时，建立健全辩证唯物主义下的行为定性定量理论，厘清刑法框架下的危害行为的本质；分析处理好行为、对象、客体间的相互关系，为罪数认定搭好结构框架。在罪数评价上，做到既全面又不重复，保持量刑均衡。     

现代法治视域下醉酒型危险驾驶罪的后思考

醉酒型危险驾驶作为法律拟制的抽象危险犯,在刑法修正案(八)纳入刑法规制视野,对这一类型的犯罪化处遇契合了我国当前风险治理的基本要求,体现了刑法在公共安全领域法益保护前置化的立法目的,提升了民众的安全感.本文通过分析某市醉驾案件数据,建议在立法、司法实践中贯彻宽严相济刑事政策,体现刑法谦抑原则,构建多元处遇、防控结合的一...     

玩忽职守罪犯罪构成的立法研究

玩忽职守犯罪是职务犯罪的一种。统计资料显示，在我国，每年因玩忽职守而造成的损失是惊人的。为了完善我国对玩忽职守犯罪的立法，本文就外国刑法关于玩忽职守罪的犯罪构成的立法规定进行比较研究。     

ICAO近年来对4444文件修改情况的研究与分析

以不同时期国际民航组织的4444文件为研究对象，对其修改进行对比、归纳、分析，揭示其修改的内在含义。管制员、驾驶员应充分认识并利用这些特性，加深对4444文件的理解，以利空中安全。     

中国环境刑法要论--兼论环境权的刑法保护

环境问题的日益严重，迫使许多国家强化对严重危害生态环境的行为推行“犯罪化”和“刑罚化”，中国也不例外。文章首先介绍了我国环境刑法的立法概况和价值取向，彰显加强环境权刑法保护的重要性，旨在提出完善我国环境刑法的立法建议。     

基于红外图像重建飞机三维形体结构技术的研究

研究了基于红外图像重建飞机三维形体结构的技术，并在理论研究基础上开发了三维重建系统。该系统包括红外图像的处理技术、三维信息提取的体相交技术、三维形体的表示方法和基于八叉树结构的飞机三维形体重建的实现。旋转是表示实体三维结构信息的一种有效方法，本文最后给出了重建三维飞机的旋转系列图像。     

国际航空法案例研习课程的基本方法

国际航空法案例研习课程以航空领域具有典型性的案例作为研究对象,以国际航空法的基本理论作为依据对案例事实、所涉及的法律争议、处理结果进行分析。在分析过程中,应采取多种研究方法,如法条分析法、案例比较法、学科综合法,从多个层面对案例进行剖析,从中抽象出普遍性的原理。在选取案例时应当注意案例和课程的体系性,回避争议性较强和信息获取不全面的案例。     

冲裁模CAD系统的标准件建库技术及其界面设计

在开发模具ＣＡＤ系统时使用三维实体建立标准件图形库，采用Ｃ－ＡＰＩ编写编图程序，将国标尺寸数据集成于其中，编制ＤＣＬ对话框控制程序，产生方便，友好，美观的人机界面，一次性实现数据输入，检索和自动绘图，进一步提高设计效率。     

一个C程序切片系统的设计与实现

针对Ｃ语言的特点，文中引入了Ｃ程序的一些重要概念，诸如数据依赖、控制依赖和程序依赖等。在分析Ｃ程序的程序依赖性的基础上，介绍了作者设计并实现的一个Ｃ程序切片系统，其中包括系统的概要设计思想，系统中使用的数据结构以及切片生成算法。Ｃ程序切片系统不仅可用于产生Ｃ程序的切片，而且可用于观察Ｃ程序的框架结构和有关变量的多种数据字典。所有这些结果，为Ｃ程序的测试、排错与维护提供许多有用的信息，对Ｃ程序的并行性检测、波动分析和复杂性度量提供有力的支持。     

基于TOPSIS-RE的国际采购供应商伙伴选择决策模型

针对市场、知识影响国际采购中供应商伙伴选择的问题。论文基于经济全球化和跨国经营时代背景,先分析了国际采购供应商伙伴选择的市场和知识特性,按照虚拟和实体两个层面演绎国际采购供应商伙伴选择过程,依据知识、市场和知识、资源的组合构建评价指标体系;然后,结合相对熵和TOPSIS方法构建了国际采购供应商伙伴选择决策模型,并进行了算例研究,证明了方法的可行性。     

基于程序分析法的B757放沉淀改进

针对B757飞机航前放油程序复杂的问题，以工业工程理论为指导，运用程序分析的方法对该问题进行了分析研究。在此基础上，运用取消、合并、重排、简化（ECRS）四大原则对现有工作程序进行了改进，并设计了新的放油枪。通过试验，简化了该工作的程序，改善了员工的工作环境。     

公私法及其本位探讨

公法一般包括宪法、刑法、行政法和诉讼法几个部分，私法有民法和商法两个部分。在法律发展的历史中，有时公法占优先地位，有时私法占优先地位。而在当代的新经济条件下，公法与私法应该齐头并进，处于同等重要地位。     

关于非法科院校学生法治理念的培养

法治理念是对法治的理性认识,是对良好法律秩序状态的精神追求。非法科院校法律教育应重在培养学生的法治理念。为此目的,有必要在法律训导和法律教学的基础上寻求培养方式的多样化。     

基亏CAXA制造工程师的复杂模具三维建模与自动编程

论文介绍了应用CAXA制造工程师进行摩擦楔块锻模零件的三维建模及自动编程的过程。在利用CAXA制造工程师提供的特征造型方法创建锻模零件三维实体的基础上，根据三维实体加工表面的形状确定合适的加工造型，进而生成各表面的加工轨迹和数控加工程序。实例表明，利用CAXA制造工程师不仅可以实现复杂模具零件的三维建模，还可以根据三维...     

二维图形的集合运算算法研究

二维图的并、交、差等集合运算是二维图形的设计、图形消隐处理，零件的三维造型及数控加工编程中刀具轨迹生成等的重要基础，文中借助于ACIS几何平台，提出了在线架、曲面和实体集成数据环境下，将二维线架图形转换为实体的数据结构，利用实体的布尔运算实现二维图形的集合运算的算法，避免了传统的集合运算中需的线段求交、裁剪、交点的有效性判断等，降低了算法的复杂度，从而提高了算法的可靠性。该算法已在南京航空航天大学CAD／CAM工种研究中心开发的CAD／CAM系统中实现。     

一种基于余代数单子的Web服务形式化模型

为拓展服务计算的形式化研究视野、手段和方法，建立并实现了一种针对Web服务的服务计算形式化模型。鉴于开放环境下的服务实体主要来源于不同的第三方提供者，将软件实体抽象成余代数单子，从而以一种黑盒方式给出软件服务的语义模型。给出了余代数单子的一般性定义，在此基础上对软件服务进行单子描述，进而提出一种基于余代数方法和单子技术的Web服务参考模型。最后，实现了一个基于单子的Web服务计算平台原型系统，可支持从遗留系统中进行服务抽取、发布、发现和度量等。     

条件与架构:我国反垄断应该采取低度立法

我国反垄断法的低度立法应以效率为优位,以行为理论为基础,以停止违法行为和损害赔偿为制裁方式,尽量减少政府对经济干预,增进消费者福利。当前,经济、社会和法治环境相对缓和,因此,在价值取向上,我国反垄断法应实行效率优位;在原则适用上,我国反垄断法应确立犹豫原则,并慎重实行本身违法原则与合理性原则等;在规范认定上,应将行为要件与竞争政策结合,以准确规制限制竞争行为。     

气动除冰类飞机结冰风洞试验适航审定技术

民用飞机为获得型号合格证，应按照有关结冰适航规章条款进行结冰适航验证，如何解读适航条款要求并制定有效的符合性验证流程，是进行适航合格审定的关键。本文以Y12F气动除冰飞机结冰风洞试验的实际工程为例，以相关结冰适航文件为基础，结合国际最新的飞机结冰研究成果，研究并总结了目标试验状态设定、设备选择、试验状态的等效转换、模型研制、风洞试验等适航审定要求和技术。构建的结冰风洞试验适航审定方法，有效地指导完成了Y12F飞机除冰系统的适航验证工作，完成中国民用航空局（CAAC）和美国联邦航空管理局（FAA）同时审查，为获得CAAC和FAA型号合格证奠定良好基础。     

飞行教学活动中的讲评

在飞行训练中，讲评是一道重要程序。它分为飞地前讲评、飞行中讲评和飞行后讲评，在讲评中，教员应引导学员改进学习方法，提出重点和难点，充分发挥学员学习的主动性和积极性。     

提高近距平行跑道机场容量的仪表进近程序

本根据航空发达国家经验，运用尾涡效应的知识研究如何提高近距平行跑道机场容量的问题。章介绍了现行的做法即为防止尾涡相遇采用的程序，论述了在近距平行跑道运行中靠近地面的尾流现象，基于涡流放应确定的减小平行跑道间距限度的标准，介绍了改进后的进近程序，这种程序能有效地提高机场的容量。