形式美法则在针织面料设计中的运用

基于形式美对比法则、均衡法则、韵律法则的内涵及其在针织面料设计中的应用规律,从深浅、虚实、肌理、曲直、高低等视角选取典型案例对针织面料进行分析,得出针织面料在形式上具有的独特意趣与艺术价值,并探讨其形式美及审美意义。通过分析针织技术与形式美法则之间的关联,探寻针织面料中形式美法则的作用及其基本规律与原理,以此指导针织面料的设计,为现代设计师灵活运用形式美法则进行艺术创作提供一定的参考。     

基于符号模型检测的Web服务组合形式化验证

随着经济的发展和市场竞争的加剧,企业必须能够快速且准确地满足市场和用户的各种需求。Web服务组合正是由于单个Web服务不能满足企业及用户的需求而产生的一种技术,而如何确保组合的正确性来实现服务增值是一个尚未完全解决的问题。针对此问题,提出了一种基于符号模型检测器NuSMV对Web服务组合进行验证的方法,并提出了基于消息会话的Web服务有限状态自动机的形式化定义。最后实例验证了Web服务组合交互的正确性和有无死锁状态现象,进一步证明了方法的可行性。     

氟碳黏合剂研究进展

综述了国内外氟碳黏合剂研究进展,对主要品种的氟碳黏合剂的发展历程、性能、应用以及发展趋势作了简要评述。认为端羟基氟碳缩甲醛聚醚和含氟氧杂丁环聚醚是值得关注的高能量密度推进剂用黏合剂品种,其在特殊性能材料等民品领域也有较广阔的应用。     

创作与转译—SOM近期作品综述

回顾评介SOM的发展进程及近期作品。     

北魏洛阳城的空间形态结构及布局艺术

从建筑学学科角度，借助考古学、历史学的研究成果，对北魏洛阳城的空间形态结构及其布局艺术的特点作一探讨，并从美学艺术及审美认知、城镇空间艺术、东方艺术特征等方面进行了分析研究．     

东山明代砖装修（上）

我国古代建筑是综合木、石、砖雕、砖细，以及彩画等艺术作为装修手段的，它们具有功能与美化环境的二重作用。由于砖质坚硬，重量较轻，施工方便，故在古代建筑上被大量采用装修外观和内庭。特别到了明代，砖雕和砖细广泛地被应用在民间住宅之中。在明代，东山人拥有较雄厚的经济实力，且有专门营造技术的工匠队伍，形成了明代东山住宅中的砖饰与同时代的浮梁，徵州住宅不同的艺术风格及时代特点。本文具体介绍了东山明代住宅中砖饰的形式及艺术特点和砖饰的制作工艺及构造。     

数据库形式化安全策略模型建模及分析方法

目前数据库形式化安全策略模型存在抽象层次较高、缺乏对数据库状态与约束的充分描述等问题,难以辅助用户发现商用数据库设计中的微小缺陷。提出了一种基于PVS语言的数据库形式化安全策略模型建模和分析方法,该方法较以往模型能够更加贴近实际数据库,应用范围更广,安全属性描述更加完整,描述的模型具有灵活的可扩展性,并且保证了建模与验证的效率。最后,将该方法应用于数据库管理系统BeyonDB的安全策略建模分析中,帮助发现了系统若干设计缺陷,证明了方法的有效性。     

基于过程与场景分析的航天应用软件测试方法

航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点，如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例，提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术，绘制软件系统运行流程图、阶段分析图，建立可表述软件系统级行为的场景树模型和场景树图；根据测试充分性要求，提出基于场景树图的路径覆盖准则，给出满足路径覆盖准则的测试用例集自动化生成算法；结合工程实例，给出了方法应用数据，开展测试结果分析。验证结果表明该测试方法是可行的和有效的，能够保障软件测试的充分性。     

带强迫项的KdV方程的非线性自伴随性和守恒律

应用非线性自伴随性的概念和伊布拉基莫夫的一般守恒律定理，研究了带强迫的KdV方程的非线性自伴随性和守恒律。首先讨论了自伴随性，结果表明这个方程具有非线性自伴随性，同时得到了这个方程的形式拉格朗日量。在对这个方程进行李对称分析之后，根据李对称的不同得到了这个方程的一些非平凡守恒律。