权力制约：经典范式、内在逻辑与语境化

实质意义上的权力制约肇始于权力分化之后，历经以道德制约权力、以权力制约权力、以社会制约权力等经典范式，体现了权力制约活动从关注权力执掌者、权力本体到关注权力归属者不断演变的内在逻辑。植根于我国国情的权力制约实践在伦理学、社会学途径方面与西方存有共性，但于政治学途径却存有个性。实现我国权力制约的语境化既需要体现权力制约的普遍性规律，更需要把握马克思主义政治观视域下权力制约的特殊性。     

网络化语境中英汉交际语言的发展及其探讨

分析了网络化语境中英汉交际语言的产生与形式,指出了影响其发展的主要因素。同时就网络化语境中英汉交际语言的规范化问题及其发展前景进行了探讨。     

Internet2—未来的Internet

介绍了Internet2的发展、基本结构和网络互连等问题，描述了与Internet2紧密相关的gigaPoP的组成，说明了必须考虑的参数和约束条件，阐明了所要采用的路由和服务质量协议。     

多值逻辑函数最小化的McCluskey—Quine方法改进及程序实现

多值逻辑电路的发展，使得以往的化简方式已不能适应电路取值的增高和函数项的增加。本文以三变量三值函数为例，讨论了多值逻辑电路化简的物理背景，采用改进的McCluskey-Quine方法进行最小化的算法，以及质蕴含项覆盖问题的求解，并给出了程序流程。由于该程序采用的面向对象技术，经过适当扩展可以应用于多变量多值函数。     

Internet和数据库

Internet与数据库系统的连接除了常见的CGI以外，还可利用API和Java实现，各大数据库厂商亦有其不同的策略。换个角度，Internet本身就是一个硕大的分布式超媒体数据库，超链完整性的维护更是一个很重要的问题。     

IGMP V3协议研究与实现

针对IPV4下Windows 2000系统不支持指定源组播模型的问题,通过对3个版本IGMP（互联网组管理协议）的分析研究,采用原始套接字截获IGMP V3查询包,模拟生成组成员关系上报电文的方法,达到了欺骗交换机/路由器、维持其组成员关系的目的,解决了Windows 2000终端设备无法实现指定源组播通信的难题。仿真测试以及实际应用表明,这种方法完全可以应用于不支持IGMP V3协议的其他系统。     

CCSDS空间网络互联协议发展及启示

空间互联网将是由各种区域网构成的复杂异构网络,为了使其能够逐步实现自动化运行,网络效益得到最大程度的发挥,须做好网络互联的顶层规划与设计,并开发具体的标准技术.根据近年CCSDS (Consultative Committee for Space Data Systems,空间数据系统咨询委员会)发布的建议书,以及相关工作组的项目规划情况,介绍了SSI(Solar System Internetwork,太阳系互联网)体系结构、IPoC(IP over CCSDS space links,在CCSDS空间链路之上承载IP),以及DTN(Delay Tolerant Networking,容延迟网络)等标准项目.从CCSDS空间网络互联技术的发展历程不难得出结论:我国未来空间网络互联应注重区域网之间互联的顶层设计;区域网内部各子网之间的互联技术应选择以航天任务需求牵引为主;DTN将在区域网之间互联以及区域网从简单到复杂发展中都发挥重要作用.     

XILINX的FPGA芯片架构剖析

从芯片结构原理上分析了XILINX的Virtex系列芯片.结合微电子学相关知识,详细分析了芯片的基本结构、可配置功能逻辑、输入输出模块、可编程内连等方面.最后将该芯片与XILINX其它系列芯片相关内容进行了比较分析,给出了该芯片与其它各类不同芯片之间结构与性能上的差异.     

复杂系统可靠度综合计算平台的设计实现

鉴于复杂大系统可靠度综合计算面临诸多困难 ,分析了其复杂性特征 ,提出了一种一体化建模方法———复合逻辑树模型 (CompositeLogicTreeModel,简称CLTM)及其递归调度综合算法 ,并采用面向对象的思想和技术 ,设计实现了可视化的系统可靠度CLTM综合建模与计算软件平台。介绍了软件的总体框架及其功能 ,并通过实例阐明了相应的系统可靠度综合分析方法     

现代飞机交流电源系统的不中断供电技术

现代飞机上安装了大量的微处理机、计算机。由于电源之间正常转换而出现的电源短暂中断现象会对微处理机、计算机的工作产生干扰。研制不中断供电的电源系统已是刻不容缓的任务。本文讨论了电源正常转换时电源中断现象及原因。以现代大型飞机上的电源系统不中断供电技术为例,阐述消除电源中断的技术方案以及汇流条保护控制组件(BPCU),发电机控制组件(GCU)内有关不中断电源转换的逻辑。