【摘 要】
：
以本实验室研制的一个多重论域的约束逻辑程序设计系统BPU-CLP为基础,提出用约束逻辑程序(Constraint Logic Programm ing,CLP)解决布局规划问题。该方法用几何模型表示对象,用算术约束描述对象间的位置关系,并通过BPU-CLP的约束求解机制为各个位置变量取值。该方法实现了二维人物初始布局规划和三维卧室家具布局规划。实验证明该方法是有效的。
【机 构】
：
北京工业大学计算机学院多媒体与智能软件北京市重点实验室
【基金项目】
：
国家自然科学基金资助项目（60496322,60496327）：北京工业大学博士科研启动基金项目（00119）
论文部分内容阅读
以本实验室研制的一个多重论域的约束逻辑程序设计系统BPU-CLP为基础,提出用约束逻辑程序(Constraint Logic Programm ing,CLP)解决布局规划问题。该方法用几何模型表示对象,用算术约束描述对象间的位置关系,并通过BPU-CLP的约束求解机制为各个位置变量取值。该方法实现了二维人物初始布局规划和三维卧室家具布局规划。实验证明该方法是有效的。
其他文献
以PKI使用的大众化作为研究的主要目标,具体分析研究了PnP-PKI的实现机制。首先分析PKI的一些具体现实问题,提出了PnP-PKI需要解决的问题和实现目标;通过进一步分析一些具体服务定位协议和实现机制的优势和不足,提出了PnP-PKI的实现机制,解决了普通用户使用PKI的透明性;最后通过对PnP-PKI的测试与分析,证实PnP-PKI能为非技术用户提供自动获取证书的方法,甚至用户没有意识到他们
地理空间信息技术(WebGIS)的飞速发展,给水土保持信息监测和管理提供了新的手段和方法。为有效管理水土保持信息,在对水土保持信息的数据库设计和数据组织、关键功能设计等的基础上建立了一个基于B/S的水土保持信息查询系统,系统采用Oracle+ArcSDE+ArcIMS体系构架实现了空间数据的五类查询方式:位置查询、条件查询、名称查询、空间关系查询、模糊查询;特别地设计和实现了地面监测数据的双向查询
针对现有身份认证技术存在的缺点,将PKI技术与挑战/应答认证机制相结合,提出了一种新的基于PKI的动态身份认证系统,并具体论述了该系统的结构和认证协议,同时对此身份认证系统的安全性进行了分析,指出了优点和不足。
为深入分析揭示泥石流的形成和运动等规律,提高泥石流灾害防治的信息技术应用水平,以VC++和SuperMAP混合编程为主要技术,应用计算机可视化技术,研究并实现了基于动量和动能数值模拟的、实时泥石流危险性分区技术。系统以云南东川蒋家沟泥石流作为研究对象,以实验数据和实测数据进行设计和构建。
首先说明软件、软件生产及其复杂性,指出需要过程设计和知识管理来进行软件过程改进;接着提出了研究方法和概念框架,并给出了研究内容;最后,讨论了研究结果,包括软件过程复杂性命题、软件过程改进复杂性工作程序、软件企业模型和软件生产支持结构。
首先简单而全面地分析了各种移动管理技术,重点讨论了移动IP(M IP)和HIP(Host Identity Protocol)。针对M IP移动管理复杂和HIP认证方法的不足,提出基于HIP实现移动管理,同时基于证书认证和身份认证实现混合认证。这种新颖的移动管理方案在简化会话连接管理、安全关联管理的同时,可以有效地降低认证机制的成本,增强系统的可扩展性和鲁棒性。
小波图像处理方法一般是用软件实现的,但用软件处理图像实时效果欠佳。介绍了小波图像增强算法,并在AD I公司B lackfin DSP系列产品之一的ADSP-21535仿真器上进行实验。结果表明,用这一硬件处理能达到实时图像处理的要求,图像处理质量高。
提出了基于消息和插件的防御框架模型。该模型采用数据融合、智能代理和抗毁设计来保证防御系统自身的高可靠性。测试结果表明模型可行且高效。
通过研究提出了一种新的组播密钥管理方案,这种方案不仅极大地降低了用于密钥存储的空间开销和由于发送密钥更新信息而造成的带宽浪费,同时还具有良好的可扩展性。有成员加入(退出)组播组时,虽然组控制器(Group Controller)必须更改以后报文的加密密钥,但是对于其他成员来说,他们用以前的密钥同样可以解密这些信息,最后给出了这样一种设想的实现方式。
提出一种安全域内安全信息的集中存储和统一访问手段,以及账号联合、认证代理和授权代理方法,解决了ASP模式下异构安全系统间认证和授权结果的共享及单一登录问题,设计实现了ASP模式下安全域内与安全域间统一的单一登录系统。