基于访问控制空间的多策略安全体系结构

为解决LSM在策略重用和策略共存方面存在的问题，提出了一个新的安全体系结构ELSM，它引入一个模型组合器作为主模块实施模块堆栈管理和模块决策管理，其中模块决策的实施采用了访问控制空间的策略规范方法，可支持通用性，ELSM的设计及其在安胜OS安全操作系统中的实例分析表明其有效性。

多媒体节目时序描述的组合技术

组合性是形式描述研究的基本问题 ,便于大型程序的设计、分析、测试和复用 .为了方便用户编制大型多媒体系统的时序描述 ,组合模型是必须的 .目前 ,这样的模型有基于语言的、基于图形的、基于时间区间的和面向对象的等等 .但是 ,这些模型描述层次过低 ,很难支持两个多媒体节目之间的时序描述 .通过引入单位流的概念和扩展两种时序关系 ,研究一种多媒体节目时序描述的结构化技术 ,使复杂的多媒体节目易于理解 ,以方便用户运用组合方法把一些可以复用于不同多媒体节目的节目模块进行组合设计 .

基于时序逻辑的超文本描述

将基于时序逻辑的多媒体脚本描述模型从线性顺序时空关系描述推广到非线性时空关系的超文本描述，提出了一种新的超文本模型．通过该模型可将超文本的结点、链和超文本结构的逐步求精过程在一个统一的框架内描述．使用该模型设计的一个超文本标注语言已经实现，并基于该语言开发了一个交互式超文本编著环境．

面向媒体时序描述的带时间自动机的自动构造方法

依据有穷状态自动机模型，面向程序规范的并发系统和分布式系统测试方法的研究已经取得许多结果．由于特殊的实时和同步要求，这些结果不能直接应用于分布式多媒体软件系统的测试．为此，作者提出一种面向媒体对象时序描述的带时间自动机（Ｔｉｍ ｅｄ ａｕｔｏｍ ａｔａ）的自动构造方法，根据带时间自动机，对分布式多媒体软件系统进行非确定性测试时，可以较容易地判断运行结果正确与否；在进行确定性测试时，可以辅助自动生成测试用例

XYZ系统在动画设计中的应用

ＸＹＺ系统是一套以线形时序逻辑为基础的ＣＡＳＥ环境系统，其核心是时序逻辑语言ＸＹＺ／Ｅ．ＸＹＺ／ＡＤＬ（ａｎｉｍａｔｉｏｎｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）是ＸＹＺ系统在动画领域的应用．马华东博士采用基于时序逻辑的动画描述模型ＴＬＡＤ（ｔｅｍｐｏｒａｌ－ｌｏｇｉｃ－ｂａｓｅｄａｎｉｍａｔｉｏｎｄｅｓｃｒｉｐｔｉｏｎｍｏｄｅｌ），提出了动画剧本描述语言（ＳＤＬ／Ａ）．本文介绍的ＸＹＺ／ＡＤＬ语言是以ＸＹＺ／Ｅ的框架为基础扩充ＳＤＬ／Ａ而成．它使用ＸＹＺ／Ｅ中面向对象程序设计的基本结构——代理机构（Ａｇｅｎｔ）作为基本描述单元．代理机构由通讯进程和相应的包块构成，包块处理对象封装，进程处理通讯．从而能更方便地刻画动画过程中的复杂、多层次的角色（包括父子角色）的运动特征及多角色之间的同步协调关系，并且在统一的逻辑框架下实现了计算机动画中运动对象的行为抽象和运动的抽象描述，更具一般性．

一种草图动画工具的设计与实现

