多媒体会议系统共享白板工具的设计与实现

本文从分析共享白板的功能入手,探讨了共享白板涉及的关键技术,如何可靠传输、发言权控制和远程指针技术。在此基础上,论述了义了共享白板的主要数据结构和信息分组格式,最后给出了共享白板工具ＳＷＢ的主要实现。     

虚拟教室系统共享白板工具设计及实现

该文主要根据基于CORBA和QoS使能的虚拟教室系统原型,讨论了系统共享白板工具的设计与实现方法。首先介绍了虚拟教室系统的系统结构,然后注重讲述了白板的图形文字编辑功能、白板数据的传输、白板通信机制的设计及实现。     

多媒体会议系统共享白板功能的设计与实现

基于PC机、以太网环境下设计和实现的一个多媒体会议系统原型，讨论了系统共享白板功能模块的设计与实现方法。     

通用搜索算法的设计

问题求解系统常常涉及到多种形式的搜索方法，搜索方法的关键是搜索算法设计。这里给出一个简捷的通用搜索算法，算法采用结点指针和搜索指针对关系矩阵进行双重处理的方法，搜索过程中不断改变结点指针和搜索指针，进行推进和回退处理，最终找出问题的全部解。     

C语言的指针与动态多维数组的实现

本文讨论了Ｃ语言的数组与指针的关系，通过动态存储分配函数和多级指针的结合实现Ｃ语言的多维动态数组。     

半透明半明确协作框架下远程指针协同感知研究

远程指针协同感知是CSCW系统的关键技术之一，首先提出了半透明半明确协作框架下指针共享原理，包括鼠标移动消息事件的截取和鼠标消息事件和执行模式，然后提出了指针一致性维护和指针映射方法，给出了指针映射前、后处理算法和基本映射思路，最后研究了动态指针与语义重载的实现框架，构造了动态指针的模拟资源，设计了远程指针的感知域和重载语义，原型系统的实践表明这些技术方法是正确可行的，有利于增强协作者的群体意识，促进协同工作的进行。     

C++Builder中停靠式子窗口的编程技巧

介绍了停靠式子窗口的创建和显示的编程细节,提供了一个获得面板上停靠式子窗口实例指针的遍历函数,使用自定义消息的方法展示了主窗口对停靠式子窗口进行控制的实现过程.     

协同工作环境共享白板的设计与实现

本文设计与实现了一个协同工作环境下的共享白板SWB。在描述主要数据结构和分组格式的基础上,我们给出了SW的主程序框架、组播实现和其他系统的交互技术。最后,对系统的功能进行了简单的分析并指出了存在问题。     

一种汇编语言指针逻辑的设计与实现

软件的安全性日益重要,软件满足安全策略的证明方法成为一个研究热点.而指针程序的安全性质证明是难点之一.根据已经提出的安全程序设计与证明的框架以及PointerC指针逻辑,提出一种汇编语言指针逻辑.该逻辑解决了Hoare逻辑处理别名问题面临的困难,保证通过验证的汇编指针程序不存在空指针引用和内存泄露等安全问题.此逻辑的可靠性证明已在证明辅助工具Coq中完成.此外,本文还实现一个原型系统,并使用该系统对链表、二叉树等非平凡的指针程序的进行了自动的安全验证.     

编程疑增问题解答

Q:如何实现无类型要求的窗口类拖放操作? A:MFC通过提供COle DropTarget和CView类来支持拖放操作的接收。在CView及其继承类中创建COleDroPTarget类对象,并在视图窗口初始化时,调用其成员函数Register(),以此在系统中注册该视图窗口为拖放接收窗口。当进行拖放操作的鼠标指针处于视图窗口范围内时,COleDropTarge类的OnDragEnter、OnDragOver、OnDropEx、OnDrop等成员函数被依次调用,用户可对拖动的过程及结果进行控制。但MFC这种内在的对拖放的实现是很不够的,一个用户界面友好的应用程序,很多时候要求不仅视图窗口支持拖放,而且对话框以及编辑框等控制窗口也需要拖放的支持。虽然现在已经有一些     

安全Linux内核安全功能的设计与实现

CC标准是一个新的国际标准,由于缺乏可借鉴的范例,开发符合CC标准 的安全操作系统是一项挑战性的工作。借助一项研究实验结合中国安全保护等级划分准则等3条款,讨论了安全Linux内核安全功能在CC框架下的设计与实现问题,通过CC功能需求组件给出安全功能的定义,从系统结构和安全模型方面讨论安全功能的实现方法,并测算安全机制产生的性能负面影响。研究表明,中国国家标准的要求可以通过CC标准进行描述。最后,还指出了安全操作系统进一步的研究方向。     

基于Web与CC430F6127的通信电源监控系统设计

针对目前通信电源监控系统功耗大、成本高等问题,设计出一种基于Web单片机CC430F6127的通信电源监控系统.分析了通信电源监控系统的结构原理,详细说明了系统的硬件设计方案和软件设计方案,并详细分析了数据采集模块、CC430F6127与Web连接模块、RF无线电数据传输模块.实验结果验证了采用Web和CC430F61...     

CC430F5135的无线低功耗RFID系统设计

