摘要：文中介绍了仪表网络的组成 ,阐述了其工作原理。并在此基础上设计了发油系统。整个系统具有可靠性和实用性。

摘要：基于Web墨卡托投影,详述了构建桌面地理信息系统的坐标变换算法、图块组织、双缓冲地图显示和漫游、缩放、测距等地图通用操作的方法和技巧。

摘要：介绍一种以单片机PIC16F877为核心、由信号转换处理电路、LED显示电路、按键输入电路、继电器输出控制电路、模拟 量输出电路、RS232通讯电路等组成的多路巡检控制仪。它可实现16路多种输入信号的测量。

摘要：采用当前比较流行的C#.net设计并开发院校网上考试系统,开发语言简单、安全,开发效率高,系统部署简单、方便、快捷。

摘要：C#是当前比较流行的编程语言,***基于通用语言编译运行,语法灵活,功能强大。文中介绍采用C#中的***设计开发干部民主测评系统,有效提高测评效率,减少人工投入。

摘要：可证安全是一种通过严格证明确保密码体制安全性的形式化方法,但由于其证明结论严重依赖于证明者个人的经验和技巧,这一方法本身的可靠性受到了质疑。文章设计并实现了一套公钥密码体制安全性自动化证明系统,使用一种概率多项式时间进程演算描述可证安全模型,借助进程间的互模拟等价关系和进程约减实现基于游戏的可证安全自动化证明。系统在C语言环境下实现,已完成ElGamal加密体制和FDH签名体制在内的一系列密码体制的安全性证明测试。