出汗可辨健康

正常的出汗,可以调节体温、排出体内的代谢废物,调节人体内环境,是健康的标志。然而,不该出汗的时候出汗或者出汗过多,也应当引起充分重视。因为,当人体阴阳失衡、脏腑功能失调时,会导致出汗,因此出汗往往也是这些疾病的先兆。     

基于广义(火用)的系统序结构与功能关系研究

对系统的功能进行量的规定、指出广义与系统功能的量的规定的同义性,论述了基于广义(火用)的系统序结构与功能之间的关系;并对上述结论在相关理论的阐释以及实际工程(如VE)中的运用加以研究.本文的工作,不但赋予了热力学中的抽象用概念以具体的功能涵义;而且,还引出了热力学对系统科学的又一大贡献,促进了系统研究工具的质的飞跃.     

基于UML&OPN的C4 ISR系统体系结构仿真验证研究

基于UML(uniform modeling language)和Petri网的不同特点,应用UML的不同视图来描述C4ISR系统体系结构的相关产品.根据产品之间的关联,把产品的UML视图转换为对象Petri网的仿真模型.通过系统动态行为仿真模型的执行,分析体系结构的时序关系、信息流关系和接口关系的合理性,验证系统功能是否满足需求,系统状态的变化是否正确,从而有效,合理地评估系统的性能.     

基于动态贝叶斯网络的动态故障树分析

针对传统的动态故障树Markov链分析方法的不足,研究了优先或门、顺序相关门、功能相关门、存在公共备件的备件门和层叠功能相关门向动态贝叶斯网络的转化方法以及基于动态贝叶斯网络的顶事件概率、重要度等计算方法.用该方法对心脏辅助装置进行了分析,通过与Markov链、离散时间贝叶斯网络分析的结果比较表明,基于动态贝叶斯网络的建模分析方法可以有效地避免组合爆炸,而且能够保证较高的求解精度.     

质量功能展开中自相关关系确定的粗糙集方法

针对质量功能展开中各项工程特性之间的自相关关系具有模糊、不确定和不分明等特质,提出了自相关关系确定的粗糙集方法.对于每一项顾客需求,由每一项工程特性组成相应的决策属性集,并由其它工程特性组成相应的条件属性集,分别构造了相应于该决策属性集的决策系统.基于粗糙集中相对约简和相对核等方法,分别建立了其相应的修正决策系统.利用信息熵和等价类的集成方法,获取了修正决策系统中各条件属性的重要度.引入了自相关关系的比例因子概念,确定了各项工程特性之间的自相关关系.以洗衣机的产品研发为例,说明了方法的应用.     

HOW ARE PRODUCT-SERVICE COMBINED OFFERS PROVIDED IN GERMANY AND ITALY？ ANALYSIS WITH COMPANY SIZES AND COUNTRIES

A new business concept that offers products and services in a different way of traditional product-sales businesses is getting more attention especially in manufacturing industries. This paper investigates how this new business by means of integration of products and services is achieved in Germany and Italy. In addition, it analyzes the differences according to the company sizes. The results include that this type of business is in many cases motivated by their focus on customers and often consists of physical products and their maintenance. The Italian companies, as opposed to the German ones, often design their physical products specifically for this type of offers. From the analysis based on the size difference, small companies are found to achieve specific design for this type of offers while owning physical products. There do not seem to be any established methods or tools developed to support the development of such offers and within such methods/tools there would be room for more adaptation in form of physical product design.     

Rough function model and rough membership function

Two pairs of approximation operators, which are the scale lower and upper approximations as well as the real line lower and upper approximations, are defined. Their properties and antithesis characteristics are analyzed. The rough function model is generalized based on rough set theory, and the scheme of rough function theory is made more distinct and complete. Therefore, the transformation of the real function analysis from real line to scale is achieved. A series of basic concepts in rough function model including rough numbers, rough intervals, and rough membership functions are defined in the new scheme of the rough function model. Operating properties of rough intervals similar to rough sets are obtained. The relationship of rough inclusion and rough equality of rough intervals is defined by two kinds of tools, known as the lower （upper） approximation operator in real numbers domain and rough membership functions. Their relative properties are analyzed and proved strictly, which provides necessary theoretical foundation and technical support for the further discussion of properties and practical application of the rough function model.     

合图法（co-plot）在入境游客期望感知分析的应用——以西安欧美游客为例

选取西安欧美客源为研究对象,运用合图法(co-plot)分析西安欧美游客的期望和实际感知特点,并同几种传统数据分析方法比较,结果得出从西安旅游两个层面28个因素,分析欧美游客期望、实际感知和期望差异三个属性特点,并运用合图技术划分为八组.和图法具有更强的图形展示功能,且同时分析研究对象及其属性,而传统方法常常把两者隔离开来.     

集体消耗公共资源的谋利行为的3种均衡及成员数量对效率的影响

在建立弱再生的资源的再生速度模型和谋利行为对资源的消耗模型的基础上,推导出在谋利行为下的弱再生的公共资源的均衡曲线与均衡模型;利用此模型分析了个人非理性、个人理性及集体理性时的不同均衡点,分析了这些均衡点之间的关系,并且提出引入惩罚函数来实现在集体最优均衡点,从而实现了有利于社会的行为控制.最后讨论了具有公共资源的集体中的成员数量对谋利行为收益的影响,主要得出3点重要结论:[1]在个体数量充分多的情况下,如果没有管理者进行控制,一般都会发展成过度谋利行为,从而对资源造成巨大的危害.[2]税收等惩罚函数的意义,不仅仅是养活政府和社会财富进行再分配,更在于能够对过度谋利行为具有抑制作用.[3]在不影响资源的功能的前提下,应当对公共资源尽可能细小的分割,使占有公共资源的集体尽可能的小.这样可以使保护资源管理成本达到最低,从而使人们的谋利行为的长远效益最大.     

Random testing for system-level functional verification of system-on-chip

In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed. The validity of this method is proven theoretically. Specifically, testcases are generated according to many approaches of randomization. Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language. Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily. The comparison method is put to use in the evaluation approach of the testing validity. The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing. The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.