云南高校图书馆联盟文献共享服务平台- 杜小智

杜小智: 作品数：13被引量：54H指数：4; 导出分析报告; 供职机构：西安交通大学更多>>; 发文主题：燃煤电厂再生方法PLC服务器集群流体随机PETRI网更多>>; 发文领域：自动化与计算机技术文化科学化学工程交通运输工程更多>>; 发文期刊：《计算机教育》《西安交通大学学报》《计算机科学与探索》《计算机应用研究》更多>>; 所获基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金陕西省科学技术研究发展计划项目更多>>

轨道交通BIM协同设计平台的设计与实现被引量：27: 《铁道标准设计》2020年第3期60-64,共5页段熙宾王冰峰杜小智高少军; 中铁第一勘察设计院集团有限公司科研计划课题(院软17-08); 协同设计是BIM正向设计的显著特点,是解决轨道交通设计工作中设计专业广、设计人员多、设计资料杂等问题的重要手段。为有效支持众多设计人员的协同工作并管理这些设计模型及资料,需开发面向轨道交通项目的BIM协同设计平台。该平台结合...; 关键词：轨道交通工作流 B/S风格协同设计 BIM正向设计

一种结合数据流约束的变异测试用例生成方法: 《软件工程与应用》2018年第2期99-109,共11页杜小智强倩瑶黄琳婷; 国家自然科学基金资助项目(11575138);陕西省工业公关项目资助项目(2013K06-20);中央高校基本科研业务费专项基金资助项目(XJJ2015122);轨道交通工程信息化国家重点实验室开放课题项目(SKLK16-08)。; 变异测试是一种高效的软件测试方法。作为发现故障和发现测试用例缺陷的一种手段,测试用例生成方法至关重要。如果测试用例能有效地生成并获得较高的变异评分,则有助于变异测试的广泛应用。目前大部分变异测试用例生成方法都是通过分析...; 关键词：变异测试测试用例生成适应度函数变异评分

基于二分图极大权值匹配的SoC故障定位算法研究被引量：3: 《计算机应用研究》2017年第1期79-82,共4页张鹏朱利杜小智; 国家自然科学基金资助项目(61473220);陕西省工业公关项目(2013K06-20);中央高校基本科研业务费专项资金资助项目(XJJ2015122); 针对故障传播给故障定位带来的影响,考虑SoC功能测试系统中的故障源与故障事件之间的不确定性,提出一种基于二分图的故障定位算法。从SoC中抽象出特定的硬件模块,由这些模块构成故障源,结合相应的故障事件组合成二分图,在二分图的基础...; 关键词：故障传播二分图模型极大权值匹配 SoC故障定位

基于结构化标签的控制流错误检测算法被引量：2: 《计算机工程》2016年第6期37-42,共6页张鹏朱利杜小智贺朝会陈皓; 国家自然科学基金资助项目(61473220);中央高校基本科研业务费专项基金资助项目(XJJ2015122);陕西省工业公关计划基金资助项目(2013K06-20); 在高辐射宇宙环境下,大量射线容易使航天计算机发生瞬态故障,导致程序出现控制流错误,而传统控制流错误检测算法存在运算复杂度高、具有滞后性和配置不灵活等缺点。为此,基于结构化标签提出一种可配置的控制流错误检测算法。算法使用2...; 关键词：瞬态故障控制流错误检测基本块结构化标签故障注入软件容错

软件工程专业的硬件实验教学模式探索被引量：6: 《计算机教育》2014年第17期24-27,共4页李晨朱利杜小智张琴; 2013西安交通大学教师教学发展中心本科教学改革与研究专题青年项目; 针对软件工程特殊的专业背景和应用性的需求,从教学体系构建、实验环境选取、教学内容安排、考核方法等方面,阐述开展硬件实验教学的新模式和新思路。; 关键词：软件工程专业硬件实验教学教学模式考核方法

视频点播系统的软件老化估计和预测被引量：6: 《计算机研究与发展》2011年第11期2139-2146,共8页杜小智齐勇鲁慧民侯迪徐崇安陈滢钟虓; 国家自然科学基金重点项目(60933003);国家“八六三”高技术研究发展计划基金项目(2009AA01Z116);陕西省科学技术研究发展计划基金项目(2008kw-02);IBM合作项目(JLP200906008-1);高效能服务器和存储技术国家重点实验室开放基金项目(2009HSSA09); 针对视频点播系统,研究其软件老化模式.对系统资源和视频点播服务器的实时参数,采用Mann-Kendall方法来检测老化趋势以判断系统是否存在软件老化现象,并采用Sen的斜率估计方法来估计老化衰退速率;提出了基于径向基网络的软件老化预测模...; 关键词：软件老化老化预测老化估计视频点播软件可靠性

应用服务器资源动态重配置再生方法被引量：1: 《计算机科学与探索》2011年第3期256-266,共11页刘宏磊杜小智侯迪齐勇; 国家自然科学基金~~; 传统的基于模型的老化与再生研究方法已不适于动态开放的网络环境。以对服务器内部状态、行为、环境等信息进行运行时监测,并准确、全面地评价老化趋势为基础,采用资源动态重配置方法提高系统服务能力、灵活性与适应性具有重要意义。以J...; 关键词：软件老化软件再生运行时监测资源动态重配置应用服务器

重配置与周期再生相结合的软件再生模型被引量：2: 《西安交通大学学报》2010年第1期91-95,共5页杜小智齐勇侯迪陈滢; 国家自然科学基金委-微软亚洲研究院联合资助重点项目(60933003);国家高技术研究发展计划资助项目(2006AA01Z101);IBM联合项目(JLP200906008-1); 针对持续运行软件系统中的老化问题,提出一种重配置与周期再生相结合的软件再生方法.采用连续时间马尔可夫链对两阶段衰退软件系统的工作模式进行建模,给出系统可用性和单位时间平均成本的形式化定义与分析,并以可用性和成本作为评价标...; 关键词：软件再生重配置软件老化

基于流体随机Petri网的服务器集群再生模型被引量：1: 《计算机科学》2009年第7期131-134,共4页杜小智齐勇侯迪刘亮; 国家863项目(2006AA01Z101);IBM合作项目资助; 服务器集群是提高系统QoS和可用性的一种方法,但由于需要长期连续运行提供服务,集群系统仍然会存在软件老化现象,从而造成系统的处理能力随时间的增加而降低、失效率随时间的增加而增加。现同时考虑软件老化对系统处理能力与失效率的影...; 关键词：软件再生软件老化流体随机PETRI网集群

MAS-based dynamic web service composition formal model被引量：3: 《Journal of Southeast University(English Edition)》2008年第3期289-292,共4页徐东红齐勇候迪沈林峰杜小智王功震; The National Natural Science Foundation of China(No.90612014);IBM China Research Lab Joint Project; Applying dynamic web services composition is one of the important schemas for solving service-oriented architecture （SOA）and service-oriented computing（SOC）.For implementing dynamic web services composition,the mu...; 关键词：dynamic web service composition MAS（multi agent system） PI-CALCULUS process calculus Pi4SOA

杜小智