摘要：随着WebApp的复杂度增加,越来越多的人认识到必须采取措施,在系统实现前加强建模工作。OOHDM就是一种较好的Web建模方法。本文以网上杂志的设计为例介绍之。

摘要：文中介绍在三值光计算机逻辑运算器研究中最新发现的"降值设计"规律,以及由这个规律建立的针对没有进位或借位操作的多值运算,构建其运算器时的降值设计理论和设计规范.其主要结论是:如果用于表示信息的n个物理状态中包含一个特殊的物理状态(D状态),则n(n×n)个无进(借)位n值运算器都可以按照规范的设计步骤,组合n×n×(n?1)个最简单的运算基元而成.文中还以一个三值逻辑光学运算器为例,详细介绍这个规范设计步骤的使用方法,并且给出这个三值逻辑光学运算器的实际构造、实验过程和结果.最后概要性地介绍了据此理论建成的可重构三值逻辑光学运算器实验系统.该理论为设计三值光学计算机的可重构型无进(借)位运算器奠定了理论基础,可供设计各种多值逻辑运算器时参考.

摘要：工程技术领域的需求,对信号的分析处理提出了较高的要求。传统的频谱分析仪功能单一、价格昂贵、使用不灵活,已不能满足现代测试信号的分析要求。随着信息技术的迅猛发展,出现了以计算机为核心的虚拟频谱分析仪,可以较好地解决以上问题,其中提高虚拟频谱分析仪的测量精度是保证其测量质量的关键。提出了一个基于LabVIEW的虚拟频谱分析仪的设计方案,讨论了频域测量误差的产生原因及减小该误差的方法和措施。

摘要：基于构件的软件开发(CBSD)使用预先开发的软件构件组装系统,不但节约了开发的费用和时间,而且提高了软件的质量,越来越受到人们重视。CORBA作为主流的商业构件模型,其接口定义语言IDL不能满足开放环境下CBSD的需要,提出基于契约化设计思想的构件接口语义信息扩展和基于π演算的行为协议信息扩展,并设计了基于XML的构件接口描述,是构件查找、适配和互操作的基础。

摘要：(t,n)门限认证加密方案允许t个以上签名方产生指定接收方的认证加密签名,使得只有指定的接收方能够恢复消息和验证消息的完整性,而其他人却无法做到这一点.最近,在Tseng和Jan的认证加密方案的基础上,Chung等构造了一个(t,n)门限认证加密方案.该方案运用了分工式签名技术,有效地减轻了签名方的负担.然而,该文作者对该方案的安全性仅进行了解释性说明.目前,文献中没有对分工式门限认证加密的形式化刻画,没有出现可证安全分工式门限认证加密方案.事实上,Chung等的分工式门限认证加密方案存在设计上的缺陷.文中给出了分工式门限认证加密方案的形式化模型和安全模型,基于双线性映射构造了一个新的分工式门限认证加密方案.在随机预言机模型下,证明了该方案对于适应性选择密文攻击是语义安全的,该方案对于适应性选择消息攻击是存在性不可伪造的.方案的安全性可规约到计算性Diffie-Hellman(CDH)困难假设和决定性双线性Diffie-Hellman困难假设(DBDH).

摘要：该文以一个实际系统为背景,针对我国券商证券研究的现状,对证券公司研究信息平台的实现目标、整体构架、软件体系结构、数据结构和功能结构进行了探索,提出了系统的设计思路。

摘要：对数学文化本质的哲学分析，不仅可以使我们更深入地理解数学文化的内涵、特点、产生、发展及其与其相关事物的联系与区别，而且我们能够更深刻地理解数学文化的价值：影响人的思维；增强社会文化中的理性成分；全面认识数学及数学价值．同时，数学文化对数学教育的意义在于：可以丰富数学教育的内涵；可以作为数学知识的载体；可以作为感性认识到理性认识的桥梁．

摘要：介绍了一种逻辑模型的设计技术W3DT。它用于设计基于Web的应用系统。

摘要：XML技术的应用非常广泛,可以用XML技术来解决Internet网络、人工智能、知识库和数据挖掘等领域的问题。本 文以网络购物为实例对XML技术在电子商务的信息处理系统中的应用进行了研究,主要针对数据信息的文档类型定义、数据 的存储和检索,以及用于显示的样式表进行了设计。