摘要：指针是一种重要的数据类型 ,使用指针能使程序更加有效和优美 .可是指针却以不易驾御而闻名 ,至今在时序逻辑语言中未见到对它的形式化工作 .XYZ/E既是一个时序逻辑系统也是一个程序设计语言 ,它能表示普通高级语言中几乎所有的重要机制 .本文主要讨论在时序逻辑语言 XYZ/E中指针的形式化表示问题以及在结构化 XYZ/SE程序中指针的验证问题 .

摘要：给出了一种嵌入式Ｍｏｎｔｇｏｍｅｒｙ模乘器的设计，它可以被嵌入到ＣＰＵ智能卡中，协同实现各类基于大数模幂乘运算的公钥保密算法。该模乘器采用ｆｉｎｅｌｙｉｎｔｅｇｒａｔｅｄｐｒｏｄｕｃｔｓｃａｎｎｉｎｇ（ＦＩＰＳ）方法，使之适合于嵌入式的设计特点。各功能部件的并发执行和对分块ＲＡＭ存储器的乒乓式存取及处理大大提高了该模乘器的处理速度。在１０ＭＨｚ的时钟频率下，利用该模乘器实现５１２ｂｉｔ的模幂运算（加密指数为５１２ｂｉｔ），只需要不到４００ｍｓ。

摘要：提出了一种新的基于旁路队列Banyan交换的ATM交换机结构，既适合于单播情况，又适合于多播情况，复杂度也比较低。本文详细讨论了交换机吞吐量的一种新算法，并依据此算法对该交换机进行了性能分析。

摘要：用直接反馈线性化方法设计ＳＶＣ与发电机励磁协调非线性控制器。所设计的控制器能实现当地信号控制，并对系统运行点和网络结构的变化具有很强的鲁棒性。数字仿真验证了该控制器的优越性。

摘要：为满足低电压ＣＭＯＳ晶体管高驱动电流和低静态功耗的要求，提出０．５Ｖ栅衬互连ＧＢＣ（ｇａｔｅ－ｂｏｄｙｃｏｎｎｅｃｔｅｄ）体硅ＭＯＳＦＥＴ工作模式。利用二维器件模拟，对栅长直到７０μｍ的器件结构设计、特性和器件物理研究。得到结果：０．５ＶＧＢＣ－ＭＯＳＦＥＴ具有陡直的亚阈特性（１０倍电流的Ｓ因子为～６０ｍＶ），高的电流驱动能力和理想的逻辑摆幅，栅衬泄漏电流可以忽略；超浅源漏、非均匀纵横向掺杂的Ｅｘｐｏｃ结构在ＧＢＣ模式下栅长直到５０ｎｍ时，仍有很好的Ｖｔｈ可控制性，这一结构的０．５ＶＧＢＣ－ＭＯＳＦＥＴ与１Ｖ常规ＭＯＳＦＥＴ在宽广的阈值电压设计空间中具有相似的速度品值；其理想栅氧厚度为３ｎｍ。

摘要：本文探讨了过程驱动的软件工程环境设计以及在这种环境下的软件生产方式，并在作者实际工作的基础上，提出了一个集成的过程驱动的软件工程环境──青鸟过程驱动环境JB-PSEE的设计方案．本文阐述了JB-PSEE体系结构设计思想、主要构成成分及功能，简要介绍了实现的原型系统.

摘要：目的为了设计和实现嵌入式实时操作系统ＣＯＳＩＸＶ２０／ＲＴ平台，对Ｍａｃｈ３０微内核的面向对象设备管理的源程序进行剖析．方法依据Ｍａｃｈ的Ｉ／Ｏ管理机制分析源程序，以并行接口为端口编写通讯驱动程序，并验证其正确性．结果在分析的基础上，通过修改有关驱动程序的接口，实现了两台Ｍａｃｈ机或Ｍａｃｈ与基于ＤＯＳ机之间的通信．结论Ｍａｃｈ３０采用端口和消息机制，Ｉ／Ｏ接口支持的设备驱动程序独立于设备和位置，而且是在用户级实现的．面向对象设计，使得代码的共享程度更高，减少了依靠机器的代码量，增加了可移植性．

摘要：探讨了采用径向基函数网络模型进行参考作物腾发量预测方法的可行性，设计多组数字实验处理研究了输入因子间相关性对网络模型预测准确性的影响，预测结果与Ｐｅｎｍａｎ－Ｍｏｎｔｉｅｔｈ方法计算结果比较表明，所确定的模型与改进的Ｐｅｎｍａｎ公式计算值有很高的一致性，具有一定精度。

摘要：本文以国家“九五”重点科技攻关项目（９６－７５０）“计算机辅助教学软件的研制与开发”０３子专题中“小学语文智能化扩展阅读”软件的设计为例，论述了智能教学软件开发的基本方法与步骤，说明ＣＡＩ软件的开发应以现代学习理论为指导，结合学科教学的特点，进行详细的教学设计。

摘要：随着大规模网络的建设和应用，网络管理问题变得越来越重要．由于传统的集中式的网络管理模式已越来越难以胜任这项工作，人们及时地提出了分布式网络管理的概念．该文论述了一个基于Ｗｅｂ的分布式网络实时监控系统（ＷｅｂＲＭｏｎｉｔｏｒ）的总体结构及系统实现的关键技术：数据采集模块的设计与实现和实时数据的可视化表示等．