排序方式: 共有13条查询结果,搜索用时 15 毫秒
1.
本文尝试集成通信系统演算(CCS)和B语言,以扩展CCS在数据和操作定义方面的能力,以及B方法在描述并发系统方面的能力。集成后的形式化模型BCCS可以描述和分析系统的不同方面(结构、控制、数据和功能)和不同类型的系统(顺序、并发和分布式)。 相似文献
2.
各位领导、各位代表、各位同仁:
大家上午好!今天,在这春光明媚的大好时刻,我们上海宝冶集团有限公司的代表和安装企业同仁们与中国安装协会的领导们相聚北京,欢聚一堂,共享颁奖盛典。 相似文献
3.
4.
CAD参数化设计在螺旋输送机中的应用 总被引:1,自引:1,他引:0
螺旋输送机是工厂和矿山广泛使用的物料输送装置。基于VB语言集成环境,在Au-toCAD平台上对螺旋输送机叶片进行了参数化设计,详细说明了界面设计和模块的使用过程。所设计的应用程序模块具有系统自动加载、用户界面操作简单和运行速度快等特点,可在螺旋输送机设计过程中,大大提高绘图效率,具有很强的实用性。 相似文献
5.
针对圆锥螺旋输送机叶片设计、制作时计算量大、准确性差、效率低下的缺点,结合工作实践,提出了一种螺旋角任意等分、利用VB语言编程控制、在AutoCAD平台上自动绘图的设计新方法。实践证明,该方法速度快、准确性高、实用性强,能大大提高设计精度和工作效率。 相似文献
6.
论述了工程施工中出现的混凝土施工质量缺陷的成因。并且通过工程实践,总结了控制混凝土施工质量缺陷的方法。 相似文献
7.
云计算技术与市场的发展引发了对此领域技术人才的极大需求,如何培养云计算人才成了当务之急.文中就我国高校开展云计算教学的必要性与形式做了探讨,并对云计算涉及的核心技术与如何构建云计算实验平台提出了可行的方案. 相似文献
8.
应用统计机器学习方法研究大规模单核苷酸多态性(SNP)与复杂疾病的关联关系面临着"维数灾难",首要的工作是把大规模SNP缩减为较小集合.为此,提出了多重遗传算法用于单核苷酸多态性的特征粗选择.该方法首次提出了用互信息衡量SNP与疾病间关联的紧密程度并作为遗传算法(GA)的适应值,通过多次运用遗传算法并合并寻优的结果得到候选的特征SNP集合.在SNP仿真数据上的实验及与最大熵(ME)方法性能比较表明,该方法最大可能丢弃了SNP集合中与疾病无关的SNP,同时保留了与疾病相关的SNP,为进一步研究提供了合适规模的SNP数据,本方法可用于规模中等或较大的SNP集合. 相似文献
9.
10.