组件开发辅助虚拟实验室的设计与实现

提出一种组件开发辅助虚拟实验室的设计模型和实现方案。该系统采用Java语言实现,具有良好的平台无关性。综合运用Applet数字签名、RMI机制、XML解析、JavaBean和反射等技术,依次重点实现组件配置提交、组件接口检查、组件功能检查。系统具有良好的交互性,用户能够直观深入地参与组件类的详细分析和具体配置,查看设备组件的运行评定结果。对用户学习和掌握JavaBean组件的结构和实现大有帮助,弥补现有平台用户无法设计组件和测评组件的不足。     

COM组件复用及自动化的开发方法

组件复用旨在利用已有组件创建新组件提高组件软件开发效率。组件复用通过包容和聚合来实现。包容时外部组件包含内部组件的接口,聚合时外部组件直接向外公开内部组件的接口。通过组件复用和自动化可将组件集成到Internet。     

基于组件的密码算法自动化测评系统

针对密码算法测评的特点和需求,设计并实现基于组件的密码算法自动化测评系统。通过动态框架、测评组件和密码算法组件实现可动态集成不同密码算法,测评功能具有灵活性。根据动态框架的运行模式,提出测评系统各部分之间的数据交互格式,给出测评组件和密码算法组件之间的调用关系,实现密码算法的自动化测评。     

嵌入式组件在终端上的研究与设计

研究了嵌入式组件技术和基于组件的软件开发,包括嵌入式组件模型、组件接口、组件组合,以及复用组件的系统构建方法和组件管理等技术。运用嵌入式组件技术,设计和实现了一个符合国际3G技术标准的移动Email组件系统。     

基于COM的通用邮件管理组件的设计与实现

针对众多开发工具中邮件功能的实现存在着灵活性、可控性和通用性比较差的缺点，提出了一种应用组件对象模型（COM）技术实现电子邮件管理组件的设计思想，并给出了组件实现的方法和过程。应用实例表明该组件具有良好的通用性和灵活性。     

11位数控延迟线组件的设计

介绍了0.6 GHz～ 3.0 GHz 11位数控延迟线组件的设计和实现,阐述了该组件的指标、方案和关键部分的设计.该组件延迟步进为5 ps,总延迟时间为10 ns,同时对组件的延迟损耗进行补偿,实现0dB增益.     

基于Web的时间组件的开发与实现

Web页面中经常需要对时间信息进行处理,文章利用层叠样式表3级（Cascading Style Sheets Level 3,CSS3）和JavaScript技术相结合的方法,分别以时钟、倒计时和日历组件为例,从实现原理和实现方法两方面阐述,并通过关键代码分步骤展示其实现过程。时钟组件、倒计时组件以及日历组件的使用既满足了日常时间组件使用需求,又给Web页面带来了更加丰富的展示效果。     

具有安全属性图编程组件的设计研究

研究和实现了具有安全属性的可编程逻辑控制器(Programmable Logic Controller,PLC)编程组件。组件采用IEC61131-3标准功能块模型,既满足了IEC61131-3标准编程语言规范,也实现了组件在标准PLC编程软件的复用。组件在PLC编程中可按需求改变接口,其封装接口满足TC6 XML schema属性定义,增加的安全属性实现了组件的安全复用。最后,在Microsoft Visual Studio(VS)2012中运用.NET组件技术和C#编程语言实现了组件,并对组件进行了相关验证。     

基于组件的组件库管理系统

为了解决组件快速检索的问题,提出了一种组件库的存储数据结构和分步检索的策略,通过标准化组件分类信息和逐步缩小检索范围实现组件快速检索。利用GenVoca模型及其扩展,建立了组件库管理系统的层次模型,提高了组件的重用性能。     

基于ATL的智能卡中间件的实现

COM(组件对象模型)为组件的开发和应用提供了一个标准平台。介绍了智能卡和其基于ATL(活动模板库)的COM组件的实现．重点阐述其实现过程和实现流程．最后简述中间件的应用。该组件封装智能卡COS(片内操作系统)，并以dll文件形式提供给用户，增强了组件的重用性，且方便系统升级和扩展。     

A Framework for Engineering Interactions in Java-based Component Systems

This paper describes a Java-based framework for the development of component-based software systems supporting the specification of the logic of component interactions as a first-class aspect. Java is used as the reference development language.On the one side, the framework makes it possible to specify the logic of interaction at the component-level, in terms of input and output interfaces, the events generated and observed by a component, and related information about the management of the control flow. On the other side, it is possible to specify the logic of interaction at the inter-component level, providing a modelling and linguistic support for designing and (dynamically) programming the glue among the components, enabling general forms of observation, control and construction of the interaction space.As a result, the framework supports the coordination of components at different levels: from interoperability among heterogeneous and unknown components, to the support for dynamic introduction, removal and update of components, to general coordination patterns, such as workflow. The framework adopts first-order logic as the reference computational model for describing and defining the logic of interaction: the modalities adopted by components to interact, the coordination laws gluing the components and the interaction events occurring in the system are expressed as facts and rules. They compose the (evolving) logic theories describing and defining the interaction at the system level, and can be observed and controlled at runtime to allow dynamic re-configurability.     

