基于组件技术的网上购物系统

为了提高软件的可重用性、软件开发的效率、软件系统的可靠性和灵活性,软件开发技术在传统的结构化程序设计和面向对象的程序设计方法的基础上,发展到了基于组件的开发阶段.文中介绍了系统采用的关键技术--组件技术及基于组件的软件开发过程,然后应用组件技术设计了网上购物系统.实践证明基于组件技术的软件设计方法可以缩短软件开发周期,降低开发费用,增强软件的复用能力.基于组件技术设计的网上购物系统具有很好的可靠性、可维护性以及安全性.     

青鸟网上构件库系统的访问控制机制

青鸟网上构件库系统通过对可复用构件的管理,支持软件企业进行基于构件的软件开发.系统在提高开放性的同时,往往会带来安全性以及知识产权方面的问题.为了解决这些问题,在青鸟网上构件库系统中采用基于角色的访问控制机制,并将构件描述信息与构件实体区别对待.为构件库系统及其所管理的构件定义了用户、角色、权限和角色继承,满足了安全性、知识产权管理等多种需求,同时也保证了系统的效率和对复用的支持.     

基于组件技术的网上购物系统

为了提高软件的可重用性、软件开发的效率、软件系统的可靠性和灵活性,软件开发技术在传统的结构化程序设计和面向对象的程序设计方法的基础上,发展到了基于组件的开发阶段。文中介绍了系统采用的关键技术———组件技术及基于组件的软件开发过程,然后应用组件技术设计了网上购物系统。实践证明基于组件技术的软件设计方法可以缩短软件开发周期,降低开发费用,增强软件的复用能力。基于组件技术设计的网上购物系统具有很好的可靠性、可维护性以及安全性。     

软件组件的共代数语意

基于组件的软件开发能够有效提高软件开发的质量与效率.但在一些安全关键的领域,由于形式化模型与方法的缺乏,使得基于组件的开发方法不能成功应用.为了得到一套完整的形式化模型用于描述软件组件及其组成的系统,首先必须对软件组件的形式化语意进行定义.文中提出了一种基于共代数概念的语意,使得满足接口和组件规约的组件对应于一个具体的共代数,并由此推导出了接口和组件的功能契约的形式语意以及接口依赖的共代数语意.通过对一个简单的堆栈进行规约,体现了这种方法的可应用性.     

片上网络

半导体技术的飞速发展推动SoCs设计进入到片上网络时代.针对片上网络设计所面临的挑战性难题,提出了一种新的基于组件的分层设计方法.该方法遵循垂直的设计流程,为组件复用以及可靠的网内互连提供了良好的支持.其中详细讨论了片上网络从下到上各个层次设计所面临的问题,并提出了相应的解决策略.最后,简单阐述了片上网络有待研究和解决的问题.     

MBSE使能动车组高压系统领域智能高效生成方案

针对采用基于模型的系统工程(MBSE)思想进行产品创新性设计中存在的问题,如需要额外增加大量的建模工作量、难以重用已有的企业丰富设计经验、设计方案生成效率低等,以动车组高压系统为研究对象,提出一套完整的系统架构智能高效生成流程,使能动车组高压系统智能创新设计,具体内涵为:基于MBSE思想,扩展系统建模语言元模型,构建动车组高压系统领域功能知识库和组件库,复用已有设计经验,定义一套完整可行的动车组功能到组件映射规则,设计一个高效的候选设计方案生成算法.以中国标准的250 km/h动车组高压系统为实验对象,提出的方法针对给定的动车组功能模型能够自动生成5个有效的候选系统架构,并从功能性、鲁棒性、风险性、成本、整体性能5个维度评价每种候选系统架构,提升动车组设计师系统建模效率,启发设计师创新过程.     

软件复用和基于可重用组件技术的软件开发(CBSD)

本文介绍了软件复用的概念、级别和困难所在。针对软件复用的特性,阐述了如何进行基于组件的系统开发。     

基于组件的电厂设备检修系统分析与设计

