SPECIFICATION

作品数：128被引量：110H指数：5
导出分析报告
相关领域：生物学艺术更多>>
相关作者：顾荣宝张琳娜刘玉芳孔晓峰唐勇更多>>
相关机构：沈阳高精数控技术有限公司武汉华中数控股份有限公司安徽大学沈阳产品质量监督检验院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金河南省科技攻关计划国家重点基础研究发展计划广东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=Journal of Harbin Institute of Technology（New Series）x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Design of Fully Automatic Specification Selection System for Resistance Welding Equipment
《Journal of Harbin Institute of Technology(New Series)》2024年第1期64-68,共5页Xiangkun Lu Zengtai Tian Hao Xu Yue Guo 
A system for fully automatic selection of welding specifications in resistance welding equipment has been developed to address the problem of workers frequently choosing the wrong specifications during manual welding ...
关键词：seat spot welding welding specifications fully automatic 
Verification of instruction set specification for an ASIP
《Journal of Harbin Institute of Technology(New Series)》2008年第4期482-486,共5页纪金松 MAIER Stefan 聂晓宁 周学海 
In order to gain the great performance of ASIP, this paper discusses different aspects of an ASIP instruction set specification like syntax, encoding, constraints as welt as behaviors, and introduces our ADL model bas...
关键词：VERIFICATION ASIP instruction set specification ADL 
The specification and analysis of network embedded system
《Journal of Harbin Institute of Technology(New Series)》2005年第4期434-439,共6页张冠华 张连华 白英彩 
This paper proposes a formal method which is used to model and analyze network devices such as touters. It is based on an algebraic process called “ACSR-VP”, which enhances the original CCS algebraic process by inco...
关键词：Formal method process algebra network devices MODELING 
Testable model specification via statechart schema
《Journal of Harbin Institute of Technology(New Series)》2003年第3期254-258,共5页CAIGuo-yong GUTian-long CHIOUPengLam 
Sponsored by Guangxi Science Research Foundation (Grant No. 0141046)
XML is an important technology for Internet-based data exchange with far reaching capabilities be-yond for just data exchange. The paper describes the first results of a project that aims to explore the applicabil-ity...
关键词：XML STATECHART test specification 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部