An approach to deciding the observational equivalence of Algol-like languages

We prove that the observational equivalence of third-order finitary (i.e. recursion-free) Idealized Algol (IA) is decidable using Game Semantics. By modelling the state explicitly in our games, we show that the denotation of a term M of this fragment of IA is a compactly innocent strategy-with-state, i.e. the strategy is generated by a finite view function f_M. Given any such f_M, we construct a real-time deterministic pushdown automaton (DPDA) that recognizes the complete plays of the knowing-strategy denotation of M. Since such plays characterize observational equivalence, and there is an algorithm for deciding whether any two DPDAs recognize the same language, we obtain a procedure for deciding the observational equivalence of third-order finitary IA. Restricted to second-order terms, the DPDA representation cuts down to a deterministic finite automaton; thus our approach gives a new proof of Ghica and McCusker’s regular-expression characterization for this fragment. Our algorithmic representation of program meanings, which is compositional, provides a foundation for model-checking a wide range of behavioural properties of IA and other cognate programming languages. Another result concerns second-order IA with full recursion: we show that observational equivalence for this fragment is undecidable.     

Expert systems as a tool for statistics: A review

The current state of using expert system (ES) techniques for statistics is expounded through the difficulties of defining the notion of statistical expert system (SES) and through several well-known examples. The main characteristics of statistical expertise, and particularly the important concept of strategy are emphasized. The current state of SESs is seen in the context of the global trend of the evolution of ES, i.e. within the growth of second generation expert system (SGESs). The knowledge base of these ESs represent an attempt to represent not only experts' knowledge but also the way experts acquire their expertise, thanks to the existence of an underlying model. We show through many examples how far SESs are and/or will be able to be SGESs.     

复方单硝酸异山梨酯-阿司匹林双缓释微丸胶囊的研制(Ⅱ)

以乙基纤维素、丙烯酸树脂Ⅱ和丙烯酸树脂Ⅲ为骨架材料分别制备单硝酸异山梨酯和阿司匹林混合骨架缓释微丸，并通过包薄膜衣进一步控制药物的释放。通过测定微丸的释放度对处方工艺进行评价，选择最佳微丸灌装胶囊．胶囊中两种药物均达到良好的缓释效果。符合中国药典对缓释制剂的要求．其体外释放过程同时符合Higuchi方程和一级释药方程，R^2值均在0．995以上。     

工件带到达时间的两阶段柔性流水作业的近似算法

研究了工件带到时间的两阶段柔性流水作业的排序问题,基于求解流水作业和平行机问题的算法思想,提出两个相应的近似算法H(R)和H(MR(?)),证明了这两个算法的最坏情况性能比分别为3-1/m和2/5-1/m,讨论了界的紧性,并利用数值模拟以分析算法与最优值的近似性能比.     

Practical stopping criteria for validating safety-critical software by estimating impartial reliability

In this research, we investigate stopping rules for software testing and propose two stopping rules from the aspect of software reliability testing based on the impartial reliability model. The impartial reliability difference (IRD-MP) rule considers the difference between the impartial transition-probability reliabilities estimated for both software developer and consumers at their predetermined prior information levels. The empirical–impartial reliability difference (EIRD-MP) rule suggests stopping a software test when the computed empirical transition reliability is tending to its estimated impartial transition reliability. To insure the high-standard requirement for safety-critical software, both rules take the maximum probability (MP) of untested paths into account.     

理想气体吸热和放热的讨论

根据热力学第一定律和理想气体状态方程推导了理想气体的热容量公式,并对理想气体在p-V图上的直线过程和循环过程的温度变化及吸热和放热进行了讨论.     

Hydrogel‐like elastic membrane consisting of semi‐interpenetrating polymer networks based on a phosphorylcholine polymer and a segmented polyurethane

To obtain a hydrogel‐like elastic membrane, we prepared semi‐interpenetrating polymer networks (IPNs) by the radical polymerization of methacrylates such as 2‐methacryloyloxyethyl phosphorylcholine (MPC), 2‐hydroxyethylmethacrylate, and triethyleneglycol dimethacrylate diffused into segmented polyurethane (SPU) membranes swollen with a monomer mixture. The values of Young's modulus for the hydrated semi‐IPN membranes were less than that for an SPU membrane because of higher hydration, but they were much higher than that for a hydrated MPC polymer gel (non‐SPU). According to a thermal analysis, the MPC polymer influenced the segment association of SPU. The diffusion coefficient of 8‐anilino‐1‐naphthalenesulfonic acid sodium salt from the semi‐IPN membrane could be controlled with different MPC unit concentrations in the membrane, and it was about 7 × 10² times higher than that of the SPU membrane. Fibroblast cell adhesion on the semi‐IPN membrane was effectively reduced by the MPC units. We concluded that semi‐IPNs composed of the MPC polymer and SPU may be novel polymer materials possessing attractive mechanical, diffusive‐release, and nonbiofouling properties. © 2002 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 41: 68–75, 2003     

Tandem silylformylation-allyl(crotyl)silylation: a new approach to polyketide synthesis

Tandem intramolecular silylformylation-allyl(crotyl)silylation reactions have been developed that allow the highly efficient synthesis of polyketide fragments. The substrates are subjected to Rh(I)-catalyzed silylformylation to afford β-(diallyl)silyl aldehydes which undergo spontaneous uncatalyzed allylsilylation. This unusual spontaneous allylsilylation reaction is driven by strain release Lewis acidity, which arises from the ∼95° O-Si-C bond angle in the oxasilacyclopentane product of the silylformylation reaction. The methodology has been developed both for alkene and alkyne substrates, may be used to establish as many as three stereocenters, and has been shown to be amenable to use in an iterative fashion.     

Double‐hydrophilic block copolymer for encapsulation and two‐way pH change‐induced release of metalloporphyrins

A double hydrophilic block copolymer composed of poly(acrylic acid) (PAA) and poly(4‐vinyl pyridine) (P4VP) was obtained through hydrolysis of diblock copolymer of poly(tert‐butyl acrylate) (PtBA) and P4VP synthesized using atom transfer radical polymerization. Water‐soluble micelles with PAA core and P4VP corona were observed at low (acidic) pH, while micelles with P4VP core and PAA corona were formed at high (basic) pH. Two metalloporphyrins, zinc tetraphenylporphyrin (ZnTPP) and cobalt tetraphenylporphyrin (CoTPP), were used as model compounds to investigate the encapsulation of hydrophobic molecules by both types of micelles. UV–vis spectroscopic measurements indicate that micelles with P4VP core are able to entrap more ZnTPP and CoTPP as a result of the axial coordination between the transition metals and the pyridine groups. The study found that metalloporphyrins encapsulated by the micelles with PAA core could be released on pH increase, while those entrapped by the micelles with P4VP core could be released on pH decrease. This behavior originates from the two‐way pH change‐induced disruption of PAA‐b‐P4VP micelles. © 2006 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 44: 1734–1744, 2006     

聚(酪氨酸酯对苯二甲酰胺)碳酸酯药物控制释放材料的研究

报道了一类生物可降解聚（酪氨酸酯对苯二甲酰胺）碳酸酯的合成和结构表征，研究了聚合物的性质和体外降解性能，并以５ 氟脲嘧啶和牛血清白蛋为模型，对它们作为药物控制释放材料的性能进行了初步评价．