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

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

基础医学网络信息资源整合及应用

结合基础医学网络资源的分布现状,阐述了基础医学资源整合的必要性和紧迫性,介绍了基础医学数据共享网建设中资源整合的技术方法和共享资源管理方式.并针对我国目前网络环境下基础医学资源整合建设中存在的问题提出相应的解决策略.     

浅论影响歌者音乐会效果的因素——从歌者的主观因素说起

歌唱和其他表演艺术一样,演唱者平时练习的成果要在演唱的瞬间完美地表现出来.歌唱者在音乐会演唱时,自始至终贯穿着复杂的心理活动.对演出时出现的情况进行必要的控制和提前准备,便能减少心理紧张和生理反应,提高演唱者演出的质量.打好演唱功底,做好充分的技术准备;调整心理状态,保持良好的演出心态;考虑各种因素,做好演唱前的准备工作:增强歌唱欲望,争取更多的实践机会,这是我给演唱者的几点建议.     

略论辽金佛教寺院建筑特色

中国的辽金时期佛教兴盛,建造了大量佛教寺院,有很多遗构保留至今,成为研究中国古代建筑史的重要实例,也为辽金建筑在中国建筑史中地位的判定提供了依据。对于辽代统治者来说,信奉佛教是其吸收汉地文化,借以统治汉人的工具。因此,辽代皇帝研究佛教,支持佛教的发展。在辽圣宗、兴宗、道宗三朝(983-1100),佛教在辽统治     

整体挡铅技术在头颈部肿瘤应用中的质量控制

肿瘤放射治疗的根本目标在于给予治疗区精确而且足够的剂量,而使周围的正常组织受量最少,以提高肿瘤的局部控制率,同时也减少放疗并发症的产生。为了达到这一目标,我们提出了质量保证（quality assurance QA）和质量控制（quality control QC）两个概念,其中放疗计划的执行和摆位误差是贯彻QA和Qc的两个关键因素。     

箱庭疗法的研究进展

箱庭疗法在国内又称沙盘疗法或沙箱疗法 ,是一种将分析心理学理论和游戏疗法相结合的心理疗法。在箱庭疗法实施过程中 ,让来访者选择一些模型 (玩具 )摆放在特定的沙箱里构成一些场景 (作品 ) ,以表现自己个性和社会性的多个层面 ,咨询者极为关注来访者对其具有象征意义作品的特有解释。箱庭疗法能帮助来访者区分内心世界和外部世界 ,促使无意识的心理内容直接转化为有意识的行动 ,进而澄清来访者的问题。 193 9年英国伦敦的小儿科医生Ｌｏｗｅｎｆｅｌｄ创始了箱庭疗法 ,当时称为“世界技法”。随后 ,Ｅｒｉｋｓｏｎ、Ｂｕｈｌｅｒ和Ｃａｌ…     

基于计算机仿真的颜色认知实验方法研究

近年来计算机仿真的实验研究方法逐渐成为颜色认知研究的主流方法,该方法克服了传统方法的诸多缺陷。本研究在现有技术的基础上构建了颜色研究仿真系统,并改进了CIE规定的有关CRT显示器颜色标定的方法。笔者通过颜色匹配实验考察了人对CRT显示器上仿真照明体颜色外观的辨别精度,结果表明上述颜色仿真系统在颜色认知实验中具有良好的适用性,并发现被试在计算机模拟颜色刺激的条件下,可进行精确的颜色匹配;不同照明条件下的色差有所不同。这些结果也为建立颜色认知模型提供了人的基准匹配数据。     

两种测谎的刑事技术综述

多道心理测试(CPS)是一种利用被测谎人说谎时植物神经系统产生的生理参数变化进行测谎的刑事技术,为现在的刑事司法实务所普遍应用;脑电波测试(ERP)是另一种利用被测谎人说谎时人脑事件相关电位的变化进行测谎的刑事技术,其仍处于实验研发阶段。本文试通过对两种测谎技术的比较论述,引发关于整个法律和程序的形成背后人文内涵与技术背景的深层次思考。     

略论人类辅助生殖技术医疗机构医学伦理委员会的职责和工作制度

人类辅助生殖技术医疗机构医学伦理委员会是医学伦理机制系统的重要组成部分 ,它具有特定的职责、功能和作用。与国际上医疗机构很早就普遍建立了多方面、多层次的医学伦理委员会并全面开展活动的历史相比 ,我国医疗机构辅助生殖医学伦理委员会 (以下简称委员会 )制度的建立和实施尚处于起步阶段 ,活动亦不规范。而我国人类辅助生殖医疗事业的健康发展正急切呼唤规范和加强委员会的活动 ,但有关配套的规范性文件一时还未来得及出台。要积极有效地开展委员会的活动 ,迫切需要根据 2 0 0 1年卫生部发布的《实施人类辅助生殖技术的伦理原则》(…     

负链RNA病毒反基因操作技术发展之启示

1　反基因操作技术的来源和概念病毒具有体积小和基因组编码能力有限等特点 ,使得对许多病毒在分子水平上的认识达到了对细胞生物目前所不能达到的深度。在DNA病毒、正链RNA病毒和负链RNA病毒中 ,对于DNA病毒进行的基因操作困难最小 ,因此最先开始进行。使用编码病毒基因组的质粒转染细胞 ,亦或通过对携带病毒基因组序列的质粒之间进行异源重组来得以实现。而对RNA病毒进行基因操作却困难得多 ,一度陷入停滞不前的状态 ,直到一种新的分子生物学研究方法———反基因操作技术的出现和发展才得以解决。所谓反基因操作技术是指将病毒RN…