一种迭代增量式的程序构建方法

针对目前程序设计中软件开发还没有编制程序的一套标准方法,编制程序代码的质量不高,效率也不尽人意,提出一种迭代增量式构造程序的方法,给出程序的迭代增量构造模型和实现机制,通过具体实例对相关问题进行了讨论。提供了一种能保证质量并且有法可循的程序构建方法。实践证明这种方法完全可以快速、高效构建一些较为复杂的程序,该方法的思想也同样适用其他类似的问题。     

改善辐照加固设计流水线型模数转换器性能的抖动电路技术

提出了一种能够改善高精度辐照加固设计流水线型模数转换器（ADC）动态性能指标的减式抖动电路技术.其中,基于深度伪随机数生成器所产生的伪随机数来驱动高精度数模转换器而生成所需的抖动信号,将抖动信号与ADC的输入信号相加输送给ADC进行量化,并将抖动信号从ADC量化输出中减去,以降低ADC的信噪     

采用物联网技术的港口信息化系统

设计一个基于物联网技术的港口信息化系统,研究其集装箱自动堆放算法和拖车自动排载算法.集装箱的自动堆放运用射频识别(RFID)及电子标签技术感知,通过3G网络进行堆场内控制信息的实时交互;拖车自动排载业务通过全球卫星定位系统(GPS)和3G网络和多码流视频技术实现,使堆场管理调度中心可以随时掌握拖车的具体位置信息,并通过第3方地理信息系统(GIS)技术进行计算与任务调度管理.     

原材物料信息系统中的编码/译码设计与实现

从信息集成的角度出发,考虑原材物料的信息范围,提出一种具有柔性的,适用于原材物料的信息分类编码系统的结构模型.模型具有面向特征、面向环节、分级、分层等特点,编码系统采用树式结构描述信息类型,在结构上允许对事物的特征作尽可能详细地描述,并在同一个系统中作统一描述,而在代码应用上,既简单又十分灵活.同时,给出编码和译码的基本流程和实现算法,并讨论设计和实现中的相关问题.     

逻辑程序设计对软件开发的影响

本文研究逻辑程序设计,广泛地讨论了它在软件开发实践中的作用及其对软件工程的影响。     

一组相关XML数据文件的数据类识别方法

为解决当前可扩展标记语言(XML)绑定框架普遍存在的由XML模式映射生成的数据类的冗余,以及数据类系统规模过大的问题,提出一种从一组相关XML数据文件的数据实体类识别方法.该方法先抽取这一组XML数据文件的XML模式树图,并将其每个节点表示成向量空间中的向量;然后,利用相似度和距离识别该模式节点对应的预定义模式节点类型;最后,按模式节点类型到类的映射规则得到数据类.结果表明:该方法能识别合并对应同一个实体的数据类避免类冗余,将集合类型的XML文件映射成泛型类和集合类减小生成类系统的规模.     

企业应用系统整合中的CAS单点登录技术

针对企业应用系统单点登录的需要,提出一种基于中央认证服务器(CAS)的单点登录技术方案.系统中,认证管理器通过责任链模式管理认证执行者,客户端浏览器与认证服务器之间采用HTTPS协议,认证服务器与平台应用服务器之间采用HTTP协议.在访问业务系统时,相关信息的传递均结合时间戳、关键信息加密签名和SSL加密通道技术.在自动认证完成后,业务系统可根据需要设定是否继续走安全套接层协议(SSL)加密通道,既保证单点登录过程中信息传递的保密性和真实性.又兼顾业务系统访问的安全与效率.     

析取演绎数据库否定信息的推理规则

引入否定和析取式头部扩展常规演绎数据库或逻辑程序,这被认为是增强知识表示能力,。支持常识推理和非单调推理的有效的,重要的措施,但是该类问题的处理又是困难的,至今尚无满意的解决办法,其难点之一可表述为“如何从析取演绎数据库或逻辑程序中,推导出否定信息”首先,给出一种关于否定信息推理规则的评价准则。     

试论软件过程模型及其重要性

讨论软件过程模型的基本概念、实质含义和研究范畴，阐述软件过程及其模型的重要性．     

以责任为中心的面向对象观

面向对象技术的传统的观点只停留在对象层面上,以对象为中心,机械地理解面向对象．狭隘的认识往往导致在软件分析设计阶段存在严重的缺陷,到后期,常常不得不对原来的方案做大的调整甚至丢弃．文中以责任为中心的面向对象观,突破传统观点的狭隘范围,更贴近人类的思维方式．它从宏观上把握着软件开发的各阶段,从责任的角度重新认识面向对象,扩展面向对象的内涵．