Microsoft组件对象模型的形式化描述

基于组件的软件开发(CBD)是一种较为理想的软件开发方法,它根据组件标准,将独立开发的软件组件组合成应用.组件对象模型(COM)是目前最为流行的实现级组件软件协议,它是Microsoft关于如何建立组件和如何根据组件构造应用的一个规范,1995年公布的COM规格说明详细地定义了建立和使用COM组件应遵循的规则.然而该规格说明是非形式化的,这使得它缺乏逻辑的严密性,容易引起歧义.本文根据COM规格说明定义的规则,为其建立一个形式化的组件模型,模型反映了COM组件的本质,但省略了一些具体细节. 模型采用规格说明语言Z进行描述.     

从世贸规则执行的监督机制看我国外贸法的修订

世贸规则作为世贸成员方之间的协议 ,仅对我国政府具有国际法上的约束力 ,对我国国民没有直接的效力。加入世贸组织 ,我国政府即承诺我国与贸易有关的法律、法规、司法判例与世贸规则相符。为此 ,应当在外贸法的修订中专门就“国际贸易协调委员会”及其职权作出规定 ,并在协调委员会内设立与世贸规则项下的各委员会相协调的机构 ,具体处理世贸规则在我国执行的相关事项 ,以便履行世贸规则 ,充分享有世贸规则项下的权力 ,履行协议项下的相关义务 ,维护我们国家和国民的合法权益。     

部队农场信息数据仓库决策系统的分析与构建

介绍了数据仓库的特征,通过对部队农场信息数据的分析,阐述了部队农场信息数据仓库决策系统的实现模型和设计步骤。     

数字化语音室的功能和技术规范

随着教育信息化发展,数字化语音室正逐渐代替模拟语音室并在教学工作中被广泛使用,然而一些学校的教师对数字化语音室的认识并不十分清楚。此文为解决这一问题试从概念和功能上比较说明数字化语音室与模拟语音室的区别,分别说明其各自的技术规范,并对数字语音实验室建设提出建议,以促进各个学校的语音室建设。     

高性能网络安全处理器的设计

提出一种支持IPSec、SSL/TLS网络安全协议的高性能网络安全处理器的系统结构设计。该设计采用了系统级的流水线及双路单向总线设计,提高了数据传输通路的数据传输速率并且缓解了总线仲裁及数据拥塞。经过特定面积/性能优化过的密码算法引擎阵列提供了多任务并行计算能力。可编程描述符指令结构的设计,不仅合理利用了并行计算资源,而且增强了系统面向网络安全协议应用的灵活性。采用SMIC 0.13μm标准逻辑单元库综合后,实验表明:系统频率为200 MHz时,此设计对IPSec ESP隧道模式支持1.651 Gb/s的数据吞吐率,且可以实现103次/s的SSL握手协议。     

浅析高校体育教育专业选修课程的设计与实施

通过对高校体育教育专业新培养方案设计与实施的研究,分析了选修课程的实施现状,讨论了选修课程的设计原理以及选修课在实施中遇到的一些问题及建议,希望能对教育部新培养方案的实施提供些许帮助．     

A PSL Ontology-based Shop Floor Dynamical Scheduler Design

Due to the complex, uncertainty and dynamics in the modern manufacturing environment, a flexible and robust shop floor scheduler is essential to achieve the production goals. A design framework of a shop floor dynamical scheduler is presented in this paper. The workflow and function modules of the scheduler are discussed in detail. A multi-step adaptive scheduling strategy and a process specification language, which is an ontology-based representation of process plan, are utilized in the proposed scheduler. The scheduler acquires the dispatching rule from the knowledge base and uses the buildin on-line simulator to evaluate the obtained rule. These technologies enable the scheduler to improve its fine-tune ability and effectively transfer process information into other heterogeneous information systems in a shop floor. The effectiveness of the suggested structure will be demonstrated via its application in the scheduling system of a manufacturing enterprise.     

基于构件设计的思想

阐述基于构件设计的思想 .首先建立一个构件描述的模型 (接口 :描述构件的语法和语义信息 ;实现 :阐述如何利用子构件构造一个新的构件 ) .然后阐述如何将构件的接口和实现联系起来 ,最后利用Hoare逻辑验证其正确性     

河南省新型城镇化战略实施中需要破解的难题及对策

新型城镇化,作为省一级行动2006年发源于浙江省.2010年,河南发展高层论坛第31次会议专题讨论河南省新型城镇化战略,引起省委书记卢展工高度重视,并对会议纪要作出重要批示.2011年8月1日,省委书记卢展工在舞钢市调研时提出,新型城镇化引领"三化"协调发展新观点,并全面推动了河南省新型城镇化建设.经调查研究认为,新型城镇化战略实施中需要破解新型城镇化引领"三化"协调发展、与传统城镇化整合、新型农村社区建设资金筹措、居民就业、土地资源节约集约利用、大中小城市协调发展、农村传统文化保护与传承等七个难题,并通过确立新型城镇化引领"三化"协调发展的新理念、确定新型农村社区建设在新型城镇化中的特殊作用、确保新型农村社区建设因地制宜、确实通过新型城镇化推动"三化"协调发展等对策促进新型城镇化健康发展.结论认为,要全面理解新型城镇化的科学内涵,新型城镇化具有引领"三化"协调发展的作用,新型农村社区建设需要相关政策持续创新,推进新型城镇化要为"三化"协调科学发展奠定科学技术与管理创新基础.     

吉林省科技创新政策实施效果评估及实证研究

科技创新政策评估是科技创新政策制定与实施的重要环节,是衡量政策绩效的唯一途径。吉林省深入实施创新驱动发展战略,在贯彻落实国家的各项科技政策的基础上,还制定颁布了一系列地方性科技政策,推动了吉林科技整体水平快速提升转变,但是现阶段从事相关科技政策效果评价的研究不多,因此本研究应用结构化方程模型SEM法分析,细致考量各个因素对科技政策实施效果的影响程度,指出吉林省科技政策实施效果的对策与建议。