一个用于表达因果关系的ATL的扩展

CTL模型检测技术已被广泛应用于形式验证领域。交互时态逻辑（ATL）是对CTL的一个扩展,用于表达多主体博弈结构上的性质。ATL使用合作算子来表达多个主体能够通过合作保证系统的设计目标。在实际应用中,我们需要知道主体的行动与系统的输出状态之间具有因果关系。在本文中,我们通过引入新的模态算子扩展ATL,使得这种因果关系得到表达。我们使用两种方式的扩展。其中之一是从主体的能力出发,直观上,如果一些主体可以通过合作的行动来保证系统进入某个状态,同时,这些主体也可以通过合作的行动保证系统不进入这个状态,则这些主体的行动与该系统状态间具有更强的因果关系。我们使用的另一种方式是从系统状态出发。我们考虑要想使系统进入某状态,哪些主体的行动的必不可少的,哪些主体的行动是充分的但非必要的条件。在本文中,我们扩展后的逻辑CATL和SATL表达力强于ATL,但计算复杂性与ATL相同。     

中国传统社会设计伦理的历史考察

宗法是家庭结构的基础,也是国家等级制度的核心.这种同质同构的"家""国"关系使得中国的传统文化带有浓浓的家庭伦理色彩,并且深深地根植到了社会的各个方面.作为意识形态与文化形态的设计艺术不仅不会超越社会的核心精神,而且处处成为表现这种社会理念与伦理价值的物质载体.无论建筑、服饰,还是饮食、行旅,无一不深深地烙上宗法礼制的印痕,浸润在无处不有的等第文化之中.     

网页设计中的人的视觉搜索因素

网页设计需要考虑到人的视觉加工机制,尤其是人的视觉搜索机制。网页信息的视觉呈现会影响人的视觉搜索效率,包括页面信息的密度特点,页面标签和页面结构,文本的分栏方式以及视觉刺激间的匹配。在网页设计时需要考虑到的人的视觉特征主要包括视觉搜索的位置特征,搜索模式,眼动特点以及视觉搜索的非对称性。     

论南阳汉画像石图形中的“势”

南阳汉画像石艺术格调沉雄博大,动态生动活跃,动势气韵不凡.其图形语言中独具魅力的"势"的艺术表现,对现代图形设计语言的表达具有巨大的启迪;对于现代图形设计规律更深层次的理解和把握起到不可估量的作用;对于我们进一步探索传统艺术与现代设计的"共通,共融,共进"具有深远的意义.     

优游于道器之间——读徐恒醇先生的《设计符号学》

设计美学本来是一门应用性的美学分支学科,符号学则是从语言学和文化哲学领域中诞生出来的关于人类思维工具.思维方式的学科,符号学与设计科学的联姻--设计符号学就成了美学理论科学与具体审美创造实际应用--工业、艺术、环境设计的一种典型的体现.<设计符号学>作者分析符号学各家理论成果鞭辟入理,介绍设计领域各流派理念脉络分明,对各家经典范例的个案点评要言不繁,体现了新颖的设计理念,广阔的学术视野,将理论性、知识性、实用性和趣味性融合在一体.     

浅析设计伦理的内涵

随着社会生产力的不断发展,物质资料的不断积累,人类在普遍享受丰裕的物质资料的同时,如何定位设计与人、设计与生态环境、设计与造物之间的关系成为亟待解决的问题。设计伦理学作为整合社会思想观念及价值标准的思想导向,就是平衡和协调人、社会和环境三者的关系的价值标准,探讨和研究整个社会的可持续发展问题的一门学科,因此设计伦理学成为设计艺术学科在新世纪的新的艺术设计方向,创造新的生活方式的载体和转化形式,其目的是为了人和环境以及造物,它以时代性的设计理论为指导,给予设计艺术一个新的社会价值导向。     

中国传统文化元素与现代家具设计

运用符号学原理阐明传统文化元素运用于现代家具设计的方法与规则,将传统文化元素与现代家具设计融合在一起,不仅是弘扬民族文化,实现传统文化可持续发展的一条途径,也是当今"全球一体化"、文化多元化的国际发展趋势。从而可以使我国家具行业更好地融于现代生活方式而又提升民族品牌,增强国际竞争力,提高经济效益。     

现代产品包装容器设计的探讨——以化妆品包装容器设计为例

包装容器设计在现代产品包装设计中的重要性日益突出。可以化妆品包装容器设计为例,从包装容器设计的原则入手,阐释包装容器造型设计的多样性及不同的艺术处理方法,明确包装容器设计在整个包装设计中的载体意义。     

中国室内设计的现状与未来发展趋势

中国室内设计经过30年的发展,已呈现出多元性、复合性的特点,但同时也存在行业不规范,设计师整体水平不高,设计的民族特性不强等问题。只有充分地发现问题,才能更好地解决问题。中国室内设计的未来必然向着产业化、科技智能化、民族化等方向蓬勃发展。     

寓美于生活之中——当今新型居住区的环境艺术设计

当今社会,人们对美的追求已经不仅仅停留在衣食上了。居住区环境质量的优劣对人们的影响是巨大的。家居环境的艺术设计已经进入了平常百姓家,而且人们对其越来越关注。人们对居住区的绿化、美化的要求和欣赏水平也随之提高。绿化是一个居住区基本的硬性指标,附属设施也要相应增加,社区环境的要求也逐步提高。因此,一个绿色、健康、美观、舒适的园林化的新型居住区的环境艺术设计风尚正逐渐兴起。