摘要：随着Internet/Intranet的不断发展,网络技术逐渐成为现代信息技术的主流。把Internet/Intranet技术应用于数据库系统应用软件的开发,开发基于客户机/服务器(C/S)、浏览器/服务器(B/S)模式的管理信息系统(MIS),大大提高了信息管理的效率,却面临信息安全问题,本文研究了基于Web的MIS信息安全策略:设置临界区、利用Applet的限制、级别管理、双层验证机制和数据加密传送。

摘要：实时系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要如面向方面和基于组件的软件工程方法的支持,同时实时系统的可信性要求采用形式化方法来开发实时系统。本文试图建立一种面向方面的实时系统形式化开发方法,这种方法对RT-Z进行了面向方面和面向部件的扩展,并通过实时组件模型在需求和设计阶段提供了对基于部件的系统开发方法(CBSD)和面向方面的系统开发方法(AOSD)的支持。本文给出了面向方面的实时Z(AO-RT-Z)的组件模型的框架结构、语法要求、方面的联结和功能接口和非功能接口的定义,重点讨论并证明了面向方面的实时Z(AO-RT-Z)作为规格描述语言的健全性。

摘要：阐述了并发Z语言是一类适合于并发实时软件系统设计的规格说明语言,其基本语义是Z语义的并发和实时扩展,提出了对这些扩展方法的分类原则,并通过微机仿真系统设计阐述了基于状态转化方法的并行Z规格说明在并发实时系统需求分析和设计开发中使用的一些基本方法、典型问题的处理原则以及操作间时序关系描述的基本手段.

摘要：面向方面的软件开发方法是在面向对象开发方法的基础上,在AOP的支持下将贯穿系统的横切关注点提取出来,通过联结方式织入系统功能代码中的软件开发方法,该方法降低了软件开发的复杂性,提高了系统的灵活性和可维护性。形式化和实时语言为面向方面方法贯穿于实时软件开发提供了必要的支持,以形式化方法AO-RT-Z和实时语言PEARL为基础,给出了一种面向方面的实时软件开发框架,实现了软件生命周期各个阶段对面向方面的无缝支持,降低了实时软件开发的复杂性,提升了系统的可信度。

摘要：将具有状态描述能力的Z语言和具有实序并发描述能力的其它形式化方法如TimedCCS,TimedCSP相结合大大拓展了其在实时并发系统的中的应用能力,不但可以用于需求描述,也可应用于系统设计。在统一语义的背景下使用多种集成方法,其根本目的是适合应用领域的不同特点,本文以RT-Z为基础提出的基本扩展框架对类似集成工作具有普遍意义,最后结合RT-Z的语义集成的分析提出了并发实时系统开发中的一种基本应用模式。

摘要：利用NURBS曲线和曲面拟合机载雷达天线罩的外部表面 ,提高了光滑性和连续性 ,即曲率变化均匀 ,拟合误差较小。根据雷达罩内部形状、雷达罩的罩壁厚度和固化变形情况 ,拟合设计出模具的外形曲面 ,具有误差小 ,精度高的特点 ;同时 ,通过一体化设计 ,缩短了设计和研制周期 。

摘要：时间触发消息触发对象(TMO)模型是一个支持实时系统设计和实现的通用组件编程模型。文章中对基于TMO的实时系统中某个节点的时间性能进行了分析,有助于在实时系统的设计等早期阶段中,使实时系统更好的满足其时间要求。

摘要：分析了ASP技术及ASP与ADO结合起来连接、访问数据库的方法 ,讨论了基于ASP的网上商品销售系统的设计及其实现问题 .

摘要：为了减少数据汇聚的通信开销,提出一种基于簇分割的无线传感网数据汇聚方案,将簇划分为3个分区,为每个分区指定报告点,分区内与报告点具有相同读数的传感器在数据汇聚时不进行数据发送,减少了簇内数据传输量。分析与实验结果表明,该方案中簇内汇聚所需的通信量低于相关方案,在数据冗余度较高的情况下通信开销下降较为明显。

摘要：对C++语言的异常处理机制进行了比较详细的分析和研究,包括语法特征、动态性质、实现中的问题以及它们可能造成的影响等。