模型引导的精准用药：中国专家共识（2021版）

模型引导的精准用药（MIPD）是通过数学建模与模拟技术，将患者、药物和疾病等相关信息进行整合，为患者精准用药提供依据。相较于经验用药，MIPD是一种基于患者生理、病理、遗传、疾病等特征制订给药方案的新方法、可提高药物治疗的安全、有效、经济和依从性。本文对MIPD的基本原理、方法、实施和相关临床决策支持系统的应用作了论述，分析目前的现状和未来的发展方向，以期为MIPD在中国的发展和应用提供有益的参考。     

上海销售“三升级”喜迎世博

为了充分展示中国石油的良好形象,更好地服务世博会,上海销售全面部署,打响了形象包装改造、安全保卫、经营管理的三大攻坚战,实现了油品质量,加油站外观形象、服务品质的“三升级”。     

上海销售：螺蛳壳里做道场

又到一年盘点收获时,中国石油上海销售公司以年销量比上年增加12％、利润比上年增加190％的优良业绩交出了喜人成绩单。数字只是表观的变化,比数字更打动人心的,是公司发展内涵的全面提升。     

零售上量 油卡先行

截至10月底,上海销售加油卡销量较年初增加了5倍,站均售卡2000张。同时,加油卡消费比例占零售销量攀升至30%,实现了"发卡增量"。     

主动自动机学习中的等价查询算法优化

模型学习是一种获取黑盒软件系统行为模型的有效方法,可分为主动学习和被动学习.主动学习是基于字母表构造测试用例,通过与黑盒系统主动交互,可在多项式时间内得到目标系统的最小完备自动机,其中等价查询仍是开发和应用主动自动机学习工具的障碍之一.通过探讨反例对于学习算法的影响,定义假设的比较规则,提出测试用例构造的两个原则,同时依据原则对Wp-method等价查询算法改进,产生更优的假设,有效降低查询的数量,并基于LearnLib开源工具,分别以3类自动机为实验对象验证原则和改进算法的有效性.     

基于指令交换的代码混淆方法

软件程序是按一定顺序排列的指令序列,指令的排列组合构成了千变万化的程序语义.指令顺序重排通常会相应地导致程序语义的变化,通过分析相邻指令序列的相对独立性,可以在不影响程序语义的前提下交换相邻指令序列,增大指令距离,改变程序特征,在一定程度上增加逆向分析代价.通过改进程序的形式化定义论证相邻指令交换的充分条件,采用模拟退火算法实现随机化的指令乱序混淆方法,并将指令乱序方法与虚拟机代码保护技术融合,实现基于指令乱序的虚拟机代码保护系统IS-VMP,使用加密算法实例进行系统测试,验证了指令乱序混淆算法的可行性与有效性.     

选择责任"加油"世博

历史选择了上海,人类文明在这里交流、延续;石油选择了世博,宝石花在这里熠熠发光.作为世博东道主之一的上海销售,则选择了责任,承诺以最优质清洁的油品为世博添绿,以最贴心的服务献礼世博.公司全面部署和实施油品供应、形象包装、规范管理、安全保卫四大攻坚战,实现了油品质量、加油站外观形象、服务品质的"三升级",以卓越的行动兑现了中国石油服务世博的庄严承诺.