组件和基于组件的软件开发方法是管理信息系统革命的驱动力。文中简略讨论了组件、基于组件的软件开发方法以及.Net这种组件开发平台,并介绍了组件技术在电厂设备检修系统分析与设计中的应用。基于组件的软件开发方法实现了软件的复用,提高了软件开发的效率,节省了软件开发费用并且易于扩展。应用这种方法开发出的电厂设备检修管理系统已经安全可靠地应用于某电厂生产中,大大提高了电厂设备检修的管理水平。     

一种CAD系统组件模型的组合技术及其实现

当前CAD系统中采用的组件模型主要有两类：标准组件模型和自定义组件模型。尽管这两种情况都有成功的例子，但是不能完全照搬成功经验。在分析了当前CAD开发中面临的挑战后，讨论了组件模型的选择策略，并给出了一个较好的解决方案——在标准组件模型的基础上增加一些新的特征和技术。最后，提出和实现了一个在COM组件模型基础上组件复用和扩展的新技术。     

煤矿设备信息管理系统的构件化设计方法

针对现有的煤矿设备信息管理系统开发效率和复用粒度低、难以满足煤矿个性需求的问题,从软件复用的角度介绍了一种煤矿设备信息管理系统的构件化设计方法,给出了系统开发模型和体系结构,详细介绍了系统构件的设计和实现方法。该构件化设计方法通过创建.NET功能构件,复用.NET中的基本构件和已创建的功能构件,最后在.NET开发平台上组装构件来达到软件复用的目的,提高了系统软件的开发效率、可靠性和可重用性。     

SoC芯片设计方法及标准化

随着集成电路技术的迅速发展，集成电路已进入系统级芯片（SoC)设计时代，SoC芯片的集成度越来越高，单芯片上的集成度和操作频率越来越高，投放市场的时间要求越来越短，为了实现这样的SoC芯片，设计越来越依赖IP模块的重用，SoC复杂性的提高和IP模块的多样化，SoC芯片中多个厂商不同IP模块的使用，导致了IP模块可重用的许多问题，IP模块和片上总线，以及EDA工具接口的标准化，是解决IP模块标准化的很好途径，另一方面，SoC芯片设计的复杂性和嵌入软件所占比重的增加，要求更高层次的系统抽象和软硬件的协同设计，使用更流地的设计进行系统的硬件设计和更有效的系统设计方法，描述了SoC芯片设计中的IP模块可重用技术以及所存在的问题，介绍了SoC IP模块和片上总线结构的标准化，讨论了基于C／C＋＋扩展类库的系统级描述语言和基于平台的SoC设计方法。     

高精度计量芯片数字系统研究与设计

从Full-chip设计角度出发,分析和提炼高精度计量芯片设计基本准则,研究相关的数字系统核心算法,优化RTL数字设计架构,使芯片不仅具有高精度,而且面积得到有效控制,为设计符合智能电表新标准的计量芯片提供重要参考。通过仿真、FPGA验证,表明芯片设计方法的有效性,该款芯片已成功流片。     

一种软件设计模式的自动选择方法

设计模式是人们在实践过程中总结出来的成功设计范例,它的正确选择和使用是发挥模式作用的关键。而改变在设计模式应用过程中过分依靠人工的现状,有着重大的意义。重新应用需求和设计模式的形式化描述,在模式库中找出一组包含新应用领域的模式的可重用的设计以及重用模式的变换适配等方面,详细讨论了一种软件设计模式的自动选择方法。并结合实例给出了这种方法在网上证券交易原型系统中的实现。该方法为设计模式的重用提供了一个有效的途径,形式化描述是其基础,设计模式的组织和检索是其核心。利用此方法选择设计模式,可大大提高模式重用的准确性和软件开发的效率。     

一种面向对象的软件设计模式库的设计

成功地利用模式可以有效提高软件的开发效率和设计质量,通用模式具有较强的普适性,结合具体领域特点形成的实例模式具有更强、更具体的指导作用。为了实现一个辅助设计模式复用的CASE工具,对设计模式的几个面向对象的原则进行分析,提出了一种面向对象的分布式软件实例模式库来存储设计模式,并给出相应的类层次库组织结构、分布式的交互管理和基于聚类的多级索引方法及面向对象的嵌套索引方法。依此存储模式以更有效地管理和利用模式。     

