基于着色Petri网测试用例的自动生成

针对基于UML的面向对象程序设计方法及着色Petri网的特点,提出了一种基于着色Petri网的测试用例生成方法,该方法将UML的时序图描述转化为着色Petri网的形式化描述,通过深度优先遍历着色Petri网找出系统的测试路径,对给出的测试数据采用爬山法进行测试用例的选择,最后,根据路径覆盖的原则产生完整的测试用例．     

秦岭中草药黄芩中黄酮类化合物的分离

目的 分离鉴定秦岭中草药黄芩中的黄酮类物质并研究其对α-葡萄糖苷酶的抑制活性.方法 植物原料用溶剂提取,常压硅胶柱色谱及制备液相色谱分离,高分辨质谱及核磁共振波谱分析确定化合物分子结构,PNPG法测定化合物的α-葡萄糖苷酶的抑制活性.结果 分离鉴定了8种黄酮类化合物,分别是汉黄芩素(1)、黄芩素(2)、汉黄芩苷(3)、千层纸素A-7-O-葡萄糖酸苷(4)、白杨素-7-O-葡萄糖酸苷(5)、黄芩苷(6)、黄芩素-6-O-葡萄糖酸苷(7)和去甲汉黄芩素-8-O-葡萄糖酸苷(8),活性实验表明化合物1和7表现出较好的α-葡萄糖苷酶的抑制活性,其IC50分别为0.13 mmol/L和0.25 mmol/L,稍强于阳性对照阿卡波糖(IC50:0.42 mmol/L).结论 秦岭中草药黄芩中某些黄酮类物质能够有效抑制α-葡萄糖苷酶,具有与阿卡波糖相当的降糖作用.     

正在浮现的"信息腐败"

信息化作为国家战略来推动,除了信息化应用本身．还有着更深层次的动因。一是将信息化作为“拉动经济增长”的新工具。“十五”期间,国家在信息化方面投入约4万亿人民币,这4万亿不但是我国IT业的福音,同时足以影响国家经济的整体走势。因此,未来信息化投入将成为刺激内需、拉动经济的重要手段。二是将信息化作为继续改革走向深化的工具。     

安倍经济学：蜜糖还是砒霜？

“安倍经济学”是指日本第96任首相安倍晋三2012年底上台后实施的一系列刺激经济政策,其主要内容由所谓的“三支箭”组成：宽松的货币政策、积极的财政政策和经济增长新战略。如今,“安倍经济学”已推行半年有余,谈其影响,莫衷一是。     

“数据科学与大数据的科学原理及发展前景”——香山科学会议第462次学术讨论会专题论坛香山科学会议第次学术讨论会专题论坛：大数据环境下管理科学领域相关问题探讨

近年来,“大数据”作为热门话题,在学术研究领域及日常媒体环境中均受到广泛关注。本文简述了大数据环境下的管理模式在公共管理、工商管理和管理工程这三个方面的体现,并列举了目前我国在电子商务、智慧农业、金融业、环境治理、文化产业、传统医学领域已经有较好发展的大数据应用案例。最后针对大数据环境下的管理创新所面临的问题,提出了一些发展的思路和思考,分析了基于大数据的管理模式创新发展趋势。     

现代语言测试的效度应重于信度

针对目前语言测试在应试教育的指挥棒作用下有普遍追求高信度忽视效度的倾向，本文试从信度与效度相互关系角度出发，结合语言测试对外语教学的反拨作用，探讨了语言测试的取向。笔者认为：在目前，语言测试的取向应是：“效度重于信度。”     

用光的干涉现象谈光的本性

对于光的本性的认识,几个世纪以来始终存在着激烈的争论,光的波粒二象性是两种学说相互妥协的结果。在解释一些现象如干涉和衍射时,人们就用波动说去解释,而对另一些现象如光电效应就用微粒学说去说明。这种既是微粒又是波的存在,从观念上确实叫人们不容易接受,其原因是到现在为止还没有一种理论能很好地把波动和微粒统一在一个模式下。本文正是从这样一种出发点来探讨光的本性。     

一类新的带线搜索的自适应非单调信赖域算法

对于无约束优化问题提出了一类基于新锥模型的带线搜索的信赖域算法。利用自适应技术,当试探步不成功时,不需重新求解子问题,而采用Armijo线搜索,以减少计算量。在适当的条件下,证明了算法的全局收敛性。     

透视马尔库塞异化理论的思想基础

马尔库塞的异化理论是国际上影响较大的一种异化理论,他以马克思《1844年经济学哲学手稿》为依据,将马克思的劳动异化论曲解为人的本质的异化,并以此把资本主义社会的普遍异化看成是人作为人的存在的必然遭遇,这与其深受人本主义思潮中的卢卡奇的黑格尔人道主义、海德格尔存在主义和弗洛伊德心理学等观点密不可分。     

同类形分析法及其在挖切式组合体中的应用

分析了图形同类形投影的形成、投影性质,介绍了同类形分析法及其在挖切式组合体的画图、读图和构形方面的应用方法,指出同类形分析法不仅是挖切式组合体画图、读图的方法,也是一种构形思维方法。