基于IDA处理器模块扩充的描述语言建立

目前的IDA不能支持所有处理器模型的反汇编。为此,给出一种适用于IDA处理器模块自动生成的反汇编描述语言,为IDA处理器模块插件的扩充提供支持。该描述语言采用基于上下文无关文法的属性文法表现形式,包括对处理器存储系统的声明以及对处理器指令集的语法和语义描述。应用结果表明,该方法适用于IDA处理器模块插件的扩充。     

管理信息系统通用模块的设计

对管理信息系统进行研究,给出通用模块的设计和实现。针对现存管理信息系统对需求变化响应不足的缺点,结合其共性提出通用模块的设计思路和实现方法,并通过定制进行业务的调整。通用模块分为6个业务子模块和1个控制子模块,在B/S和C/S架构下得以实现,并已经在实际中使用。     

基于Web服务的联合作战管理语言

综合军事信息系统CAISR和仿真系统之间的互操作性不强是由来已久的一个问题,作战管理语言的出现为解决这一问题提供了新的方法.作战管理语言是一种无歧义的语言,用于指挥和控制作战人员和武器装备执行军事行动,并能提供态势感知和全局共享的可操作的态势图.Web服务提供了一种新的分布式仿真模式,支持互操作性和重用性.介绍了作战管理语言和Web服务技术,分析了在Web服务支持下应用JBML实现仿真系统和CAISR的互连.在网络服务中扩展的联合作战管理语言将能更好地改进军事系统问的互操作性.     

微陀螺模态特性的参数化分析方法

模态分析是微陀螺结构设计的重要环节,针对一种采用L形截面悬臂梁支撑的微陀螺结构,提出了参数化的模态分析方法.建立了微陀螺的参数化模型,以VC作为封装ANSYS的APDL命令流的工具,开发了微陀螺参数化的模态分析模块.利用该模块研究了微陀螺模态频率随主要结构尺寸变化的规律,发现对模态频率影响较大的是硅结构的厚度和支撑梁的...     

用于接入管理的MS状态模块设计与实现

在全球互通微波存取(WiMAX)网络架构标准下,MS入网时存在锚定点位置信息与实际不符、信令异常发送等问题。为此,设计WiMAX接入网关中的MS状态模块,用以管理用户入网的部分数据,维护终端的状态和相关位置信息,提供和保存认证授权策略。结果表明,加入MS状态模块的WiMAX接入网关能实现更有序、准确、快速的终端入网。     

基于红外传感器和GSM模块的座位管理系统

为实现图书馆、自修室等公共场所座位的实时管理,提出了采用单片机、红外传感器和短信收发模块构成的实时座位管理系统。单片机AT89C51作为控制中心,实时采集红外传感器探测座位有无占用情况的信号,控制液晶显示部分输出监测结果,并将实时座位信息通过短信收发模块GSM.TC35发送给管理人员和使用者。该文提出的座位管理系统具有结构简单,成本低和易于监控管理的特点。     

全参数化设计实现机理及约束可视管理

为了提高设计效率,提出一种全参数化设计方法,系统阐述其实现机理,给出自动施加约束、约束实时显示及约束可视管理算法。并运用AutoCAD二次开发技术,将几何约束求解器CBA和CAD绘图平台有机结合,实现全参数化绘图。     

面向OWL的联合作战管理语言本体开发方法

作战管理语言是一种能够无歧义指挥命令部队和装备进行军事行动和提供态势感知、共享作战行动的语言,其公开标准为联合作战管理语言。联合作战管理语言产品开发组制定了三个阶段开发语言标准,包括数据模型、形式化结构（语法）和形式化语义（本体）,目前的研究主要集中在前两个阶段,对实现概念交互的第三阶段的相关研究还比较欠缺。在总结相关对作战管理语言本体研究的基础上,提出了针对联合作战管理语言本体面向联合作战的一种应用框架。通过对炮兵打击任务分配的实际应用,验证了该方法的合理性和有效性,同时显示了本体在军事领域具有相当严格可靠的模型描述能力。     

使用易语言快速开发仓库管理软件

文中从实际的工作需求出发,实现了一款仓库管理软件。文中针对的是非专业出生而又有实际需求的人员,以易语言作为快速开发平台,使用其自带的数据库和数据库引擎,探讨了贴合实际需求的仓库管理软件的快速开发过程,并详细阐述了具体的实现方法,为实际工作中低成本高效率的管理问题做出了良好的尝试,有效地解决了类似的小型管理软件中的数据库技术和快速开发技术等技术难点,并最终实现了一款实用的仓库管理软件。结果表明,作为类似软件的快速开发平台,易语言是一个很好的选择。     

信息系统安全风险模型-RC模型

该文首先介绍了信息系统的风险和风险管理,讨论了两个典型的安全风险模型,分析了它们的不足,然后以风险管理为基础,从风险时间变化的宏观角度出发建立了风险模型-RC模型。该模型对信息系统安全风险进行了直观和清晰的描述,对于强化信息系统的健壮性,降低信息系统的安全风险有重要的指导作用。     

Interactive Management of Human Factors Knowledge for Human Systems Integration Using Systems Modeling Language

Abstract