针对当前计算机在中小学课堂应用中采用静态幻灯片模式对学生缺乏吸引力、教学效率不高等不足,以及现有的动画制作工具对于大部分教师难以使用的问题,探讨了基于运动轨迹的动画制作方法、草图动画中的动作协调,以及形变算法在草图动画中的应用等问题,实现了一个草图动画制作工具。该草图动画制作工具支持平移、旋转、放缩等草图动画中常用的动作方式。基于运动轨迹的动画制作方法和简洁的用户界面使得设置动作像绘制物体一样简单。使用形变动画作为轨迹动画的补充方式,可制作出更加生动的动画。老师使用该工具可以快捷方便地制作出自己的动画。

Optimization of biodiesel production from trap grease via acid catalysis

As a kind of waste collected from restaurants, trap grease is a chemically challenging feedstock for biodiesel production for its high free fatty acid (FFA) content. A central composite design was used to evaluate the effect of methanol quantity, acid concentration and reaction time on the synthesis of biodiesel from the trap grease with 50% free fatty acid, while the reaction temperature was selected at 95 degrees C. Using response surface methodology, a quadratic polynomial equation was obtained for ester content by multiple regression analysis. Verification experiments confirmed the validity of the predicted model. To achieve the highest ester content of crude biodiesel (89.67%), the critical values of the three variables were 35.00 (methanol-to-oil molar ratio), 11.27 wt% (catalyst concentration based on trap grease) and 4.59 h (reaction time). The crude biodiesel could be purified by a second distillation to meet the requirement of biodiesel specification of Korea.

Novel biodiesel production technology from soybean soapstock

This paper describes an attractive method to make biodiesel from soybean soapstock (SS). A novel recovery technology of acid oil (AO) from SS has been developed with only sulfuric acid solution under the ambient temperature (25 +/- 2 degrees C). After drying, AO contained 50.0% FFA, 15.5% TAG 6.9% DAG 3.1% MAG 0.8% water and other inert materials. The recovery yield of AO was about 97% (w/w) based on the total fatty acids of the SS. The acid oil could be directly converted into biodiesel at 95 degrees C in a pressurized reactor within 5 hours. Optimal esterification conditions were determined to be a weight ratio of 1 : 1.5 : 0.1 of AO/methanol/sulfuric acid. Higher reaction temperature helps to shorten the reaction time and requires less catalyst and methanol. Ester content of the biodiesel derived from AO through one-step acid catalyzed reaction is around 92%. After distillation, the purity of the biodiesel produced from AO is 97.6% which meets the Biodiesel Specification of Korea. The yield of purified biodiesel was 94% (w/w) based on the total fatty acids of the soapstock.

非洲爪蛙分泌型叶酸结合蛋白及NKX6.3在早期胚胎神经发育中的功能研究