针对目前RFID读卡器的功耗大、RFID管理系统不灵活等缺陷,设计了一种基于MSP430系列单片机CC430F5135为核心的无线低功耗RFID系统。该系统具有功耗低、无线采集每个RFID读卡器数据、方便控制等特点。介绍了CC430F5135特点及其内部集成的RF无线通信模块,分析了系统的结构原理,并详细分析了RFID读卡器模块、RF无线收发模块和管理系统模块。实验结果验证了采用CC430F5135设计RFID系统的可行性,系统运行稳定可靠。     

用积分法处理分布式数据库中的多副本并发控制问题

在分布式系统中,采用的并发控制(CC)方法对事务处理系统的性能有着重要影响。介绍了主要的并发控制方法、加锁模型和两阶段锁(2PL)协议,提出了基于锁机制且遵守2PL协议的悲观控制方法--积分法。该方法既能减少网络中数据的传送量,又具有很好的并发性,可以很好地处理多副本并发控制问题。实验结果证明,该积分法可以比其他方法取得更好的性能。     

CC2420和MMA7260的无线传感器数据采集系统

简要介绍了ZigBee技术协议以及CC2420和MMA7260的性能和特点,设计了一种基于CC2420和MMA7260的无线传感器数据采集系统,给出了具体的软、硬件设计方法以及实际测试结果。该系统选用高灵敏度的三轴加速度传感器芯片MMA7260来采集机构的振动加速度信号,再通过支持ZigBee无线传输协议的CC2420把数据发送给接收装置。     

基于MSP430的无线门禁控制系统设计

针对目前门禁控制系统的功耗大、成本高、控制不灵活等缺陷,设计了一种基于MSP430系列CC430F5135单片机的低功耗无线门控系统.介绍了CC430F5135及其内部集成的RF无线通信模块和系统的结构原理,给出了系统硬件设计和软件设计方法,并详细地分析了门控模块、电子密码锁模块和RF无线通信模块.实验结果验证了采用C...     

连铸计划优化模型研究

介绍了宝钢开发的连铸计划优化系统的建模、优化及计划生成等方面的技术。针对传统连铸计划编制方式的特点和问题,连铸计划优化模型系统采用基于模型的建模技术,大量应用现代优化方法,在不增加任何硬件投入的情况下,可以大幅度地改善计划的质量,明显提高计划的科学性和全局性。与过去的计算机辅助人工计划系统相比,可以产生较大的经济效益和降低生产管理难度,并且具有人工所无法比拟的灵活性,大大地减低计划调度人员的工作强度。     

Optimizing operating system performance for CC‐NUMA architectures

The CC‐NUMA (cache‐coherent non‐uniform memory access) architecture is an attractive solution to scalable servers. The performance of a CC‐NUMA system heavily depends on the number of accesses to remote memory through an interconnection network. To reduce the number of remote accesses, an operating system needs to exploit the potential locality of the architecture. This paper describes the design and implementation of a UNIX‐based operating system supporting the CC‐NUMA architecture. The operating system implements various enhancements by revising kernel algorithms and data structures. This paper also analyzes the performance of the enhanced operating system by running commercial benchmarks on a real CC‐NUMA system. The performance analysis shows that the operating system can achieve improved performance and scalability for CC‐NUMA by implementing kernel data striping, localization and load balancing. Copyright © 2003 John Wiley & Sons, Ltd.     

CC430F6135的无线智能家居控制系统设计

针对现有家居控制系统功耗大和成本高等缺陷,设计了一种基于CC430F6135单片机的低功耗智能家居控制系统.本系统具有功耗低、控制可靠性高、人性化等特点.介绍了CC430F6135芯片内部集成的RF无线模块特点和家居控制系统的结构原理,给出了硬件设计框图和软件流程,详细分析了中央控制模块、RF无线收发功能模块和触摸屏控...     

Eliciting security requirements and tracing them to design: an integration of Common Criteria, heuristics, and UMLsec

Building secure systems is difficult for many reasons. This paper deals with two of the main challenges: (i) the lack of security expertise in development teams and (ii) the inadequacy of existing methodologies to support developers who are not security experts. The security standard ISO 14508 Common Criteria (CC) together with secure design techniques such as UMLsec can provide the security expertise, knowledge, and guidelines that are needed. However, security expertise and guidelines are not stated explicitly in the CC. They are rather phrased in security domain terminology and difficult to understand for developers. This means that some general security and secure design expertise are required to fully take advantage of the CC and UMLsec. In addition, there is the problem of tracing security requirements and objectives into solution design, which is needed for proof of requirements fulfilment. This paper describes a security requirements engineering methodology called SecReq. SecReq combines three techniques: the CC, the heuristic requirements editor HeRA, and UMLsec. SecReq makes systematic use of the security engineering knowledge contained in the CC and UMLsec, as well as security-related heuristics in the HeRA tool. The integrated SecReq method supports early detection of security-related issues (HeRA), their systematic refinement guided by the CC, and the ability to trace security requirements into UML design models. A feedback loop helps reusing experience within SecReq and turns the approach into an iterative process for the secure system life-cycle, also in the presence of system evolution.