The field of Human Factors in Knowledge Management is often seen as a problem of capturing, organizing, and retrieving information to build knowledge. This process is inextricably bound up with human cognition and, as such, the management of knowledge occurs within an intricately structured behavioral, cultural, and social context. This paper emphasizes the importance of interactive human factors in knowledge management and introduces a model-based human systems integration framework based on systems modeling language (SysML).     

高级语言在AutoCAD中的应用

".SRC"是AutoCAD与高级语言的一个联结接口,文章主要阐述利用高级C语言产生命令组文件".SRC",在AutoCAD环境下实现参数化绘图。以绘制整体式小齿轮为例,编写了产生命令组文件".SRC"的C语言程序,介绍了从C语言到产生命令组文件".SRC",再到AutoCAD环境下实现参数化绘图的整个过程。     

用友ERP-U8软件固定资产管理模块实践教学常见问题解析

会计电算化是一门实践性很强的学科,目前高职院校多采用财务软件进行会计电算化实践教学。本文尝试用图示的方法,以用友ERP-U8(V8.61)为蓝本,对固定资产管理模块教学的难点和常见问题进行总结和分析,以图释理,供初学者及同行参考。     

一种基于逻辑框架的数字版权管理机制和实现

权利描述语言用来构造许可证,描述数字内容的使用权利.鉴于现存的权利描述语言存在表达力不足、缺乏正式语义等问题,提出一种基于逻辑框架的数字版权管理语言LucScript.对该语言框架的逻辑语义、语法和触发运行机制进行了分析和说明,描述了该语言的实现方法,并对该语言的应用和使用控制过程进行了示例.该语言基于统一的具有单一稳态结构的Active-U-Datalog语义,具有比现存权限描述语言更强的表达力和灵活性.LucScript语言可有效地提高DRM系统对数据内容使用的灵活性和实时控制能力.     

一种支持混合语言的并行查询纠错方法

中文信息检索系统中的查询语句包含中文字、拼音、英文等多种形式,而有些查询语句过长,不利于纠错处理。现有的查询纠错方法不能很好的解决中文检索系统中的混合语言与中文长查询的问题。为了解决上述两个问题,该文提出了一种支持混合语言的并行纠错方法。该方法通过对混合语言统一编码,建立统一编码语言模型和异构字符词典树,并根据语言特点制定相应的编辑规则对查询词语进行统一处理,其中,针对中文长查询,提出双向并行的纠错模型。为了并行处理查询语句,我们在字符词典树和语言模型的基础上提出了逆向字符词典树和逆向语言模型的概念。模型中使用的训练语料库是从用户查询日志、网页点击日志、网页链接信息等文件中提取的高质量文本。实验表明,与单向查询纠错相比,支持混合语言的并行纠错方法在准确率上提升了9%,召回率降低了3%,在速度上提升了40%左右。     

Web本体语言OWL

随着对语义Web研究的深入,人们越来越关注在Web上信息内容的表示和检索问题。在语义Web的七层模型中,建立在RDF模式层之上的本体语言层用于形式化描述Web文档中词汇的含义,是建立语义Web的关键环节。该文介绍了W3C最新给出的Web本体语言OWL,给出TOWL3个子语言构造成分的含义说明,并比较了3种子语言间的差别。     

粒计算的α_决策逻辑语言

提出一种用于粒计算的α_决策逻辑语言．该语言是由Tarski意义下的模型和可满足性所描述的一种特殊的经典谓词逻辑．由属性值域的模糊子集代替经典的单值信息函数所得到的广义信息系统对应于模型，借助于模糊集理论的水平截集的概念，归纳地定义对泉在一定阈值水平下满足某公式．最后讨论如何利用α_决策逻辑语言描述不同的粒世界及分析形式概念和决策规则．     

基于中间件的网站建设管理模式研究

中间件是信息资源管理阶段能够实现信息整合的关键核心技术,是继操作系统和数据库管理系统之后随着网络的兴起和发展而新兴的一种基础软件。在研究中间件技术的基础上,寻求解决网站建设与管理过程中资源利用、信息上传、主页动态更新和数据跨库检索等问题的方法,从而提高网站建设管理的自动化程度和数据使用率,扩大了数据检索范围。     

动态模糊逻辑程序设计语言的指称语义

文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构.在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计语言的语义域、语义函数及其指称语义.最后给出了一个动态模糊程序设计语言的例子以观察程序的运行过程.     

云存储中基于可信平台模块的密钥使用次数管理方法

为保护云存储中数据的机密性并控制密钥的使用次数,提出了一种基于可信平台模块的密钥使用次数管理方法.首先,通过基于密文策略的属性加密算法对密钥加密,使得只有满足一定属性的指定用户能够解密密钥.然后在本地将密钥与可信平台模块绑定,保证密钥的安全存储,并利用可信平台模块的物理单调计数器为每一个密钥生成一个虚拟的单调计数器.其次,通过比较单调递增的计数器值和预定的密钥使用次数值,判断密钥是应被删除还是能继续使用,从而控制密钥的使用次数.最后,利用可信平台模块的防物理篡改功能、计数器的单调性和数字摘要防止攻击者对硬盘数据进行重放攻击.实验结果表明,所提出的方案性能开销小,能够安全有效地存储和保护密钥,达到密钥使用次数受限制的目的.