叶酸是B族维生素的一员，参与体内一系列重要的生命过程包括DNA，氨基酸的合成，调控细胞周期，参与一碳单位供体循环，调节DNA,蛋白质甲基化等。叶酸的许多功能都和叶酸结合蛋白有关，体内有多种跨膜形式的叶酸结合蛋白，比如Folbp1，RFC，HCP等。以前的研究表明这些不同的叶酸结合蛋白具有不同的功能。分泌型叶酸结合蛋白是另外一类叶酸结合蛋白，在人类，小鼠，猪中都有序列报道，但是其功能却知之甚少。 我们在非洲爪蛙中鉴定出一个全新的分泌型叶酸结合蛋白并命名为Secreted Folate Binding Protein(sFBP)。在胚胎和转染细胞系中我们都证明该蛋白是分泌性的，表面等离子共振实验发现sFBP能够结合叶酸。在胚胎早期这个基因表达于粘液腺和神经板区域，神经管闭合后在神经管、粘液腺、眼睛，头部以及鳃弓都有表达。特异morpholino 阻断sFBP翻译后发现粘液腺发育异常，神经管闭合缺陷，前后体轴聚集延伸运动受到抑制，尾芽期胚胎表现出体轴缩短，无眼，小头或无头的表型。进一步研究发现显微注射sFBP morpholino 的胚胎神经板区域细胞发生凋亡，中胚层和神经外胚层的一系列粘附分子表达异常，神经细胞的正常分化也受到抑制。通过显微移植实验我们还发现抑制sFBP的翻译后，神经嵴细胞的正常分化和迁移都受到抑制。但是，显微注射叶酸及其类似物或者显微注射甲基供体S-腺苷甲硫氨酸或者亮氨酸甲基转移酶都不能挽救阻断sFBP造成的表形，由此提示sFBP可能不是通过叶酸传统的参与营养合成或者甲基化的途径发挥作用。我们发现注射sFBP morpholino可以抑制Islet-1mRNA和蛋白质的表达，Islet-1的表达区域与sFBP类似。共同注射Islet-1 mRNA和sFBP morpholino可以极大的挽救sFBP morpholino的表型。最后通过morpholino特异阻断Islet-1的表达后，我们发现其表现出与sFBP morpholino类似的粘液腺发育缺陷，神经板细胞凋亡，小头无眼的表形。由此叶酸是B族维生素的一员，参与体内一系列重要的生命过程包括DNA，氨基酸的合成，调控细胞周期，参与一碳单位供体循环，调节DNA,蛋白质甲基化等。叶酸的许多功能都和叶酸结合蛋白有关，体内有多种跨膜形式的叶酸结合蛋白，比如Folbp1，RFC，HCP等。以前的研究表明这些不同的叶酸结合蛋白具有不同的功能。分泌型叶酸结合蛋白是另外一类叶酸结合蛋白，在人类，小鼠，猪中都有序列报道，但是其功能却知之甚少。 我们在非洲爪蛙中鉴定出一个全新的分泌型叶酸结合蛋白并命名为Secreted Folate Binding Protein(sFBP)。在胚胎和转染细胞系中我们都证明该蛋白是分泌性的，表面等离子共振实验发现sFBP能够结合叶酸。在胚胎早期这个基因表达于粘液腺和神经板区域，神经管闭合后在神经管、粘液腺、眼睛，头部以及鳃弓都有表达。特异morpholino 阻断sFBP翻译后发现粘液腺发育异常，神经管闭合缺陷，前后体轴聚集延伸运动受到抑制，尾芽期胚胎表现出体轴缩短，无眼，小头或无头的表型。进一步研究发现显微注射sFBP morpholino 的胚胎神经板区域细胞发生凋亡，中胚层和神经外胚层的一系列粘附分子表达异常，神经细胞的正常分化也受到抑制。通过显微移植实验我们还发现抑制sFBP的翻译后，神经嵴细胞的正常分化和迁移都受到抑制。但是，显微注射叶酸及其类似物或者显微注射甲基供体S-腺苷甲硫氨酸或者亮氨酸甲基转移酶都不能挽救阻断sFBP造成的表形，由此提示sFBP可能不是通过叶酸传统的参与营养合成或者甲基化的途径发挥作用。我们发现注射sFBP morpholino可以抑制Islet-1mRNA和蛋白质的表达，Islet-1的表达区域与sFBP类似。共同注射Islet-1 mRNA和sFBP morpholino可以极大的挽救sFBP morpholino的表型。最后通过morpholino特异阻断Islet-1的表达后，我们发现其表现出与sFBP morpholino类似的粘液腺发育缺陷，神经板细胞凋亡，小头无眼的表形。由此我们认为sFBP结合叶酸后可能通过细胞膜上的受体传递信号，并且Islet-1可能在sFBP的下游发挥作用。 神经嵴是脊椎动物特有的一群多潜能干细胞，产生于表皮和神经板的边界，在原肠运动之后这群细胞通过表皮间充值转换从神经管背侧迁移到不同的区域，分化成不同的细胞类型，包括外周神经系统，色素细胞，软骨等。神经嵴的发生是一个多步骤多基因参与的精细调控过程。目前理论认为最初由一些分泌性信号分子又叫形态生成素比如BMP,Wnt，FGF，Notch等通过不同浓度梯度的相互作用调节一组在表皮和神经板边界的转录因子（Msx、Pax3/7、Zic1、Dlx3/5等）的表达，即边界决定。这些边界决定因子进一步在预定形成神经嵴的区域激活神经嵴特化基因比如Slug/Snail、FoxD3、Twist、Sox9/10的表达完成神经嵴的特化（Specification）。 Nkx6.3是Nkx6家族的一个转录因子，RT-PCR显示其呈现母源性表达。特异抗体显示Nkx6.3蛋白第9期在整个胚胎都表达，大部分蛋白集中在细胞核，有少部分蛋白定位于细胞膜上；神经板时期主要定位于神经嵴区域的细胞膜上。过表达Nkx6.3会影响细胞粘连分子的表达，由此干扰正常的胚胎原肠运动和Activin诱导的动物帽聚集延伸运动。显微注射Nkx6.3特异morpholino阻断其蛋白表达会抑制神经嵴的marker基因Wnt8，Fgf8，Pax3，Msx1，Zic1，FoxD3，Slug的转录，阻碍神经嵴的发育。在动物帽中单独注射Nkx6.3可以在mRNA水平上诱导Wnt8、Fgf8另一方面抑制BMP4的表达进而诱导神经嵴基因Pax3，Zic1，Slug的表达。报告基因实验也显示Nkx6.3能够激活Wnt信号而在动物帽中抑制BMP信号。Nkx6.3蛋白功能域分析发现其EH1结构域（domain）参与对Wnt8信号的激活，而EH1结构域和HD结构域之间的连接区域（linker domain）参与对FGF的激活和对BMP的抑制。进一步在动物帽和胚胎中分析发现Nkx6.3对Wnt8的激活依赖于FGF家族受体信号但是不依赖于Fgf8。有趣的是4细胞时期过表达Nkx6.3促进Fgf8和Wnt8 mRNA表达，但是抑制边界决定基因Msx1、Pax3和神经嵴特化基因Slug的转录。在32细胞时期显微注射Nkx6.3可以在内源神经嵴发生区域抑制Slug的表达，而异位却诱导Slug的mRNA。我们发现与动物帽中对BMP的调节不同，在胚胎中，过表达Nkx6.3会强烈的激活Smad1蛋白在细胞核中的表达即BMP信号被激活，高的BMP信号会抑制神经嵴的发生。另外我们发现过表达Nkx6.3在胚胎中抑制Dlx5而在动物帽中却不影响Dlx5的表达水平，Morpholino阻断Dlx5会抑制Msx1、Pax3和Slug的表达。BMP信号和Dlx5在动物帽和在整体胚胎中对Nkx6.3的不同响应可以一定程度上解释过表达Nkx6.3在2个系统中对神经嵴基因Slug相反的影响结果。