基于JSP的高校学生论文管理系统的设计与实现

以SQL Server作为后台数据库,采用标准MVC三层架构（JSP-JavaBean-Servlet）开发模式把应用逻辑,处理过程和显示逻辑分成不同的组件实现,这些组件可以进行交互和重用,高效实现大学生论文发布管理功能。     

Alternating-time stream logic for multi-agent systems

Constraint automata have been introduced to provide a uniform operational model for specifying service interfaces of components, the network that yields the glue code for the components, and the operational behavior of the composite system. Constraint automata have been used as the basis for equivalence checking and model checking temporal logical properties. This paper presents a multi-player semantics for constraint automata which serves to reason about controllability, interaction and cooperation facilities of individual components or coalitions of components in a given network. We introduce a temporal logic framework, called alternating-time stream logic, that combines classical features of alternating-time logic (ATL) for concurrent games with special operators for specifying regular conditions on the data streams in the network and on the write and read operations at the I/O-ports of the components. Since constraint automata support any kind of synchronous and asynchronous peer-to-peer communication, the resulting game structure is non-standard and requires a series of nontrivial adaptations to the semantics and verification algorithms for classical alternating-time approaches.     

知性Cord逻辑:验证Ad Hoc网络匿名路由协议

为形式化验证移动自主网的匿名路由协议,提出了基于知性Cord逻辑的模块化验证方法.首先将协议分解为针对不同子安全功能的组件,然后分别利用知性Cord逻辑证明是否满足安全属性的规范.在这个框架下路径匿名的安全属性得到了规范.     

逻辑程序的事实维护

事实是逻辑程序的重要组成部分,事实维护影响着整个逻辑程序的一致性和完整性,并能够促进和完善规则维护。论文在分析了人工进行维护操作的弊端后,对事实维护中可能出现的情况进行分类分析,提出了事实维护系统的框架,重点描述了预警检测子系统所扮演的核心作用。     

基于J2EE的访问决定服务的研究与实现

提出了基于J2EE的访问决定服务模型——JRADS,它把应用级的鉴权逻辑从应用逻辑中分离出来,从而很好地解决了分布式应用资源的访问控制问题。首先给出了应用系统与JRADS之间的接口,然后设计了JRADS的逻辑构件,再设计了主要运行元素、管理元素以及它们相关的辅助构件,最后给出了实现JRADS模型的接口及其方法。通过在国家科技基础条件平台的应用,取得了预期的效果。     

分布式软件动态配置环境可视化的研究与实现

研究了分布式软件开发配置模型OrbGOP的树形配置结构及可视化实现。基于图形编程技术,此模型通过建立构件到结点、构件互操作关系到结点连线的映射,将整个分布式软件的体系结构描述为一张树形逻辑图,用户通过执行图上预定义的一组操作就可以实现系统的动态配置,这使得动态配置工作简单有效,极大地减轻了软件维护的负担。     

EJB核心技术分析及其应用

EJB是J2EE体系结构的组件,它主要为J2EE应用程序提供业务逻辑,并与其他服务器端J2EE组件交互,业务逻辑认为与其他服务器端J2EE组件交互的特性取决于J2EE应用程序。本文以医疗管理信息系绞放计为研究背景,探讨EJB用于开发和部署商业应用程序的分布式细件模型,而这些商业应用程序通常是高度可伸缩的、事务性的和多用户安全的。     

Knowledge Representation of Software Component Interconnection Information for Large-Scale Software Modifications

Logic can be used to precisely express human thoughts and inferences. In this paper, an approach using first-order logic for knowledge representation of software component interconnection information to facilitate the validity and integrity checking of the interconnection among software components during software development or modification is presented. Directed graphs are first used to model the structure and behavior of a large-scale software system, and a first-order theory of directed graphs (the DG theory) is established. The interconnection behavior among software components in a large-scale software system is a directed graph which is called software component interconnection graph (CIG). The behavior of the CIG is interpreted using the DG theory and translated into logic representation. The translated logic representation is a set of logic clauses and can be considered as a set of axioms. Automated reasoning techniques based on these axioms can be used to perform the validity and integrity checking of software properties in the software development or maintenance phase.     

A conceptual approach for the die structure design

A large number of decisions are made during the conceptual design stage which is characterized by a lack of complete geometric information. While existing CAD systems supporting the geometric aspects of design have had little impact at the conceptual design stage. To support the conceptual die design and the top–down design process, a new concept called conceptual assembly modeling framework (CAMF) is presented in this paper. Firstly, the framework employs the zigzag function-symbol mapping to implement the function design of the die. From the easily understood analytical results of the function-symbol mapping matrix, the designer can evaluate the quality of a proposed die concept. Secondly, a new method—logic assembly modeling is proposed using logic components in this framework to satisfy the characteristic of the conceptual die design. Representing shapes and spatial relations in logic can provide a natural, intuitive method of developing complete computer systems for reasoning about die construction design at the conceptual stage. The logic assembly which consists of logic components is an innovative representation that provides a natural link between the function design of the die and the detailed geometric design.