排序方式: 共有44条查询结果,搜索用时 15 毫秒
1.
带类型的λ-演算是一个逻辑系统,它可以作为程序语言的基础.Plotkin所引进的PCF就是这样一类程序语言.Plotkin构造了PCF的一个模型,然后讨论与这个模型相关的指称语义和操作语义之间的配合问题──简单配合和完全配合.本文利用Scott引进的信息系统概念构造PCF的另一种模型,并证明与这个模型对应的指称语义与操作语义是完全配合的. 相似文献
2.
本文在研究二阶各向异性扩散方程与四阶各向异性扩散方程的基础上,提出了二者结合的组合扩散算子,同时提出了新的扩散系数.实验表明,新方法对高斯噪声比原有的两种方法有更好的去噪效果,不但能够有效地提高峰值信噪比,而且也消除了四阶方程中所出现的"孤立点". 相似文献
3.
PIC单片机在远程控制中的应用 总被引:4,自引:0,他引:4
介绍了一种用 PIC系列单片机控制的简易远程教学系统,着重介绍了远程控制器的组成和工作原理,并给出了软件设计流程。 相似文献
4.
介绍了DCOM的基本概念及其运行机制,并根据COM/DCOM标准设计规范实现了带有连接点的服务器远程计算服务:矩阵乘法计算。 相似文献
5.
本文基于Perona-Malik模型和四阶偏微分方程提出了耦合偏微分方程的平滑方法。实验表明,该方法能很好兼顾图像噪声消除和边缘保持,避免了二阶偏微分方程处理图像常出现的块效应,使图像平滑自然。 相似文献
6.
分形图像压缩算法中代码本块的改进 总被引:2,自引:0,他引:2
分形图像压缩方法由于其压缩比高、解压方法简单等原因受到了越来越多的重视,但它的压缩质量不是很令人满意,本文在传统算法的基础上对通过定义域块收缩得到的代码本块提出修正算法,证明了该修正算法获得的近似匹配块的均方根误差小于原有的匹配块的误差,本文还对代码本块像素强度值提供了校正方法,使得还原图像在局部上能够更近似于原图像。 相似文献
7.
8.
针对航天企业在质量归零管理信息化过程中遇到的对归零信息和归零过程的多级、多任务和多角色访问控制问题展开研究.在构建面向集团-院-厂所的三级归零管理业务模型的基础上,分析质量归零过程中对归零信息和归零流程的访问控制需求,提出基于任务和角色的扩展访问控制( Extended Task&Role Based Access Control,ETRBAC)模型,该模型将型号权限、产品权限、组织权限和任务权限进行综合,实现了对归零信息和归零流程的多维度访问控制.在理论研究的基础上,设计开发了访问控制组件,并通过软件的实施,验证该访问控制策略的有效性. 相似文献
9.
10.
改进LI的保持距离水平集方法,提出自适应分割弱边缘的活动轮廓模型,并证明自适应力的双向性。模型中自适应力的系数加入图像的灰度均值,根据演化曲线的位置自适应的收缩或扩张。结果表明,该方法克服了原LI模型初始轮廓必须完全包围或含在目标物体内的问题,可以任意设置初始轮廓大小及位置,能够分割多目标图像,具有较强的抗噪性。 相似文献