首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   29篇
  免费   7篇
  国内免费   2篇
综合类   6篇
金属工艺   1篇
机械仪表   1篇
矿业工程   3篇
武器工业   3篇
无线电   2篇
一般工业技术   1篇
冶金工业   1篇
自动化技术   20篇
  2020年   2篇
  2019年   1篇
  2018年   1篇
  2015年   4篇
  2014年   1篇
  2013年   4篇
  2012年   4篇
  2011年   2篇
  2010年   1篇
  2009年   4篇
  2008年   3篇
  2007年   1篇
  2006年   4篇
  2005年   1篇
  2002年   3篇
  2000年   2篇
排序方式: 共有38条查询结果,搜索用时 15 毫秒
1.
阐述城镇燃气钢质管道带压焊接的意义,分析带压焊接工艺中避免产生氢致裂纹的条件。按照相关标准的要求,确定带压焊接适用范围。采用管材为Q235B,规格为D426 mm×7 mm的管件制成试验装置,以水代替天然气,模拟燃气管道实际运行条件,进行带压焊接试验,对试样进行检验。结果表明,在运行压力不大于0. 4 MPa,规格为D426 mm×7 mm的燃气钢质管道上实施焊接,可以避免产生氢致裂纹,同时对实施带压焊接工艺提出了合理化建议。  相似文献   
2.
为弥补传统程序切片方法在切片点变量选择上的局限性,提出了一种灵活的切片准则,并基于该切片准则给出了一种新的切片方法.该方法将程序划分成一种块状结构,把切片划分为块内切片和块外切片,利用块内切片算法和块内切片迭代分别求取块内切片和块外切片的结果.实验结果表明,该方法是可行的,弥补了现有程序切片方法的缺陷.  相似文献   
3.
高技术条件下的信息化战场,对指挥信息系统信息能力的要求越来越高.如何通过评估信息系统信息能力的高低来判断战场信息优势和制信息权的取得,以及发现系统信息能力存在的缺陷将是非常重要的问题.文中通过调研分析建立了指挥信息系统信息能力的多级评估指标,采用层次分析法确定了各同级指标间的相对权重,应用多元联系数集对分析方法完成了对指挥信息系统信息能力的综合评估.基于多元联系数集对分析模型客观严谨、评估结果合理,具有较高的可信度和可行性,适合于指挥信息系统信息能力的评估.  相似文献   
4.
目前可执行体系结构的相关研究缺乏统一的描述框架和分析设计方法.为此,结合系统建模语言(SysML)中的行为图、需求图和结构图,改进美国国防部体系结构框架的三视图体系结构,在此基础上提出一种可执行体系结构框架模型,并规范可执行开发过程.应用结果表明,该框架是可行的,能为下一步体系结构的动态仿真评估验证提供方法指导.  相似文献   
5.
基于UML类图模型的一致性检查方法   总被引:1,自引:0,他引:1  
UML中的类图采用直观的图形化表示方法,有效描述了待建系统的静态特征,为系统设计人员发现系统模型中存在的不一致性和冗余等问题,提供了有效的分析工具.但是对于复杂的系统,完全依靠系统分析人员发现模型中存在的不一致性和冗余等问题是不现实的,应当为建模工具赋以模型自动一致性检查功能.SHOIQ(D)是描述逻辑家族中可判定的子集,它在保证推理可判定的同时,具备较强的描述知识能力.鉴于上述特点,通过从UML类图图元中抽取语义.用SHOIQ(D)形式化描述类图图元,借助自动推理引擎,从而使基于UML类图模型的自动一致性检查功能得到实现.根据该方法改进后的建模工具,可以自动发现基于UML类图模型中存在的不一致性和冗余等问题.  相似文献   
6.
梁家山隧道穿越风化严重的千枚岩地层,造成大塌方两次,小塌方数次.在处理塌方过程中,采用了地表深孔预注浆,超前、长、大管棚,并增加二次衬砌厚度,且加入4φ25格构梁等方法,使隧道得以顺利贯通.主要介绍了在不良地质地段,对隧道塌方处理的设计方案及施工工艺等.  相似文献   
7.
详细介绍双导梁穿行式架桥机架设交角不同斜交桥时的前支腿设计情况,分析其特点及性能,并指出利用此前支腿架设斜交桥的有利方面.  相似文献   
8.
UML活动图的操作语义   总被引:1,自引:0,他引:1  
越来越多的系统采用UML(unified model language,统一建模语言)作为建模语言来进行系统分析和设计.UML活动图是UML语言中描述系统动态行为的一种方法,它广泛地运用于业务建模.由于UML活动图缺乏精确的动态语义,所以不利于对其所描述的系统进行形式化的分析、验证和确认.为解决这一问题,根据UML1.5语义文档,给出UML活动图的形式化操作语义.首先给出UML活动图的形式化的语法,然后详细地定义了活动图的格局和变迁,最后基于LTS给出了活动图的演绎规则.主要工作是:引入状态包的概念,使得描述更加清楚、完善;通过LTS定义活动图的操作语义,并详细阐述演绎规则,从而获得活动图的全局状态转移图,使定义的操作语义很容易地应用到形式化验证中.该语义覆盖了UML活动图的绝大部分特征,为对UML活动图进行模型检验奠定了基础.  相似文献   
9.
10.
针对现有智能通信业务生成技术严重依赖平台环境,业务逻辑跨不同API,导致智能通信业务软件移植性差,难以适应业务需求变化快和开放的网络环境等问题,文中通过提出一种智能通信业务的模型转换方法,解决智能通信业务软件自动生成的问题。首先,从两个部分制定相应的模型转换规则,实现平台无关业务模型到JAIN SIP平台业务静态模型的转化定义,以及到JAIN SIP平台业务可执行语义模型的转化定义。然后,利用IBM RSA工具构建模型转换引擎。最后,以典型的呼叫业务为例,完成了模型转换的具体实现过程,说明了方法的有效性和可用性。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号