动态语义约束

热门搜索：fpga 51单片机 protel99se 机器人 linux 单片机 dsp arm Proteus matlab

APLA中泛型约束机制研究

泛型程序设计可大幅提高程序的可重用性、可靠性和开发效率.泛型约束机制是对泛型参数进行形式描述,并对其合法性进行检测及验证,从而保证泛型程序的可靠性和安全性.分析总结多种主流语言的泛型约束特性,存在难以描述及验证基于动态语义的复杂约束需求问题,与完整实现GP尚有距离;以抽象程序设计语言Apla为宿主语言,提出了基于 ...

/dl/212910.html

标签： apla 约束机制研究 Apla语言代数结构动态语义约束安全性

上传时间： 2022-09-30

上传用户：art1543031321
基于Python的股票数据爬虫程序设计

引言 Python是一种面向对象、解释型、带有动态语义的高级程序设计语言,其语法简洁清晰,具有丰富和强大的类库.Python语言支持覆盖信息技术各领域的10万个函数库,依靠开源快速开发,形成了全球最大的编程社区.

/dl/211706.html

标签： python 数据爬虫

上传时间： 2022-09-17

上传用户：thct
动态数据表在雷达模拟系统中的应用

动态雷达回波的长余辉消隐处理和显示是雷达模拟器的关键技术。在动态数据表的基础上，提出了用位图模拟雷达回波信号的方法和过程，及模拟动态雷达回波的全屏长余辉消隐算法。进而提出了全屏数据表和全屏查表

/dl/201325.html

标签： 动态全屏

上传时间： 2021-01-01

上传用户：luo800216
无线局域网双向认证动态密钥管理方案

通过对基于椭圆曲线密码体制的ECMQV 密钥协商协议的研究，结合IEEE 802.1x扩展协议EAP-TLS，提出了一种在无线局域网双向认证中实现动态密钥管理的方案。关键词：椭圆曲线密码 EA

/dl/201329.html

标签： 无线局域网双向动态密钥

上传时间： 2021-01-01

上传用户：cyjcxy
基于Lengyel方法的动态毛发模拟研究

分析各种基于Lengyel方法模拟动态毛发技术。通过忽略质点-弹簧系统中的剪应力和折叠力，并假定提供位移力的弹簧不发生伸缩，得到一种“质点-刚性杆系统”，把它引入到Lengyel方法中，结合非线性插值

/dl/201512.html

标签： Lengyel 动态

上传时间： 2021-01-02

上传用户：秦枫
基于非功能性特征的软件动态自演化框架

针对软件系统的动态自适应演化要求，提出一个基于非功能性特征的软件动态自演化框架。该框架将非功能性特征与不同目标的方面实现相关联，刻画它们之间的正负影响及权衡关系，并通过对方面实现的动态编织实现动态自演

/dl/201685.html

标签： 动态非功能性特征

上传时间： 2021-01-03

上传用户：cyjcxy
一种基于最优网格的动态数据过滤机制

数据过滤机制是数据分发管理的核心，直接影响数据分发管理效率。该文提出一种基于最优网格的动态数据过滤机制，分析网格单元大小与更新区域网格数量、冗余信息数量的关系。实验结果表明，该机制可以提高数据过滤效率

/dl/202126.html

标签： 动态数据网格

上传时间： 2021-01-08

上传用户：ioschool
公路动态称重系统红外测速光电传感器的研制

叙述了公路动态称重系统中测量运输汽车行驶速度的红外光电传感器的工作原理, 并对其硬件实现作了介绍。关键词: 红外信号, 传感器, 速度测量

/dl/202491.html

标签： 公路光电传感动态称重系统

上传时间： 2021-01-14

上传用户：2057188940
动态数码管显示

动态数码管显示适合搞51单片机的学生学习使用。

/dl/202933.html

标签： 动态数码管显示

上传时间： 2021-01-22

上传用户：爱死爱死
ISE约束UCF编辑的操作介绍

这是一篇ISE约束UCF编辑的操作介绍的文档，很好用

/dl/203639.html

标签： ISE约束 UCF

上传时间： 2021-02-10

上传用户：peter0000