J2EE中基于反演模式组件的构造方法

在J2EE环境中,存在JSP／Servlet,EJB,JavaBcan等数种组件技术,它们在不同的应用背景下支撑具体的业务逻辑。为了让业务逻辑能够独立干具体的组件技术和而独立演化,该文提出了一种基于反演模式的自动化组件构造方法,使得业务逻辑的封装与组件的创建工作能够自动地完成,加速了软件的开发过程。     

Hanoi塔非递归算法的形式化推导和正确性验证

关于Hanoi塔问题的非递归算法已有大量的研究.运用薛锦云教授自创的PAR方法和循环不变式开发的新策略,形式化推导出逻辑结构清晰的Hanoi塔非递归算法及其循环不变式,并用Dijkstra最弱前置谓词法验证了该算法的正确性.充分体现了PAR方法的优越性、高效性和可靠性.     

Huffman算法程序的形式化推导

使用PAR方法形式化推导了解决最优编码问题的Huffman算法。推导过程充分利用最优编码树的特性,在对原问题进行分划归约为子问题时,引入一个新元素来取代原来的2个或多个元素,使用一套接近数学语言的抽象记号表示集合、二叉树等,推导过程简洁且能生成正确的算法。该Huffman算法能在PAR平台上通过自动生成系统转换成可执行语言程序,并正常运行。     

DESIGN OF TERNARY CURRENT-MODE CMOS CIRCUITS BASED ON SWITCH-SIGNAL THEORY

By applying switch-signal theory, the interaction between MOS transmission switch-ing transistor and current signal in current-mode CMOS circuits is analyzed, and the theory oftransmission current-switches which is suitable to current-mode CMOS circuits is proposed. Thecircuits, such as ternary full-adder etc., designed by using this theory have simpler circuit struc-tures and correct logic functions. It is confirmed that this theory is efficient in guiding the logicdesign of current-mode CMOS circuits at switch level.     

基于深度学习的医学影像配准综述

图像配准是医学影像处理与智能分析领域中的重要环节和关键技术.传统的图像配准算法由于复杂性较高、计算代价较大等问题,无法实现配准的实时性要求.随着深度学习方法的发展,基于学习的图像配准方法也取得显著效果.文中系统总结基于深度学习的医学图像配准方法.具体地,将方法归为3类:监督学习,无监督学习和对偶监督/弱监督学习.在此基础上,分析和讨论各自优缺点.进一步,着重讨论近年来提出的正则化方法,特别是基于微分同胚表示的正则和基于多尺度的正则.最后,根据当前医学图像配准方法的发展趋势,展望基于深度学习的医学图像配准方法.     

基于JATLite代理平台的程序设计ICAI的实现

Agent技术的发展为程序设计ICAI的研制提供了新的思路和解决办法, Agent平台为Agent的构建以及Agent之间的通信提供了支撑。该文提出了基于Agent的程序设计ICAI模型,并在JATLite代理平台的基础上设计和实现了该模型,利用多Agent之间的合作将现代教育技术贯彻在教学过程中。     

基于速度波动的高速凸轮廓线设计

应用最优控制理论,提出以多设计点法来设计既有良好动态特性且抗速度波动力强的凸轮轮廓曲线,并以实例验证了该方法的可行性。     

一种面向语义Web服务的软件设计语言和设计方法

在分析已有的面向服务的设计和开发方法的基础上,设计了一种语义编程语言SPL,并基于该语言提出一种面向语义Web服务的软件设计和开发方法,试图提供一种有效的解决方案,用于设计和开发面向语义Web服务的软件系统.结合旅游预订领域的一个实例,讨论了该方法的全过程.还给出了SPL语言和相关语言的比较.该研究对面向语义Web服务的软件分析、设计和开发具有一定的参考作用.     

基于形式演算和不变式验证的可信算法程序构造

The paper presents a formal and practical approach to dependable algorithm development. First, starting from a formal specification based on the Eindhoven quantifier notation, a problem is regularly reduced to subproblems with less complexity by using a concise set of calculation rules, the result of which establishes a recurrence based algorithm. Second, a loop invariant is derived from the problem specification and recurrence, which certifies the transformation from the recurrence based algorithm to one or more iterative programs. We demonstrate that our approach covers a number of classical algorithm design tactics, develops algorithmic programs together with their proof of correctness, and thus contributes fundamentally to the dependability of computer software.     

浅议工业产业园建设的规划原则

正联合国环境规划署(UNEP)曾把工业园概括为,是在一大片土地上聚集若干工业企业的区域。本文所论工业园是以产业聚集为特征的工业区域,是具有鲜明产业特色的工业产业园。我国工业产业园的建设始于改革开放后沿海发达地区以电子及轻纺加工产品为主的工业集聚区的兴起,内地约在20世纪开始后日渐兴盛起来。成功工业产业园的建设以其"企业集中、资本集聚、产业集群、土地集约"的鲜明特点而成为各地方政府经济工作争相仿效的新重点。工业产业园是以标准化厂房为中心、专业化配套服务设施为辅助的工业生产集聚区,但未来工业产业园的理念却不再是简单意义上的空间圈地与"盖厂房+出产品",而是产业概念上的资源融合,又是资源与环境、人与自然的融合。工