面向方面设计中干涉问题的分析工具

干涉问题是指基础程序和方面之间或者方面之间发生不需要的相互作用,导致最终程序中产生不想要的功能,危害程序的正确性.很难检测和修正在面向方面设计中存在的干涉已经成为推广面向方面技术的阻碍.受到技术自身可扩展能力的局限,现有的基于模型验证技术的工作不能有效地处理功能干涉问题.本文设计开发了一个基于推理验证技术直接检查和去除面向方面设计中功能干涉的工具.它可以根据类和方面的功能规约自动产生确保不发生干涉的条件,并引入交互式证明工具PVS来提高证明过程的自动化程度.证明可以确认设计中没有干涉存在或者为修正干涉问题提供线索.     

计算机辅助矿山设计的架构研究

在工矿企业中,计算机辅助矿山设计集中出现在井巷图纸绘制、矿山地质图件方面,CAD的二次开发在矿山设计方面已经得到长足的发展.编制合理的计算机辅助矿山设计程序,可以有效简化矿山设计中计算任务量,提高矿山设计效率,并为今后实现计算机智能设计、自动绘图、自动计算经济指标提供基础.     

点、线、面、体元素在包装设计中的应用

本文主要分析和论证了点.线.面与现代包装的关系以及点.线.面.形式美法则在包装上的运用,同时要求包装设计以一种构成的观念从造型的角度、新的理念和整体的各方面形态等方面来进行设计,并将构成中的点.线.面、体综合形式要素应用于包装设计中。     

集成加速度传感器数据采集系统设计

传统加速度测试系统从传感器、温度偏移纠正电路、放大电路到数据采集各设备往往都是孤立的,不便于携带并受到测试空间的限制.本文设计了一种利用单片机集成系统进行数据采集与传输的软件编程方案.系统硬件结构的设计方面,分为传感器电路模块和单片机主控模块.系统软件的编写方面,采用模块化设计思想,对数据采集、指令采集、数据传输子程序进行了设计.设计时采用了一定的抗干扰技术进一步提高了系统的稳定性.     

使用射频IC卡管理货场的系统设计

主要介绍一种射频IC卡就货场事务管理的硬件和软件设计.硬件设计方面简速系统结构;软件方面给出了开发环境,设计架构和关键代码.数据库服务器采用SQL Server.灵活的C/S结构使得系统扩充很容易.     

JavaScript编程技术课程的教学研究

本文从JavaScript编程技术课程性质,课程目标,设计思路,教学内容设计和教学评价五个方面,具体描述了JavaScript编程技术课程的教学与研究,并在设计思路、教学内容设计方面进行展开说明.     

基于单片机控制的多功能数字式煤气表的设计

设计了一种基于单片机控制的多功能数字式煤气表.从组成框图、硬件设计以及程序流程等几方面介绍了该多功能数字式煤气表的设计,硬件设计部分介绍了各部分的详细电路.     

一种基于DSP的数据采集与显示设计方案

为了快速、准确地进行数据采集,并把采集到的数据显示出来,设计了一种以TI公司的TMS320F2812内置ADC为数据采集核心、以MAXIM公司的MAX7219作为LED显示驱动的方案.从硬件和软件两个方面的设计进行阐述,重点介绍了软件方面的设计.调试结果证明,该设计能够达到数据采集的要求,并能稳定地显示采集到的数据,可以广泛应用于仪器仪表设计中.     

设计素描与工业设计的关系

设计素描是当代设计教育课程体系的一个重要部分,旨在帮助学生树立正确的设计观念,培养创新的设计思维,基本造型的表现能力和创造能力.随着工业设计的范畴越来越宽泛,设计素描与工业设计在很多方面发生交叉.本文从它们的概念入手,对设计素描和工业设计的关系进行了研究.     

探讨使用Dream weaver进行网页设计的技巧

作为“网页三剑客”中不可缺少的重要组成部分,Dream weaver在网页设计中发挥着至关重要的作用.它在网页的基本布局以及修改等方面发挥着无可比拟的优势.最重要的是,使用者利用Dream weaver进行网页设计时可以跳过HTML代码编写的环节,直接进行网页布局,大大减小了网页设计的难度.本文主要从网页设计及Dream weaver简介、使用Dream weaver进行网页设计的技巧以及一些建议等方面出发,对Dream weaver的相关知识进行了论述.     

基于用户界面模型的界面模板

界面模板是一种崭新的界面设计模式，提出了基于界面模型的界面模板概念，在支持界面自动生成的界面开发方法中实现从抽象界面到具体界面的转化。讨论了界面模板的构成与表达、界面模板的分类以及界面模板库体系结构，说明了界面模板的用法。     

融合用户自身因素与互动行为的微博用户影响力计算方法

由于微博高影响力用户在商品营销、社会舆论引导等方面起着重要的作用,因此挖掘高影响力用户成为了微博社交网络中的热点研究问题。针对微博用户影响力计算中存在交互行为与用户自身因素分析不全面的问题,提出了微博用户影响力计算方法MBUI-SFIM(Micro-blog userinfluence based on user’s self-factors and interaction computing model)。该方法考虑了微博用户直接影响力和间接影响力两个方面:在用户直接影响力计算中,通过对用户的自身因素如微博用户粉丝数、用户活跃度、近期微博质量等的分析,计算出用户的初始影响力,然后分析用户互动行为如用户的微博可见率、微博用户互动系数,计算出用户传播能力,最后将初始影响力与用户传播能力相结合,基于改进PageRank算法计算出用户直接影响力;在用户间接影响力计算中,通过对用户网络图连接结构进行分析,根据不相邻用户连接路径的不同,将用户间接影响具体分为简单路径、重复路径、复杂路径3种情况进行讨论,从而计算出用户间接影响力。实验结果表明,相比PageRank算法和MR-UIRank算法,所提算法在用户排名准确性上分别提高了14.8%和8.3%。     

