Java加密库的构造和实现

主要介绍了如何构造和实现加密库。加密库是加密算法的集合。JDK1.2中定义了密码服务提供者(Provider)这个概念,它表示加密算法集合。实现一个加密库也就是实现一个Provider。实现一个Provider首先要充分了解Java加密体系结构,在此基础上实现Java加密扩展(JCE,JavaCryptographyExtension),构成一个基本框架,进而添加需要的算法。文章按此思路讲述Java加密库的构造和实现过程。     

基于Synopsys VMM方法的FPGA验证技术

针对可编程器件在数字系统设计领域日益显现的重要性,分析了基于现场可编程门阵列(FPGA)的硬件设计的质量保证方法,指出必须对FPGA设计进行充分的验证以提高相应产品的可靠性.从验证方法和方法学角度阐述了验证平台的发展趋势,比较了当前主流的验证方法学,基于Synopsys VMM方法提出并实现了一种层次化的通用验证技术,运用该技术搭建的验证平台已在工程实践中得到应用,验证结果表明,在保证平台通用性的同时提高了验证效率.     

一种时间相关安全协议的自动验证工具

设计并实现了一个时间相关安全协议的自动验证工具。工具以一种时间相关安全协议逻辑TCPL为基础,以XML语言为描述方式,采用构造分层逻辑树的方法,完成了对安全协议目标的自动验证。实现结果表明,该工具简化了安全协议的证明过程,提高了效率,具有较好的实用性。     

面向短文本的命名实体识别

针对短文本命名实体识别这项紧缺任务,提出了一种面向短文本的快速有效的命名实体识别方法。该方法主要分成三步：第一步,针对短文本表达不规范特性对命名实体识别的干扰,采取去干扰字符,化繁为简等规范化操作。第二步,针对短文本语意不完整特性,提出用HMM（隐马尔可夫模型）以词性做观察值进行初步命名实体识别。第三步,据初步识别结果,构建拼音同指关系库来识别潜在实体。在由8464篇短文本构成的测试集上运行的实验表明,该方法能较好地进行短文本命名实体识别。     

基于离散区间的频繁嵌入式子树挖掘算法

针对频繁嵌入式子树挖掘,利用离散区间来构造投影库,给出一种基于离散区间的频繁嵌入式子树挖掘算法。该算法通过离散区间消除冗余投影,有效地压缩投影库的规模,提高了子树节点计数效率,减低了算法的时空复杂性。实验结果表明该算法具有较高的挖掘效率。     

基于角色的设计模式形式建模及演化

重用设计在改善软件开发过程中的作用越来越受到人们的重视.面向对象的软件设计模式概念的提出为软件设计的重用打开了新的局面.但在设计模式的具体应用中存在实现、文档和组合的问题.给出了一种基于角色的设计模式形式建模方法,将类、类属性、类之间的关系等都看作角色,并用形式建模语言Object-Z形式表示这些角色,可有效地解决设计模式实例化时存在的问题.基于角色的设计模式形式模型在演化时也基于角色进行演化,将模式的演化分为角色层演化和模式层演化,模式层演化是由多个角色层演化组成的.演化后的模型可以通过定理证明器验证与前模型是否保持一致.     

基于Struts的Web开发

Struts是目前比较流行的一个基于MVC设计模式的JavaWeb应用框架,文章详细地阐述了Struts框架实现MVC的构架机制及其核心组件和框架特点,介绍了集成在Struts框架内部的Validator框架在具体Web系统中的开发应用,比较了基于该验证框架的两种验证的优缺点。     

一种基于标签库的Webservice二次快速开发模式

随着Webservice服务的完善与网络技术的进步,传统的Webservice二次开发模式已经不能满足用户的需求,大量的脚本与服务器端的逻辑代码给二次开发带来了从开发到维护上等一系列的问题。鉴此,在新的开发体系中引入了JSP标签库,页面模版,Ajax等新的技术,实现了快捷、高效的零知识、零代码的网络电子地图的二次开发模式。     

康耐视提供最广泛的基于图像的ID读码器

DataMan700手持读码器可保证读码的全部可信度这款新型DataMan700手持读码器可应用于任何代码、任何表面、任何标记方法。通过引进DataMan 700手持ID读码器,目前康耐视拥有了最广泛的基于图像的ID读码器,且读码质量验证器无论在何处都可用。     

手把手教你玩转QQ魔法表情

QQ本身附带了一些固定表情图片,聊天时你插入几张发送给对方胜过千言万语。不过QQ默认的表情也就是那么几种,如何把自己的表情图片添加到QQ表情库中呢？方法如下：打开聊天窗口,点“表情”按钮,点“添加自定义表情”进入“表情管理”;点“添加”,在弹出的对话框中（如下页圈1）按“浏览”选中要添加的表情图片（按Ctrl键可选择多个图片）,然后设置表情快捷键和它所在的组,按“确定”,自定义表情就添加到库中了。