基于抽象实现结构图的数据流方程切片方法

提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.     

Sybase System 11中的存储过程的使用

Sybase是一种大型网络数据库，存储过程为用户访问服务器提供了有利工具，它的特点是准确、快速，本文通过实例，介绍了存储过程的创建方法。     

人字门CAD集成系统的开发与研究

针对船闸人字门的结构形式，采用流行的开发工具和开发平台，引进先进的空间薄壁结构理论，运用面向对象和参数化编程的方法，开发了一套集平面结构初步设计、空间有限元分析优化、施工详图绘制于一体的船闸人字门CAD集成系统，有效提高了人字门的设计效率与设计质量．     

新《刑事诉讼法》背景下证人出庭作证保障机制优化研究

新修正的《中华人民共和国刑事诉讼法》在我国施行已两年有余,在实践中积累了一定的司法执行经验,最高人民法院和最高人民检察院都出台了相应的细则以及司法解释辅助法律的执行.对证人出庭作证的难点和原因进行分析,提出了完善证人出庭作证的机制,首先需要明晰证人证言采信及出庭的必要条件,其次要健全证人权益保护和补偿机制,同时要完善司...     

一个供教学用的编译程序工具系统

该编译程序工具系统是经对P_4进行拆开,修改,删节,补充之后组成的,主要用于编译程序教学实习方面。本文分为三个部分:1、工具系统的形成;2、工具系统的使用;3、通过一个具体例子进一步说明了对工具系统的使用方法。     

基于实时分布式计算机系统的容错技术研究

目的为研制适应第四代飞机高度综合化、模块化、高可靠性的航空电子系统的计算平台。方法提出了分层容错管理策略。结果由系统、分系统和模块构成三级容错管理策略;由故障监控程序负责故障的监控和确认,并将确认的故障交由故障管理程序处理;由故障管理程序根据蓝图定义完成重构;重构通过逻辑功能到物理资源的不同映射方式实现;给出了这些过程的实例。结论容错功能的实现必须以保证强实时系统的确定性为前提。     

对数正态分布的最小后验风险Bayes判别

设有两个总体G0、G1分别服从参数为(μ0,σ)与(1μ,σ)的对数正态分布.基于寿命数据X、最小后验风险准则,给出了相应的判别分析问题的Bayes判别方法,为寿命判别制定了一个操作简便的规则.     

CDMA数字蜂窝移动通信系统优化流程

研究了CDMA(Code division multiple access)数字蜂窝移动通信系统的优化、优化目标及优化过程。通过对系统的初始设计模拟、单一基站的初始优化、基站组有载条件下的网络优化数据采集、测试数据分析及优化方法的确定、系统参数的修改、检查优化效果并总结留档等问题的讨论，总结出一套基本的系统优化流程。该流程可作为CDMA数字蜂窝移动通信系统优化的一般流程或参考流程。     

农村中小学体育师资队伍现状及对策研究——以云南省曲靖市农村中小学为例

采用问卷调查、文献资料研究等方法,对曲靖市农村中小学体育教师的基本现状进行调查分析.研究结果表明:年龄呈年轻化趋势,教师的配置、职称结构不合理,教师的学历、工作量基本合理,但福利条件与其他教师相比明显偏低.针对存在的问题应加强队伍规划、提高福利待遇、优化队伍.     

基于FSTP模式的《包装结构与包装CAD设计》“四段六步”教学法

通过分析FSTP(四段六步法)教育培养模式的基本特点,设计了《包装结构与包装CAD设计》精品课程的"四段六步法"教学模式,将课程内容、学习情境、学习目标、反馈机制、技能指标嵌入到考核体系。FSTP教学模式将企业产品引入到教学中,通过项目实施,边做边学,实现了学生主体地位,发挥了教师的主导作用,从而形成了特点鲜明的新型高职课程教学体系。