城市道路交叉口计算机辅助设计系统

为提高平面交叉路口的通行能力,基于中国城市道路交通设计理论与方法,运用软件工程的思想完成城市道路交叉口计算机辅助设计系统的设计与实现.系统的数据结构设计合理,能为未来交通控制方案的生成和仿真评价软件的开发提供接口.应用实例表明该系统内核模型符合我国道路交通的实际情况,能大大提高道路平面交叉口设计的效率.     

芯片开发功能验证的形式化方法

在芯片设计领域,采用模型驱动的FPGA设计方法是目前较为安全可靠的一种方法.但是,基于模型驱动的FPGA设计需要证明FPGA设计模型和生成Verilog/VHDL代码的一致性.同时,芯片设计的正确性、可靠性和安全性也至关重要.目前,多采用仿真方法对模型和代码的一致性进行验证,很难保证设计的可靠性和安全性,并存在验证效率低、工作量大等问题.本文提出了一种新型验证设计模型和生成代码一致性的方法.该方法利用MSVL语言进行系统建模,并通过模型提取命题投影时序逻辑公式描述的系统的性质,通过统一模型检测的原理,验证模型是否满足性质的有效性.进而,应用信号灯控制电路系统作为验证实例,对验证方法做了检验和说明.     

一种基于可重用激励发生机制的SoC验证平台

在系统芯片的设计中,传统的激励发生机制耗费人工多且难以重用,严重影响了仿真验证的效率。针对此问题,构建了一种基于可重用激励发生机制的虚拟SoC验证平台。该平台利用可重用的激励发生模块调用端口激励文件,仿真时将端口激励文件转换成对应于验证电路端口的时序信号。通过对通用同步/异步串行接收/发送器、中断及定时器等功能模块的验证,证明了激励发生机制具有较强的可观察性、可控制性及可重用性。验证结果分析表明,在验证不同的功能点时仅需修改固件及端口激励文件,使验证平台在重用时减少代码修改量,提高了灵活性和验证效率,缩短了系统芯片的验证时间。     

基于XML的设计模式描述和复用系统的研究

设计模式的描述、存储和检索是实现软件复用的关键技术。目前所采用的文档描述和存储方式十分不利于设计模式的有效利用。该文提出了基于XML的设计模式描述和复用系统(DPRU),给出了系统的总体结构并对其核心部分的实现进行了论述。DPRU系统充分利用了XML对于半结构化数据的描述能力以及关系型数据库技术的存储和检索特性,可实现分布式多用户环境下的设计模式检索和复用,同时也提供了多种应用扩展。     

营房管理信息系统设计与关键技术

营房保障作为后勤保障的重要组成部分,其管理信息系统的建设对于军队信息化具有重要意义。利用管理学BSP方法中的U/C矩阵对管理信息系统的功能进行了设计,在功能设计的基础上对营房管理信息系统的业务流程进行了设计;结合营房组织的特点,采用分布式结构作为营房数据库的体系结构;将构件复用思想引入系统开发中,提出了组装式开发模式,提高了系统的开发效率。为营房管理信息系统的开发奠定了基础。     

单片系统(SoC)设计技术

集成电路技术在近10年里有了飞速的发展，加工工艺从0.5μm.0.6μm亚微米级工艺发展到0.25μm,0.18μm甚至0.1μm的深亚微米（DSM）和超深亚微米级工艺（VDSM），单芯片集成度大大提高，加上集成电路 设计的多年积累，单个芯片有能力实现现复杂系统，这就是单片系统（system on a chip)，在单芯片上实现复杂系统不是简单的将过去的设计在同一芯片上简单的集成，需要考虑许多新的技术问题，将介绍单片系统的设计特点以及涉及单片系统设计的关键技术，其中包括设计复用技术，使用IP核的注意事项以及端口标准化等问题，深亚微米设计的设计要点和难点：深亚微米电路的电学模型以及连线延迟计算方法和避免传输线效应的方法，同时还将介绍单片系统的测试技术和一些测试方案，物理综合概念和目前流行的能提供深亚微米设计能力的主流EDA工具。