Total Dose Radiation-Hard 0. SOI CMOS Transistors and ASIC

This paper presents the total dose radiation performance of 0. S^m SOI CMOS devices fabricated with full dose SIMOX technology. The radiation performance is characterized by threshold voltage shifts and leakage currents of transistors and standby currents of ASIC as functions of the total dose up to 500krad(Si) .The experimental results show that the worst case threshold voltage shifts of front channels are less than 320mV for pMOS transistors under off-gate radiation bias at lMrad(Si) and less than 120mV for nMOS transistors under on-gate radiation bias. No significant radiation-induced leakage current is observed in transistors to lMrad(Si). The standby currents of ASIC are less than the specification of 5μA over the total dose range of 500krad(Si).

支持JSR286规范的Portlet协作框架的设计与实现

Portlet是具有用户界面的可与用户多次交互的Web组件。随着Portal和Portlet在企业中的广泛应用，仅仅将各种应用和数据通过Portlet集成到Portal中已经不能满足用户的需求。用户希望这些应用之间能够相互协作，以利用现有应用组建新的业务流程。Portlet协作是指两个或多个Portlet进行信息交换并使用这些信息的能力。目前协作功能的实现方式可以分为两种：基于后端(back-end)的实现方式与基于前端(front-end)的实现方式。在这两种协作实现方式的基础上，本文提出了两种Portlet协作框架。 本文提出一种基于事件的Portlet前端协作模型，通过引入此模型，解决了Portlet前端协作中客户端与服务器端无法交互的困难，使协作动作由客户端和服务器端共同完成。基于此模型提供给开发者一种可扩展的协作框架，利用JavaScript技术使得协作的Portlet在客户端“相知”，协作的行为在客户端触发，Portlet获得协作数据后使用Ajax技术请求服务器端的资源，服务器端使用JSR286规范定义的资源服务接口响应用户的请求，进而动态更新界面。 当前的Portlet后端协作方式依赖于特定的Portal产品，针对这点不足，本文在JSR286规范定义的事件及共享渲染参数协作机制基础上，实现了一个Portlet后端协作框架。在该框架中协作服务使用消息队列保存待处理的消息，Portlet 容器作为中介实现发布事件的Portlet和订阅事件的Portlet之间松散耦合。Portlet监听协作事件，事件触发后调用事件协作服务发布事件，为了提高协作的并发性，事件协作服务使用多线程处理协作事件。该协作框架与JSR286规范兼容，具有良好的可移植性。 本文对这两种Portlet协作框架进行了实现，并将其应用于中科院软件所自主开发的门户产品OncePortal中。本文重构了OncePortal系统，给出了框架的体系结构与系统接口，描述了框架的各功能模块，并详细讨论了Portlet协作框架中的关键技术，包括事件协作流程的描述、事件处理过程、多级事件流等。

