Search

Truyện ngụ ngôn là thể loại văn học dân gian hay, độc đáo, có nhiều ý nghĩa trong cuộc sống, thu hút sự quan tâm của nhiều nhà sưu tầm, nghiên cứu. Áp dụng phương pháp lịch sử cùng với các thao tác so sánh, phân tích, bài viết xác lập cái nhìn tổng quát về quá trình sưu tầm, biên soạn, khảo cứu truyện ngụ ngôn Việt Nam; nhấn mạnh đến những đóng góp, chỉ ra những vấn đề cần tiếp tục khai thác ở các công trình; thông qua đó, hiểu được bước phát triển trong việc sưu tầm, biên soạn, nghiên cứu truyện ngụ ngôn. Từ những cơ sở trên, bài viết góp phần khẳng định thành quả mà folklore học Việt Nam đã đạt được và nêu những vấn đề cần tiếp tục sưu tầm, nghiên cứu thể loại này ở Việt Nam. .

Trong bài báo này, chúng tôi tính toán bổ chính QED dựa trên bức xạ photon ở trạng thái ban đầu (ISR) cho quá trình jets tại các máy va chạm lepton. Các tính toán được thực hiện tới bổ chính bậc . Trong các kết quả vật lí, chúng tôi nghiên cứu tác động của bổ chính ISR trên tiết diện tán xạ toàn phần và các phân bố tiết diện tán xạ. Các bổ chính cho đóng góp khoảng 10% là rất đáng kể. Do đó, chúng phải được tính toán đến trong phân tích thực nghiệm tại các máy va chạm lepton trong tương lai.

Bài viết phân tích những giá trị của bộ phim Chuyện công chúa Kaguya (The Tale of the Princess Kaguya) của cố đạo diễn Takahata Isao dưới góc nhìn văn hoá dân gian ứng dụng. Là một trong những sản phẩm thành công nhất trong việc ứng dụng truyện dân gian vào lãnh địa phim hoạt hình, tác phẩm này đã tạo ra được một sự kết nối giữa văn hoá dân gian truyền thống với văn hoá đại chúng đương đại, thu hút sự quan tâm của thế hệ trẻ vào những giá trị của di sản văn hoá dân tộc và những cảm nghiệm thực tế về đời sống. Không những đáp ứng được thị hiếu của nhiều loại công chúng, bộ phim còn kích thích sự tương tác đa chiều thông qua tài năng kể chuyện độc đáo của tác giả.

Service-oriented engineering is an emerging software development paradigm for distributed collaborative applications. Such an application is made up of several entities abstracted as services, each of them being for example a Web application, a Web service, or even a human. The services can be developed independently and are composed to achieve common requirements through interactions among them. Service choreographies define such requirements from a global perspective, based on interactions among a set of participants. This thesis aims to formalize the problems and attempts to develop a framework by which service choreographies can be developed correctly for both top-down and bottom-up approaches. It consists in analyzing the relation between a choreography specification and a choreography implementation at both model level and real implementation level. Particularly, it concerns the composition/decomposition service design, the verification, and the testing of choreography implementation. The first key point of our framework is to support value-passing among services by using symbolic technique and SMT solver. It overcomes false negatives or state space explosion issues due by abstracting or limiting the data domain of value-passing in existing approaches. The second key point is the black-box passive testing of choreography implementation. It does not require neither to access to source codes nor to make the implementation unavailable during the testing process. Our framework is fully implemented in our toolchains, which can be downloaded or used online at address: http://schora.lri.fr.; L'ingénierie orientée services est un nouveau paradigme pour développer des logiciels distribués et collaboratifs. Un tel logiciel se compose de plusieurs entités, appelés services, chacun d'entre eux étant par exemple une application Web, un service Web, ou même un humain. Les services peuvent être développés indépendamment et sont composés pour atteindre quelques exigences. Les chorégraphies de service définissent ces exigences avec une perspective globale, basée sur les interactions entre des participants qui sont implémentés en tant que services. Cette thèse vise à formaliser des problèmes et tente d'élaborer un environnement intégré avec lequel les chorégraphies de services peuvent être développés correctement pour les deux types d'approches de développement: l'approche descendante et l'approche ascendante. Elle consiste à analyser la relation entre une spécification de chorégraphie et une implémentation de la chorégraphie au niveau du modèle et aussi au niveau de l'implémentation réelle. Particulièrement, il s'agit de la composition/décomposition des services, la vérification, et le test de l'implémentation de chorégraphie. Le premier point-clé de notre environnement intégré est de représenter le passage de valeurs entre les services en utilisant la technique symbolique et un solveur SMT. Cette technique nous permet de réduire les faux négatifs et de contourner le problème d'explosion combinatoire de l'espace d'états, ces problèmes sont durs à l'abstraction et à l'énumération des valeurs pour les approches existantes basées données. Le second point-clé est le test passif boîte noire de l'implémentation de chorégraphie. Il ne nécessite pas d'accéder au code source, ni de rendre indisponible l'implémentation pendant le processus de test. Notre environnement intégré est mis en œuvre dans nos outils qui sont disponibles en téléchargement ou à utiliser en ligne à l’adresse http://schora.lri.fr.

