一次性运动负荷练习对人体尿中羟脯氨酸排泄规律的影响

测定男性运动员安静状态和一次性负荷练习后24 h内尿羟脯氨酸(Hyp)的排泄情况,分析结果表明,安静状态下人体尿Hyp的排出量24 h内比较均匀,其同尿Hyp/Cr比值与24 h总尿Hyp的排量相关性较高的时间段是20:00~23:00时段,一次高负荷练习后没有改变各时段的尿Hyp排出量和24 h尿Hyp排出总量.     

设计模式指导的软件分簇方法

程序理解是一个从计算机程序中获取知识信息的过程,其主要目的是获取软件的各种有关知识以理解开发者的意图,从而支持针对现有或遗产软件系统进行软件评审、错误定位、反向工程、再工程、迁移、维护和复用等软件工程实践.本文提出一种设计模式指导的分簇方法,该方法采用程序中蕴涵的设计模式信息指导开源软件的分簇,运用"分而治之"的策略辅助程序开发者和维护人员快速、方便地理解代码.首先,采用设计模式检测技术从程序代码中抽取设计模式信息;然后,基于设计模式中角色间的相互关系,利用检测出的设计模式信息指导分簇;最后,对分簇结果可视化,以辅助程序理解.基于以上研究工作,开发了原型工具TasteJ并进行了实例研究,设计并实现了以人工为基准的实验来检验本文提出的软件分簇方法,并通过7个软件分簇度量函数,从统计的角度将其与现有主流软件分簇方法进行分析和比较,实验结果显示出本文所提方法的优势.     

基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

ME4ET:一个基于EDOC ER模型的模型转换工具

模型驱动体系结构（MDA）是一个以模型和元数据为中心的软件体系结构．在MDA体系中，抽象模型是软件开发的主要产品．与传统的软件开发过程相比，模型转换，特别是平台无关模型和平台相关模型之间的转换，在MDA体系中具有重要作用．模型转换需要自动化的模型转换工具的支持以减少软件开发的成本．介绍一个MDA模型转换工具——ME4ET．陔上具支持EDOC ER模型的建模，并支持将EDOC ER模型自动转换为数据库平台和EJB平台上具体的实现，主要介绍ME4ET工具的模型转换规则和算法．     

论林语堂的"半半哲学"及其翻译理论

文章通过对林语堂“半半”人生哲学的分析,指出林氏翻译思想也受这一人文主义哲学思想深刻地影响,其翻译实践中体现的“和谐”“近似”“多元互补”的翻译观、“有容乃大”的宏伟气魄及其“后现代”翻译思想,在翻译学蓬勃发展的今天仍然有不可忽视的借鉴作用。     

企业内部控制制度的局限性

内部控制制度作为企业受托者实现其经营管理目标，完成受托责任的一种手段，在企业内部管理监控系统中起着举足轻重的作用。为了规范内部控制制度的建立和实施，中国证监会于2000年11月份，发布了《公开发行证券公司信息披露编报细则》，财政部于2001年6月份，发布了《内部会计控制规范一基本规范（试行）》和《内部会计控制规范一货币资金（试行）》，这些规范的发布和实施，对于强化企业内部监督，整顿和规范社会主义市场经济秩序，都有着十分重要的意义。但从目前的内部控制客观环境和内部控制制度自身来看，仍然存在着很多局限，阻碍着内部控制制度的有效运行。本文拟就此进行初步的探讨，以便我们在实际工作中趋利弊害。     

混合过程控制系统基于广义对象的形式化开发

许多过程控制系统可以看作混合控制系统。为使设计的控制器满足整个系统一定的过程需求，对象的信息是不可缺少的。本文为这类系统的开发提出了广义对象的形式化模型。基于这样的模型，可以从目标要求中直接提取系统需求，控制器也可以根据基于对象的形式化方法进行设计。我们以一个工业过程控制的实例来说明我们的方法和模型，采用时段演算来描述系统的特性并进行控制器的开发。     

线性混合系统的一种验证方法

混合系统是指嵌入于物理环境中的数字实时系统．由于计算机技术的快速发展,混合系统在各行各业中都得到广泛应用,但是由于混合系统涉及到连续时间,因此其验证问题始终没有得到完善的解决．近年来,人们普遍采用模型检验方法对混合系统进行验证．由于线性混合系统在实际应用中可以表示大多数的嵌入式实时系统,因此我们着重研究这类混合系统的验证算法．本文首先介绍了混合系统的模型—混合自动机,然后提出了一种针对线性混合系统的基于区域的先划分再遍历的半确定性验证方法．经实例检验,该方法能够有效地验证线性混合系统．最后将本文的方法同有关的其它算法进行了比较     

按应变能处理应力约束的连续体结构拓扑优化

 对每个单元都引入应变比能系数,通过追求对局部应力约束的高精度逼近,使独立·连续·映射（Independent Continuous and Mapping,ICM）方法中全局化应变比能约束的表达更为可靠,同时采取放松初始应变比能系数的手段加速优化迭代。利用结构最大Mises应力对许用应力比值的幂函数对全局化处理后的应变比能约束限进行修正,或者控制结构的最大应力,或者加速优化迭代。为了使拓扑构型向合理方向演变,每次迭代都对拓扑变量履行从连续到离散的反演,反演阈值自动计算。各算例均以较少的结构重分析次数,优化得到了类似理论最优解Michell桁架的拓扑图形,表明本文处理应力约束下结构拓扑优化问题的方法是合理和高效的。