论文部分内容阅读
“教学做合一”的教育命题蠡测
【机 构】
：
哈尔滨师范专科学校高教研究室
【出 处】
：
哈尔滨学院学报
【发表日期】
：
1997年4期
其他文献
为了提高时序电路的等价性验证速度,提出一种改进的基于寄存器匹配的验证算法.除了利用原像计算避免误判之外,该算法还将可达状态和不可达状态引入到验证过程中.将仿真过程中从初始状态可以到达的状态记录为可达状态,将验证过程中确认不能从初始状态到达的状态记录为不可达状态,利用它们减少验证过程中的原像计算.基于mcnc91电路的实验数据表明,该算法有效地减少了验证时间.
文中提出了一种二维形状渐变的新方法,即基于连分式插值metamorphosis技术。用此方法可以实现多个不同形状之间的渐变。它是一新的非线性插值算法,与其他算法相比,该方法具有计算精度高、多边形过渡平滑、易于编程实现等优点。
本文提出了在单元格堆砌思想的基础上用XML实现通用报表框架信息的描述方法,同时对通用报表数据进行了简单有效的分类,从而形成了一种对通用智能报表的一个较为全面的XML描述思想。这种思想比以往用数据库表结构描述的报表信息在应用上有更大的灵活性,为三层模型实现报表应用系统提供了方便。
针对传统操作系统存在的安全缺陷,作者提出了一个将几种安全策略和机制有机结合,很好地弥补安全缺陷的基于LINUX的安全增强实现思路。
为提高工作流的柔性,解决工作流模型变更引起的流程实例迁移问题,提出了即时变更处理方法.该方法基于Petri网模型,用关系矩阵定义节点路由,用状态标识矩阵描述流程实例执行状态,通过变更处理算法查找可越过节点和迁移节点,实现了流程实例的即时变更.最后以更改签收流程为例,验证了文中方法的可行性.
为了方便地实现B样条曲面建模,讨论了一般节点下2张B样条曲面G1连续条件中连接函数的性质,以及连接函数、本征方程和公共边界的相互约束关系.通过分析连接函数在内节点上的连续性质,提出了一种用B样条函数为连接函数的B样条曲面G1连续拼接方法.最后以分段二次连接函数为例,实现了双三次B样条曲面的G1连续拼接.该方法由于采用了重节点,释放了公共边界的自由度,使得曲面拼接更为灵活.
对江西省2004--2007年已通过保健食品GMP审查认证的生产企业进行总结分析，发现存在的主要问题是我省经济欠发达，大多数保健食品生产企业剂型单一、规模较小、工艺简单，产品技术
老年退行性心血管疾病,自由基及其脂质过氧化反应所导致的膜损害是其主要原因。硒(Se)具有抗脂质过氧化、保护生物膜的作用,Se与心血管的结构、功能及其疾病的发生关系密切.
为了实现被拍摄物体的三维重建,设计了一种单相机-圆柱-锥形反射镜面共轴的全视角立体成像系统结构,并提出了系统中物点与全视角图像中像点的投影映射方法.被拍摄物体通过圆柱-锥形反射镜的2次反射成像在相机获取的图像中形成具有全视角信息的环行立体像对,立体像对中符合外极线约束的像点对与相应物点存在对应关系,在投影变换基础上进行立体像点对匹配后,根据图像中像点对的坐标位置可得出相应物点的三维坐标值.最后在3
利用Barrick等效表面阻抗法和Wait近似算法等研究了粗糙海-陆混合路径对雷电电磁场传播的影响。结果表明，当雷电发生在海面，电磁辐射场沿海．陆混合路径传播时，即使在陆地部分的传