Service-oriented engineering is an emerging software development paradigm for distributed collaborative applications. Such an application is made up of several entities abstracted as services, each of them being for example a Web application, a Web service, or even a human. The services can be developed independently and are composed to achieve common requirements through interactions among them. Service choreographies define such requirements from a global perspective, based on interactions among a set of participants. This thesis aims to formalize the problems and attempts to develop a framework by which service choreographies can be developed correctly for both top-down and bottom-up approaches. It consists in analyzing the relation between a choreography specification and a choreography implementation at both model level and real implementation level. Particularly, it concerns the composition/decomposition service design, the verification, and the testing of choreography implementation. The first key point of our framework is to support value-passing among services by using symbolic technique and SMT solver. It overcomes false negatives or state space explosion issues due by abstracting or limiting the data domain of value-passing in existing approaches. The second key point is the black-box passive testing of choreography implementation. It does not require neither to access to source codes nor to make the implementation unavailable during the testing process. Our framework is fully implemented in our toolchains, which can be downloaded or used online at address: http://schora.lri.fr.; L'ingénierie orientée services est un nouveau paradigme pour développer des logiciels distribués et collaboratifs. Un tel logiciel se compose de plusieurs entités, appelés services, chacun d'entre eux étant par exemple une application Web, un service Web, ou même un humain. Les services peuvent être développés indépendamment et sont composés pour atteindre quelques exigences. Les chorégraphies de service définissent ces exigences avec une perspective globale, basée sur les interactions entre des participants qui sont implémentés en tant que services. Cette thèse vise à formaliser des problèmes et tente d'élaborer un environnement intégré avec lequel les chorégraphies de services peuvent être développés correctement pour les deux types d'approches de développement: l'approche descendante et l'approche ascendante. Elle consiste à analyser la relation entre une spécification de chorégraphie et une implémentation de la chorégraphie au niveau du modèle et aussi au niveau de l'implémentation réelle. Particulièrement, il s'agit de la composition/décomposition des services, la vérification, et le test de l'implémentation de chorégraphie. Le premier point-clé de notre environnement intégré est de représenter le passage de valeurs entre les services en utilisant la technique symbolique et un solveur SMT. Cette technique nous permet de réduire les faux négatifs et de contourner le problème d'explosion combinatoire de l'espace d'états, ces problèmes sont durs à l'abstraction et à l'énumération des valeurs pour les approches existantes basées données. Le second point-clé est le test passif boîte noire de l'implémentation de chorégraphie. Il ne nécessite pas d'accéder au code source, ni de rendre indisponible l'implémentation pendant le processus de test. Notre environnement intégré est mis en œuvre dans nos outils qui sont disponibles en téléchargement ou à utiliser en ligne à l’adresse http://schora.lri.fr.