检索结果-维普期刊中文期刊服务平台

面向业务的CRM系统构件化设计方法研究被引量：4: 1; 作者何建民傅成《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心 2008年第9期1489-1493,共5页; 网络环境下的客户关系管理面临着一系列的新难题,如遗留系统的投资保护、系统复杂性控制及新需求带来的适应性等。文章运用软件工程和构件化的软件设计思想,按业务、功能、事务逐步求精分类分层建立其对应的构件库,再根据不同构件的用途... 展开更多; 关键词客户关系管理构件化设计业务构件分层系统开发; 在线阅读下载PDF 职称材料

煤矿设备信息管理系统的构件化设计方法被引量：4: 2; 作者王维《工矿自动化》北大核心 2012年第5期33-35,共3页; 针对现有的煤矿设备信息管理系统开发效率和复用粒度低、难以满足煤矿个性需求的问题,从软件复用的角度介绍了一种煤矿设备信息管理系统的构件化设计方法,给出了系统开发模型和体系结构,详细介绍了系统构件的设计和实现方法。该构件化... 展开更多; 关键词煤矿设备信息管理构件化设计构件技术软件复用 .NET框架; 在线阅读下载PDF 职称材料

构件化嵌入式软件设计模型非功能性质验证的工具实现被引量：4: 3; 作者徐丙凤胡军 +3 位作者曹东黄志球郭丽娟张剑《计算机科学》 CSCD 北大核心 2010年第8期156-163,共8页; 嵌入式软件的非功能性质是系统高可靠性的重要构成部分。传统的嵌入式软件可靠性保障技术主要关注于系统开发后期,缺乏有效工具对系统设计的非功能性质进行分析与验证。对基于接口自动机模型的构件化嵌入式软件设计验证原型工具T-CBESD(... 展开更多; 关键词嵌入式软件设计非功能性质验证构件化设计软件验证工具接口自动机; 在线阅读下载PDF 职称材料

T-CBESD:一个构件化嵌入式软件设计模型验证工具被引量：3: 4; 作者徐丙凤胡军 +3 位作者曹东黄志球郭丽娟张剑《小型微型计算机系统》 CSCD 北大核心 2010年第11期2129-2137,共9页; 现代复杂嵌入式软件系统的高可靠性需要有效的基于模型的设计与分析技术.传统的嵌入式软件可靠性保障技术主要关注于系统开发后期.本文在Eclipse平台上设计并实现了一个基于接口自动机模型的构件化嵌入式软件设计的形式化验证原型工具T-... 展开更多; 关键词嵌入式软件设计构件化设计软件验证接口自动机模型检验工具; 在线阅读下载PDF 职称材料

基于工作流的大型仓库物流监控系统设计被引量：15: 5; 作者李志民赵一丁《现代电子技术》北大核心 2016年第6期66-69,共4页; 当前大部分大型仓库物流监控系统,主要面向结构化的业务过程,功能单一,监控性能差。而工作流管理技术能够提高仓库物流监控系统的灵活性,通过高效率塑造业务工程,确保企业效益最大化。因此,提出基于工作流的大型仓库物流监控系统。该系... 展开更多; 关键词工作流大型仓库物流监控构件化设计; 在线阅读下载PDF 职称材料

基于接口精化的广义无干扰性研究被引量：2: 6; 作者孙聪习宁 +3 位作者高胜张涛李金库马建峰《计算机研究与发展》 EI CSCD 北大核心 2015年第7期1631-1641,共11页; 在复杂构件化软件的设计和实现过程中,由于安全属性的可组合性难以实现,使得系统整体的安全需求难以得到有效保证,因而安全属性的规约和验证问题是构件化软件开发过程中关注的关键问题.针对当前构件化软件设计过程中,信息流安全属性仅... 展开更多; 关键词信息流安全无干扰性接口自动机精化构件化设计; 在线阅读下载PDF 职称材料

基于K60的多协议防碰撞RFID读卡器设计被引量：2: 7; 作者孙奇燕王宜怀 +1 位作者冯德旺景林《福建农林大学学报（自然科学版）》 CSCD 北大核心 2014年第1期107-112,共6页; 提出了一种能够识别ISO/IECl4443A、ISO/IECl4443B和ISO/IECl5693三种协议标签的RFID读卡器构件化设计方案,同时针对多标签冲突情况实现了协议中给出的防碰撞算法.结果表明,该方案提高了软硬件的可重用性和可移植性,缩短了开发周期.; 关键词 RFID射频识别多协议防碰撞构件化设计; 在线阅读下载PDF 职称材料

畜禽养殖场典型装备: 8; 作者严康《农家致富》 2020年第11期38-38,共1页; 一、可移动经济型猪舍可移动经济型猪舍是江苏省农科院畜牧所研发的一种新型猪舍。其采用构件化设计,造价较低,能够组装拆卸移动;猪舍地面不固化,不改变使用土地性质,能够在农田里建造;猪舍可经常移动,有利于种养轮换和疫病防控,减少环... 展开更多; 关键词江苏省农科院疫病防控畜牧所畜禽养殖场猪舍构件化设计抗风荷载环境压力; 在线阅读下载PDF 职称材料

题名面向业务的CRM系统构件化设计方法研究被引量：4: 1; 作者何建民傅成; 机构合肥工业大学管理学院; 出处《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心 2008年第9期1489-1493,共5页; 基金国家自然科学基金资助项目(70631003); 文摘网络环境下的客户关系管理面临着一系列的新难题,如遗留系统的投资保护、系统复杂性控制及新需求带来的适应性等。文章运用软件工程和构件化的软件设计思想,按业务、功能、事务逐步求精分类分层建立其对应的构件库,再根据不同构件的用途,搭建面向网络环境下的CRM系统,使其系统中的业务构件能够大量复用,提高了系统可靠性和开发效率。; 关键词客户关系管理构件化设计业务构件分层系统开发; Keywords customer relationship management（CRM） component-based design business component delamination system development; 分类号 N945.2 [自然科学总论—系统科学]; 在线阅读下载PDF 职称材料

题名煤矿设备信息管理系统的构件化设计方法被引量：4: 2; 作者王维; 机构天地(常州)自动化股份有限公司; 出处《工矿自动化》北大核心 2012年第5期33-35,共3页; 基金天地(常州)自动化股份有限公司研发项目(11SY007); 文摘针对现有的煤矿设备信息管理系统开发效率和复用粒度低、难以满足煤矿个性需求的问题,从软件复用的角度介绍了一种煤矿设备信息管理系统的构件化设计方法,给出了系统开发模型和体系结构,详细介绍了系统构件的设计和实现方法。该构件化设计方法通过创建.NET功能构件,复用.NET中的基本构件和已创建的功能构件,最后在.NET开发平台上组装构件来达到软件复用的目的,提高了系统软件的开发效率、可靠性和可重用性。; 关键词煤矿设备信息管理构件化设计构件技术软件复用 .NET框架; Keywords coal equipment, information management, component design, component technology,software reuse, . NET framework; 分类号 TD67 [矿业工程—矿山机电]; 在线阅读下载PDF 职称材料

题名构件化嵌入式软件设计模型非功能性质验证的工具实现被引量：4: 3; 作者徐丙凤胡军曹东黄志球郭丽娟张剑; 机构南京航空航天大学信息科学与技术学院南京大学计算机软件新技术国家重点实验室南京航空航天大学自动化学院; 出处《计算机科学》 CSCD 北大核心 2010年第8期156-163,共8页; 基金航空基金(2007ZD52043) 教育部博士点基金(20070287052)项目资助; 文摘嵌入式软件的非功能性质是系统高可靠性的重要构成部分。传统的嵌入式软件可靠性保障技术主要关注于系统开发后期,缺乏有效工具对系统设计的非功能性质进行分析与验证。对基于接口自动机模型的构件化嵌入式软件设计验证原型工具T-CBESD(Tool for Component-based Embedded Software Designs)进行了资源及能耗等非功能性质验证功能的扩展设计与实现,包括:资源接口自动机和能耗接口自动机模型的输入输出接口设计、UML顺序图模型的预处理、带非功能语义信息的组合系统状态空间数据结构的设计、非实时资源使用性质与实时相关能量消耗特征验证算法的实现,以及一个通信构件组合系统的实例应用分析。; 关键词嵌入式软件设计非功能性质验证构件化设计软件验证工具接口自动机; Keywords Embedded software design, Non-functional property verification, Component-based design, Software verification tool, Interface automata; 分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名T-CBESD:一个构件化嵌入式软件设计模型验证工具被引量：3: 4; 作者徐丙凤胡军曹东黄志球郭丽娟张剑; 机构南京航空航天大学信息科学与技术学院计算机软件新技术国家重点实验室(南京大学) 南京航空航天大学自动化学院; 出处《小型微型计算机系统》 CSCD 北大核心 2010年第11期2129-2137,共9页; 基金航空基金项目(2007ZD52043)资助教育士点基金项目(20070287052)资助; 文摘现代复杂嵌入式软件系统的高可靠性需要有效的基于模型的设计与分析技术.传统的嵌入式软件可靠性保障技术主要关注于系统开发后期.本文在Eclipse平台上设计并实现了一个基于接口自动机模型的构件化嵌入式软件设计的形式化验证原型工具T-CBESD(Tool for Component-Based Embedded Software Designs).工具直接使用UML顺序图模型作为系统规约,可以检验系统设计模型与场景式规约之间多种行为一致性问题;并使用消息事件的时间约束不等式,检验实时接口自动机网络与带时间约束的顺序图模型之间的实时行为一致性问题.工具设计与实现内容包括:输入输出接口、顺序图模型的预处理转换、状态空间数据结构设计、抽象验证算法的实现以及通信构件组合系统的实例应用分析.; 关键词嵌入式软件设计构件化设计软件验证接口自动机模型检验工具; Keywords embedded software design component-based design software verification interface automata model checking tool; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于工作流的大型仓库物流监控系统设计被引量：15: 5; 作者李志民赵一丁; 机构中原工学院计算机学院; 出处《现代电子技术》北大核心 2016年第6期66-69,共4页; 基金河南省教育厅科学技术重点研究项目(14B870005); 文摘当前大部分大型仓库物流监控系统,主要面向结构化的业务过程,功能单一,监控性能差。而工作流管理技术能够提高仓库物流监控系统的灵活性,通过高效率塑造业务工程,确保企业效益最大化。因此,提出基于工作流的大型仓库物流监控系统。该系统采用构件化设计,使用脚本语言描述仓库物流监控的工作流过程,用数据库保存工作流系统中的数据,客户端通过浏览器的方式完成信息交互,系统包括数据层、业务层以及表示层。系统由运输管理功能、仓储管理功能、客户管理功能、系统维护功能、监控管理功能和工作流管理功能六大功能模块构成。给出用户采用系统进行检索和查询的关键代码。实验结果表明,所设计的大型仓库物流监控系统的监控时间、监控效率以及监控精度性能都较优,具有较高的应用价值。; 关键词工作流大型仓库物流监控构件化设计; Keywords workflow large warehouse logistics monitoring component-based design; 分类号 TN911-34 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名基于接口精化的广义无干扰性研究被引量：2: 6; 作者孙聪习宁高胜张涛李金库马建峰; 机构西安电子科技大学网络与信息安全学院中央财经大学信息学院; 出处《计算机研究与发展》 EI CSCD 北大核心 2015年第7期1631-1641,共11页; 基金长江学者和创新团队发展计划项目(IRT1078) 国家自然科学基金委员会--广东联合基金重点基金项目(U1135002) +6 种基金国家自然科学基金项目(61303033 61272398) 航空科学基金项目(2013ZC31003 20141931001); 文摘在复杂构件化软件的设计和实现过程中,由于安全属性的可组合性难以实现,使得系统整体的安全需求难以得到有效保证,因而安全属性的规约和验证问题是构件化软件开发过程中关注的关键问题.针对当前构件化软件设计过程中,信息流安全属性仅局限于二元安全级格模型的问题,在现有安全接口结构基础上提出广义安全接口结构,在广义安全接口结构上定义精化关系,并利用这一精化关系定义了能够支持任意有限格模型的基于安全多执行的无干扰属性,首次将安全多执行的思想应用于构件化系统的信息流安全属性验证.使用Coq定理证明工具实现了接口自动机程序库以及对精化关系的判定过程,并用实例验证说明了无干扰属性定义的特点及判定方法的有效性.; 关键词信息流安全无干扰性接口自动机精化构件化设计; Keywords information flow security non-interference interface automata refinement component-based design; 分类号 TP309.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于K60的多协议防碰撞RFID读卡器设计被引量：2: 7; 作者孙奇燕王宜怀冯德旺景林; 机构福建农林大学计算机与信息学院苏州大学计算机科学与技术学院; 出处《福建农林大学学报（自然科学版）》 CSCD 北大核心 2014年第1期107-112,共6页; 基金国家自然科学基金资助项目(61070169) 福建省自然科学基金资助项目(2012J01190); 文摘提出了一种能够识别ISO/IECl4443A、ISO/IECl4443B和ISO/IECl5693三种协议标签的RFID读卡器构件化设计方案,同时针对多标签冲突情况实现了协议中给出的防碰撞算法.结果表明,该方案提高了软硬件的可重用性和可移植性,缩短了开发周期.; 关键词 RFID射频识别多协议防碰撞构件化设计; Keywords RFID multi-protocol anti-collision component design; 分类号 TB91 [机械工程—测试计量技术及仪器]; 在线阅读下载PDF 职称材料

题名畜禽养殖场典型装备: 8; 作者严康; 机构江苏省畜牧总站; 出处《农家致富》 2020年第11期38-38,共1页; 文摘一、可移动经济型猪舍可移动经济型猪舍是江苏省农科院畜牧所研发的一种新型猪舍。其采用构件化设计,造价较低,能够组装拆卸移动;猪舍地面不固化,不改变使用土地性质,能够在农田里建造;猪舍可经常移动,有利于种养轮换和疫病防控,减少环境压力。可移动经济型猪舍宽10.5米,肩高1.9米,顶高5.0米,长度不限(可根据实际地形地貌设计猪舍规格),抗风荷载≤20米/秒,抗雪荷载≤15千克/平方米,悬挂荷载≤0.35帕斯卡,具有14项专利。; 关键词江苏省农科院疫病防控畜牧所畜禽养殖场猪舍构件化设计抗风荷载环境压力; 分类号 S82 [农业科学—畜牧学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	面向业务的CRM系统构件化设计方法研究	何建民傅成	《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心	2008	4	在线阅读下载PDF 职称材料
2	煤矿设备信息管理系统的构件化设计方法	王维	《工矿自动化》北大核心	2012	4	在线阅读下载PDF 职称材料
3	构件化嵌入式软件设计模型非功能性质验证的工具实现	徐丙凤胡军曹东黄志球郭丽娟张剑	《计算机科学》 CSCD 北大核心	2010	4	在线阅读下载PDF 职称材料
4	T-CBESD:一个构件化嵌入式软件设计模型验证工具	徐丙凤胡军曹东黄志球郭丽娟张剑	《小型微型计算机系统》 CSCD 北大核心	2010	3	在线阅读下载PDF 职称材料
5	基于工作流的大型仓库物流监控系统设计	李志民赵一丁	《现代电子技术》北大核心	2016	15	在线阅读下载PDF 职称材料
6	基于接口精化的广义无干扰性研究	孙聪习宁高胜张涛李金库马建峰	《计算机研究与发展》 EI CSCD 北大核心	2015	2	在线阅读下载PDF 职称材料
7	基于K60的多协议防碰撞RFID读卡器设计	孙奇燕王宜怀冯德旺景林	《福建农林大学学报（自然科学版）》 CSCD 北大核心	2014	2	在线阅读下载PDF 职称材料
8	畜禽养殖场典型装备	严康	《农家致富》	2020	0	在线阅读下载PDF 职称材料