聚讼与规范：经济犯罪概念的认定与特征的“限制”性释义

经济犯罪的概念虽被提出和使用很久,但至今仍未统一定论。我国的刑事政策决定了经济犯罪的客体,经济犯罪主要侵犯的客体是国家整体经济的秩序。本文在对域内外经济犯罪概念进行的聚讼与争鸣分析后,认为经济犯罪是指从事经济活动的自然人和法人在经济运行过程中,实施违反经济法规,侵害经济管理秩序和经济协调关系,情节严重,依法应当承担刑事责任的行为。经济犯罪概念的认定与特征的＂限制＂性释义取得规范,不仅易于了解经济犯罪的特殊性,也可使刑法的效能得到最大发挥。     

一种感知情景的存取控制策略的规范和分析方法

对RBAC的角色激活过程增加情景约束,建立了感知情景的存取控制策略;利用D ata-log逻辑语言来建立感知情景存取控制策略模型的形式化规范;使用一阶逻辑语言描述策略的一致性、完整性等性质,借助D atalog实现了一个控制策略自动决策原型系统。     

程序规约变换技术在程序设计中的应用

算法设计是程序设计的难点和关键。本文利用程序规约的变换技术得到了排序问题和最长升序问题的算法,并清晰地展示了程序设计的过程,为算法程序设计提供了一种有效的方法和途径。     

学生体育学习行为培养方法与路径研究

教学质量是评价一所学校的办学水平的重要的参考指标，对促进学生健康成长和教师的专业化发展起很重要的作用。对课堂教学质量评估体系中，学生的体育学习行为是否养成占很重要的位置，这也是由体育学科的特点所决定的。因此，对于规范学生学习行为的培养，对提高学生的体育学习质量的起举足轻重的作用。     

设计串联校正装置的一种解析方法

根据时域指标设计串联校正装置,一般使用根轨迹法(图解法)。此类方法无法将静态指标(如位置误差系数 K_p 或速度误差系数 K_r)与根轨迹作图有机结合,使设计计算复杂化。此处提出的解析法可免于这一问题,使设计计算更合理更简单,且物理概念清楚明了。     

局间通信负荷监控问题的形式化方法

利用最新时段演算等理论，形式化负荷监测功能的告警原理和组合输出问题，并进行必要的形式化推导，以确保规范说明具有可理解性和准确性．还给出了实现监控的核心算法．     

一个基于AI产生式系统的软件开发新模型

在设计一个程序以前，应该完整地并且精确地说明要求解的问题．作为一个产品。软件相对于其形式规格说明来说应该是可靠和正确的．规格说明是程序变换方法的起点，程序变换方法保证了程序的正确性．本文给出了ＡＤＴＳＬ的简要描述，并提出了一个基于人工智能中的产生式系统的软件开发新模型．     

地震地质解释系统的实现与质量保证

论述质量保证在开发过程中的重要地位。所制定的规定和守则，适应于管理人员和具体开发人员，提出在满足质量要求下进行开发，并在开发中确保质量的认识。     

一种嵌入式关系模型的形式化描述

在 Ｎ Ｒ／ Ｔ 网的基础上,对基于嵌入式关系模型的数据库信息系统的行为,给出了一种形式化的描述方法,并设计了一个变迁点火执行算法     

一相能量型stefan问题

本文讨论了一相能量型stefan问题.首先利用迭代方法及紧性讨论证明了古典解的存在性;其次给出了解的比较原理,由此证明了解的唯一性。