交互式检索的用户模拟器研究综述

随着检索技术的发展,交互式检索在信息检索领域中变得尤为重要。交互式检索在传统检索模式下增加了捕捉用户细粒度行为的功能,以便通过用户模拟器提升检索引擎性能。基于规则的用户模拟器缺乏个性化用户特征,适应性较差。基于模型的用户模拟器能够学习到更多的用户个性化行为特征,可以有效提升交互式检索引擎的性能。阐述了用户模拟器与检索引擎的交互过程,对基于规则的用户模拟器和基于模型的用户模拟器的构建方法以及近年来用户模拟器的评价方法进行了归纳总结,并重点介绍了基于模型的用户模拟器。最后对比了面向交互式检索的用户模拟器和传统的用户模拟器的差异,并以交互式学位论文检索场景为例,通过此检索场景对用户模拟器的应用进行了展望。     

认知中继网络的物理层安全

对认知中继网络中主用户和认知用户的中断概率和窃听概率进行了研究,提出了一种根据窃听行为改变传输方式（CTMEB）的方案,即主用户和认知用户会根据是否被窃听用户窃听而采用不同的信号传输方式。若E只窃听CS,主用户采用直接传输的方式传递信号;若E窃听CS和PS,主用户根据信道状态选择信噪比较高的路线传输信号。分析推导出了窃听CS与窃听CS和PS时主用户和认知用户的中断概率和窃听概率。通过MATLAB验证了采用CTMEB方案对提高主用户和认知用户的窃听概率和中断概率的有效性。     

基于关键字的用户聚类算法

为了得到准确有效的用户聚类,提出了一种基于关键字的用户聚类算法.该算法是在传统Rock算法的基础上进行了改进,提出了相似权重和平均邻居的概念,并且将用户关键字事务集的平均邻居数定义为用户访问模式相似性的标准.在不产生离群用户点的基础上,缩小了用户聚类的范围,将一个大的用户聚类更加精确的划分为几个小的用户聚类.利用用户之间的相似度阈值对数据进行过滤,减小了用户聚类的计算量.经过实验验证该算法有效的提高了相似用户聚类的准确性和运行效率.     

一种基于原语的界面设计模式建模方法

为了提高用户界面开发的效率，通过对界面区域的构成分析，提出了基于原语的界面设计模式，并从数据、交互和展示三个角度定义了界面设计模式原语，对界面设计模式进行规范化描述。以此为基础，进一步提出了一种基于原语的界面设计模式建模方法。本方法通过对模式原语的定制对界面展示单元的静态信息、交互信息和展示信息进行采集，从而完成对界面设计模式的建模，并有效指导代码的自动生成。     

Documenting information systems for management: A key to maintaining user satisfaction

Executives responsible for the information system function need to be concerned about developing a base of satisfied users and maintaining continuing user satisfaction after implementation. This article focuses on user satisfaction among on-going user manager, explores the role of good user documentation, and examines the results of a survey of 144 user managers from 55 firms. The results indicate that good user documentation appears to be an important factor in insuring user understanding and continuing user satisfaction. Thus firms considering alternative ways of keeping users satisfied (i.e., personal computer applications, end user computing, or information centers) might well examine their user documentation practices before exploring other alternatives.     

通过数据库创建动态菜单实现用户权限管理

设计了一个通用的用户权限管理程序,通过读取数据库动态生成菜单。首先要在数据库中设置好权限表、菜单分配表和用户表。根据登录用户,读取数据库,自动创建对应的用户菜单。便于实现创建新菜单和添加新用户。     

用户信息保护下的学习资源知识点自动提取

提出一种用户信息保护下的网络学习资源知识点内容自动提取方法,即在信息保护层中加入用户信息保护状态HMM模型,一旦判断保护状态无效,自动退出知识点内容提取流程,防止用户信息受到侵犯。使用用户信息保护HMM模型,对4家学习网站227名用户的查询浏览行为、用户链接、用户配置信息的真实数据集进行了实验,结果表明,进行500次随机消息测试时,模型对用户信息保护状态的判断正确率为94%,对虚假安全消息的误判率为0. 04。根据4家学习网站在12。天中的用户评分数据,系统使用后的平均分数较系统使用前平均增幅达23.23%。     

基于可信计算的Web单点登录方案

为增强现有单点登录技术中用户域的安全性,在客户端平台引入可信平台模块(TPM),同时采用智能卡、口令及指纹相结合的客户端认证方案,实现了用户、客户端及智能卡间的相互认证,并保证了应用服务所提供的信息资源的安全使用.分析结果表明,该方案不要求用户与客户端预先协商信任关系,且可辨别客户端的主人和普通使用者.使用哈希函数的用户认证计算及推式平台完整性验证使得系统具有较高的运行效率.