基于本体的特征模型演化的一致性验证

针对特征模型的演化导致特征间的冲突问题, 从特征模型的演化方面进行研究, 提出了一种基于本体的特征模型演化的一致性验证方法。首先采用本体理论方法对特征模型的演化进行分析和建模, 建立本体的特征模型元模型; 其次基于上述元模型, 为网上购物系统实例建立相应的网上购物的领域特征模型, 根据需求裁剪出产品特征模型; 然后在Eclipse集成开发环境下, 通过Jena推理机加载规则和产品特征模型进行一致性验证, 当检测到冲突时, 采用演化策略来消除冲突; 最后通过实例研究说明了该方法的有效性。     

医药行业使用有机单元反应的分析

对医药系列产品传统合成和生产中所使用的各种有机单元反应的频率百分数进行了分析。介绍了几种常用的有机单元反应，如烷基化、酰基化、缩合反应，卤化反应，还原反应等，同时对“分子设计”和“组合化学”进行了探讨。     

基本主方向关系的反关系推理

在深入研究了基于MBR的主方向关系的反关系推理的基础上,提出了一种基于区域对象本身的基本主方向关系的反关系推理算法。在理论上对该算法的正确性和完备性进行了证明,并通过与实际情形逐一对比验证了该算法的正确性。     

服装艺术与陶瓷艺术的不解之缘

论述了服装艺术与陶瓷艺术的不解之缘，服装设计与陶瓷设计互为影响，又互为联系，陶瓷设计师应努力将服装艺术的美融合到陶瓷艺术设计中去，这是艺术领域的创新和发展。     

选择高性能数据库服务器的重要考核因素

正IT正成为全球经济发展的重要驱动力之一。无论是传统的大型企业,还是需要通过革新谋求发展的中小型企业,都在不断提高IT效率和业务性能,以支撑企业未来业务的发展和转型。在这个IT演进的过程中,数据库性能和稳定性是支撑起企业未来发展的关键因素。就数据库选择而言,中桥调研于2014年针对中国422名最终用户的调查结果显示(图1),排在前两位广泛使用的数据库是Oracle和SQL Server。随着企业级功能的增加,SQL     

演绎最薄个性4GOPPOR3智能手机

OPPO曾在2012年凭6.65mm的Finder荣登至薄手机品牌宝座,但他们对纤薄手机的追求并没有就此止步。全面挺进4G大潮的OPPO凭借R3的6.3mm机身厚度和精细的工艺跻身成为OPPO4G时代明星家族的重要成员之一。作为OPPO旗下鲜少有之的全金属外观机身,R3也独具后盖镭雕私属定制服务,在“至美,所品不凡”的理念下,无论是金属至薄打造永恒的工艺设计,还是忽略白天黑夜绝对分界的影像拍摄,都让对其的体验被定格和保留,更彰显其鲜明的个性。     

面向图形对象的协同设计系统的设计与实现

协同图形编辑是协同设计的一个重要研究方向,支持自然和谐的多用户并发交互是协同图形编辑的重点内容之一。对协同图形编辑系统的进行了设计,提出了相应的解决方案和技术措施。最后在Socket的基础上,给出一个协同图形编辑系统实例的初步探索。     

职业教育中的微课程教学设计

该文从微时代里的微课程、微课的作用、微课的设计与制作、促进教改内涵深化和微课总结展望等六个方面阐述了微课是指以视频为主要载体记录教师围绕某个知识点或教学环节开展的简短、完整的教学活动,着重讲解了微课的设计及制作方法,微课符合当今互联网认知规律,有力地促进了教学改革内涵深化。     

在地震采集中利用SEISEE实现数据图形化

地震数据采集的相关图件质量,直接影响到地震采集技术的研究与分析,影像采集成果报告的质量。目前较为流行的方法是利用处理系统产生的光栅文件转成图形文件,这种方法存在通用性差的缺点。而使用SEISEE方法转换的图形文件,图形清晰、细节清楚。在性能上完全超过了利用处理系统所产生的光栅文件所转的图形,能满足地震采集报告编写、多媒体制作以及地震采集技术研究的要求。     

Ada语言可重用性技术方法研究

Ada属于一种强类型通用程序设计语言,它比较适用于大型的复杂软件系统,尤其是实时和嵌入式系统。现在我国很多卫星型号软件都采用Ada语言进行开发。由于卫星使用的芯片代码区容量有限,为了实现更多的功能,提高卫星的使用率,对于代码的复用显得尤为重要。研究Ada语言的可重用性技术方法很有必要,通过对Ada语言重用性技术方法研究以及其实际应用介绍,能够更好的帮助软件开发人员以尽量少的代码来实现尽量多功能。