一种基于粒子的牛顿流体与粘弹性流体统一模拟方法

在越来越受到人们关注的基于物理流体动画领域,目前分别模拟牛顿流体或粘弹性流体的方法很多,但很少有统一模拟两者的方法.文中基于光滑粒子流体动力学方法,通过对传统纳维-斯托克斯方程添加弹性应力项,提出了一种新的统一模拟牛顿流体和粘弹性流体的方法.通过实验说明该方法不仅有效,易于实现,而且具有良好的可控性,仅仅通过调节参数就可以模拟不同粘弹性、不同类型的流体现象.

基于分支时序逻辑的编译优化测试用例自动生成方法的研究与实现

编译器是软件产业中重要的工具，对它的质量保证非常重要。编译优化是编译器的重要功能，它的质量对于编译器质量有重大影响。可采用软件测试的方法进行编译器优化模块的质量保证。测试需要测试用例。编译优化的测试用例必须触发编译器的优化功能，是具有可被优化特征的源程序。对不同的编译优化，该特征各不相同。需要将不同优化所对应的特征加入到源程序中以构造编译优化测试用例程序。 TRANS语言结合了时序逻辑，描述了不同的编译优化，包括优化前后的代码特征、优化执行的条件及方法。优化前的代码特征和执行优化的条件可被用作构造编译优化测试用例程序所需的特征。一种基于时序逻辑的编译优化测试用例程序生成方法的框架已被提出。该方法从TRANS描述的某种变体生成编译优化测试用例程序。但是该框架并未完善，面临多方面的问题。本文参考该框架的思想，设计了编译优化测试用例程序生成方法，解决了算法框架的部分问题。该方法可以适应复杂描述的情况；公式的合法性及语义得以保持；具体化并完整化了原有框架。该方法是具有针对性的编译优化测试用例程序自动生成方法。本文对该方法作了原型系统实现，并从中得到测试用例程序。本文设计并进行针对GCC的优化模块测试实验，以覆盖率为评价指标检验了测试用例程序的质量。实验表明该方法生成的测试用例程序具有针对性。对编译优化模块的测试，该方法是一种行之有效的办法。并且该方法仍有更多的应用空间，加以改进后可用于优化组合测试、优化正确性检测等。